Languages
Subject
Format
Availabity
Authors

Search result

Sotiris Batsakis, Heinric C Mayr, Heinrich C Mayr, Heinrich C. Mayr, Mykola Nikitchenko, Mykola Nikitchenko et al... - Information and Communication Technologies in Education, Research, and Industrial Applications
Sotiris Batsakis, Heinric C Mayr, Heinrich C Mayr, Heinrich C. Mayr, Mykola Nikitchenko, Mykola Nikitchenko et al... Information and Communication Technologies in Education, Research, and Industrial Applications English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Gianfranc Ciardo, Gianfranco Ciardo, Kindler, Kindler, Ekkart Kindler - Application and Theory of Petri Nets and Concurrency
Gianfranc Ciardo, Gianfranco Ciardo, Kindler, Kindler, Ekkart Kindler Application and Theory of Petri Nets and Concurrency English 07.05.2014 Paperback / Softback Fr. 70.00 6-7 weeks
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
Ved C Storey, Veda C Storey, Wilfred Ng, Veda C. Storey, Juan Trujillo - Conceptual Modeling - ER 2013
Ved C Storey, Veda C Storey, Wilfred Ng, Veda C. Storey, Juan Trujillo Conceptual Modeling - ER 2013 English 01.10.2013 Paperback / Softback Fr. 70.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
Maksim Jenihhin, Maksim et al Jenihhin, Artur Jutman, Jaan Raik, Raimund Ubar - Structural Decision Diagrams in Digital Test
Maksim Jenihhin, Maksim et al Jenihhin, Artur Jutman, Jaan Raik, Raimund Ubar Structural Decision Diagrams in Digital Test English 12.02.2025 Paperback / Softback Fr. 262.00 6-7 weeks
Donal Sannella, Donald Sannella, Andrzej Tarlecki - Foundations of Algebraic Specification and Formal Software Development
Donal Sannella, Donald Sannella, Andrzej Tarlecki Foundations of Algebraic Specification and Formal Software Development English 03.04.2014 Paperback / Softback Fr. 110.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
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
Volker Scheidemann - Mathematik, wirklich für Informatiker:innen
Volker Scheidemann Mathematik, wirklich für Informatiker:innen German Paperback / Softback Fr. 49.90 Will be released 08.12.2025
André Schulz - Grundlagen der Theoretischen Informatik
André Schulz Grundlagen der Theoretischen Informatik German Paperback / Softback Fr. 52.50 New edition in preparation, currently unavailable
Ernst-Erich Doberkat - Formale Logik im Dialog
Ernst-Erich Doberkat Formale Logik im Dialog German Paperback / Softback Fr. 52.50 Will be released 22.01.2026
Daniel Dietsch, Andrey Rybalchenko, Martin Schäf, Thomas Wies - On the Pursuit of Insight and Elegance
Daniel Dietsch, Andrey Rybalchenko, Martin Schäf, Thomas Wies On the Pursuit of Insight and Elegance English Paperback / Softback Fr. 69.00 Will be released 16.04.2026
Gleb Beliakov, Simon James, Jianzhang Wu, Jian-Zhang Wu - Choquet Capacities and Fuzzy Integrals
Gleb Beliakov, Simon James, Jianzhang Wu, Jian-Zhang Wu Choquet Capacities and Fuzzy Integrals English Hardback Fr. 238.00 Will be released 26.10.2025
Alexander Bentkamp - Superposition for Higher-Order Logic
Alexander Bentkamp Superposition for Higher-Order Logic English Paperback / Softback Fr. 146.00 Will be released 06.12.2025
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 23.01.2026
José Bacelar Almeida, Maria João Frade, Simão Melo de Sousa, Jor Pinto, Jorge Sousa Pinto - Rigorous Software Development
José Bacelar Almeida, Maria João Frade, Simão Melo de Sousa, Jor Pinto, Jorge Sousa Pinto Rigorous Software Development English Paperback / Softback Fr. 146.00 New edition in preparation, currently unavailable
Zhiming Liu, Adnane Saoud, Heike Wehrheim - Theoretical Aspects of Computing - ICTAC 2025
Zhiming Liu, Adnane Saoud, Heike Wehrheim Theoretical Aspects of Computing - ICTAC 2025 English Paperback / Softback Fr. 102.00 Will be released 30.01.2026