Elvira Albert | Akateeminen Kirjakauppa

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

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)
Pehmeäkantinen kirja

45,80 €

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

Elvira Albert; Emil Sekerinski
Springer International Publishing AG (2014)
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)
Pehmeäkantinen kirja

49,60 €

MEFISTO: ALBERTO IRIARTE

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

110,30 €

CARNE, PESCE

Elvira Costantini; Alberto Fiorito
Gribaudo (2016)
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)
Pehmeäkantinen kirja

131,70 €

REMOVAL OF CYANOBACTERIA AND CYANOTOXINS IN WATERS

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

64,40 €

ENHANCING SUSTAINABILITY THROUGH NON-FINANCIAL REPORTING

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

254,70 €

ENHANCING SUSTAINABILITY THROUGH NON-FINANCIAL REPORTING

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

179,40 €

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)
Pehmeäkantinen kirja

49,60 €

Hae lisää...

Logic-Based Program Synthesis and Transformation - 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20,

Elvira Albert

45,80 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 245 sivua
Asu: Pehmeäkantinen kirja
Painos: 2013
Julkaisuvuosi: 2013, 03.05.2013 (lisätietoa)
Kieli: Englanti
Tuotesarja: Theoretical Computer Science and General Issues

This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012.
The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa

Myymäläsaatavuus