Search result - Books - CeDe.ch

Your contact at CeDe

Any questions, tips, praise or criticism? Your feedback helps us to make CeDe.ch even better. That's why we are pleased to receive every message and answer all our emails quickly, competently and willingly. Thank you!

This site uses cookies. Read our privacy policy to learn more about how we use cookies and how you can change your preferences. OK

Top service and free shipping since 1997

Search result

Kim Guldstrand Larsen, Kim Gulstrand Larsen, Igo Potapov, Igor Potapov, Ji¿í Srba, Jirí Srba... - Reachability Problems

Kim Guldstrand Larsen, Kim Gulstrand Larsen, Igo Potapov, Igor Potapov, Ji¿í Srba, Jirí Srba... Reachability Problems English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks

Parosh Aziz Abdulla, Paros Aziz Abdulla, Parosh Aziz Abdulla, Carole Delporte, Delporte-Gallet, Delporte-Gallet... - Networked Systems

Parosh Aziz Abdulla, Paros Aziz Abdulla, Parosh Aziz Abdulla, Carole Delporte, Delporte-Gallet, Delporte-Gallet... Networked Systems English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks

Rober Trypuz, Robert Trypuz - Krister Segerberg on Logic of Actions

Rober Trypuz, Robert Trypuz Krister Segerberg on Logic of Actions English 01.01.2016 Paperback / Softback Fr. 147.00 6-7 weeks

Michae Ihringer, Michael Ihringer, Wolfgan Kirsten, Wolfgang Kirsten, Bernha Röhrig, Bernhard Röhrig... - Object-Oriented Application Development Using the Caché Postrelational Database

Michae Ihringer, Michael Ihringer, Wolfgan Kirsten, Wolfgang Kirsten, Bernha Röhrig, Bernhard Röhrig... Object-Oriented Application Development Using the Caché Postrelational Database English 19.11.2012 Paperback / Softback Fr. 70.00 6-7 weeks

Axel Simon - Value-Range Analysis of C Programs

Axel Simon Value-Range Analysis of C Programs English 26.10.2010 Paperback / Softback Fr. 184.00 6-7 weeks

Shuvend Lahiri, Shuvendu Lahiri, REGER, Reger, Giles Reger - Runtime Verification

Shuvend Lahiri, Shuvendu Lahiri, REGER, Reger, Giles Reger Runtime Verification English 01.01.2017 Paperback / Softback Fr. 70.00 6-7 weeks

Ana Rosa Cavalli, An Rosa Cavalli, Ana Rosa Cavalli, Hüsnü Yenigün, Nina Yevtushenko - Testing Software and Systems

Ana Rosa Cavalli, An Rosa Cavalli, Ana Rosa Cavalli, Hüsnü Yenigün, Nina Yevtushenko Testing Software and Systems English 01.01.2017 Paperback / Softback Fr. 70.00 6-7 weeks

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

Julian M. Kunkel, John Shalf, Michela Taufer, Michela Taufer et al, Ri Yokota, Rio Yokota - High Performance Computing

Julian M. Kunkel, John Shalf, Michela Taufer, Michela Taufer et al, Ri Yokota, Rio Yokota High Performance Computing 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

Ezra Glenn, Ezra Haber Glenn - Working with the American Community Survey in R

Ezra Glenn, Ezra Haber Glenn Working with the American Community Survey in R 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

Leoni Sokolinsky, Leonid Sokolinsky, Zymbler, Zymbler, Mikhail Zymbler - Parallel Computational Technologies

Leoni Sokolinsky, Leonid Sokolinsky, Zymbler, Zymbler, Mikhail Zymbler Parallel Computational Technologies 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

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

Russ Bubley - Randomized Algorithms: Approximation, Generation, and Counting

Russ Bubley Randomized Algorithms: Approximation, Generation, and Counting English 25.07.2012 Paperback / Softback Fr. 135.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

Jo van Hoey, Jo Van Hoey - Beginning x64 Assembly Programming

Jo van Hoey, Jo Van Hoey Beginning x64 Assembly Programming English 15.11.2019 Paperback / Softback Fr. 47.90 6-7 weeks

1
...
91
92
93
...
101