Languages
Subject
Format
Availabity
Authors

Search result

Wang-Zhou Dai - Learning and Reasoning
Wang-Zhou Dai Learning and Reasoning English Paperback / Softback Fr. 158.00 Will be released 23.11.2025
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
Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol - Formal Methods: Applications and Technology
Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol Formal Methods: Applications and Technology English 20.02.2007 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