Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

Anne Remke, Steffen, Bernhard Steffen - Formal Methods for Industrial Critical Systems
Anne Remke, Steffen, Bernhard Steffen Formal Methods for Industrial Critical Systems Englisch 04.09.2025 Taschenbuch Fr. 82.00 6-7 Wochen
Angelos Papadopoulos, Silvia Bonfanti, George Angelos Papadopoulos - Testing Software and Systems
Angelos Papadopoulos, Silvia Bonfanti, George Angelos Papadopoulos Testing Software and Systems Englisch 10.10.2025 Taschenbuch Fr. 169.00 6-7 Wochen
Chang, Stephen Chang, Jason Hemann - Trends in Functional Programming
Chang, Stephen Chang, Jason Hemann Trends in Functional Programming Englisch 27.01.2025 Taschenbuch Fr. 82.00 6-7 Wochen
Matte Maffei, Matteo Maffei, Tuosto, Tuosto, Emilio Tuosto - Trustworthy Global Computing
Matte Maffei, Matteo Maffei, Tuosto, Tuosto, Emilio Tuosto Trustworthy Global Computing Englisch 01.01.2015 Taschenbuch Fr. 56.90 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
Rachi Guerraoui, Rachid Guerraoui, Romano, Romano, Paolo Romano - Transactional Memory. Foundations, Algorithms, Tools, and Applications
Rachi Guerraoui, Rachid Guerraoui, Romano, Romano, Paolo Romano Transactional Memory. Foundations, Algorithms, Tools, and Applications Englisch 01.01.2015 Taschenbuch Fr. 70.00 6-7 Wochen
Anne E Haxthausen et al, Stefania Gnesi, Anne E. Haxthausen, Laura Semini, Maurice ter Beek, Maurice H. ter Beek - Journeys Between Formal Methods and the Railway Industry
Anne E Haxthausen et al, Stefania Gnesi, Anne E. Haxthausen, Laura Semini, Maurice ter Beek, Maurice H. ter Beek Journeys Between Formal Methods and the Railway Industry Englisch Taschenbuch Fr. 132.00 Erscheint am 11.06.2026
Alexander Ghionis, Richard Guthrie, Mary Kaldor, Josh Kaldor-Robinson, Josh Kaldor-Robinson et al, Peter Pringle... - Julian Perry Robinson: Pioneer in the Prohibition of Chemical and Biological Warfare
Alexander Ghionis, Richard Guthrie, Mary Kaldor, Josh Kaldor-Robinson, Josh Kaldor-Robinson et al, Peter Pringle... Julian Perry Robinson: Pioneer in the Prohibition of Chemical and Biological Warfare Englisch Fester Einband Fr. 168.00 Erscheint am 10.02.2026
Robert F Bordley, Robert F. Bordley - Managing Project Complexity and Risk with Systems Engineering
Robert F Bordley, Robert F. Bordley Managing Project Complexity and Risk with Systems Engineering Englisch Fester Einband Fr. 116.00 Erscheint am 28.03.2026
Signe Redfield, Mae Seto, Mae Seto et al, Donald Sofge, John Sustersic - Verification of Autonomous Systems
Signe Redfield, Mae Seto, Mae Seto et al, Donald Sofge, John Sustersic Verification of Autonomous Systems Englisch Fester Einband Fr. 188.00 Erscheint am 16.08.2025
Zhiming Liu, Adnane Saoud, Heike Wehrheim - Theoretical Aspects of Computing - ICTAC 2025
Zhiming Liu, Adnane Saoud, Heike Wehrheim Theoretical Aspects of Computing - ICTAC 2025 Englisch Taschenbuch Fr. 102.00 Erscheint am 30.01.2026
Daniel Dietsch, Andrey Rybalchenko, Martin Schäf, Martin Schäf et al, Thomas Wies - On the Pursuit of Insight and Elegance
Daniel Dietsch, Andrey Rybalchenko, Martin Schäf, Martin Schäf et al, Thomas Wies On the Pursuit of Insight and Elegance Englisch Taschenbuch Fr. 69.00 Erscheint am 14.01.2026
Zhenhua Duan, Shaoying Liu - Structured Object-Oriented Formal Language and Method
Zhenhua Duan, Shaoying Liu Structured Object-Oriented Formal Language and Method Englisch 13.03.2016 Taschenbuch vergriffen
Jonathan P. Bowen, Huibiao Zhu - Unifying Theories of Programming
Jonathan P. Bowen, Huibiao Zhu Unifying Theories of Programming Englisch 11.01.2017 Taschenbuch vergriffen
Ichiro Hasuo - Coalgebraic Methods in Computer Science
Ichiro Hasuo Coalgebraic Methods in Computer Science Englisch 04.06.2016 Taschenbuch vergriffen
Eva Kühn, Rosario Pugliese - Coordination Models and Languages
Eva Kühn, Rosario Pugliese Coordination Models and Languages Englisch 24.07.2014 Taschenbuch vergriffen
Benoit Gaudou, Jaime Simao Sichman - Multi-agent Based Simulation XVI
Benoit Gaudou, Jaime Simao Sichman Multi-agent Based Simulation XVI Englisch 15.03.2016 Taschenbuch vergriffen
Sebastian Gabmeyer, Einar Broch Johnsen - Tests and Proofs
Sebastian Gabmeyer, Einar Broch Johnsen Tests and Proofs Englisch 18.06.2017 Taschenbuch vergriffen
Serge Gaspers, Toby Walsh - Theory and Applications of Satisfiability Testing - SAT 2017
Serge Gaspers, Toby Walsh Theory and Applications of Satisfiability Testing - SAT 2017 Englisch 09.08.2017 Taschenbuch vergriffen
Jeremy Gibbons, Perdita Stevens - Bidirectional Transformations
Jeremy Gibbons, Perdita Stevens Bidirectional Transformations Englisch 29.03.2018 Taschenbuch vergriffen