Languages
Subject
Format
Availabity
Authors

Search result

Yoshinor Hara, Yoshinori Hara, Karagiannis, Karagiannis, Dimitris Karagiannis - Serviceology for Services
Yoshinor Hara, Yoshinori Hara, Karagiannis, Karagiannis, Dimitris Karagiannis Serviceology for Services English 30.09.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Friedemann Bitsch, Erwi Schoitsch, Erwin Schoitsch, Stefano Tonetta - Computer Safety, Reliability, and Security
Friedemann Bitsch, Erwi Schoitsch, Erwin Schoitsch, Stefano Tonetta Computer Safety, Reliability, and Security English 30.11.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Friedemann Bitsch, Erwi Schoitsch, Erwin Schoitsch, Stefano Tonetta - Computer Safety, Reliability, and Security
Friedemann Bitsch, Erwi Schoitsch, Erwin Schoitsch, Stefano Tonetta Computer Safety, Reliability, and Security English 30.11.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Peter Dencker, Peter Dencker et al, Hubert B. Keller, Herbert Klenk, Erhard Pl¿dereder, Erhard Plödereder... - Reliable Software Technologies -- Ada-Europe 2013
Peter Dencker, Peter Dencker et al, Hubert B. Keller, Herbert Klenk, Erhard Pl¿dereder, Erhard Plödereder... Reliable Software Technologies -- Ada-Europe 2013 English 06.05.2013 Paperback / Softback Fr. 66.00 6-7 weeks
Eina Broch Johnsen, Einar Broch Johnsen, Einar Broch Johnsen, Petre, Petre, Luigia Petre - Integrated Formal Methods
Eina Broch Johnsen, Einar Broch Johnsen, Einar Broch Johnsen, Petre, Petre, Luigia Petre Integrated Formal Methods English 06.05.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Maria Teresa Baldassarre, Danilo Caivano, Markku Oivo, Giuseppe Visaggio - Product-Focused Software Process Improvement
Maria Teresa Baldassarre, Danilo Caivano, Markku Oivo, Giuseppe Visaggio Product-Focused Software Process Improvement English 31.12.2011 Paperback / Softback Fr. 70.00 6-7 weeks
Marco Bernardo, Ferrucci Damiani, Ferruccio Damiani, Reiner Haehnle, Reiner Haehnle et al, Einar Broch Johnsen... - Formal Methods for Executable Software Models
Marco Bernardo, Ferrucci Damiani, Ferruccio Damiani, Reiner Haehnle, Reiner Haehnle et al, Einar Broch Johnsen... Formal Methods for Executable Software Models English 30.04.2014 Paperback / Softback Fr. 70.00 6-7 weeks
Erik Ábrahám, Erika Ábrahám, Palamidessi, Palamidessi, Catuscia Palamidessi - Formal Techniques for Distributed Objects, Components, and Systems
Erik Ábrahám, Erika Ábrahám, Palamidessi, Palamidessi, Catuscia Palamidessi Formal Techniques for Distributed Objects, Components, and Systems English 30.04.2014 Paperback / Softback Fr. 70.00 6-7 weeks
Khalid Al-Begain, Diete Fiems, Dieter Fiems, Jean-Marc Vincent - Analytical and Stochastic Modeling Techniques and Applications
Khalid Al-Begain, Diete Fiems, Dieter Fiems, Jean-Marc Vincent Analytical and Stochastic Modeling Techniques and Applications English 04.05.2012 Paperback / Softback Fr. 70.00 6-7 weeks
John Derrick, Stefani Gnesi, Stefania Gnesi, Diego Latella, Diego Latella et al, Helen Treharne - Integrated Formal Methods
John Derrick, Stefani Gnesi, Stefania Gnesi, Diego Latella, Diego Latella et al, Helen Treharne Integrated Formal Methods English 04.05.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Rocc De Nicola, Rocco De Nicola, Julien, Julien, Christine Julien - Coordination Models and Languages
Rocc De Nicola, Rocco De Nicola, Julien, Julien, Christine Julien Coordination Models and Languages English 25.04.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Dir Beyer, Dirk Beyer, Boreale, Boreale, Michele Boreale - Formal Techniques for Distributed Systems
Dir Beyer, Dirk Beyer, Boreale, Boreale, Michele Boreale Formal Techniques for Distributed Systems English 25.04.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Krist Boyer, Kristy Boyer, Martha Crosby, Martha Crosby et al, Kitty Panourgia, Stefan Trausan-Matu - Intelligent Tutoring Systems
Krist Boyer, Kristy Boyer, Martha Crosby, Martha Crosby et al, Kitty Panourgia, Stefan Trausan-Matu Intelligent Tutoring Systems English 30.04.2014 Paperback / Softback Fr. 135.00 6-7 weeks
Zhenhu Duan, Zhenhua Duan, Ong, Ong, Luke Ong - Formal Methods and Software Engineering
Zhenhu Duan, Zhenhua Duan, Ong, Ong, Luke Ong Formal Methods and Software Engineering English 31.12.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Flavio de Paoli, Kyriakos Kritikos, Plebani Pierluigi, Pierluig Plebani, Pierluigi Plebani - Service-Oriented and Cloud Computing
Flavio de Paoli, Kyriakos Kritikos, Plebani Pierluigi, Pierluig Plebani, Pierluigi Plebani Service-Oriented and Cloud Computing English 30.11.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Xinyu Feng, Marku Müller-Olm, Markus Müller-Olm, Zijiang Yang - Dependable Software Engineering. Theories, Tools, and Applications
Xinyu Feng, Marku Müller-Olm, Markus Müller-Olm, Zijiang Yang Dependable Software Engineering. Theories, Tools, and Applications English 30.11.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Boualem Benatallah, Ivona Brandi, Ivona Brandi¿, Ivona Brandic, Ivona Brandić, Alessio Lomuscio... - Service-Oriented Computing--ICSOC 2013 Workshops
Boualem Benatallah, Ivona Brandi, Ivona Brandi¿, Ivona Brandic, Ivona Brandić, Alessio Lomuscio... Service-Oriented Computing--ICSOC 2013 Workshops English 22.04.2014 Paperback / Softback Fr. 135.00 6-7 weeks
Edward Hirsch, Edward A. Hirsch, Sergei O. Kuznetsov, Serge O Kuznetsov, Sergei O Kuznetsov, Jean-Éric Pin... - Computer Science - Theory and Applications
Edward Hirsch, Edward A. Hirsch, Sergei O. Kuznetsov, Serge O Kuznetsov, Sergei O Kuznetsov, Jean-Éric Pin... Computer Science - Theory and Applications English 31.05.2014 Paperback / Softback Fr. 70.00 6-7 weeks
Wille Jonker, Willem Jonker, Milan Petkovi, Milan Petkovi¿, Petkovic, Petkovic... - Secure Data Management
Wille Jonker, Willem Jonker, Milan Petkovi, Milan Petkovi¿, Petkovic, Petkovic... Secure Data Management English 01.06.2014 Paperback / Softback Fr. 70.00 6-7 weeks
Ofe Strichman, Ofer Strichman, Tzoref-Brill, Tzoref-Brill, Rachel Tzoref-Brill - Hardware and Software: Verification and Testing
Ofe Strichman, Ofer Strichman, Tzoref-Brill, Tzoref-Brill, Rachel Tzoref-Brill Hardware and Software: Verification and Testing English 31.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks