Languages
Subject
Format
Clear Availabity
Authors

Search result

Thao Dang, Ádám Halász, Oded Maler, Carla Piazza - Hybrid Systems Biology
Thao Dang, Ádám Halász, Oded Maler, Carla Piazza Hybrid Systems Biology English 25.12.2015 Paperback / Softback Sold out
Coen van Gulijk, Floor Koornneef, Coen van Gulijk - Computer Safety, Reliability, and Security
Coen van Gulijk, Floor Koornneef, Coen van Gulijk Computer Safety, Reliability, and Security English 26.11.2015 Paperback / Softback Sold out
Fabrizio Cariani, Davide Grossi, Joke Meheus, Xavier Parent - Deontic Logic and Normative Systems
Fabrizio Cariani, Davide Grossi, Joke Meheus, Xavier Parent Deontic Logic and Normative Systems English 04.08.2014 Paperback / Softback Sold out
Christiano Braga, Peter Csaba Ölveczky - Formal Aspects of Component Software
Christiano Braga, Peter Csaba Ölveczky Formal Aspects of Component Software English 30.01.2016 Paperback / Softback Sold out
Jose Luiz Fiadeiro, José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue - Formal Aspects of Component Software
Jose Luiz Fiadeiro, José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue Formal Aspects of Component Software English 30.07.2014 Paperback / Softback Sold out
Joachim Fischer, Rick Reed, Markus Scheidgen, Ina Schieferdecker - SDL 2015: Model-Driven Engineering for Smart Cities
Joachim Fischer, Rick Reed, Markus Scheidgen, Ina Schieferdecker SDL 2015: Model-Driven Engineering for Smart Cities English 28.11.2015 Paperback / Softback Sold out
Márcio Cornélio, Bill Roscoe - Formal Methods: Foundations and Applications
Márcio Cornélio, Bill Roscoe Formal Methods: Foundations and Applications English 03.02.2016 Paperback / Softback Sold out
Arie Gurfinkel, Sanjit A. Seshia - Verified Software: Theories, Tools, and Experiments
Arie Gurfinkel, Sanjit A. Seshia Verified Software: Theories, Tools, and Experiments English 29.01.2016 Paperback / Softback Sold out
Antonis Bikakis, Paul Fodor, Dumitru Roman - Rules on the Web: From Theory to Applications
Antonis Bikakis, Paul Fodor, Dumitru Roman Rules on the Web: From Theory to Applications English 04.08.2014 Paperback / Softback Sold out
Pascal Weil - Computer Science - Theory and Applications
Pascal Weil Computer Science - Theory and Applications English 06.05.2017 Paperback / Softback Sold out
Alberto Leporati, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron - Membrane Computing
Alberto Leporati, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron Membrane Computing English 17.02.2017 Paperback / Softback Sold out
Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov - Computer Algebra in Scientific Computing
Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov Computer Algebra in Scientific Computing English 31.08.2017 Paperback / Softback Sold out
Amr El Abbadi, Benoît Garbinato - Networked Systems
Amr El Abbadi, Benoît Garbinato Networked Systems English 14.05.2017 Paperback / Softback Sold out
Antinisca Di Marco, Philipp Reinecke - Computer Performance Engineering
Antinisca Di Marco, Philipp Reinecke Computer Performance Engineering English 15.08.2017 Paperback / Softback Sold out
Francesco Ranzato - Static Analysis
Francesco Ranzato Static Analysis English 21.08.2017 Paperback / Softback Sold out
Marieke Huisman, Julia Rubin - Fundamental Approaches to Software Engineering
Marieke Huisman, Julia Rubin Fundamental Approaches to Software Engineering English 22.03.2017 Paperback / Softback Sold out
Joaquim Filipe, Leszek A. Maciaszek - Evaluation of Novel Approaches to Software Engineering
Joaquim Filipe, Leszek A. Maciaszek Evaluation of Novel Approaches to Software Engineering English 07.04.2017 Paperback / Softback Sold out
Émilie Charlier, Julien Leroy, Michel Rigo - Developments in Language Theory
Émilie Charlier, Julien Leroy, Michel Rigo Developments in Language Theory English 21.07.2017 Paperback / Softback Sold out
Dirk Beyer, Marieke Huisman - Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer, Marieke Huisman Tools and Algorithms for the Construction and Analysis of Systems English 14.04.2018 Paperback / Softback Sold out
Alexander K. Petrenko, Andrei Voronkov - Perspectives of System Informatics
Alexander K. Petrenko, Andrei Voronkov Perspectives of System Informatics English 18.01.2018 Paperback / Softback Sold out