Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

Pete Thiemann, Peter Thiemann - Programming Languages and Systems
Pete Thiemann, Peter Thiemann Programming Languages and Systems Englisch 01.01.2016 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 01.01.2016 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 01.01.2016 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 01.01.2018 Taschenbuch Fr. 70.00 6-7 Wochen
Ross J Maloney, Ross J. Maloney - Low Level X Window Programming
Ross J Maloney, Ross J. Maloney Low Level X Window Programming Englisch 01.01.2018 Taschenbuch Fr. 91.00 6-7 Wochen
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