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

de Lemos, de Lemos, Rogério de Lemos, Antóni Lopes, Antónia Lopes - Software Architecture

de Lemos, de Lemos, Rogério de Lemos, Antóni Lopes, Antónia Lopes Software Architecture English 30.09.2017 Paperback / Softback Fr. 70.00 6-7 weeks

A Muñoz, A Muñoz, Maurici Ayala-Rincón, Mauricio Ayala-Rincón, César A. Muñoz - Interactive Theorem Proving

A Muñoz, A Muñoz, Maurici Ayala-Rincón, Mauricio Ayala-Rincón, César A. Muñoz Interactive Theorem Proving English 30.09.2017 Paperback / Softback Fr. 70.00 6-7 weeks

Martin Davis, Ansga Fehnker, Ansgar Fehnker, Annabelle McIver, Annabelle McIver et al, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning

Martin Davis, Ansga Fehnker, Ansgar Fehnker, Annabelle McIver, Annabelle McIver et al, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning English 01.01.2015 Paperback / Softback Fr. 70.00 6-7 weeks

Lecomte, Lecomte, Thierry Lecomte, Leil Ribeiro, Leila Ribeiro - Formal Methods: Foundations and Applications

Lecomte, Lecomte, Thierry Lecomte, Leil Ribeiro, Leila Ribeiro Formal Methods: Foundations and Applications English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks

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

Axe Legay, Axel Legay, Margaria, Margaria, Tiziana Margaria - Tools and Algorithms for the Construction and Analysis of Systems

Axe Legay, Axel Legay, Margaria, Margaria, Tiziana Margaria Tools and Algorithms for the Construction and Analysis of Systems English 30.04.2017 Paperback / Softback Fr. 70.00 6-7 weeks

José-Paul Leal, José-Paulo Leal, José-Luis Sierra-Rodríguez, Alberto Simões - Languages, Applications and Technologies

José-Paul Leal, José-Paulo Leal, José-Luis Sierra-Rodríguez, Alberto Simões Languages, Applications and Technologies English 01.01.2015 Paperback / Softback Fr. 70.00 6-7 weeks

Pierre-Françoi Dutot, Pierre-François Dutot, Trystram, Trystram, Denis Trystram - Euro-Par 2016: Parallel Processing

Pierre-Françoi Dutot, Pierre-François Dutot, Trystram, Trystram, Denis Trystram Euro-Par 2016: Parallel Processing English 31.08.2016 Paperback / Softback Fr. 70.00 6-7 weeks

Matthe England, Matthew England, Herman Geuvers, Osman Hasan, Osman Hasan et al, Florian Rabe... - Intelligent Computer Mathematics

Matthe England, Matthew England, Herman Geuvers, Osman Hasan, Osman Hasan et al, Florian Rabe... Intelligent Computer Mathematics English 31.07.2017 Paperback / Softback Fr. 70.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

Khali Begain, Khalid Begain, Gunte Bolch, Gunter Bolch, Helmut Herold - Practical Performance Modeling

Khali Begain, Khalid Begain, Gunte Bolch, Gunter Bolch, Helmut Herold Practical Performance Modeling English 13.03.2013 Paperback / Softback Fr. 179.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

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

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

Edwin Schicker - Datenbanken und SQL

Edwin Schicker Datenbanken und SQL 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, German 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, German 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, German Paperback / Softback Fr. 103.00 Will be released 13.06.2025

1
...
31
32
33
34