Sprache
Zurücksetzen Thema
Format
Verfügbarkeit
Autoren

Suchresultat

Alessandro Armando - Frontiers of Combining Systems
Alessandro Armando Frontiers of Combining Systems Englisch 20.03.2002 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Thomas Arts, Ricardo Pena - Implementation of Functional Languages
Thomas Arts, Ricardo Pena Implementation of Functional Languages Englisch 20.05.2003 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Jean-Marie Jacquet, Gian Pietro Picco - Coordination Models and Languages
Jean-Marie Jacquet, Gian Pietro Picco Coordination Models and Languages Englisch 05.04.2005 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Bernhard Gramlich - Frontiers of Combining Systems
Bernhard Gramlich Frontiers of Combining Systems Englisch 12.09.2005 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Sandro Etalle - Logic Based Program Synthesis and Transformation
Sandro Etalle Logic Based Program Synthesis and Transformation Englisch 24.06.2005 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Ew Orlowska, Ewa Orlowska, Szalas, Szalas, Andrzej Szalas - Relational Methods for Computer Science Applications
Ew Orlowska, Ewa Orlowska, Szalas, Szalas, Andrzej Szalas Relational Methods for Computer Science Applications Englisch 25.07.2013 Taschenbuch Fr. 70.00 6-7 Wochen
Ian Ricketts - Managing Your Software Project
Ian Ricketts Managing Your Software Project Englisch 01.01.1997 Taschenbuch Fr. 70.00 6-7 Wochen
Marc Discacciati, Marco Discacciati, David E Keyes et al, David Keyes, David E. Keyes, Karl-Ulrich Langer... - Domain Decomposition Methods in Science and Engineering XVII
Marc Discacciati, Marco Discacciati, David E Keyes et al, David Keyes, David E. Keyes, Karl-Ulrich Langer... Domain Decomposition Methods in Science and Engineering XVII Englisch 14.04.2009 Taschenbuch Fr. 189.00 6-7 Wochen
J. Pejas, Jerz Pejas, Jerzy Pejas, Piegat, Piegat, A. Piegat... - Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems
J. Pejas, Jerz Pejas, Jerzy Pejas, Piegat, Piegat, A. Piegat... Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems Englisch 14.01.2005 Fester Einband Fr. 239.00 6-7 Wochen
Ra Earnshaw, Rae Earnshaw, VINCE, Vince, John Vince - Digital Content Creation
Ra Earnshaw, Rae Earnshaw, VINCE, Vince, John Vince Digital Content Creation Englisch 01.01.2012 Taschenbuch Fr. 189.00 6-7 Wochen
Sandip Ray - Scalable Techniques for Formal Verification
Sandip Ray Scalable Techniques for Formal Verification Englisch 01.01.2014 Taschenbuch Fr. 149.00 6-7 Wochen
Mehdi Dastani, Koen V. Hindriks, John-Jules Meyer, Koe V Hindriks, Koen V Hindriks - Specification and Verification of Multi-agent Systems
Mehdi Dastani, Koen V. Hindriks, John-Jules Meyer, Koe V Hindriks, Koen V Hindriks Specification and Verification of Multi-agent Systems Englisch 01.01.2014 Taschenbuch Fr. 189.00 6-7 Wochen
Jea Krivine, Jean Krivine, Stefani, Stefani, Jean-Bernard Stefani - Reversible Computation
Jea Krivine, Jean Krivine, Stefani, Stefani, Jean-Bernard Stefani Reversible Computation Englisch 01.01.2015 Taschenbuch Fr. 68.00 6-7 Wochen
Mohammad Abdullah Al Faruque, Marco Aurélio Wehrmeister et al, Marcelo Götz, Achim Rettberg, Guna Schirner, Gunar Schirner... - System Level Design from HW/SW to Memory for Embedded Systems
Mohammad Abdullah Al Faruque, Marco Aurélio Wehrmeister et al, Marcelo Götz, Achim Rettberg, Guna Schirner, Gunar Schirner... System Level Design from HW/SW to Memory for Embedded Systems Englisch 01.01.2018 Fester Einband Fr. 70.00 6-7 Wochen
Luj Bauer, Lujo Bauer, Küsters, Küsters, Ralf Küsters - Principles of Security and Trust
Luj Bauer, Lujo Bauer, Küsters, Küsters, Ralf Küsters Principles of Security and Trust Englisch 01.01.2018 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
Flemmin Nielson, Flemming Nielson, Sands, Sands, David Sands - Principles of Security and Trust
Flemmin Nielson, Flemming Nielson, Sands, Sands, David Sands Principles of Security and Trust Englisch 01.01.2019 Taschenbuch Fr. 70.00 6-7 Wochen
Mike Barnett, Jim Davies, Wolfram Schulte - Formal Methods and Software Engineering
Mike Barnett, Jim Davies, Wolfram Schulte Formal Methods and Software Engineering Englisch 06.06.2005 Taschenbuch Fr. 135.00 6-7 Wochen
P. B. Andrews, P.B. Andrews, Peter B Andrews, Peter B. Andrews - An Introduction to Mathematical Logic and Type Theory
P. B. Andrews, P.B. Andrews, Peter B Andrews, Peter B. Andrews An Introduction to Mathematical Logic and Type Theory Englisch 15.04.2005 Fester Einband Fr. 169.00 6-7 Wochen
Anthony K. Hyder, Anthony K. Hyder, Shahbazian, E Shahbazian, E. Shahbazian, E Waltz... - Multisensor Fusion, 2 Bde.
Anthony K. Hyder, Anthony K. Hyder, Shahbazian, E Shahbazian, E. Shahbazian, E Waltz... Multisensor Fusion, 2 Bde. Englisch 12.04.2012 Taschenbuch Fr. 239.00 6-7 Wochen