Languages
Subject
Format
Availabity
Authors

Search result

Nichola Asher, Nicholas Asher, SOLOVIEV, Soloviev, Sergei Soloviev - Logical Aspects of Computational Linguistics
Nichola Asher, Nicholas Asher, SOLOVIEV, Soloviev, Sergei Soloviev Logical Aspects of Computational Linguistics English 08.05.2014 Paperback / Softback Fr. 68.00 6-7 weeks
Shusaku Iida, Jos Meseguer, José Meseguer, Kazuhiro Ogata - Specification, Algebra, and Software
Shusaku Iida, Jos Meseguer, José Meseguer, Kazuhiro Ogata Specification, Algebra, and Software English 13.02.2014 Paperback / Softback Fr. 70.00 6-7 weeks
Roberto Giacobazzi, Gorla, Alessandra Gorla - Static Analysis
Roberto Giacobazzi, Gorla, Alessandra Gorla Static Analysis English 01.12.2024 Paperback / Softback Fr. 103.00 6-7 weeks
Manindr Agrawal, Manindra Agrawal, S. Barry Cooper, T V Gopal, Angsheng Li, Angsheng Li et al - Theory and Applications of Models of Computation
Manindr Agrawal, Manindra Agrawal, S. Barry Cooper, T V Gopal, Angsheng Li, Angsheng Li et al Theory and Applications of Models of Computation English 05.03.2014 Paperback / Softback Fr. 70.00 6-7 weeks
Carlo Canal, Carlos Canal, Idani, Idani, Akram Idani - Software Engineering and Formal Methods
Carlo Canal, Carlos Canal, Idani, Idani, Akram Idani Software Engineering and Formal Methods English 01.01.2015 Paperback / Softback Fr. 70.00 6-7 weeks
Philipp Cimiano, Anette Frank, Michael Kohlhase, Benno Stein - Robust Argumentation Machines
Philipp Cimiano, Anette Frank, Michael Kohlhase, Benno Stein Robust Argumentation Machines English 17.07.2024 Paperback / Softback Fr. 169.00 6-7 weeks
Susanne Graf, Paul Pettersson, Bernhard Steffen - Real Time and Such
Susanne Graf, Paul Pettersson, Bernhard Steffen Real Time and Such English 05.10.2024 Paperback / Softback Fr. 70.00 6-7 weeks
Ing J Timm, Ingo J Timm, Thimm, Thimm, Matthias Thimm, Ingo J. Timm - KI 2013: Advances in Artificial Intelligence
Ing J Timm, Ingo J Timm, Thimm, Thimm, Matthias Thimm, Ingo J. Timm KI 2013: Advances in Artificial Intelligence English 21.08.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Patric Blackburn, Patrick Blackburn, Patrick Brézillon, Richard Dapoigny - Modeling and Using Context
Patric Blackburn, Patrick Blackburn, Patrick Brézillon, Richard Dapoigny Modeling and Using Context English 21.08.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Iva Lanese, Ivan Lanese, Madelaine, Madelaine, Eric Madelaine - Formal Aspects of Component Software
Iva Lanese, Ivan Lanese, Madelaine, Madelaine, Eric Madelaine Formal Aspects of Component Software English 01.01.2015 Paperback / Softback Fr. 70.00 6-7 weeks
André Schulz - Grundlagen der Theoretischen Informatik
André Schulz Grundlagen der Theoretischen Informatik German Paperback / Softback Fr. 52.50 New edition in preparation, currently unavailable
Adina Camelia Bleotu, Deborah Foucault, Tom Roeper - Recursion Across Languages
Adina Camelia Bleotu, Deborah Foucault, Tom Roeper Recursion Across Languages English Hardback Fr. 188.00 Will be released 09.01.2026
Stéphane Demri - Concise Introduction to Alternating-Time Temporal Logics
Stéphane Demri Concise Introduction to Alternating-Time Temporal Logics English Hardback Fr. 69.00 Will be released 28.02.2026
Lotte Hogeweg, Raheleh Jalali, Lena Schwarz, Igor Sedlár, Igor Sedlár et al - Logic, Language, and Computation
Lotte Hogeweg, Raheleh Jalali, Lena Schwarz, Igor Sedlár, Igor Sedlár et al Logic, Language, and Computation English Paperback / Softback Fr. 168.00 Will be released 19.01.2026
Yuting Chen, Shaoying Liu, Hiroyuki Okamura - Software Fault Prevention, Verification, and Validation
Yuting Chen, Shaoying Liu, Hiroyuki Okamura Software Fault Prevention, Verification, and Validation English Paperback / Softback Fr. 91.00 Will be released 24.01.2026
Aldo Gangemi, Asunción Gómez-Pérez, Enrico Motta, Mari Carmen Suárez-Figueroa - Ontology Engineering in a Networked World
Aldo Gangemi, Asunción Gómez-Pérez, Enrico Motta, Mari Carmen Suárez-Figueroa Ontology Engineering in a Networked World English 17.04.2014 Paperback / Softback Sold out
Anna-Lena Lamprecht - Leveraging Applications of Formal Methods, Verification, and Validation
Anna-Lena Lamprecht Leveraging Applications of Formal Methods, Verification, and Validation English 22.12.2016 Paperback / Softback Sold out
Pierre Ganty, Michele Loreti - Trustworthy Global Computing
Pierre Ganty, Michele Loreti Trustworthy Global Computing English 26.01.2016 Paperback / Softback Sold out
Marcello Pelillo, Irene Poli, Andrea Roli, Roberto Serra, Debora Slanzi, Marco Villani - Artificial Life and Evolutionary Computation
Marcello Pelillo, Irene Poli, Andrea Roli, Roberto Serra, Debora Slanzi, Marco Villani Artificial Life and Evolutionary Computation English 03.04.2018 Paperback / Softback Sold out
Emmanouel Garoufallou, Damiana Koutsomiha, Rania Siatri, Sirje Virkus - Metadata and Semantic Research
Emmanouel Garoufallou, Damiana Koutsomiha, Rania Siatri, Sirje Virkus Metadata and Semantic Research English 14.11.2017 Paperback / Softback Sold out