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

P Ershov Institute of Informatic, Virbitskaite, Virbitskaite, Irina Virbitskaite, Andre Voronkov, Andrei Voronkov - Perspectives of System Informatics

P Ershov Institute of Informatic, Virbitskaite, Virbitskaite, Irina Virbitskaite, Andre Voronkov, Andrei Voronkov Perspectives of System Informatics English 01.01.2015 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Duan, Duan, Zhenhua Duan, Shaoyin Liu, Shaoying Liu - Structured Object-Oriented Formal Language and Method

Duan, Duan, Zhenhua Duan, Shaoyin Liu, Shaoying Liu Structured Object-Oriented Formal Language and Method English 01.01.2015 Paperback / Softback Fr. 55.90 1-2 weeks (title will be printed to order)

Jame Brodman, James Brodman, Tu, Tu, Peng Tu - Languages and Compilers for Parallel Computing

Jame Brodman, James Brodman, Tu, Tu, Peng Tu Languages and Compilers for Parallel Computing English 01.01.2015 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Wolfgang Ahrendt, Bernhar Beckert, Bernhard Beckert, Richard Bubel, Richard Bubel et al, Reiner Hähnle... - Deductive Software Verification - The KeY Book

Wolfgang Ahrendt, Bernhar Beckert, Bernhard Beckert, Richard Bubel, Richard Bubel et al, Reiner Hähnle... Deductive Software Verification - The KeY Book English 01.01.2016 Paperback / Softback Fr. 158.00 1-2 weeks (title will be printed to order)

Daniel Slamanig, Elia Tsigaridas, Elias Tsigaridas, Zafeirakis Zafeirakopoulos - Mathematical Aspects of Computer and Information Sciences

Daniel Slamanig, Elia Tsigaridas, Elias Tsigaridas, Zafeirakis Zafeirakopoulos Mathematical Aspects of Computer and Information Sciences English 01.05.2020 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Ew Deelman, Ewa Deelman, Jack Dongarra, Jack Dongarra et al, Konrad Karczewski, Roman Wyrzykowski - Parallel Processing and Applied Mathematics

Ew Deelman, Ewa Deelman, Jack Dongarra, Jack Dongarra et al, Konrad Karczewski, Roman Wyrzykowski Parallel Processing and Applied Mathematics English 01.05.2020 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Ew Deelman, Ewa Deelman, Jack Dongarra, Jack Dongarra et al, Konrad Karczewski, Roman Wyrzykowski - Parallel Processing and Applied Mathematics

Ew Deelman, Ewa Deelman, Jack Dongarra, Jack Dongarra et al, Konrad Karczewski, Roman Wyrzykowski Parallel Processing and Applied Mathematics English 01.05.2020 Paperback / Softback Fr. 109.00 1-2 weeks (title will be printed to order)

Petr Lutsyk, Petro Lutsyk, Jona Oberhauser, Jonas Oberhauser, Wolfgang J Paul, Wolfgang J. Paul - A Pipelined Multi-Core Machine with Operating System Support

Petr Lutsyk, Petro Lutsyk, Jona Oberhauser, Jonas Oberhauser, Wolfgang J Paul, Wolfgang J. Paul A Pipelined Multi-Core Machine with Operating System Support English 01.05.2020 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Jea Goubault-Larrecq, Jean Goubault-Larrecq, König, König, Barbara König - Foundations of Software Science and Computation Structures

Jea Goubault-Larrecq, Jean Goubault-Larrecq, König, König, Barbara König Foundations of Software Science and Computation Structures English 01.06.2020 Paperback / Softback Fr. 55.50 1-2 weeks (title will be printed to order)

Alessandra Di Pierro, Pasqual Malacaria, Pasquale Malacaria, Rajagopal Nagarajan - From Lambda Calculus to Cybersecurity Through Program Analysis

Alessandra Di Pierro, Pasqual Malacaria, Pasquale Malacaria, Rajagopal Nagarajan From Lambda Calculus to Cybersecurity Through Program Analysis English 01.04.2020 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Mário S. Alvim, Kosta Chatzikokolakis, Kostas Chatzikokolakis, Carlos Olarte, Carlos Olarte et al, Frank Valencia - The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy

Mário S. Alvim, Kosta Chatzikokolakis, Kostas Chatzikokolakis, Carlos Olarte, Carlos Olarte et al, Frank Valencia The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy English 01.09.2019 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Bogdan Filipi¿, Bogdan Filipic, Edmond Minisci, Edmondo Minisci, Massimiliano Vasile - Bioinspired Optimization Methods and Their Applications

Bogdan Filipi¿, Bogdan Filipic, Edmond Minisci, Edmondo Minisci, Massimiliano Vasile Bioinspired Optimization Methods and Their Applications English 24.01.2021 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Bern Finkbeiner, Bernd Finkbeiner, Wies, Wies, Thomas Wies - Verification, Model Checking, and Abstract Interpretation

Bern Finkbeiner, Bernd Finkbeiner, Wies, Wies, Thomas Wies Verification, Model Checking, and Abstract Interpretation English 31.03.2022 Paperback / Softback Fr. 123.00 1-2 weeks (title will be printed to order)

Flori Manea, Florin Manea, Nowotka, Nowotka, Dirk Nowotka - Combinatorics on Words

Flori Manea, Florin Manea, Nowotka, Nowotka, Dirk Nowotka Combinatorics on Words English 01.10.2015 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Martin Aher, Danie Hole, Daniel Hole, Emil Je¿ábek, Emil Jerábek, Emil Jeřábek... - Logic, Language, and Computation

Martin Aher, Danie Hole, Daniel Hole, Emil Je¿ábek, Emil Jerábek, Emil Jeřábek... Logic, Language, and Computation English 01.01.2015 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Maurizi Proietti, Maurizio Proietti, Seki, Seki, Hirohisa Seki - Logic-Based Program Synthesis and Transformation

Maurizi Proietti, Maurizio Proietti, Seki, Seki, Hirohisa Seki Logic-Based Program Synthesis and Transformation English 01.01.2015 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Jin Akiyama, Hir Ito, Hiro Ito, Toshinori Sakai - Discrete and Computational Geometry and Graphs

Jin Akiyama, Hir Ito, Hiro Ito, Toshinori Sakai Discrete and Computational Geometry and Graphs English 01.01.2014 Paperback / Softback Fr. 67.00 1-2 weeks (title will be printed to order)

Cristian S. Calude, R¿si¿¿ Freivalds, Rusin Freivalds, Rusins Freivalds, Rūsiņš Freivalds, Rusis Freivalds... - Computing with New Resources

Cristian S. Calude, R¿si¿¿ Freivalds, Rusin Freivalds, Rusins Freivalds, Rūsiņš Freivalds, Rusis Freivalds... Computing with New Resources English 01.01.2014 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Hecto Zenil, Hector Zenil - Cellular Automata and Discrete Complex Systems

Hecto Zenil, Hector Zenil Cellular Automata and Discrete Complex Systems English 22.12.2020 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Alex Aved, Eri Blasch, Erik Blasch, Frederica Darema, Sai Ravela, Sai Ravela et al - Dynamic Data Driven Applications Systems

Alex Aved, Eri Blasch, Erik Blasch, Frederica Darema, Sai Ravela, Sai Ravela et al Dynamic Data Driven Applications Systems English 24.12.2020 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

1
...
8
9
10
...
100