Languages
Subject
Format
Availabity
Authors

Search result

Perdita Stevens, Andrzej W¿sowski, Andrzej Wasowski, Andrzej Wąsowski - Fundamental Approaches to Software Engineering
Perdita Stevens, Andrzej W¿sowski, Andrzej Wasowski, Andrzej Wąsowski Fundamental Approaches to Software Engineering English 22.03.2016 Paperback / Softback Sold out
Natalia Kushik, Mihai Nica, Franz Wotawa - Testing Software and Systems
Natalia Kushik, Mihai Nica, Franz Wotawa Testing Software and Systems English 04.10.2016 Paperback / Softback Sold out
Tibor Csöndes, Gábor Kovács, György Réthy - SDL 2017: Model-Driven Engineering for Future Internet
Tibor Csöndes, Gábor Kovács, György Réthy SDL 2017: Model-Driven Engineering for Future Internet English 07.09.2017 Paperback / Softback Sold out
Sebastian Gabmeyer, Einar Broch Johnsen - Tests and Proofs
Sebastian Gabmeyer, Einar Broch Johnsen Tests and Proofs English 18.06.2017 Paperback / Softback Sold out
James Cussens, Alessandra Russo - Inductive Logic Programming
James Cussens, Alessandra Russo Inductive Logic Programming English 16.07.2017 Paperback / Softback Sold out
Manuel V Hermenegildo, Pedro Lopez-Garcia - Logic-Based Program Synthesis and Transformation
Manuel V Hermenegildo, Pedro Lopez-Garcia Logic-Based Program Synthesis and Transformation English 25.07.2017 Paperback / Softback Sold out
Axel Legay, Tiziana Margaria - Tools and Algorithms for the Construction and Analysis of Systems
Axel Legay, Tiziana Margaria Tools and Algorithms for the Construction and Analysis of Systems English 31.03.2017 Paperback / Softback Sold out
Matthew J. Patitz, Mike Stannett - Unconventional Computation and Natural Computation
Matthew J. Patitz, Mike Stannett Unconventional Computation and Natural Computation English 28.04.2017 Paperback / Softback Sold out
Antonio Cerone, Marco Roveri - Software Engineering and Formal Methods
Antonio Cerone, Marco Roveri Software Engineering and Formal Methods English 03.02.2018 Paperback / Softback Sold out
Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang - Dependable Software Engineering. Theories, Tools, and Applications
Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang Dependable Software Engineering. Theories, Tools, and Applications English 17.10.2017 Paperback / Softback Sold out
Arnaud Carayol, Cyril Nicaud - Implementation and Application of Automata
Arnaud Carayol, Cyril Nicaud Implementation and Application of Automata English 28.05.2017 Paperback / Softback Sold out
Cezar Câmpeanu, Giovanni Pighizzini - Descriptional Complexity of Formal Systems
Cezar Câmpeanu, Giovanni Pighizzini Descriptional Complexity of Formal Systems English 03.06.2017 Paperback / Softback Sold out
Supratik Chakraborty, Madhavan Mukund - Automated Technology for Verification and Analysis
Supratik Chakraborty, Madhavan Mukund Automated Technology for Verification and Analysis English 16.08.2012 Paperback / Softback Sold out
Fabrice Kordon, Janos Sztipanovits - Reliable Systems on Unreliable Networked Platforms
Fabrice Kordon, Janos Sztipanovits Reliable Systems on Unreliable Networked Platforms English 28.02.2007 Paperback / Softback Sold out
Fred Kröger, Stephan Merz - Temporal Logic and State Systems
Fred Kröger, Stephan Merz Temporal Logic and State Systems English 25.11.2010 Paperback / Softback Sold out
Juhani Karhumäki, Laur Karttunen, Lauri Karttunen, Anssi Yli-Jyrä - Finite-State Methods and Natural Language Processing
Juhani Karhumäki, Laur Karttunen, Lauri Karttunen, Anssi Yli-Jyrä Finite-State Methods and Natural Language Processing English 19.02.2009 Paperback / Softback Sold out
Ionu¿ ¿U¿U, Mihai Codescu, R¿zvan Diaconescu, Razvan Diaconescu, Răzvan Diaconescu, Ionu uu - Recent Trends in Algebraic Development Techniques
Ionu¿ ¿U¿U, Mihai Codescu, R¿zvan Diaconescu, Razvan Diaconescu, Răzvan Diaconescu, Ionu uu Recent Trends in Algebraic Development Techniques English 31.12.2015 Paperback / Softback Sold out
Josep Carmona, Gregor Engels, Akhil Kumar - Business Process Management
Josep Carmona, Gregor Engels, Akhil Kumar Business Process Management English 11.08.2017 Paperback / Softback Sold out
Nicolas Lachiche, Christel Vrain - Inductive Logic Programming
Nicolas Lachiche, Christel Vrain Inductive Logic Programming English 15.03.2018 Paperback / Softback Sold out
Jeremy Gibbons, Perdita Stevens - Bidirectional Transformations
Jeremy Gibbons, Perdita Stevens Bidirectional Transformations English 29.03.2018 Paperback / Softback Sold out