Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Jean Pierre Banatre, Jean-Pierre Banatre, Matthias Hölzl, Axel Rauschmayer, Martin Wirsing - Software-Intensive Systems and New Computing Paradigms
Jean Pierre Banatre, Jean-Pierre Banatre, Matthias Hölzl, Axel Rauschmayer, Martin Wirsing Software-Intensive Systems and New Computing Paradigms Inglese 06.11.2008 Tascabile Fr. 69.00 6-7 settimane
Nabil Abdennadher, Nabi Abdennahder, Nabil Abdennahder, KORDON, Kordon, Fabrice Kordon - Reliable Software Technologies - Ada-Europe 2007
Nabil Abdennadher, Nabi Abdennahder, Nabil Abdennahder, KORDON, Kordon, Fabrice Kordon Reliable Software Technologies - Ada-Europe 2007 Inglese 05.08.2009 Tascabile Fr. 70.00 6-7 settimane
Michae Cebulla, Michael Cebulla - Object-Oriented Technology. ECOOP 2007 Workshop Reader
Michae Cebulla, Michael Cebulla Object-Oriented Technology. ECOOP 2007 Workshop Reader Inglese 29.01.2013 Tascabile Fr. 70.00 6-7 settimane
Stefa Leue, Stefan Leue, Merino, Merino, Pedro Merino - Formal Methods for Industrial Critical Systems
Stefa Leue, Stefan Leue, Merino, Merino, Pedro Merino Formal Methods for Industrial Critical Systems Inglese 27.09.2012 Tascabile Fr. 70.00 6-7 settimane
Ernst E. Doberkat, Ernst-Erich Doberkat - Das siebte Buch: Objektorientierung mit C++
Ernst E. Doberkat, Ernst-Erich Doberkat Das siebte Buch: Objektorientierung mit C++ Tedesco 01.01.2000 Tascabile Fr. 53.50 6-7 settimane
Javie Esparza, Javier Esparza, Majumdar, Majumdar, Rupak Majumdar - Tools and Algorithms for the Construction and Analysis of Systems
Javie Esparza, Javier Esparza, Majumdar, Majumdar, Rupak Majumdar Tools and Algorithms for the Construction and Analysis of Systems Inglese 08.03.2010 Tascabile Fr. 70.00 6-7 settimane
Luk Ong, Luke Ong - Computer Science Logic
Luk Ong, Luke Ong Computer Science Logic Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Richar Jones, Richard Jones - ECOOP 2014 -- Object-Oriented Programming
Richar Jones, Richard Jones ECOOP 2014 -- Object-Oriented Programming Inglese 23.06.2014 Tascabile Fr. 70.00 6-7 settimane
Suad Alagi¿, Suad Alagic, Suad Alagić - Object-Oriented Technology
Suad Alagi¿, Suad Alagic, Suad Alagić Object-Oriented Technology Inglese 01.01.2015 Copertina rigida Fr. 70.00 6-7 settimane
Sebastian Hack, Helmu Seidl, Helmut Seidl, Reinhar Wilhelm, Reinhard Wilhelm - Compiler Design
Sebastian Hack, Helmu Seidl, Helmut Seidl, Reinhar Wilhelm, Reinhard Wilhelm Compiler Design Inglese 01.01.2015 Tascabile Fr. 79.00 6-7 settimane
Bar Jacobs, Bart Jacobs, Löding, Löding, Christof Löding - Foundations of Software Science and Computation Structures
Bar Jacobs, Bart Jacobs, Löding, Löding, Christof Löding Foundations of Software Science and Computation Structures Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Yliè Falcone, Yliès Falcone, Sánchez, Sánchez, César Sánchez - Runtime Verification
Yliè Falcone, Yliès Falcone, Sánchez, Sánchez, César Sánchez Runtime Verification Inglese 30.11.2016 Tascabile Fr. 70.00 6-7 settimane
Tizian Margaria, Tiziana Margaria, Steffen, Steffen, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
Tizian Margaria, Tiziana Margaria, Steffen, Steffen, Bernhard Steffen Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques Inglese 01.01.2016 Tascabile Fr. 135.00 6-7 settimane
Atsush Igarashi, Atsushi Igarashi - Programming Languages and Systems
Atsush Igarashi, Atsushi Igarashi Programming Languages and Systems Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Volodymy Kindratenko, Volodymyr Kindratenko - Numerical Computations with GPUs
Volodymy Kindratenko, Volodymyr Kindratenko Numerical Computations with GPUs Inglese 01.01.2016 Tascabile Fr. 179.00 6-7 settimane
Ahme Bouajjani, Ahmed Bouajjani, Monniaux, Monniaux, David Monniaux - Verification, Model Checking, and Abstract Interpretation
Ahme Bouajjani, Ahmed Bouajjani, Monniaux, Monniaux, David Monniaux Verification, Model Checking, and Abstract Interpretation Inglese 31.03.2017 Tascabile Fr. 70.00 6-7 settimane
Javie Esparza, Javier Esparza, Andrzej S. Murawski, S Murawski, S Murawski - Foundations of Software Science and Computation Structures
Javie Esparza, Javier Esparza, Andrzej S. Murawski, S Murawski, S Murawski Foundations of Software Science and Computation Structures Inglese 31.12.2017 Tascabile Fr. 70.00 6-7 settimane
Ladje Bellatreche, Ladjel Bellatreche, Stefan Biffl, Stefan Biffl et al, Jan Van Leeuwen, A Min Tjoa... - SOFSEM 2018: Theory and Practice of Computer Science
Ladje Bellatreche, Ladjel Bellatreche, Stefan Biffl, Stefan Biffl et al, Jan Van Leeuwen, A Min Tjoa... SOFSEM 2018: Theory and Practice of Computer Science Inglese 01.01.2018 Tascabile Fr. 70.00 6-7 settimane
Isi Dillig, Isil Dillig, Palsberg, Palsberg, Jens Palsberg - Verification, Model Checking, and Abstract Interpretation
Isi Dillig, Isil Dillig, Palsberg, Palsberg, Jens Palsberg Verification, Model Checking, and Abstract Interpretation Inglese 01.01.2018 Tascabile Fr. 69.00 6-7 settimane
Fabiano Dalpiaz, Jennife Horkoff, Jennifer Horkoff, Erik Kamsties - Requirements Engineering: Foundation for Software Quality
Fabiano Dalpiaz, Jennife Horkoff, Jennifer Horkoff, Erik Kamsties Requirements Engineering: Foundation for Software Quality Inglese 01.01.2018 Tascabile Fr. 70.00 6-7 settimane