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

Hakjoo Oh, Siu, Yulei Siu, Sui, Yulei Sui - Static Analysis

Hakjoo Oh, Siu, Yulei Siu, Sui, Yulei Sui Static Analysis English 05.11.2025 Paperback / Softback Fr. 103.00 6-7 weeks

Aaron Dutle, Laura Humphrey, Laura Titolo - NASA Formal Methods

Aaron Dutle, Laura Humphrey, Laura Titolo NASA Formal Methods English 06.08.2025 Paperback / Softback Fr. 169.00 6-7 weeks

Rastislav Královic, Rastislav Královič, Kurková, Vera Kurková, Věra Kůrková - SOFSEM 2025: Theory and Practice of Computer Science

Rastislav Královic, Rastislav Královič, Kurková, Vera Kurková, Věra Kůrková SOFSEM 2025: Theory and Practice of Computer Science English 15.02.2025 Paperback / Softback Fr. 92.00 6-7 weeks

Rastislav Královic, Rastislav Královič, Kurková, Vera Kurková, Věra Kůrková - SOFSEM 2025: Theory and Practice of Computer Science

Rastislav Královic, Rastislav Královič, Kurková, Vera Kurková, Věra Kůrková SOFSEM 2025: Theory and Practice of Computer Science English 15.02.2025 Paperback / Softback Fr. 92.00 6-7 weeks

Viktor Vafeiadis - Programming Languages and Systems

Viktor Vafeiadis Programming Languages and Systems English 10.07.2025 Paperback / Softback Fr. 56.90 6-7 weeks

Viktor Vafeiadis - Programming Languages and Systems

Viktor Vafeiadis Programming Languages and Systems English 10.07.2025 Paperback / Softback Fr. 56.90 6-7 weeks

Arie Gurfinkel, Heule, Marijn Heule, Marjin Heule - Tools and Algorithms for the Construction and Analysis of Systems

Arie Gurfinkel, Heule, Marijn Heule, Marjin Heule Tools and Algorithms for the Construction and Analysis of Systems English 27.05.2025 Paperback / Softback Fr. 56.90 6-7 weeks

Arie Gurfinkel, Heule, Marijn Heule, Marjin Heule - Tools and Algorithms for the Construction and Analysis of Systems

Arie Gurfinkel, Heule, Marijn Heule, Marjin Heule Tools and Algorithms for the Construction and Analysis of Systems English 27.05.2025 Paperback / Softback Fr. 56.90 6-7 weeks

Arie Gurfinkel, Heule, Marijn Heule, Marjin Heule - Tools and Algorithms for the Construction and Analysis of Systems

Arie Gurfinkel, Heule, Marijn Heule, Marjin Heule Tools and Algorithms for the Construction and Analysis of Systems English 27.05.2025 Paperback / Softback Fr. 56.90 6-7 weeks

Jeremy Gibbons - Trends in Functional Programming

Jeremy Gibbons Trends in Functional Programming English 26.08.2025 Paperback / Softback Fr. 159.00 6-7 weeks

Wang-Zhou Dai - Learning and Reasoning

Wang-Zhou Dai Learning and Reasoning English 23.11.2025 Paperback / Softback Fr. 158.00 6-7 weeks

Santiago Escobar, Titolo, Laura Titolo - Logic-Based Program Synthesis and Transformation

Santiago Escobar, Titolo, Laura Titolo Logic-Based Program Synthesis and Transformation English 07.10.2025 Paperback / Softback Fr. 82.00 6-7 weeks

Roberto Giacobazzi, Gorla, Alessandra Gorla - Static Analysis

Roberto Giacobazzi, Gorla, Alessandra Gorla Static Analysis English 01.12.2024 Paperback / Softback Fr. 103.00 6-7 weeks