Languages
Subject
Format
Availabity
Authors

Search result

Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean - Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean Construction and Analysis of Safe, Secure, and Interoperable Smart Devices English 21.01.2005 Paperback / Softback Sold out
Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski - Architecting Systems with Trustworthy Components
Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski Architecting Systems with Trustworthy Components English 30.06.2006 Paperback / Softback Sold out
Luca de Alfaro, Stephen Gilmore - Process Algebra and Probabilistic Methods. Performance Modelling and Verification
Luca de Alfaro, Stephen Gilmore Process Algebra and Probabilistic Methods. Performance Modelling and Verification English 29.08.2001 Paperback / Softback Sold out
Maurizio Gabbrielli, Simone Martini - Programming Languages: Principles and Paradigms
Maurizio Gabbrielli, Simone Martini Programming Languages: Principles and Paradigms English 15.04.2010 Paperback / Softback Sold out
Fred Mesnard, Peter J. Stuckey - Logic-Based Program Synthesis and Transformation
Fred Mesnard, Peter J. Stuckey Logic-Based Program Synthesis and Transformation English 23.02.2019 Paperback / Softback Sold out
George Cybenko, Barbara Fila, David Pym - Graphical Models for Security
George Cybenko, Barbara Fila, David Pym Graphical Models for Security English 31.03.2019 Paperback / Softback Sold out
Michael Goedicke, Eric Knauss - Requirements Engineering: Foundation for Software Quality
Michael Goedicke, Eric Knauss Requirements Engineering: Foundation for Software Quality English 08.03.2019 Paperback / Softback Sold out
Rogerio Garcia, Veronica Gil-Costa, Rogério Iope, Osni Marques, Tatiana Pinheiro de Brito, Hermes Senger... - High Performance Computing for Computational Science - VECPAR 2018
Rogerio Garcia, Veronica Gil-Costa, Rogério Iope, Osni Marques, Tatiana Pinheiro de Brito, Hermes Senger... High Performance Computing for Computational Science - VECPAR 2018 English 26.03.2019 Paperback / Softback Sold out
Josep Silva - Functional and Constraint Logic Programming
Josep Silva Functional and Constraint Logic Programming English 16.03.2019 Paperback / Softback Sold out
Wil Van Der Aalst, Reiner Hähnle, Wil van der Aalst - Fundamental Approaches to Software Engineering
Wil Van Der Aalst, Reiner Hähnle, Wil van der Aalst Fundamental Approaches to Software Engineering English 04.04.2019 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
Alessandra Russo, Andy Schürr - Fundamental Approaches to Software Engineering
Alessandra Russo, Andy Schürr Fundamental Approaches to Software Engineering English 04.04.2018 Paperback / Softback Sold out
Amal Ahmed - Programming Languages and Systems
Amal Ahmed Programming Languages and Systems English 15.04.2018 Paperback / Softback Sold out
Marin Lujak - Agreement Technologies
Marin Lujak Agreement Technologies English 04.04.2019 Paperback / Softback Sold out
Alessandro Abate, Gilles Geeraerts - Formal Modeling and Analysis of Timed Systems
Alessandro Abate, Gilles Geeraerts Formal Modeling and Analysis of Timed Systems English 03.08.2017 Paperback / Softback Sold out
Sam Lindley, Conor McBride, Don Sannella, Phil Trinder - A List of Successes That Can Change the World
Sam Lindley, Conor McBride, Don Sannella, Phil Trinder A List of Successes That Can Change the World English 31.03.2016 Paperback / Softback Sold out
Mahdi Derakhshanmanesh - Model-Integrating Software Components
Mahdi Derakhshanmanesh Model-Integrating Software Components English 12.05.2015 Paperback / Softback Sold out
Jarkko Kari, Irek Ulidowski - Reversible Computation
Jarkko Kari, Irek Ulidowski Reversible Computation English 22.08.2018 Paperback / Softback Sold out
Andreas Podelski - Static Analysis
Andreas Podelski Static Analysis English 29.08.2018 Paperback / Softback Sold out
Vlad Rusu - Rewriting Logic and Its Applications
Vlad Rusu Rewriting Logic and Its Applications English 08.09.2018 Paperback / Softback Sold out