Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

Elizabeth Black, Sanja Modgil, Sanjay Modgil, Nir Oren - Theory and Applications of Formal Argumentation
Elizabeth Black, Sanja Modgil, Sanjay Modgil, Nir Oren Theory and Applications of Formal Argumentation Englisch 01.01.2018 Taschenbuch Fr. 70.00 6-7 Wochen
Nicola Brunie, Nicolas Brunie, F de Dinechin, Florent de Dinechin, Claude-Pierre Jeannerod, Mioara Joldes... - Handbook of Floating-Point Arithmetic
Nicola Brunie, Nicolas Brunie, F de Dinechin, Florent de Dinechin, Claude-Pierre Jeannerod, Mioara Joldes... Handbook of Floating-Point Arithmetic Englisch 01.01.2018 Fester Einband Fr. 189.00 6-7 Wochen
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 Englisch 01.01.2018 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 01.01.2016 Taschenbuch Fr. 117.00 6-7 Wochen
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 Englisch 31.12.2017 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 31.03.2017 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 01.01.2018 Taschenbuch Fr. 135.00 6-7 Wochen
Peter A Buhr, Peter A. Buhr - Understanding Control Flow
Peter A Buhr, Peter A. Buhr Understanding Control Flow Englisch 01.01.2018 Taschenbuch Fr. 70.00 6-7 Wochen
Dirk Draheim - Semantics of the Probabilistic Typed Lambda Calculus
Dirk Draheim Semantics of the Probabilistic Typed Lambda Calculus Englisch 01.01.2018 Taschenbuch Fr. 159.00 6-7 Wochen
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 Englisch 01.01.2018 Taschenbuch Fr. 147.00 6-7 Wochen
Felix Winterstein - Separation Logic for High-level Synthesis
Felix Winterstein Separation Logic for High-level Synthesis Englisch 01.01.2018 Taschenbuch Fr. 135.00 6-7 Wochen
Laura Tateosian - Python For ArcGIS
Laura Tateosian Python For ArcGIS Englisch 01.01.2018 Taschenbuch Fr. 110.00 6-7 Wochen
Sumit Raj - Building Chatbots with Python
Sumit Raj Building Chatbots with Python Englisch 01.01.2018 Taschenbuch Fr. 43.90 6-7 Wochen
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 Englisch 01.01.2018 Taschenbuch Fr. 70.00 6-7 Wochen
Tiag Massoni, Tiago Massoni, Mohammad Reza Mousavi, Reza Mousavi, Reza Mousavi - Formal Methods: Foundations and Applications
Tiag Massoni, Tiago Massoni, Mohammad Reza Mousavi, Reza Mousavi, Reza Mousavi Formal Methods: Foundations and Applications Englisch 31.12.2018 Taschenbuch Fr. 82.00 6-7 Wochen
Brun Bouyssounouse, Bruno Bouyssounouse, Sifakis, Sifakis, Joseph Sifakis - Embedded Systems Design
Brun Bouyssounouse, Bruno Bouyssounouse, Sifakis, Sifakis, Joseph Sifakis Embedded Systems Design Englisch 23.06.2005 Taschenbuch Fr. 135.00 6-7 Wochen
Patrici Derler, Patricia Derler, Marten Lohstroh, Marjan Sirjani - Principles of Modeling
Patrici Derler, Patricia Derler, Marten Lohstroh, Marjan Sirjani Principles of Modeling Englisch 01.01.2018 Taschenbuch Fr. 70.00 6-7 Wochen
Eric de Vink, Erik de Vink, Klaus Havelund, Ja Peleska, Jan Peleska, Bill Roscoe... - Formal Methods
Eric de Vink, Erik de Vink, Klaus Havelund, Ja Peleska, Jan Peleska, Bill Roscoe... Formal Methods Englisch 01.01.2018 Taschenbuch Fr. 124.00 6-7 Wochen
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 Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Alfons Pierantonio, Alfonso Pierantonio, Trujillo, Trujillo, Salvador Trujillo - Modelling Foundations and Applications
Alfons Pierantonio, Alfonso Pierantonio, Trujillo, Trujillo, Salvador Trujillo Modelling Foundations and Applications Englisch 01.01.2018 Taschenbuch Fr. 70.00 6-7 Wochen