Languages
Subject
Format
Availabity
Authors

Search result

Jeremy Gibbons, Perdita Stevens - Bidirectional Transformations
Jeremy Gibbons, Perdita Stevens Bidirectional Transformations English 29.03.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Ryszard Kowalczyk, Ngoc Thanh Nguyen, Cezary Or¿owski, Cezary Orłowski, Artur Zió¿kowski, Artur Ziólkowski... - Transactions on Computational Collective Intelligence XXV
Ryszard Kowalczyk, Ngoc Thanh Nguyen, Cezary Or¿owski, Cezary Orłowski, Artur Zió¿kowski, Artur Ziólkowski... Transactions on Computational Collective Intelligence XXV English 28.09.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Amal Ahmed - Programming Languages and Systems
Amal Ahmed Programming Languages and Systems English 15.04.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Michael Butler, Thai Son Hoang, Alexander Raschke, Klaus Reichl - Abstract State Machines, Alloy, B, TLA, VDM, and Z
Michael Butler, Thai Son Hoang, Alexander Raschke, Klaus Reichl Abstract State Machines, Alloy, B, TLA, VDM, and Z English 08.05.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Viviana Mascardi, Alessandro Ricci, Danny Weyns - Engineering Multi-Agent Systems
Viviana Mascardi, Alessandro Ricci, Danny Weyns Engineering Multi-Agent Systems English 14.07.2019 Paperback / Softback Fr. 92.00 6-7 weeks
Hana Chockler, Georg Weissenbacher - Computer Aided Verification
Hana Chockler, Georg Weissenbacher Computer Aided Verification English 22.07.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Hana Chockler, Georg Weissenbacher - Computer Aided Verification
Hana Chockler, Georg Weissenbacher Computer Aided Verification English 22.07.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Dragan Bosnacki, Stefan Edelkamp - Model Checking Software
Dragan Bosnacki, Stefan Edelkamp Model Checking Software English 21.06.2007 Paperback / Softback Fr. 70.00 6-7 weeks
Yamine Ait Ameur, Frederic Boniol, Klaus-Dieter Schewe, Virginie Wiels - ABZ 2014: The Landing Gear Case Study
Yamine Ait Ameur, Frederic Boniol, Klaus-Dieter Schewe, Virginie Wiels ABZ 2014: The Landing Gear Case Study English 26.05.2014 Paperback / Softback Fr. 70.00 6-7 weeks
Wil van der Aalst, Eike Best, Wil Van Der Aalst - Application and Theory of Petri Nets and Concurrency
Wil van der Aalst, Eike Best, Wil Van Der Aalst Application and Theory of Petri Nets and Concurrency English 05.05.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Zoltán Horváth, Zoltán Horváth - Central European Functional Programming School
Zoltán Horváth, Zoltán Horváth Central European Functional Programming School English 02.10.2006 Paperback / Softback Fr. 70.00 6-7 weeks
Sandro Etalle - Logic Based Program Synthesis and Transformation
Sandro Etalle Logic Based Program Synthesis and Transformation English 24.06.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Nadia Polikarpova, Steve Schneider - Integrated Formal Methods
Nadia Polikarpova, Steve Schneider Integrated Formal Methods English 27.08.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Francesc Toni, Francesca Toni, Torroni, Torroni, Paolo Torroni - Computational Logic in Multi-Agent Systems
Francesc Toni, Francesca Toni, Torroni, Torroni, Paolo Torroni Computational Logic in Multi-Agent Systems English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Ulric Furbach, Ulrich Furbach, Shankar, Shankar, Natarajan Shankar - Automated Reasoning
Ulric Furbach, Ulrich Furbach, Shankar, Shankar, Natarajan Shankar Automated Reasoning English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Iva Kopecek, Ivan Kopecek, Karel Pala, Petr Sojka - Text, Speech and Dialogue
Iva Kopecek, Ivan Kopecek, Karel Pala, Petr Sojka Text, Speech and Dialogue English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Renat Schmidt, Renate Schmidt, Renate A. Schmidt - Relations and Kleene Algebra in Computer Science
Renat Schmidt, Renate Schmidt, Renate A. Schmidt Relations and Kleene Algebra in Computer Science English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Oskar Bartenstein, Ulrich Geske, Dietmar Seipel, Osamu Takata, Masanobu Umeda, Armin Wolf - Declarative Programming for Knowledge Management
Oskar Bartenstein, Ulrich Geske, Dietmar Seipel, Osamu Takata, Masanobu Umeda, Armin Wolf Declarative Programming for Knowledge Management English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Michal Haindl, Kittler Josef, Josef Kittler, Fabio Roli - Multiple Classifier Systems
Michal Haindl, Kittler Josef, Josef Kittler, Fabio Roli Multiple Classifier Systems English 13.04.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Didier Bert, Jonathan P. Bowen, Steve King, Marina Walden, Marina Waldén - ZB 2003: Formal Specification and Development in Z and B
Didier Bert, Jonathan P. Bowen, Steve King, Marina Walden, Marina Waldén ZB 2003: Formal Specification and Development in Z and B English 02.08.2005 Paperback / Softback Fr. 135.00 6-7 weeks