Languages
Subject
Format
Availabity
Authors

Search result

Carl A Furia, Carlo A Furia, Carlo Furia, Carlo A. Furia, Winter, Winter... - Integrated Formal Methods
Carl A Furia, Carlo A Furia, Carlo Furia, Carlo A. Furia, Winter, Winter... Integrated Formal Methods English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Friedemann Bitsch, Barbara Gallina, Amun Skavhaug, Amund Skavhaug - Computer Safety, Reliability, and Security
Friedemann Bitsch, Barbara Gallina, Amun Skavhaug, Amund Skavhaug Computer Safety, Reliability, and Security English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Tiag Massoni, Tiago Massoni, Mohammad Reza Mousavi, Reza Mousavi, Reza Mousavi - Formal Methods: Foundations and Applications
Tiag Massoni, Tiago Massoni, Mohammad Reza Mousavi, Reza Mousavi, Reza Mousavi Formal Methods: Foundations and Applications English 31.12.2018 Paperback / Softback Fr. 82.00 6-7 weeks
Ruzic Piskac, Ruzica Piskac, Rümmer, Rümmer, Philipp Rümmer - Verified Software. Theories, Tools, and Experiments
Ruzic Piskac, Ruzica Piskac, Rümmer, Rümmer, Philipp Rümmer Verified Software. Theories, Tools, and Experiments English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Claus Pahl, Maj Vukovic, Maja Vukovic, Jianwei Yin, Jianwei Yin et al, Qi Yu - Service-Oriented Computing
Claus Pahl, Maj Vukovic, Maja Vukovic, Jianwei Yin, Jianwei Yin et al, Qi Yu Service-Oriented Computing English 01.01.2018 Paperback / Softback Fr. 135.00 6-7 weeks
Christia Colombo, Christian Colombo, Leucker, Leucker, Martin Leucker - Runtime Verification
Christia Colombo, Christian Colombo, Leucker, Leucker, Martin Leucker Runtime Verification English 01.01.2018 Paperback / Softback Fr. 104.00 6-7 weeks
Le Bu, Lei Bu, Xiong, Xiong, Yingfei Xiong - Software Analysis, Testing, and Evolution
Le Bu, Lei Bu, Xiong, Xiong, Yingfei Xiong Software Analysis, Testing, and Evolution English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Raghunat Nambiar, Raghunath Nambiar, Poess, Poess, Meikel Poess - Performance Evaluation and Benchmarking for the Era of Artificial Intelligence
Raghunat Nambiar, Raghunath Nambiar, Poess, Poess, Meikel Poess Performance Evaluation and Benchmarking for the Era of Artificial Intelligence English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Manuel Mazzara, Iulia Ober, Iulian Ober, Gwen Salaün - Software Technologies: Applications and Foundations
Manuel Mazzara, Iulia Ober, Iulian Ober, Gwen Salaün Software Technologies: Applications and Foundations English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Cristian Bogdan, Marta Kristín Lárusdóttir et al, Kat Kuusinen, Kati Kuusinen, Marta Kristín Lárusdóttir, Philippe Palanque... - Human-Centered Software Engineering
Cristian Bogdan, Marta Kristín Lárusdóttir et al, Kat Kuusinen, Kati Kuusinen, Marta Kristín Lárusdóttir, Philippe Palanque... Human-Centered Software Engineering English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
José Júlio Alferes, Johansson, Johansson, Moa Johansson, Jos Júlio Alferes, José Júlio Alferes - Practical Aspects of Declarative Languages
José Júlio Alferes, Johansson, Johansson, Moa Johansson, Jos Júlio Alferes, José Júlio Alferes Practical Aspects of Declarative Languages English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Jean-Michel Bruel, Manue Mazzara, Manuel Mazzara, Bertrand Meyer - Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment
Jean-Michel Bruel, Manue Mazzara, Manuel Mazzara, Bertrand Meyer Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Sunita Chandrasekaran, Guid Juckeland, Guido Juckeland, Sandra Wienke - Accelerator Programming Using Directives
Sunita Chandrasekaran, Guid Juckeland, Guido Juckeland, Sandra Wienke Accelerator Programming Using Directives English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 26.04.2005 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Nuno Jardim Nunes, Alberto Rodrigues da Silva, Bran Selic, Ambrosio Toval Alvarez - UML Modeling Languages and Applications
Nuno Jardim Nunes, Alberto Rodrigues da Silva, Bran Selic, Ambrosio Toval Alvarez UML Modeling Languages and Applications English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Sotiri E Nikoletseas, Sotiris E Nikoletseas, Sotiris E. Nikoletseas - Experimental and Efficient Algorithms
Sotiri E Nikoletseas, Sotiris E Nikoletseas, Sotiris E. Nikoletseas Experimental and Efficient Algorithms English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Hubert Baumeister, Mike Holcombe, Michele Marchesi - Extreme Programming and Agile Processes in Software Engineering
Hubert Baumeister, Mike Holcombe, Michele Marchesi Extreme Programming and Agile Processes in Software Engineering English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Mario Dal Cin, Mohamed Kaâniche, András Pataricza - Dependable Computing - EDCC 2005
Mario Dal Cin, Mohamed Kaâniche, András Pataricza Dependable Computing - EDCC 2005 English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks