Languages
Subject
Format
Availabity
Authors

Search result

Fabio Mogavero - Logics in Computer Science
Fabio Mogavero Logics in Computer Science English 01.01.2015 Paperback / Softback Fr. 117.00 6-7 weeks
Manjunath Gorentla Venkata, Neena Imam, Neena Imam et al, M. Graham Lopez, Gorentla Venkata Manjunath, Pave Shamis... - Open SHMEM and Related Technologies
Manjunath Gorentla Venkata, Neena Imam, Neena Imam et al, M. Graham Lopez, Gorentla Venkata Manjunath, Pave Shamis... Open SHMEM and Related Technologies English 01.01.2015 Paperback / Softback Fr. 56.90 6-7 weeks
Volke Diekert, Volker Diekert, Habib, Habib, Michel Habib - STACS 2004
Volke Diekert, Volker Diekert, Habib, Habib, Michel Habib STACS 2004 English 01.01.2004 Paperback / Softback Fr. 135.00 6-7 weeks
Chechik, Chechik, Marsha Chechik, Franc van Breugel, Franck Van Breugel - CONCUR 2008 - Concurrency Theory
Chechik, Chechik, Marsha Chechik, Franc van Breugel, Franck Van Breugel CONCUR 2008 - Concurrency Theory English 01.01.2008 Paperback / Softback Fr. 70.00 6-7 weeks
Elizabeth Black, Sanja Modgil, Sanjay Modgil, Nir Oren - Theory and Applications of Formal Argumentation
Elizabeth Black, Sanja Modgil, Sanjay Modgil, Nir Oren Theory and Applications of Formal Argumentation English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Nick Bassiliades, Vadi Ermolayev, Vadim Ermolayev, Hans-Georg Fill, Hans-Georg Fill et al, Heinrich C. Mayr... - Information and Communication Technologies in Education, Research, and Industrial Applications
Nick Bassiliades, Vadi Ermolayev, Vadim Ermolayev, Hans-Georg Fill, Hans-Georg Fill et al, Heinrich C. Mayr... Information and Communication Technologies in Education, Research, and Industrial Applications English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Shmuel Tomi Klein, Carlo Martín-Vide, Carlos Martín-Vide, Dana Shapira - Language and Automata Theory and Applications
Shmuel Tomi Klein, Carlo Martín-Vide, Carlos Martín-Vide, Dana Shapira Language and Automata Theory and Applications English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Atsush Igarashi, Atsushi Igarashi - Programming Languages and Systems
Atsush Igarashi, Atsushi Igarashi Programming Languages and Systems English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Yliè Falcone, Yliès Falcone, Sánchez, Sánchez, César Sánchez - Runtime Verification
Yliè Falcone, Yliès Falcone, Sánchez, Sánchez, César Sánchez Runtime Verification English 30.11.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Eugeni Cinquemani, Eugenio Cinquemani, Donzé, Donzé, Alexandre Donzé - Hybrid Systems Biology
Eugeni Cinquemani, Eugenio Cinquemani, Donzé, Donzé, Alexandre Donzé Hybrid Systems Biology English 30.11.2016 Paperback / Softback Fr. 59.50 6-7 weeks
John Fitzgerald, John Fitz-Gerald, Pete Gorm Larsen, Peter Gorm Larsen, Peter Gorm Larsen, Marcel Verhoef - Collaborative Design for Embedded Systems
John Fitzgerald, John Fitz-Gerald, Pete Gorm Larsen, Peter Gorm Larsen, Peter Gorm Larsen, Marcel Verhoef Collaborative Design for Embedded Systems English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Tizian Margaria, Tiziana Margaria, Steffen, Steffen, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
Tizian Margaria, Tiziana Margaria, Steffen, Steffen, Bernhard Steffen Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques English 01.01.2016 Paperback / Softback Fr. 135.00 6-7 weeks
David Leake, David Leake et al, Uli Sattler, Zhongzhi Shi, Zhaohu Wu, Zhaohui Wu - Intelligent Information Processing VII
David Leake, David Leake et al, Uli Sattler, Zhongzhi Shi, Zhaohu Wu, Zhaohui Wu Intelligent Information Processing VII English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Hana Chockler, Danie Kroening, Daniel Kroening, Leonardo Mariani, Leonardo Mariani et al, Natasha Sharygina - Validation of Evolving Software
Hana Chockler, Danie Kroening, Daniel Kroening, Leonardo Mariani, Leonardo Mariani et al, Natasha Sharygina Validation of Evolving Software English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Paolo Giorgini, Jör Müller, Jörg Müller, Jörg P. Müller, James Odell - Agent-Oriented Software Engineering IV
Paolo Giorgini, Jör Müller, Jörg Müller, Jörg P. Müller, James Odell Agent-Oriented Software Engineering IV English 01.01.2004 Paperback / Softback Fr. 70.00 6-7 weeks
F. Somenzi, Jr. Hunt, Warren A. Hunt, Fabio Somenzi, W. A. von Hunt - Computer Aided Verification
F. Somenzi, Jr. Hunt, Warren A. Hunt, Fabio Somenzi, W. A. von Hunt Computer Aided Verification English 01.01.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Erik Ábrahám, Erika Ábrahám, Huisman, Huisman, Marieke Huisman - Integrated Formal Methods
Erik Ábrahám, Erika Ábrahám, Huisman, Huisman, Marieke Huisman Integrated Formal Methods English 01.01.2016 Paperback / Softback Fr. 110.00 6-7 weeks
Thierry Lecomte, Ral Pinger, Ralf Pinger, Alexander Romanovsky - Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Thierry Lecomte, Ral Pinger, Ralf Pinger, Alexander Romanovsky Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Bar Jacobs, Bart Jacobs, Löding, Löding, Christof Löding - Foundations of Software Science and Computation Structures
Bar Jacobs, Bart Jacobs, Löding, Löding, Christof Löding Foundations of Software Science and Computation Structures English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Marsh Chechik, Marsha Chechik, Raskin, Raskin, Jean-François Raskin - Tools and Algorithms for the Construction and Analysis of Systems
Marsh Chechik, Marsha Chechik, Raskin, Raskin, Jean-François Raskin Tools and Algorithms for the Construction and Analysis of Systems English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks