Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

K C Wang, K. C. Wang, K.C. Wang - Design and Implementation of the MTX Operating System
K C Wang, K. C. Wang, K.C. Wang Design and Implementation of the MTX Operating System Inglese 01.01.2016 Tascabile Fr. 117.00 6-7 settimane
Paolo Giorgini, Jör Müller, Jörg Müller, Jörg P. Müller, James Odell - Agent-Oriented Software Engineering IV
Paolo Giorgini, Jör Müller, Jörg Müller, Jörg P. Müller, James Odell Agent-Oriented Software Engineering IV Inglese 01.01.2004 Tascabile Fr. 70.00 6-7 settimane
Erik Ábrahám, Erika Ábrahám, Huisman, Huisman, Marieke Huisman - Integrated Formal Methods
Erik Ábrahám, Erika Ábrahám, Huisman, Huisman, Marieke Huisman Integrated Formal Methods Inglese 01.01.2016 Tascabile Fr. 110.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
Marsh Chechik, Marsha Chechik, Raskin, Raskin, Jean-François Raskin - Tools and Algorithms for the Construction and Analysis of Systems
Marsh Chechik, Marsha Chechik, Raskin, Raskin, Jean-François Raskin Tools and Algorithms for the Construction and Analysis of Systems Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
S Ganesh, S. G. Ganesh, SG Ganesh, Hari Kiran, Hari Kira Kumar, Hari Kiran Kumar... - Oracle Certified Professional Java SE 8 Programmer Exam 1Z0-809
S Ganesh, S. G. Ganesh, SG Ganesh, Hari Kiran, Hari Kira Kumar, Hari Kiran Kumar... Oracle Certified Professional Java SE 8 Programmer Exam 1Z0-809 Inglese 22.05.2016 Tascabile Fr. 53.90 6-7 settimane
Cyrill Artho, Cyrille Artho, Csaba Ölveczky, Csaba Ölveczky, Peter Csaba Ölveczky - Formal Techniques for Safety-Critical Systems
Cyrill Artho, Cyrille Artho, Csaba Ölveczky, Csaba Ölveczky, Peter Csaba Ölveczky Formal Techniques for Safety-Critical Systems Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Pete Thiemann, Peter Thiemann - Programming Languages and Systems
Pete Thiemann, Peter Thiemann Programming Languages and Systems Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Dragan Bo¿na¿ki, Draga Bosnacki, Dragan Bosnacki, Dragan Bošnački, Wijs, Wijs... - Model Checking Software
Dragan Bo¿na¿ki, Draga Bosnacki, Dragan Bosnacki, Dragan Bošnački, Wijs, Wijs... Model Checking Software Inglese 01.01.2016 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
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
Zi Javanbakht, Zia Javanbakht, Andreas Öchsner - Advanced Finite Element Simulation with MSC Marc
Zi Javanbakht, Zia Javanbakht, Andreas Öchsner Advanced Finite Element Simulation with MSC Marc Inglese 01.01.2018 Tascabile Fr. 135.00 6-7 settimane
Peter A Buhr, Peter A. Buhr - Understanding Control Flow
Peter A Buhr, Peter A. Buhr Understanding Control Flow Inglese 01.01.2018 Tascabile Fr. 70.00 6-7 settimane
Dirk Draheim - Semantics of the Probabilistic Typed Lambda Calculus
Dirk Draheim Semantics of the Probabilistic Typed Lambda Calculus Inglese 01.01.2018 Tascabile Fr. 158.00 6-7 settimane
Sergei V Chekanov, Sergei V. Chekanov - Numeric Computation and Statistical Data Analysis on the Java Platform
Sergei V Chekanov, Sergei V. Chekanov Numeric Computation and Statistical Data Analysis on the Java Platform Inglese 01.01.2018 Tascabile Fr. 147.00 6-7 settimane
Felix Winterstein - Separation Logic for High-level Synthesis
Felix Winterstein Separation Logic for High-level Synthesis Inglese 01.01.2018 Tascabile Fr. 135.00 6-7 settimane
Laura Tateosian - Python For ArcGIS
Laura Tateosian Python For ArcGIS Inglese 01.01.2018 Tascabile Fr. 110.00 6-7 settimane
Sumit Raj - Building Chatbots with Python
Sumit Raj Building Chatbots with Python Inglese 01.01.2018 Tascabile Fr. 43.90 6-7 settimane
Shuvend K Lahiri, Shuvendu K Lahiri, Shuvendu Lahiri, Shuvendu K. Lahiri, Wang, Wang... - Automated Technology for Verification and Analysis
Shuvend K Lahiri, Shuvendu K Lahiri, Shuvendu Lahiri, Shuvendu K. Lahiri, Wang, Wang... Automated Technology for Verification and Analysis Inglese 01.01.2018 Tascabile Fr. 70.00 6-7 settimane
Oskar Bartenstein, Ulrich Geske, Michael Hanus, Dietmar Seipel - Applications of Declarative Programming and Knowledge Management
Oskar Bartenstein, Ulrich Geske, Michael Hanus, Dietmar Seipel Applications of Declarative Programming and Knowledge Management Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane