Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

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
Thomas Haslwanter - An Introduction to Statistics with Python
Thomas Haslwanter An Introduction to Statistics with Python Englisch 01.01.2018 Taschenbuch Fr. 70.00 6-7 Wochen
Mohamed El-Geish, Gu Lebanon, Guy Lebanon - Computing with Data
Mohamed El-Geish, Gu Lebanon, Guy Lebanon Computing with Data Englisch 01.01.2018 Fester Einband Fr. 135.00 6-7 Wochen
Pinar Alper, Khalid Belhajjame, Ashis Gehani, Ashish Gehani - Provenance and Annotation of Data and Processes
Pinar Alper, Khalid Belhajjame, Ashis Gehani, Ashish Gehani Provenance and Annotation of Data and Processes Englisch 01.01.2018 Taschenbuch Fr. 70.00 6-7 Wochen
Barnat, Barnat, Ji¿í Barnat, Jiri Barnat, Jirí Barnat, Jiří Barnat... - Formal Methods for Industrial Critical Systems
Barnat, Barnat, Ji¿í Barnat, Jiri Barnat, Jirí Barnat, Jiří Barnat... Formal Methods for Industrial Critical Systems Englisch 31.10.2018 Taschenbuch Fr. 70.00 6-7 Wochen
HALLER, Haller, Philipp Haller, Alessandr Ricci, Alessandro Ricci - Programming with Actors
HALLER, Haller, Philipp Haller, Alessandr Ricci, Alessandro Ricci Programming with Actors Englisch 30.11.2018 Taschenbuch Fr. 70.00 6-7 Wochen
Davide Ciucci, Gabriell Pasi, Gabriella Pasi, Barbara Vantaggi - Scalable Uncertainty Management
Davide Ciucci, Gabriell Pasi, Gabriella Pasi, Barbara Vantaggi Scalable Uncertainty Management Englisch 30.11.2018 Taschenbuch Fr. 70.00 6-7 Wochen
James H. Davenport, Manue Kauers, Manuel Kauers, George Labahn, George Labahn et al, Josef Urban - Mathematical Software - ICMS 2018
James H. Davenport, Manue Kauers, Manuel Kauers, George Labahn, George Labahn et al, Josef Urban Mathematical Software - ICMS 2018 Englisch 01.01.2018 Taschenbuch Fr. 70.00 6-7 Wochen
Vinay Trivedi - How to Speak Tech
Vinay Trivedi How to Speak Tech Englisch 12.05.2019 Taschenbuch Fr. 37.50 6-7 Wochen
Pete Müller, Peter Müller, Schaefer, Schaefer, Ina Schaefer - Principled Software Development
Pete Müller, Peter Müller, Schaefer, Schaefer, Ina Schaefer Principled Software Development Englisch 01.01.2018 Fester Einband Fr. 135.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.2019 Taschenbuch Fr. 189.00 6-7 Wochen
Jorg A Pérez, Jorge A Pérez, Jorge A. Pérez, Yoshida, Yoshida, Nobuko Yoshida - Formal Techniques for Distributed Objects, Components, and Systems
Jorg A Pérez, Jorge A Pérez, Jorge A. Pérez, Yoshida, Yoshida, Nobuko Yoshida Formal Techniques for Distributed Objects, Components, and Systems Englisch 01.01.2019 Taschenbuch Fr. 89.00 6-7 Wochen
Leszek A Maciaszek, Ernesto Damiani, Leszek A. Maciaszek, Georg Spanoudakis, George Spanoudakis - Evaluation of Novel Approaches to Software Engineering
Leszek A Maciaszek, Ernesto Damiani, Leszek A. Maciaszek, Georg Spanoudakis, George Spanoudakis Evaluation of Novel Approaches to Software Engineering Englisch 01.01.2019 Taschenbuch Fr. 106.00 6-7 Wochen
Vasan Subramanian - Pro MERN Stack
Vasan Subramanian Pro MERN Stack Englisch 11.06.2019 Taschenbuch Fr. 50.50 6-7 Wochen
Sunita Chandrasekaran, Guid Juckeland, Guido Juckeland, Sandra Wienke - Accelerator Programming Using Directives
Sunita Chandrasekaran, Guid Juckeland, Guido Juckeland, Sandra Wienke Accelerator Programming Using Directives Englisch 01.01.2019 Taschenbuch Fr. 70.00 6-7 Wochen
Guillaum Bonfante, Guillaume Bonfante, Mourad Debbabi, Mourad Debbabi et al, Joaquin Garcia-Alfaro, Nur Zincir-Heywood - Foundations and Practice of Security
Guillaum Bonfante, Guillaume Bonfante, Mourad Debbabi, Mourad Debbabi et al, Joaquin Garcia-Alfaro, Nur Zincir-Heywood Foundations and Practice of Security Englisch 01.01.2019 Taschenbuch Fr. 92.00 6-7 Wochen
Louis-Marti Rousseau, Louis-Martin Rousseau, Stergiou, Stergiou, Kostas Stergiou - Integration of Constraint Programming, Artificial Intelligence, and Operations Research
Louis-Marti Rousseau, Louis-Martin Rousseau, Stergiou, Stergiou, Kostas Stergiou Integration of Constraint Programming, Artificial Intelligence, and Operations Research Englisch 01.01.2019 Taschenbuch Fr. 70.00 6-7 Wochen
Francesco Calimeri, Nicol Leone, Nicola Leone, Marco Manna - Logics in Artificial Intelligence
Francesco Calimeri, Nicol Leone, Nicola Leone, Marco Manna Logics in Artificial Intelligence Englisch 01.01.2019 Taschenbuch Fr. 133.00 6-7 Wochen