Languages
Subject
Format
Availabity
Authors

Search result

Eric Pacuit, Jennifer Sikos - At the Intersection of Language, Logic, and Information
Eric Pacuit, Jennifer Sikos At the Intersection of Language, Logic, and Information English 06.07.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Raffaella Bernardi, Greg Kobele, Sylvain Pogodalla - Formal Grammar
Raffaella Bernardi, Greg Kobele, Sylvain Pogodalla Formal Grammar English 05.07.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach - Language, Logic, and Computation
Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach Language, Logic, and Computation English 04.07.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Isil Dillig, Serdar Tasiran - Computer Aided Verification
Isil Dillig, Serdar Tasiran Computer Aided Verification English 13.07.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Arjen Hommersom, Peter J. F. Lucas, Peter J.F. Lucas - Foundations of Biomedical Knowledge Representation
Arjen Hommersom, Peter J. F. Lucas, Peter J.F. Lucas Foundations of Biomedical Knowledge Representation English 03.02.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen - Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen Tools and Algorithms for the Construction and Analysis of Systems English 04.04.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Irene Garrigós, Manuel Wimmer - Current Trends in Web Engineering
Irene Garrigós, Manuel Wimmer Current Trends in Web Engineering English 22.02.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Simon Collart-Dutilleul, Thierry Lecomte, Alexander Romanovsky - Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Simon Collart-Dutilleul, Thierry Lecomte, Alexander Romanovsky Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification English 24.04.2019 Paperback / Softback Fr. 82.00 6-7 weeks
Ernst-Erich Doberkat - Special Topics in Mathematics for Computer Scientists
Ernst-Erich Doberkat Special Topics in Mathematics for Computer Scientists English 23.08.2016 Paperback / Softback Fr. 70.00 6-7 weeks
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 Fr. 70.00 6-7 weeks
Egon Börger, Alexander Raschke - Modeling Companion for Software Practitioners
Egon Börger, Alexander Raschke Modeling Companion for Software Practitioners English 10.04.2018 Paperback / Softback Fr. 90.00 6-7 weeks
Cyrille Artho, Peter Csaba Ölveczky - Formal Techniques for Safety-Critical Systems
Cyrille Artho, Peter Csaba Ölveczky Formal Techniques for Safety-Critical Systems English 02.02.2019 Paperback / Softback Fr. 70.00 6-7 weeks
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 Fr. 70.00 6-7 weeks
Andreas Herzig, Andrei Popescu - Frontiers of Combining Systems
Andreas Herzig, Andrei Popescu Frontiers of Combining Systems English 14.08.2019 Paperback / Softback Fr. 90.00 6-7 weeks
Joost-Pieter Katoen, Rom Langerak, Arend Rensink - ModelEd, TestEd, TrustEd
Joost-Pieter Katoen, Rom Langerak, Arend Rensink ModelEd, TestEd, TrustEd English 29.09.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Hendrik Decker, Abdelkader Hameurlain, Josef Küng, Roland Wagner - Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV
Hendrik Decker, Abdelkader Hameurlain, Josef Küng, Roland Wagner Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV English 17.10.2017 Paperback / Softback Fr. 70.00 6-7 weeks
David ¿Afránek, Milan ¿E¿Ka, Milan Ceska, Milan Češka, David Safránek, David Šafránek - Computational Methods in Systems Biology
David ¿Afránek, Milan ¿E¿Ka, Milan Ceska, Milan Češka, David Safránek, David Šafránek Computational Methods in Systems Biology English 05.09.2018 Paperback / Softback Fr. 84.00 6-7 weeks
Alberto Abad, Helena Caseli, Pablo Gamallo, Hugo Gonçalo Oliveira, Viviane Moreira, Gustavo Henrique Paetzold... - Computational Processing of the Portuguese Language
Alberto Abad, Helena Caseli, Pablo Gamallo, Hugo Gonçalo Oliveira, Viviane Moreira, Gustavo Henrique Paetzold... Computational Processing of the Portuguese Language English 26.08.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Vlad Rusu - Rewriting Logic and Its Applications
Vlad Rusu Rewriting Logic and Its Applications English 08.09.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Fabio Crestani, Gabriel David, João Correia Lopes, Eva Méndez, Cristina Ribeiro - Digital Libraries for Open Knowledge
Fabio Crestani, Gabriel David, João Correia Lopes, Eva Méndez, Cristina Ribeiro Digital Libraries for Open Knowledge English 05.09.2018 Paperback / Softback Fr. 104.00 6-7 weeks