Languages
Subject
Format
Availabity
Authors

Search result

Leila Amgoud, Maria Vanin Martinez, Maria Vanina Martinez, Cristia Molinaro, Cristian Molinaro, Subrahma... - A General Framework for Reasoning On Inconsistency
Leila Amgoud, Maria Vanin Martinez, Maria Vanina Martinez, Cristia Molinaro, Cristian Molinaro, Subrahma... A General Framework for Reasoning On Inconsistency English 25.01.2013 Paperback / Softback Fr. 55.90 1-2 weeks (title will be printed to order)
Dingzhu Du, Kun He, Lia Li, Lian Li, En Zhu, En Zhu et al - Theoretical Computer Science
Dingzhu Du, Kun He, Lia Li, Lian Li, En Zhu, En Zhu et al Theoretical Computer Science English 30.11.2017 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Didier Galmiche, Stepha Schulz, Stephan Schulz, Roberto Sebastiani - Automated Reasoning
Didier Galmiche, Stepha Schulz, Stephan Schulz, Roberto Sebastiani Automated Reasoning English 01.01.2018 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Horvath, Horvath, Andras Horvath, Annabell McIver, Annabelle McIver - Quantitative Evaluation of Systems
Horvath, Horvath, Andras Horvath, Annabell McIver, Annabelle McIver Quantitative Evaluation of Systems English 01.01.2018 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Liqun Chen, Mar Manulis, Mark Manulis, Steve Schneider - Information Security
Liqun Chen, Mar Manulis, Mark Manulis, Steve Schneider Information Security English 01.01.2018 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Bernhar Heinemann, Bernhard Heinemann, Thomas Ottman, KLAUS WEHIRAUCH, Klaus Weihrauch - Logik für Informatiker
Bernhar Heinemann, Bernhard Heinemann, Thomas Ottman, KLAUS WEHIRAUCH, Klaus Weihrauch Logik für Informatiker German 01.01.1992 Paperback / Softback Fr. 45.50 6-7 weeks
Ew Orlowska, Ewa Orlowska, Szalas, Szalas, Andrzej Szalas - Relational Methods for Computer Science Applications
Ew Orlowska, Ewa Orlowska, Szalas, Szalas, Andrzej Szalas Relational Methods for Computer Science Applications English 25.07.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Luk Ong, Luke Ong - Computer Science Logic
Luk Ong, Luke Ong Computer Science Logic English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Roberto Moreno Díaz, Franz Pichler, Alexis Quesada Arencibia - Computer Aided Systems Theory - EUROCAST 2007, 2 Vols.
Roberto Moreno Díaz, Franz Pichler, Alexis Quesada Arencibia Computer Aided Systems Theory - EUROCAST 2007, 2 Vols. English 26.02.2010 Paperback / Softback Fr. 189.00 6-7 weeks
Richar Jones, Richard Jones - ECOOP 2014 -- Object-Oriented Programming
Richar Jones, Richard Jones ECOOP 2014 -- Object-Oriented Programming English 23.06.2014 Paperback / Softback Fr. 70.00 6-7 weeks
Julie A. Jacko - Human-Computer Interaction. Interaction Design and Usability, 2 Volumes
Julie A. Jacko Human-Computer Interaction. Interaction Design and Usability, 2 Volumes English 14.04.2009 Paperback / Softback Fr. 189.00 6-7 weeks
Julie A. Jacko - Human-Computer Interaction. HCI Applications and Services, 2 Vols.
Julie A. Jacko Human-Computer Interaction. HCI Applications and Services, 2 Vols. English 14.04.2009 Paperback / Softback Fr. 189.00 6-7 weeks
Julie A. Jacko - Human-Computer Interaction. Interaction Platforms and Techniques, 2 Volumes
Julie A. Jacko Human-Computer Interaction. Interaction Platforms and Techniques, 2 Volumes English 29.01.2013 Paperback / Softback Fr. 135.00 6-7 weeks
Chechik, Chechik, Marsha Chechik, Franc van Breugel, Franck Van Breugel - CONCUR 2008 - Concurrency Theory
Chechik, Chechik, Marsha Chechik, Franc van Breugel, Franck Van Breugel CONCUR 2008 - Concurrency Theory English 01.01.2008 Paperback / Softback Fr. 70.00 6-7 weeks
Jör Desel, Jörg Desel, Serge Haddad, Maciej Koutny - Transactions on Petri Nets and Other Models of Concurrency X
Jör Desel, Jörg Desel, Serge Haddad, Maciej Koutny Transactions on Petri Nets and Other Models of Concurrency X English 01.01.2015 Paperback / Softback Fr. 70.00 6-7 weeks
Manjunath Gorentla Venkata, Neena Imam, Neena Imam et al, M. Graham Lopez, Gorentla Venkata Manjunath, Pave Shamis... - Open SHMEM and Related Technologies
Manjunath Gorentla Venkata, Neena Imam, Neena Imam et al, M. Graham Lopez, Gorentla Venkata Manjunath, Pave Shamis... Open SHMEM and Related Technologies English 01.01.2015 Paperback / Softback Fr. 56.90 6-7 weeks
Volke Diekert, Volker Diekert, Habib, Habib, Michel Habib - STACS 2004
Volke Diekert, Volker Diekert, Habib, Habib, Michel Habib STACS 2004 English 01.01.2004 Paperback / Softback Fr. 135.00 6-7 weeks
Isi Dillig, Isil Dillig, Palsberg, Palsberg, Jens Palsberg - Verification, Model Checking, and Abstract Interpretation
Isi Dillig, Isil Dillig, Palsberg, Palsberg, Jens Palsberg Verification, Model Checking, and Abstract Interpretation English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Fedor V. Fomin, Vladimir V. Podolskii, Fedo V Fomin, Fedor V Fomin, V Podolskii, V Podolskii - Computer Science - Theory and Applications
Fedor V. Fomin, Vladimir V. Podolskii, Fedo V Fomin, Fedor V Fomin, V Podolskii, V Podolskii Computer Science - Theory and Applications English 01.01.2018 Paperback / Softback Fr. 135.00 6-7 weeks
Shmuel Tomi Klein, Carlo Martín-Vide, Carlos Martín-Vide, Dana Shapira - Language and Automata Theory and Applications
Shmuel Tomi Klein, Carlo Martín-Vide, Carlos Martín-Vide, Dana Shapira Language and Automata Theory and Applications English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks