Languages
Subject
Format
Availabity
Authors

Search result

Georgia Kapitsaki, Georgia M. Kapitsaki, Georgi M Kapitsaki, Georgia M Kapitsaki, Santana de Almeida, Santana de Almeida... - Software Reuse: Bridging with Social-Awareness
Georgia Kapitsaki, Georgia M. Kapitsaki, Georgi M Kapitsaki, Georgia M Kapitsaki, Santana de Almeida, Santana de Almeida... Software Reuse: Bridging with Social-Awareness English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Maji Zamani, Majid Zamani, ZUFFEREY, Zufferey, Damien Zufferey - Numerical Software Verification
Maji Zamani, Majid Zamani, ZUFFEREY, Zufferey, Damien Zufferey Numerical Software Verification English 31.10.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Luis Enrique Sucar - Causal Discovery
Luis Enrique Sucar Causal Discovery English 09.09.2025 Hardback Fr. 117.00 6-7 weeks
Cliff Jones, Pekk Pihlajasaari, Pekka Pihlajasaari, Jun Sun - FM 2014: Formal Methods
Cliff Jones, Pekk Pihlajasaari, Pekka Pihlajasaari, Jun Sun FM 2014: Formal Methods English 27.03.2014 Paperback / Softback Fr. 135.00 6-7 weeks
Robert Basili, Roberto Basili, Floriana Esposito, Stefano Ferilli, Stefano Ferilli et al, Francesca A. Lisi - AI*IA 2017 Advances in Artificial Intelligence; .
Robert Basili, Roberto Basili, Floriana Esposito, Stefano Ferilli, Stefano Ferilli et al, Francesca A. Lisi AI*IA 2017 Advances in Artificial Intelligence; . English 31.12.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Adria Kosowski, Adrian Kosowski, Walukiewicz, Walukiewicz, Igor Walukiewicz - Fundamentals of Computation Theory
Adria Kosowski, Adrian Kosowski, Walukiewicz, Walukiewicz, Igor Walukiewicz Fundamentals of Computation Theory English 30.09.2015 Paperback / Softback Fr. 70.00 6-7 weeks
Javie Campos, Javier Campos, Boudewijn R. Haverkort, R Haverkort, R Haverkort - Quantitative Evaluation of Systems
Javie Campos, Javier Campos, Boudewijn R. Haverkort, R Haverkort, R Haverkort Quantitative Evaluation of Systems English 30.09.2015 Paperback / Softback Fr. 70.00 6-7 weeks
Robert B France et al, Betty H. C. Cheng, Betty H.C. Cheng, Benoit Combemale, Robert B. France, Bett H C Cheng... - Globalizing Domain-Specific Languages
Robert B France et al, Betty H. C. Cheng, Betty H.C. Cheng, Benoit Combemale, Robert B. France, Bett H C Cheng... Globalizing Domain-Specific Languages English 01.01.2016 Paperback / Softback Fr. 56.90 6-7 weeks
John Fitzgerald, Stefania Gnesi, Stefania Gnesi et al, Constanc Heitmeyer, Constance Heitmeyer, Anna Philippou - FM 2016: Formal Methods
John Fitzgerald, Stefania Gnesi, Stefania Gnesi et al, Constanc Heitmeyer, Constance Heitmeyer, Anna Philippou FM 2016: Formal Methods English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Christoph Benzmüller, Xavier Parent, Xavier Parent et al, Francesc Ricca, Francesco Ricca, Dumitru Roman - Rules and Reasoning
Christoph Benzmüller, Xavier Parent, Xavier Parent et al, Francesc Ricca, Francesco Ricca, Dumitru Roman Rules and Reasoning English 31.10.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Julia M. Badger, Juli M Badger, Julia M Badger, Kristin Yvonne Rozier, Yvonne Rozier, Yvonne Rozier - NASA Formal Methods
Julia M. Badger, Juli M Badger, Julia M Badger, Kristin Yvonne Rozier, Yvonne Rozier, Yvonne Rozier NASA Formal Methods English 13.03.2014 Paperback / Softback Fr. 70.00 6-7 weeks
Evgeny Kagan, Alexander Rybalov, Ronald Yager - Multi-valued Logic for Decision-Making Under Uncertainty
Evgeny Kagan, Alexander Rybalov, Ronald Yager Multi-valued Logic for Decision-Making Under Uncertainty English 16.12.2024 Hardback Fr. 239.00 6-7 weeks
Chutiporn Anutariya, Marcello M. Bonsangue, M Bonsangue - Theoretical Aspects of Computing - ICTAC 2024
Chutiporn Anutariya, Marcello M. Bonsangue, M Bonsangue Theoretical Aspects of Computing - ICTAC 2024 English 22.01.2025 Paperback / Softback Fr. 92.00 6-7 weeks
Alexi De Vos, Alexis De Vos, Wille, Wille, Robert Wille - Reversible Computation
Alexi De Vos, Alexis De Vos, Wille, Wille, Robert Wille Reversible Computation English 22.03.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Era Yahav, Eran Yahav - Hardware and Software: Verification and Testing
Era Yahav, Eran Yahav Hardware and Software: Verification and Testing English 01.01.2014 Paperback / Softback Fr. 70.00 6-7 weeks
Maurizi Proietti, Maurizio Proietti, Seki, Seki, Hirohisa Seki - Logic-Based Program Synthesis and Transformation
Maurizi Proietti, Maurizio Proietti, Seki, Seki, Hirohisa Seki Logic-Based Program Synthesis and Transformation English 01.01.2015 Paperback / Softback Fr. 70.00 6-7 weeks
Bader, Bader, Markus Bader, Johan Blieberger, Johann Blieberger - Reliable Software Technologies - Ada-Europe 2017
Bader, Bader, Markus Bader, Johan Blieberger, Johann Blieberger Reliable Software Technologies - Ada-Europe 2017 English 31.07.2017 Paperback / Softback Fr. 77.00 6-7 weeks
Alexandru Baltag, Jerem Seligman, Jeremy Seligman, Tomoyuki Yamada - Logic, Rationality, and Interaction
Alexandru Baltag, Jerem Seligman, Jeremy Seligman, Tomoyuki Yamada Logic, Rationality, and Interaction English 30.09.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Quentin Charatan, Aaron Kans - Maths For Computing
Quentin Charatan, Aaron Kans Maths For Computing English 31.10.2024 Paperback / Softback Fr. 77.00 6-7 weeks
Manfre Broy, Manfred Broy, Ketil Stolen, Ketil Stølen - Specification and Development of Interactive Systems
Manfre Broy, Manfred Broy, Ketil Stolen, Ketil Stølen Specification and Development of Interactive Systems English 13.03.2013 Paperback / Softback Fr. 70.00 6-7 weeks