Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

Axe Legay, Axel Legay, Margaria, Margaria, Tiziana Margaria - Tools and Algorithms for the Construction and Analysis of Systems
Axe Legay, Axel Legay, Margaria, Margaria, Tiziana Margaria Tools and Algorithms for the Construction and Analysis of Systems Englisch 30.04.2017 Taschenbuch Fr. 70.00 6-7 Wochen
Matthe England, Matthew England, Herman Geuvers, Osman Hasan, Osman Hasan et al, Florian Rabe... - Intelligent Computer Mathematics
Matthe England, Matthew England, Herman Geuvers, Osman Hasan, Osman Hasan et al, Florian Rabe... Intelligent Computer Mathematics Englisch 31.07.2017 Taschenbuch Fr. 70.00 6-7 Wochen
Sergiy Bogomolov, Matthie Martel, Matthieu Martel, Pavithra Prabhakar - Numerical Software Verification
Sergiy Bogomolov, Matthie Martel, Matthieu Martel, Pavithra Prabhakar Numerical Software Verification Englisch 31.03.2017 Taschenbuch Fr. 70.00 6-7 Wochen
Pepita Barnard, Pepita Barnard et al, John Robert Bautista, Gema Bello-Orgaz, Santanu Dash, Arya Farahi... - Testing Software and Systems
Pepita Barnard, Pepita Barnard et al, John Robert Bautista, Gema Bello-Orgaz, Santanu Dash, Arya Farahi... Testing Software and Systems Englisch 19.01.2025 Taschenbuch Fr. 92.00 6-7 Wochen
Matthia Hölzl, Matthias Hölzl, Nora Koch, Nora Koch et al, Philip Mayer, Martin Wirsing - Software Engineering for Collective Autonomic Systems
Matthia Hölzl, Matthias Hölzl, Nora Koch, Nora Koch et al, Philip Mayer, Martin Wirsing Software Engineering for Collective Autonomic Systems Englisch 01.01.2015 Taschenbuch Fr. 70.00 6-7 Wochen
Erika Ábrahám, Marcell Bonsangue, Marcello Bonsangue, Einar Broch Johnsen, Einar Broch Johnsen - Theory and Practice of Formal Methods
Erika Ábrahám, Marcell Bonsangue, Marcello Bonsangue, Einar Broch Johnsen, Einar Broch Johnsen Theory and Practice of Formal Methods Englisch 01.01.2016 Taschenbuch Fr. 70.00 6-7 Wochen
Christian Berger, Mohammad Reza Mousavi, Mohamma Reza Mousavi, Mohammad Reza Mousavi, Rafael Wisniewski - Cyber Physical Systems. Design, Modeling, and Evaluation
Christian Berger, Mohammad Reza Mousavi, Mohamma Reza Mousavi, Mohammad Reza Mousavi, Rafael Wisniewski Cyber Physical Systems. Design, Modeling, and Evaluation Englisch 01.01.2017 Taschenbuch Fr. 70.00 6-7 Wochen
Sushil Jajodia, Barbar Kordy, Barbara Kordy, Sjouke Mauw - Graphical Models for Security
Sushil Jajodia, Barbar Kordy, Barbara Kordy, Sjouke Mauw Graphical Models for Security Englisch 01.01.2016 Taschenbuch Fr. 59.50 6-7 Wochen
Sotiris Batsakis, Heinric C Mayr, Heinrich C Mayr, Heinrich C. Mayr, Mykola Nikitchenko, Mykola Nikitchenko et al... - Information and Communication Technologies in Education, Research, and Industrial Applications
Sotiris Batsakis, Heinric C Mayr, Heinrich C Mayr, Heinrich C. Mayr, Mykola Nikitchenko, Mykola Nikitchenko et al... Information and Communication Technologies in Education, Research, and Industrial Applications Englisch 01.01.2016 Taschenbuch Fr. 70.00 6-7 Wochen
Roberto Giacobazzi, Gorla, Alessandra Gorla - Static Analysis
Roberto Giacobazzi, Gorla, Alessandra Gorla Static Analysis Englisch 01.12.2024 Taschenbuch Fr. 103.00 6-7 Wochen
Maksim Jenihhin, Maksim et al Jenihhin, Artur Jutman, Jaan Raik, Raimund Ubar - Structural Decision Diagrams in Digital Test
Maksim Jenihhin, Maksim et al Jenihhin, Artur Jutman, Jaan Raik, Raimund Ubar Structural Decision Diagrams in Digital Test Englisch 12.02.2025 Taschenbuch Fr. 262.00 6-7 Wochen
Donal Sannella, Donald Sannella, Andrzej Tarlecki - Foundations of Algebraic Specification and Formal Software Development
Donal Sannella, Donald Sannella, Andrzej Tarlecki Foundations of Algebraic Specification and Formal Software Development Englisch 03.04.2014 Taschenbuch Fr. 110.00 6-7 Wochen
Juan Tapiador - The Computer Security Workbook
Juan Tapiador The Computer Security Workbook Englisch Taschenbuch Fr. 69.00 Erscheint am 26.08.2025
Ping-Qi Pan - Face Method
Ping-Qi Pan Face Method Englisch Fester Einband Fr. 206.00 Erscheint am 29.09.2025
Torben Ægidius Mogensen - Programming Language Design and Implementation
Torben Ægidius Mogensen Programming Language Design and Implementation Englisch Fester Einband Fr. 103.00 In Neuauflage, zurzeit nicht erhältlich
Ionut Tutu, Ionuț Țuțu - Recent Trends in Algebraic Development Techniques
Ionut Tutu, Ionuț Țuțu Recent Trends in Algebraic Development Techniques Englisch Taschenbuch Fr. 146.00 Erscheint am 07.05.2025
Markus Junker - Logik für die Informatik
Markus Junker Logik für die Informatik Deutsch Taschenbuch Fr. 49.90 Erscheint am 29.04.2025