Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol - Formal Methods: Applications and Technology
Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol Formal Methods: Applications and Technology Inglese 20.02.2007 Tascabile Fr. 69.00 6-7 settimane
Ivica Crnkovic, Raffaela Mirandola, Danny Weyns - Software Architecture
Ivica Crnkovic, Raffaela Mirandola, Danny Weyns Software Architecture Inglese 26.08.2015 Tascabile Fr. 69.00 6-7 settimane
Jose Luiz Fiadeiro, José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue - Formal Aspects of Component Software
Jose Luiz Fiadeiro, José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue Formal Aspects of Component Software Inglese 30.07.2014 Tascabile Fr. 69.00 6-7 settimane
Wolfgang Grieskamp, Carsten Weise - Formal Approaches to Software Testing
Wolfgang Grieskamp, Carsten Weise Formal Approaches to Software Testing Inglese 30.05.2006 Tascabile Fr. 69.00 6-7 settimane
Alexander K. Petrenko, Andrei Voronkov - Perspectives of System Informatics
Alexander K. Petrenko, Andrei Voronkov Perspectives of System Informatics Inglese 18.01.2018 Tascabile Fr. 69.00 6-7 settimane
Anthony Anjorin, Huáscar Espinoza - Modelling Foundations and Applications
Anthony Anjorin, Huáscar Espinoza Modelling Foundations and Applications Inglese 20.06.2017 Tascabile Fr. 69.00 6-7 settimane
Gabriele Puppis - Automata for Branching and Layered Temporal Structures
Gabriele Puppis Automata for Branching and Layered Temporal Structures Inglese 18.02.2010 Tascabile Fr. 69.00 6-7 settimane
Francesco Ranzato - Static Analysis
Francesco Ranzato Static Analysis Inglese 21.08.2017 Tascabile Fr. 69.00 6-7 settimane
Santiago Escobar - Functional and Constraint Logic Programming
Santiago Escobar Functional and Constraint Logic Programming Inglese 01.04.2010 Tascabile Fr. 69.00 6-7 settimane
Michael Hanus, Dietmar Seipel, Armin Wolf - Applications of Declarative Programming and Knowledge Management
Michael Hanus, Dietmar Seipel, Armin Wolf Applications of Declarative Programming and Knowledge Management Inglese 22.04.2009 Tascabile Fr. 69.00 6-7 settimane
Giovanni Sommaruga - Formal Theories of Information
Giovanni Sommaruga Formal Theories of Information Inglese 22.04.2009 Tascabile Fr. 69.00 6-7 settimane
Markus Lumpe, José Proença - Formal Aspects of Component Software
Markus Lumpe, José Proença Formal Aspects of Component Software Inglese 14.09.2017 Tascabile Fr. 69.00 6-7 settimane
Francesco Calimeri, Kevin Hamlen, Nicola Leone - Practical Aspects of Declarative Languages
Francesco Calimeri, Kevin Hamlen, Nicola Leone Practical Aspects of Declarative Languages Inglese 22.12.2017 Tascabile Fr. 58.50 6-7 settimane
Tran Khanh Dang, Josef Küng, Erich J. Neuhold, Makoto Takizawa, Nam Thoai, Roland Wagner - Future Data and Security Engineering
Tran Khanh Dang, Josef Küng, Erich J. Neuhold, Makoto Takizawa, Nam Thoai, Roland Wagner Future Data and Security Engineering Inglese 01.11.2017 Tascabile Fr. 69.00 6-7 settimane
Martina Seidl, Steffen Zschaler - Software Technologies: Applications and Foundations
Martina Seidl, Steffen Zschaler Software Technologies: Applications and Foundations Inglese 23.01.2018 Tascabile Fr. 69.00 6-7 settimane
Sunita Chandrasekaran, Guido Juckeland - Accelerator Programming Using Directives
Sunita Chandrasekaran, Guido Juckeland Accelerator Programming Using Directives Inglese 31.01.2018 Tascabile Fr. 58.50 6-7 settimane
Rajiv Gupta - Compiler Construction
Rajiv Gupta Compiler Construction Inglese 16.03.2010 Tascabile Fr. 69.00 6-7 settimane
Daniel Cabeza, Manuel Hermenegildo - Practical Aspects of Declarative Languages
Daniel Cabeza, Manuel Hermenegildo Practical Aspects of Declarative Languages Inglese 14.01.2005 Tascabile Fr. 69.00 6-7 settimane
Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar - Verification and Evaluation of Computer and Communication Systems
Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar Verification and Evaluation of Computer and Communication Systems Inglese 15.08.2017 Tascabile Fr. 69.00 6-7 settimane
Fabrice Kordon, Janos Sztipanovits - Reliable Systems on Unreliable Networked Platforms
Fabrice Kordon, Janos Sztipanovits Reliable Systems on Unreliable Networked Platforms Inglese 28.02.2007 Tascabile Fr. 69.00 6-7 settimane