Languages
Subject
Format
Availabity
Authors

Search result

Wil M. P. van der Aalst, Maciej Koutny, Wi M P van der Aalst, Wil M P van der Aalst, Wil van der Aalst, Wil M. P. van der Aalst... - Transactions on Petri Nets and Other Models of Concurrency VIII
Wil M. P. van der Aalst, Maciej Koutny, Wi M P van der Aalst, Wil M P van der Aalst, Wil van der Aalst, Wil M. P. van der Aalst... Transactions on Petri Nets and Other Models of Concurrency VIII English 25.07.2013 Paperback / Softback Fr. 69.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
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
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. 91.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
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
Jerom Durand-Lose, Jerome Durand-Lose, Jonoska, Jonoska, Natasa Jonoska - Unconventional Computation and Natural Computation
Jerom Durand-Lose, Jerome Durand-Lose, Jonoska, Jonoska, Natasa Jonoska Unconventional Computation and Natural Computation English 25.07.2012 Paperback / Softback Fr. 65.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
Jerom Durand-Lose, Jerome Durand-Lose, Nagy, Nagy, Benedek Nagy - Machines, Computations, and Universality
Jerom Durand-Lose, Jerome Durand-Lose, Nagy, Nagy, Benedek Nagy Machines, Computations, and Universality English 01.01.2015 Paperback / Softback Fr. 67.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
Jerem Gibbons, Jeremy Gibbons - Generic and Indexed Programming
Jerem Gibbons, Jeremy Gibbons Generic and Indexed Programming English 28.06.2012 Paperback / Softback Fr. 65.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