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

Deepa D'Souza, Deepak D'Souza, Narayan Kumar, Narayan Kumar, K. Narayan Kumar - Automated Technology for Verification and Analysis

Deepa D'Souza, Deepak D'Souza, Narayan Kumar, Narayan Kumar, K. Narayan Kumar Automated Technology for Verification and Analysis English 31.10.2017 Paperback / Softback Fr. 70.00 6-7 weeks

Jörg Endrullis, Tichy, Matthias Tichy - Graph Transformation

Jörg Endrullis, Tichy, Matthias Tichy Graph Transformation English, German 09.07.2025 Paperback / Softback Fr. 81.00 6-7 weeks

Alessandro Artale, Consiglio Nazionale Delle Ricerche, Gabriella Cortellessa, Istituto di Scienze e Tecnologie, Marco Montali, Consiglio Nazionale delle Ricerche - AIxIA 2024 - Advances in Artificial Intelligence

Alessandro Artale, Consiglio Nazionale Delle Ricerche, Gabriella Cortellessa, Istituto di Scienze e Tecnologie, Marco Montali, Consiglio Nazionale delle Ricerche AIxIA 2024 - Advances in Artificial Intelligence English 16.01.2025 Paperback / Softback Fr. 92.00 6-7 weeks

Erika Ábrahám, Marcell Bonsangue, Marcello Bonsangue, Einar Broch Johnsen, Einar Broch Johnsen - Theory and Practice of Formal Methods

Erika Ábrahám, Marcell Bonsangue, Marcello Bonsangue, Einar Broch Johnsen, Einar Broch Johnsen Theory and Practice of Formal Methods English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks

Matthia Hölzl, Matthias Hölzl, Nora Koch, Nora Koch et al, Philip Mayer, Martin Wirsing - Software Engineering for Collective Autonomic Systems

Matthia Hölzl, Matthias Hölzl, Nora Koch, Nora Koch et al, Philip Mayer, Martin Wirsing Software Engineering for Collective Autonomic Systems English 01.01.2015 Paperback / Softback Fr. 70.00 6-7 weeks

Bertran Meyer, Bertrand Meyer, Nordio, Nordio, Martin Nordio - Software Engineering

Bertran Meyer, Bertrand Meyer, Nordio, Nordio, Martin Nordio Software Engineering English 01.01.2016 Paperback / Softback Fr. 56.90 6-7 weeks

Uw Hansmann, Uwe Hansmann, Lotha Merk, Lothar Merk, Martin S et a Nicklous, Martin S. Nicklous... - Pervasive Computing

Uw Hansmann, Uwe Hansmann, Lotha Merk, Lothar Merk, Martin S et a Nicklous, Martin S. Nicklous... Pervasive Computing English 29.01.2013 Paperback / Softback Fr. 153.00 6-7 weeks

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

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

Sotiris Batsakis, Heinric C Mayr, Heinrich C Mayr, Heinrich C. Mayr, Mykola Nikitchenko, Mykola Nikitchenko et al... - Information and Communication Technologies in Education, Research, and Industrial Applications

Sotiris Batsakis, Heinric C Mayr, Heinrich C Mayr, Heinrich C. Mayr, Mykola Nikitchenko, Mykola Nikitchenko et al... Information and Communication Technologies in Education, Research, and Industrial Applications English 01.01.2016 Paperback / Softback Fr. 70.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

Christian Maurer - Nichtsequentielle und Verteilte Programmierung mit Go

Christian Maurer Nichtsequentielle und Verteilte Programmierung mit Go German Paperback / Softback Fr. 58.50 New edition in preparation, currently unavailable

Robert A Duff, Stephen Baird, Randall Brukardt, Randall L. Brukardt, Randall Brukardt et al, Jeffrey Cousins... - Consolidated Ada 2022 Reference Manual. Volume 2 - Standard Libraries and Interfacing

Robert A Duff, Stephen Baird, Randall Brukardt, Randall L. Brukardt, Randall Brukardt et al, Jeffrey Cousins... Consolidated Ada 2022 Reference Manual. Volume 2 - Standard Libraries and Interfacing English Paperback / Softback Fr. 102.00 Will be released 13.06.2025

Robert A Duff, Stephen Baird, Randall Brukardt, Randall L. Brukardt, Randall Brukardt et al, Jeffrey Cousins... - Consolidated Ada 2022 Reference Manual. Volume 3 - Specialized Needs Annexes, Summaries, and Indexes

Robert A Duff, Stephen Baird, Randall Brukardt, Randall L. Brukardt, Randall Brukardt et al, Jeffrey Cousins... Consolidated Ada 2022 Reference Manual. Volume 3 - Specialized Needs Annexes, Summaries, and Indexes English Paperback / Softback Fr. 102.00 Will be released 13.06.2025

Robert A Duff, Stephen Baird, Randall Brukardt, Randall L. Brukardt, Randall Brukardt et al, Jeffrey Cousins... - Consolidated Ada 2022 Reference Manual. Volume 1 - Core Language

Robert A Duff, Stephen Baird, Randall Brukardt, Randall L. Brukardt, Randall Brukardt et al, Jeffrey Cousins... Consolidated Ada 2022 Reference Manual. Volume 1 - Core Language English Paperback / Softback Fr. 102.00 Will be released 13.06.2025

Ishikawa, Fuyuki Ishikawa, Michael Leuschel - Rigorous State-Based Methods

Ishikawa, Fuyuki Ishikawa, Michael Leuschel Rigorous State-Based Methods English Paperback / Softback Fr. 168.00 Will be released 02.07.2025

Singla, Adish Singla, Jacqueline Staub - Informatics in Schools. Fostering Problem-Solving, Creativity, and Critical Thinking Through Computer Science Education

Singla, Adish Singla, Jacqueline Staub Informatics in Schools. Fostering Problem-Solving, Creativity, and Critical Thinking Through Computer Science Education English, German Paperback / Softback Fr. 81.00 Will be released 08.09.2025

1
...
19
20
21
22