Languages
Subject
Format
Availabity
Authors

Search result

Deb, Deb, Kalyanmoy Deb, Federic Sarro, Federica Sarro - Search Based Software Engineering
Deb, Deb, Kalyanmoy Deb, Federic Sarro, Federica Sarro Search Based Software Engineering English 30.11.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
K C Wang, K. C. Wang, K.C. Wang - Design and Implementation of the MTX Operating System
K C Wang, K. C. Wang, K.C. Wang Design and Implementation of the MTX Operating System English 01.01.2016 Paperback / Softback Fr. 117.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
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
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
Cyrill Artho, Cyrille Artho, Csaba Ölveczky, Csaba Ölveczky, Peter Csaba Ölveczky - Formal Techniques for Safety-Critical Systems
Cyrill Artho, Cyrille Artho, Csaba Ölveczky, Csaba Ölveczky, Peter Csaba Ölveczky Formal Techniques for Safety-Critical Systems English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Pete Thiemann, Peter Thiemann - Programming Languages and Systems
Pete Thiemann, Peter Thiemann Programming Languages and Systems English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Dragan Bo¿na¿ki, Draga Bosnacki, Dragan Bosnacki, Dragan Bošnački, Wijs, Wijs... - Model Checking Software
Dragan Bo¿na¿ki, Draga Bosnacki, Dragan Bosnacki, Dragan Bošnački, Wijs, Wijs... Model Checking Software English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Javie Esparza, Javier Esparza, Andrzej S. Murawski, S Murawski, S Murawski - Foundations of Software Science and Computation Structures
Javie Esparza, Javier Esparza, Andrzej S. Murawski, S Murawski, S Murawski Foundations of Software Science and Computation Structures English 31.12.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Ahme Bouajjani, Ahmed Bouajjani, Monniaux, Monniaux, David Monniaux - Verification, Model Checking, and Abstract Interpretation
Ahme Bouajjani, Ahmed Bouajjani, Monniaux, Monniaux, David Monniaux Verification, Model Checking, and Abstract Interpretation English 31.03.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Dirk Draheim - Semantics of the Probabilistic Typed Lambda Calculus
Dirk Draheim Semantics of the Probabilistic Typed Lambda Calculus English 01.01.2018 Paperback / Softback Fr. 158.00 6-7 weeks
Shuvend K Lahiri, Shuvendu K Lahiri, Shuvendu Lahiri, Shuvendu K. Lahiri, Wang, Wang... - Automated Technology for Verification and Analysis
Shuvend K Lahiri, Shuvendu K Lahiri, Shuvendu Lahiri, Shuvendu K. Lahiri, Wang, Wang... Automated Technology for Verification and Analysis English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Oskar Bartenstein, Ulrich Geske, Michael Hanus, Dietmar Seipel - Applications of Declarative Programming and Knowledge Management
Oskar Bartenstein, Ulrich Geske, Michael Hanus, Dietmar Seipel Applications of Declarative Programming and Knowledge Management English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Aren Rensink, Arend Rensink, Sánchez Cuadrado, Sánchez Cuadrado, Jesús Sánchez Cuadrado - Theory and Practice of Model Transformation
Aren Rensink, Arend Rensink, Sánchez Cuadrado, Sánchez Cuadrado, Jesús Sánchez Cuadrado Theory and Practice of Model Transformation English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Leszek A Maciaszek et al, Enrique Cabello, Jorg Cardoso, Jorge Cardoso, Leszek A. Maciaszek, Marten van Sinderen... - Software Technologies
Leszek A Maciaszek et al, Enrique Cabello, Jorg Cardoso, Jorge Cardoso, Leszek A. Maciaszek, Marten van Sinderen... Software Technologies English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Brun Bouyssounouse, Bruno Bouyssounouse, Sifakis, Sifakis, Joseph Sifakis - Embedded Systems Design
Brun Bouyssounouse, Bruno Bouyssounouse, Sifakis, Sifakis, Joseph Sifakis Embedded Systems Design English 23.06.2005 Paperback / Softback Fr. 135.00 6-7 weeks
Eric de Vink, Erik de Vink, Klaus Havelund, Ja Peleska, Jan Peleska, Bill Roscoe... - Formal Methods
Eric de Vink, Erik de Vink, Klaus Havelund, Ja Peleska, Jan Peleska, Bill Roscoe... Formal Methods English 01.01.2018 Paperback / Softback Fr. 124.00 6-7 weeks
Marí del Mar Gallardo, María del Mar Gallardo, Maria del Mar Gallardo, María del Mar Gallardo, Merino, Merino... - Model Checking Software
Marí del Mar Gallardo, María del Mar Gallardo, Maria del Mar Gallardo, María del Mar Gallardo, Merino, Merino... Model Checking Software English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks