Languages
Subject
Format
Availabity
Authors

Search result

Nicolás Marín, Serafin Moral, Serafín Moral, Olivie Pivert, Olivier Pivert, Daniel Sánchez... - Scalable Uncertainty Management
Nicolás Marín, Serafin Moral, Serafín Moral, Olivie Pivert, Olivier Pivert, Daniel Sánchez... Scalable Uncertainty Management English 01.01.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Bruno Berstel-Da Silva - Verification of Business Rules Programs
Bruno Berstel-Da Silva Verification of Business Rules Programs English 25.07.2013 Hardback Fr. 70.00 6-7 weeks
Fernand Castor, Fernando Castor, David Liu, David Liu, Yu David Liu - Programming Languages
Fernand Castor, Fernando Castor, David Liu, David Liu, Yu David Liu Programming Languages English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Friedemann Bitsch, Jérémi Guiochet, Jérémie Guiochet, Amund Skavhaug - Computer Safety, Reliability, and Security
Friedemann Bitsch, Jérémi Guiochet, Jérémie Guiochet, Amund Skavhaug Computer Safety, Reliability, and Security English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Friedemann Bitsch, Jérémi Guiochet, Jérémie Guiochet, Erwin Schoitsch, Erwin Schoitsch et al, Amund Skavhaug - Computer Safety, Reliability, and Security
Friedemann Bitsch, Jérémi Guiochet, Jérémie Guiochet, Erwin Schoitsch, Erwin Schoitsch et al, Amund Skavhaug Computer Safety, Reliability, and Security English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Renat A Schmidt, Renate A Schmidt, Nalon, Nalon, Cláudia Nalon, Renate A. Schmidt - Automated Reasoning with Analytic Tableaux and Related Methods
Renat A Schmidt, Renate A Schmidt, Nalon, Nalon, Cláudia Nalon, Renate A. Schmidt Automated Reasoning with Analytic Tableaux and Related Methods English 01.01.2017 Paperback / Softback Fr. 90.00 6-7 weeks
Matthe Hague, Matthew Hague, Potapov, Potapov, Igor Potapov - Reachability Problems
Matthe Hague, Matthew Hague, Potapov, Potapov, Igor Potapov Reachability Problems English 01.01.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Pari Avgeriou, Paris Avgeriou, Zdun, Zdun, Uwe Zdun - Software Architecture
Pari Avgeriou, Paris Avgeriou, Zdun, Zdun, Uwe Zdun Software Architecture English 21.07.2014 Paperback / Softback Fr. 70.00 6-7 weeks
Andrea Bondavalli, Andre Ceccarelli, Andrea Ceccarelli, Frank Ortmeier - Computer Safety, Reliability, and Security
Andrea Bondavalli, Andre Ceccarelli, Andrea Ceccarelli, Frank Ortmeier Computer Safety, Reliability, and Security English 01.01.2014 Paperback / Softback Fr. 70.00 6-7 weeks
Jan Bergstra, Jan A Bergstra, Cornelis A Middelburg, Cornelis A. Middelburg - Instruction Sequences for Computer Science
Jan Bergstra, Jan A Bergstra, Cornelis A Middelburg, Cornelis A. Middelburg Instruction Sequences for Computer Science English 01.01.2014 Paperback / Softback Fr. 142.00 6-7 weeks
Friedemann Bitsch, Barbara Gallina, Erwin Schoitsch, Erwin Schoitsch et al, Amun Skavhaug, Amund Skavhaug - Computer Safety, Reliability, and Security
Friedemann Bitsch, Barbara Gallina, Erwin Schoitsch, Erwin Schoitsch et al, Amun Skavhaug, Amund Skavhaug Computer Safety, Reliability, and Security English 01.01.2018 Paperback / Softback Fr. 113.00 6-7 weeks
Nathali Bertrand, Nathalie Bertrand, Bortolussi, Bortolussi, Luca Bortolussi - Quantitative Evaluation of Systems
Nathali Bertrand, Nathalie Bertrand, Bortolussi, Bortolussi, Luca Bortolussi Quantitative Evaluation of Systems English 01.01.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Heinric Wansing, Heinrich Wansing - Dag Prawitz on Proofs and Meaning
Heinric Wansing, Heinrich Wansing Dag Prawitz on Proofs and Meaning English 01.01.2016 Paperback / Softback Fr. 135.00 6-7 weeks
Muath Alkhalaf, Muath et al Alkhalaf, Abdulbaki Aydin, Tevfi Bultan, Tevfik Bultan, Fan Yu... - String Analysis for Software Verification and Security
Muath Alkhalaf, Muath et al Alkhalaf, Abdulbaki Aydin, Tevfi Bultan, Tevfik Bultan, Fan Yu... String Analysis for Software Verification and Security English 28.02.2018 Hardback Fr. 124.00 6-7 weeks
Eugenio Omodeo, Eugenio G Omodeo, Eugenio G. Omodeo, Albert Policriti, Alberto Policriti, Alex Tomescu... - On Sets and Graphs
Eugenio Omodeo, Eugenio G Omodeo, Eugenio G. Omodeo, Albert Policriti, Alberto Policriti, Alex Tomescu... On Sets and Graphs English 30.06.2017 Hardback Fr. 79.00 6-7 weeks
Jonathan P. Bowen, Zhimin Liu, Zhiming Liu, Zili Zhang - Engineering Trustworthy Software Systems
Jonathan P. Bowen, Zhimin Liu, Zhiming Liu, Zili Zhang Engineering Trustworthy Software Systems English 31.05.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Hans L. Bodlaender, Rod Downey, Rodne Downey, Rodney Downey, Fedor V. Fomin, Daniel Marx... - The Multivariate Algorithmic Revolution and Beyond
Hans L. Bodlaender, Rod Downey, Rodne Downey, Rodney Downey, Fedor V. Fomin, Daniel Marx... The Multivariate Algorithmic Revolution and Beyond English 27.06.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Francisc Herrera, Francisco Herrera, Lui Martínez, Luis Martínez, Rosa Rodriguez, Rosa M Rodriguez... - The 2-tuple Linguistic Model
Francisc Herrera, Francisco Herrera, Lui Martínez, Luis Martínez, Rosa Rodriguez, Rosa M Rodriguez... The 2-tuple Linguistic Model English 31.01.2016 Hardback Fr. 70.00 6-7 weeks
Kuncak, Kuncak, Viktor Kuncak, Viktor Kunčak, Rupa Majumdar, Rupak Majumdar - Computer Aided Verification
Kuncak, Kuncak, Viktor Kuncak, Viktor Kunčak, Rupa Majumdar, Rupak Majumdar Computer Aided Verification English 01.01.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Kuncak, Kuncak, Viktor Kuncak, Viktor Kunčak, Rupa Majumdar, Rupak Majumdar - Computer Aided Verification
Kuncak, Kuncak, Viktor Kuncak, Viktor Kunčak, Rupa Majumdar, Rupak Majumdar Computer Aided Verification English 01.01.2017 Paperback / Softback Fr. 70.00 6-7 weeks