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

Cyrill Artho, Cyrille Artho, Csaba Ölveczky, Csaba Ölveczky, Peter Csaba Ölveczky - Formal Techniques for Safety-Critical Systems

Cyrill Artho, Cyrille Artho, Csaba Ölveczky, Csaba Ölveczky, Peter Csaba Ölveczky Formal Techniques for Safety-Critical Systems English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks

Javie Esparza, Javier Esparza, Andrzej S. Murawski, S Murawski, S Murawski - Foundations of Software Science and Computation Structures

Javie Esparza, Javier Esparza, Andrzej S. Murawski, S Murawski, S Murawski Foundations of Software Science and Computation Structures English 31.12.2017 Paperback / Softback Fr. 70.00 6-7 weeks

Ahme Bouajjani, Ahmed Bouajjani, Monniaux, Monniaux, David Monniaux - Verification, Model Checking, and Abstract Interpretation

Ahme Bouajjani, Ahmed Bouajjani, Monniaux, Monniaux, David Monniaux Verification, Model Checking, and Abstract Interpretation English 31.03.2017 Paperback / Softback Fr. 70.00 6-7 weeks

Jerem Avigad, Jeremy Avigad, Mahboubi, Mahboubi, Assia Mahboubi - Interactive Theorem Proving

Jerem Avigad, Jeremy Avigad, Mahboubi, Mahboubi, Assia Mahboubi Interactive Theorem Proving English 01.01.2018 Paperback / Softback Fr. 124.00 6-7 weeks

Tiag Massoni, Tiago Massoni, Mohammad Reza Mousavi, Reza Mousavi, Reza Mousavi - Formal Methods: Foundations and Applications

Tiag Massoni, Tiago Massoni, Mohammad Reza Mousavi, Reza Mousavi, Reza Mousavi Formal Methods: Foundations and Applications English 31.12.2018 Paperback / Softback Fr. 82.00 6-7 weeks

Pete Müller, Peter Müller, SCHAEFER, Schaefer, Ina Schaefer - Principled Software Development

Pete Müller, Peter Müller, SCHAEFER, Schaefer, Ina Schaefer Principled Software Development English 01.01.2018 Hardback Fr. 135.00 6-7 weeks

Vasan Subramanian - Pro MERN Stack

Vasan Subramanian Pro MERN Stack English 11.06.2019 Paperback / Softback Fr. 50.50 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 01.01.2019 Paperback / Softback Fr. 91.00 6-7 weeks

Vinay Trivedi - How to Speak Tech

Vinay Trivedi How to Speak Tech English 12.05.2019 Paperback / Softback Fr. 37.50 6-7 weeks

David Van Horn, Hughes, Hughes, John Hughes, Davi Van Horn, David Van Horn - Trends in Functional Programming

David Van Horn, Hughes, Hughes, John Hughes, Davi Van Horn, David Van Horn Trends in Functional Programming English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks

Lee Ammeraal, Leen Ammeraal, Kang Zhang - Computer Graphics for Java Programmers

Lee Ammeraal, Leen Ammeraal, Kang Zhang Computer Graphics for Java Programmers English 01.01.2018 Paperback / Softback Fr. 93.00 6-7 weeks

Chi N Thai, Chi N. Thai - Exploring Robotics with ROBOTIS Systems

Chi N Thai, Chi N. Thai Exploring Robotics with ROBOTIS Systems English 01.01.2018 Paperback / Softback Fr. 84.00 6-7 weeks

Manue Mazzara, Manuel Mazzara, Meyer, Meyer, Bertrand Meyer - Present and Ulterior Software Engineering

Manue Mazzara, Manuel Mazzara, Meyer, Meyer, Bertrand Meyer Present and Ulterior Software Engineering English 01.01.2018 Paperback / Softback Fr. 135.00 6-7 weeks

Mohammed Zuhai Al-Taie, Mohammed Zuhair Al-Taie, Seifedine Kadry - Python for Graph and Network Analysis

Mohammed Zuhai Al-Taie, Mohammed Zuhair Al-Taie, Seifedine Kadry Python for Graph and Network Analysis English 01.01.2018 Paperback / Softback Fr. 159.00 6-7 weeks

Felix Winterstein - Separation Logic for High-level Synthesis

Felix Winterstein Separation Logic for High-level Synthesis English 01.01.2018 Paperback / Softback Fr. 135.00 6-7 weeks

Laura Tateosian - Python For ArcGIS

Laura Tateosian Python For ArcGIS English 01.01.2018 Paperback / Softback Fr. 110.00 6-7 weeks

Sumit Raj - Building Chatbots with Python

Sumit Raj Building Chatbots with Python English 01.01.2018 Paperback / Softback Fr. 43.90 6-7 weeks

Shuvend K Lahiri, Shuvendu K Lahiri, Shuvendu Lahiri, Shuvendu K. Lahiri, Wang, Wang... - Automated Technology for Verification and Analysis

Shuvend K Lahiri, Shuvendu K Lahiri, Shuvendu Lahiri, Shuvendu K. Lahiri, Wang, Wang... Automated Technology for Verification and Analysis English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks

Aren Rensink, Arend Rensink, Sánchez Cuadrado, Sánchez Cuadrado, Jesús Sánchez Cuadrado - Theory and Practice of Model Transformation

Aren Rensink, Arend Rensink, Sánchez Cuadrado, Sánchez Cuadrado, Jesús Sánchez Cuadrado Theory and Practice of Model Transformation English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks

Leszek A Maciaszek et al, Enrique Cabello, Jorg Cardoso, Jorge Cardoso, Leszek A. Maciaszek, Marten van Sinderen... - Software Technologies

Leszek A Maciaszek et al, Enrique Cabello, Jorg Cardoso, Jorge Cardoso, Leszek A. Maciaszek, Marten van Sinderen... Software Technologies English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks

1
...
46
47
48
...
86