Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Annie Foret, Glyn Morrill, Reinhard Musken, Reinhard Muskens, Rainer Osswald, Sylvain Pogodalla - Formal Grammar
Annie Foret, Glyn Morrill, Reinhard Musken, Reinhard Muskens, Rainer Osswald, Sylvain Pogodalla Formal Grammar Inglese 06.08.2016 Tascabile Fr. 70.00 6-7 settimane
Jasmin Christian Blanchette, Stephan Merz - Interactive Theorem Proving
Jasmin Christian Blanchette, Stephan Merz Interactive Theorem Proving Inglese 07.08.2016 Tascabile Fr. 70.00 6-7 settimane
Dieter Fiems, Marco Paolieri, Agapios Platis, Agapios N. Platis - Computer Performance Engineering
Dieter Fiems, Marco Paolieri, Agapios Platis, Agapios N. Platis Computer Performance Engineering Inglese 16.09.2016 Tascabile Fr. 70.00 6-7 settimane
Christiano Braga, Narciso Martí-Oliet - Formal Methods: Foundations and Applications
Christiano Braga, Narciso Martí-Oliet Formal Methods: Foundations and Applications Inglese 27.01.2015 Tascabile Fr. 56.90 6-7 settimane
Andy King, Oleg Kiselyov - Functional and Logic Programming
Andy King, Oleg Kiselyov Functional and Logic Programming Inglese 23.02.2016 Tascabile Fr. 68.00 6-7 settimane
Xinyu Feng, Sungwoo Park - Programming Languages and Systems
Xinyu Feng, Sungwoo Park Programming Languages and Systems Inglese 10.12.2015 Tascabile Fr. 70.00 6-7 settimane
Perdita Stevens, Andrzej W¿sowski, Andrzej Wasowski, Andrzej Wąsowski - Fundamental Approaches to Software Engineering
Perdita Stevens, Andrzej W¿sowski, Andrzej Wasowski, Andrzej Wąsowski Fundamental Approaches to Software Engineering Inglese 22.03.2016 Tascabile Fr. 70.00 6-7 settimane
Natalia Kushik, Mihai Nica, Franz Wotawa - Testing Software and Systems
Natalia Kushik, Mihai Nica, Franz Wotawa Testing Software and Systems Inglese 04.10.2016 Tascabile Fr. 70.00 6-7 settimane
Tibor Csöndes, Gábor Kovács, György Réthy - SDL 2017: Model-Driven Engineering for Future Internet
Tibor Csöndes, Gábor Kovács, György Réthy SDL 2017: Model-Driven Engineering for Future Internet Inglese 07.09.2017 Tascabile Fr. 70.00 6-7 settimane
Sebastian Gabmeyer, Einar Broch Johnsen - Tests and Proofs
Sebastian Gabmeyer, Einar Broch Johnsen Tests and Proofs Inglese 18.06.2017 Tascabile Fr. 70.00 6-7 settimane
James Cussens, Alessandra Russo - Inductive Logic Programming
James Cussens, Alessandra Russo Inductive Logic Programming Inglese 16.07.2017 Tascabile Fr. 70.00 6-7 settimane
Manuel V Hermenegildo, Pedro Lopez-Garcia - Logic-Based Program Synthesis and Transformation
Manuel V Hermenegildo, Pedro Lopez-Garcia Logic-Based Program Synthesis and Transformation Inglese 25.07.2017 Tascabile Fr. 70.00 6-7 settimane
Axel Legay, Tiziana Margaria - Tools and Algorithms for the Construction and Analysis of Systems
Axel Legay, Tiziana Margaria Tools and Algorithms for the Construction and Analysis of Systems Inglese 31.03.2017 Tascabile Fr. 70.00 6-7 settimane
Matthew J. Patitz, Mike Stannett - Unconventional Computation and Natural Computation
Matthew J. Patitz, Mike Stannett Unconventional Computation and Natural Computation Inglese 28.04.2017 Tascabile Fr. 70.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. 59.50 6-7 settimane
Antonio Cerone, Marco Roveri - Software Engineering and Formal Methods
Antonio Cerone, Marco Roveri Software Engineering and Formal Methods Inglese 03.02.2018 Tascabile Fr. 103.00 6-7 settimane
Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang - Dependable Software Engineering. Theories, Tools, and Applications
Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang Dependable Software Engineering. Theories, Tools, and Applications Inglese 17.10.2017 Tascabile Fr. 70.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. 70.00 6-7 settimane
José Luiz Fiadeiro, Peter Mosses, Fernando Orejas - Recent Trends in Algebraic Development Techniques
José Luiz Fiadeiro, Peter Mosses, Fernando Orejas Recent Trends in Algebraic Development Techniques Inglese 23.03.2005 Tascabile Fr. 70.00 6-7 settimane
Mehdi Dastani, Amal El Fallah Seghrouchni, Alessandro Ricci, Michael Winikoff - Programming Multi-Agent Systems
Mehdi Dastani, Amal El Fallah Seghrouchni, Alessandro Ricci, Michael Winikoff Programming Multi-Agent Systems Inglese 29.04.2008 Tascabile Fr. 70.00 6-7 settimane