Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

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
Julia M. Badger, Juli M Badger, Julia M Badger, Kristin Yvonne Rozier, Yvonne Rozier, Yvonne Rozier - NASA Formal Methods
Julia M. Badger, Juli M Badger, Julia M Badger, Kristin Yvonne Rozier, Yvonne Rozier, Yvonne Rozier NASA Formal Methods Englisch 01.01.2019 Taschenbuch Fr. 92.00 6-7 Wochen
David Van Horn, Hughes, Hughes, John Hughes, Davi Van Horn, David Van Horn - Trends in Functional Programming
David Van Horn, Hughes, Hughes, John Hughes, Davi Van Horn, David Van Horn Trends in Functional Programming Englisch 01.01.2019 Taschenbuch Fr. 70.00 6-7 Wochen
Lee Ammeraal, Leen Ammeraal, Kang Zhang - Computer Graphics for Java Programmers
Lee Ammeraal, Leen Ammeraal, Kang Zhang Computer Graphics for Java Programmers Englisch 01.01.2018 Taschenbuch Fr. 93.00 6-7 Wochen
Chi N Thai, Chi N. Thai - Exploring Robotics with ROBOTIS Systems
Chi N Thai, Chi N. Thai Exploring Robotics with ROBOTIS Systems Englisch 01.01.2018 Taschenbuch Fr. 84.00 6-7 Wochen
Manue Mazzara, Manuel Mazzara, MEYER, Meyer, Bertrand Meyer - Present and Ulterior Software Engineering
Manue Mazzara, Manuel Mazzara, MEYER, Meyer, Bertrand Meyer Present and Ulterior Software Engineering Englisch 01.01.2018 Taschenbuch Fr. 135.00 6-7 Wochen
M. Aleksy, Marku Aleksy, Markus Aleksy, Axe Korthaus, Axel Korthaus, Martin Schader - Implementing Distributed Systems with Java and CORBA
M. Aleksy, Marku Aleksy, Markus Aleksy, Axe Korthaus, Axel Korthaus, Martin Schader Implementing Distributed Systems with Java and CORBA Englisch 01.01.2005 Fester Einband Fr. 70.00 6-7 Wochen
Gay, Gay, Gregory Gay, Shiv Nejati, Shiva Nejati - Search-Based Software Engineering
Gay, Gay, Gregory Gay, Shiv Nejati, Shiva Nejati Search-Based Software Engineering Englisch 01.01.2019 Taschenbuch Fr. 70.00 6-7 Wochen
García Rodríguez de Guzmán, Ignacio García Rodríguez de Guzmán, Ricardo Pérez-Castillo, Mario Piattini, Paul Rupino da Cunha, Paulo Rupino da Cunha - Quality of Information and Communications Technology
García Rodríguez de Guzmán, Ignacio García Rodríguez de Guzmán, Ricardo Pérez-Castillo, Mario Piattini, Paul Rupino da Cunha, Paulo Rupino da Cunha Quality of Information and Communications Technology Englisch 31.10.2019 Taschenbuch Fr. 106.00 6-7 Wochen
Luí Caires, Luís Caires - Programming Languages and Systems
Luí Caires, Luís Caires Programming Languages and Systems 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
Frank S. de Boer, Marcello M. Bonsangue, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al, Marcell M Bonsangue... - Formal Methods for Components and Objects
Frank S. de Boer, Marcello M. Bonsangue, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al, Marcell M Bonsangue... Formal Methods for Components and Objects Englisch 20.12.2004 Taschenbuch Fr. 70.00 6-7 Wochen
Marti Steffen, Martin Steffen, Zavattaro, Zavattaro, Gianluigi Zavattaro - Formal Methods for Open Object-Based Distributed Systems
Marti Steffen, Martin Steffen, Zavattaro, Zavattaro, Gianluigi Zavattaro Formal Methods for Open Object-Based Distributed Systems Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
M. Bernardo, Marc Bernardo, Marco Bernardo, Corradini, Corradini, F. Corradini... - Formal Methods for the Design of Real-Time Systems
M. Bernardo, Marc Bernardo, Marco Bernardo, Corradini, Corradini, F. Corradini... Formal Methods for the Design of Real-Time Systems Englisch 20.12.2004 Taschenbuch Fr. 70.00 6-7 Wochen
H. Kreowski, Hans-Jörg Kreowski, Ug Montanari, Ugo Montanari, Fernando Orejas, Fernando Orejas et al... - Formal Methods in Software and Systems Modeling
H. Kreowski, Hans-Jörg Kreowski, Ug Montanari, Ugo Montanari, Fernando Orejas, Fernando Orejas et al... Formal Methods in Software and Systems Modeling Englisch 26.04.2005 Taschenbuch Fr. 70.00 6-7 Wochen
Muath Alkhalaf, Muath et al Alkhalaf, Abdulbaki Aydin, Tevfi Bultan, Tevfik Bultan, Fan Yu... - String Analysis for Software Verification and Security
Muath Alkhalaf, Muath et al Alkhalaf, Abdulbaki Aydin, Tevfi Bultan, Tevfik Bultan, Fan Yu... String Analysis for Software Verification and Security Englisch 01.01.2019 Taschenbuch Fr. 91.00 6-7 Wochen
Maur Cerioli, Maura Cerioli - Fundamental Approaches to Software Engineering
Maur Cerioli, Maura Cerioli Fundamental Approaches to Software Engineering Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Eduardo Alonso, Dimita Kazakov, Dimitar Kazakov, Daniel Kudenko - Adaptive Agents and Multi-Agent Systems II. Vol.2
Eduardo Alonso, Dimita Kazakov, Dimitar Kazakov, Daniel Kudenko Adaptive Agents and Multi-Agent Systems II. Vol.2 Englisch 22.06.2005 Taschenbuch Fr. 70.00 6-7 Wochen
Ivica Crnkovic, George Heineman, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau - Component-Based Software Engineering
Ivica Crnkovic, George Heineman, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau Component-Based Software Engineering Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen