Elvira Albert | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 10 tuotetta
Haluatko tarkentaa hakukriteerejä?

INTEGRATED FORMAL METHODS : 11TH INTERNATIONAL CONFERENCE, IFM 2014, BERTINORO, ITALY, SEPTEMBER 9-11, 2014, PROCEEDINGS

Elvira Albert (ed.); Emil Sekerinski (ed.)
Springer (2014)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS - 36TH IFIP WG 6.1 INTERNATIONAL CONFERENCE, FORTE 2016, HELD

Elvira Albert; Ivan Lanese
Springer International Publishing AG (2016)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

MEFISTO: ALBERTO IRIARTE

German Rubiano Caballero; Maria Elvira Iriarte; Alberto Iriarte
Villegas Editores (2005)
Saatavuus: Hankintapalvelu
Kovakantinen kirja

104,60 €

LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION - 22ND INTERNATIONAL SYMPOSIUM, LOPSTR 2012, LEUVEN, BELGIUM, SEPTEMBER 18-20,

Elvira Albert
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

45,80 €

CARNE, PESCE

Elvira Costantini; Alberto Fiorito
Gribaudo (2016)
Saatavuus: Hankintapalvelu
Kovakantinen kirja

37,20 €

TRATAMIENTO DEL CONTENIDO PROCESOS QUÍMICOS TECNOLÓGICOS

Silvia Rosa Arias Albertí; Elvira Torres Moreno; José Luis Lissabeth
Editorial Academica Espanola (2018)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

85,70 €

REMOVAL OF CYANOBACTERIA AND CYANOTOXINS IN WATERS

Albert Serrà (toim.); Elvira Gómez (toim.); Laëtitia V S Philippe (toim.)
Mdpi AG (2021)
Saatavuus: Tilaustuote
Kovakantinen kirja

60,00 €

ENHANCING SUSTAINABILITY THROUGH NON-FINANCIAL REPORTING

Albertina Monteiro; Ana Pinto Borges; Elvira Vieira
IGI Global (2023)
Saatavuus: Tilaustuote
Kovakantinen kirja

251,30 €

ENHANCING SUSTAINABILITY THROUGH NON-FINANCIAL REPORTING

Albertina Monteiro; Ana Pinto Borges; Elvira Vieira
IGI Global (2023)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

177,00 €

GREEN H2 TRANSPORT THROUGH LH2, NH3 AND LOHC - OPPORTUNITIES AND CHALLENGES

Laura A. Pellegrini; Elvira Spatolisano; Federica Restelli; Giorgia De Guido; Alberto R. de Angelis; Andrea Lainati
Springer International Publishing AG (2024)
Saatavuus: Tulossa!
Pehmeäkantinen kirja

49,60 €

Hae lisää...

Integrated Formal Methods : 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

Elvira Albert (ed.), Emil Sekerinski (ed.)

49,60 €

Springer
Sivumäärä: 390 sivua
Asu: Pehmeäkantinen kirja
Painos: 2014
Julkaisuvuosi: 2014, 15.09.2014 (lisätietoa)
Kieli: Englanti

This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 43 submissions. The papers have been organized in the following topical sections: tool integration; model verification; program development; security analysis; analysis and transformation; and concurrency and control.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 17-20 arkipäivässä

Myymäläsaatavuus