Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

Carlos Cunha, Carlos Cunha, Joao Carlos Cunha, Marc Vieira, Marco Vieira - Dependable Computing
Carlos Cunha, Carlos Cunha, Joao Carlos Cunha, Marc Vieira, Marco Vieira Dependable Computing Englisch, Deutsch 10.05.2013 Taschenbuch Fr. 64.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Engels, Engels, Gregor Engels, Pieter van Gorp, Piete Van Gorp, Pieter Van Gorp - Theory and Practice of Model Transformations
Engels, Engels, Gregor Engels, Pieter van Gorp, Piete Van Gorp, Pieter Van Gorp Theory and Practice of Model Transformations Englisch, Deutsch 01.01.2016 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Lev D. Beklemishev, Andrea Blass, Andreas Blass, Nachum Dershowitz, Nachum Dershowitz et al, Bernd Finkbeiner... - Fields of Logic and Computation II
Lev D. Beklemishev, Andrea Blass, Andreas Blass, Nachum Dershowitz, Nachum Dershowitz et al, Bernd Finkbeiner... Fields of Logic and Computation II Englisch, Deutsch 01.01.2015 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
de Moura, de Moura, Leonardo de Moura, Julian Iyoda, Juliano Iyoda - Formal Methods: Foundations and Applications
de Moura, de Moura, Leonardo de Moura, Julian Iyoda, Juliano Iyoda Formal Methods: Foundations and Applications Englisch, Deutsch 26.08.2013 Taschenbuch Fr. 64.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Wolfgang Ahrendt, Bernhar Beckert, Bernhard Beckert, Richard Bubel, Richard Bubel et al, Reiner Hähnle... - Deductive Software Verification - The KeY Book
Wolfgang Ahrendt, Bernhar Beckert, Bernhard Beckert, Richard Bubel, Richard Bubel et al, Reiner Hähnle... Deductive Software Verification - The KeY Book Englisch, Deutsch 01.01.2016 Taschenbuch Fr. 157.00 2-3 Wochen (Titel wird auf Bestellung gedruckt)
Blandford, Blandford, Ann Blandford, Gavi Doherty, Gavin Doherty - Interactive Systems. Design, Specification, and Verification
Blandford, Blandford, Ann Blandford, Gavi Doherty, Gavin Doherty Interactive Systems. Design, Specification, and Verification Englisch 14.04.2009 Taschenbuch Fr. 69.00 4-7 Arbeitstage
Andr Rauber Du Bois, Andre Rauber Du Bois, Trinder, Trinder, Phil Trinder - Programming Languages
Andr Rauber Du Bois, Andre Rauber Du Bois, Trinder, Trinder, Phil Trinder Programming Languages Englisch 21.08.2013 Taschenbuch Fr. 64.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Iva Lanese, Ivan Lanese, Madelaine, Madelaine, Eric Madelaine - Formal Aspects of Component Software
Iva Lanese, Ivan Lanese, Madelaine, Madelaine, Eric Madelaine Formal Aspects of Component Software Englisch 01.01.2015 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Raghunat Nambiar, Raghunath Nambiar, Poess, Poess, Meikel Poess - Performance Characterization and Benchmarking. Traditional to Big Data
Raghunat Nambiar, Raghunath Nambiar, Poess, Poess, Meikel Poess Performance Characterization and Benchmarking. Traditional to Big Data Englisch 01.01.2015 Taschenbuch Fr. 55.90 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Carlo Canal, Carlos Canal, Idani, Idani, Akram Idani - Software Engineering and Formal Methods
Carlo Canal, Carlos Canal, Idani, Idani, Akram Idani Software Engineering and Formal Methods Englisch 01.01.2015 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Sve Jörges, Sven Jörges - Construction and Evolution of Code Generators
Sve Jörges, Sven Jörges Construction and Evolution of Code Generators Englisch 14.12.2012 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Krzyszto Czarnecki, Krzysztof Czarnecki, HEDIN, Hedin, Görel Hedin - Software Language Engineering
Krzyszto Czarnecki, Krzysztof Czarnecki, HEDIN, Hedin, Görel Hedin Software Language Engineering Englisch 14.12.2012 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Thoma A Henzinger, Thomas A Henzinger, David Antos, Thomas A. Henzinger, Antonin Kucera, Jaroslav Ne¿et¿il... - Mathematical and Engineering Methods in Computer Science
Thoma A Henzinger, Thomas A Henzinger, David Antos, Thomas A. Henzinger, Antonin Kucera, Jaroslav Ne¿et¿il... Mathematical and Engineering Methods in Computer Science Englisch 14.12.2012 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Ralf Lämmel, Joã Saraiva, João Saraiva, Joost Visser - Generative and Transformational Techniques in Software Engineering IV
Ralf Lämmel, Joã Saraiva, João Saraiva, Joost Visser Generative and Transformational Techniques in Software Engineering IV Englisch 06.12.2012 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Erni Cohen, Ernie Cohen, Rybalchenko, Rybalchenko, Andrey Rybalchenko - Verified Software: Theorie, Tools, Experiments
Erni Cohen, Ernie Cohen, Rybalchenko, Rybalchenko, Andrey Rybalchenko Verified Software: Theorie, Tools, Experiments Englisch 28.01.2014 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Sve Apel, Sven Apel, Jackson, Jackson, Ethan Jackson - Software Composition
Sve Apel, Sven Apel, Jackson, Jackson, Ethan Jackson Software Composition Englisch 31.07.2011 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Jerem Gibbons, Jeremy Gibbons, MacCaull, MacCaull, Wendy MacCaull - Foundations of Health Information Engineering and Systems
Jerem Gibbons, Jeremy Gibbons, MacCaull, MacCaull, Wendy MacCaull Foundations of Health Information Engineering and Systems Englisch 01.08.2014 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Zden k Dvo ák, Zden¿k Dvo¿ák, Zdene Dvorák, Zdenek Dvorák, Zdeněk Dvořák, Petr Hlin ný... - Mathematical and Engineering Methods in Computer Science
Zden k Dvo ák, Zden¿k Dvo¿ák, Zdene Dvorák, Zdenek Dvorák, Zdeněk Dvořák, Petr Hlin ný... Mathematical and Engineering Methods in Computer Science Englisch 01.01.2015 Taschenbuch Fr. 55.90 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Rocc De Nicola, Rocco De Nicola, Hennicker, Hennicker, Rolf Hennicker - Software, Services, and Systems
Rocc De Nicola, Rocco De Nicola, Hennicker, Hennicker, Rolf Hennicker Software, Services, and Systems Englisch 01.01.2015 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Rober Glück, Robert Glück, Robert Glueck, YOKOYAMA, Yokoyama, Tetsuo Yokoyama - Reversible Computation
Rober Glück, Robert Glück, Robert Glueck, YOKOYAMA, Yokoyama, Tetsuo Yokoyama Reversible Computation Englisch 25.01.2013 Taschenbuch Fr. 64.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)