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

Matte Maffei, Matteo Maffei, Tuosto, Tuosto, Emilio Tuosto - Trustworthy Global Computing

Matte Maffei, Matteo Maffei, Tuosto, Tuosto, Emilio Tuosto Trustworthy Global Computing English 01.01.2015 Paperback / Softback Fr. 55.90 1-2 weeks (title will be printed to order)

Gopa Gupta, Gopal Gupta, Peña, Peña, Ricardo Peña - Logic-Based Program Synthesis and Transformation

Gopa Gupta, Gopal Gupta, Peña, Peña, Ricardo Peña Logic-Based Program Synthesis and Transformation English 01.01.2014 Paperback / Softback Fr. 67.00 1-2 weeks (title will be printed to order)

Çetin Kaya Koç, Sihe Mesnager, Sihem Mesnager, Erkay Sava, Erkay Sava¿, Erkay Savas... - Arithmetic of Finite Fields

Çetin Kaya Koç, Sihe Mesnager, Sihem Mesnager, Erkay Sava, Erkay Sava¿, Erkay Savas... Arithmetic of Finite Fields English 01.01.2015 Paperback / Softback Fr. 67.00 1-2 weeks (title will be printed to order)

Mohsen Ghaffari, Mikhai Nesterenko, Mikhail Nesterenko, Sébastien Tixeuil, Sébastien Tixeuil et al, Sara Tucci... - Stabilization, Safety, and Security of Distributed Systems

Mohsen Ghaffari, Mikhai Nesterenko, Mikhail Nesterenko, Sébastien Tixeuil, Sébastien Tixeuil et al, Sara Tucci... Stabilization, Safety, and Security of Distributed Systems English 01.11.2019 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Marco Aiello, Damian Andrew Tamburri et al, Athma Bouguettaya, Athman Bouguettaya, Willem-Jan van Den Heuvel, Damian Andrew Tamburri... - Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future

Marco Aiello, Damian Andrew Tamburri et al, Athma Bouguettaya, Athman Bouguettaya, Willem-Jan van Den Heuvel, Damian Andrew Tamburri... Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future English 12.05.2021 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Antoni Cerone, Antonio Cerone, Csaba Ölveczky, Csaba Ölveczky, Peter Csaba Ölveczky - Theoretical Aspects of Computing - ICTAC 2021

Antoni Cerone, Antonio Cerone, Csaba Ölveczky, Csaba Ölveczky, Peter Csaba Ölveczky Theoretical Aspects of Computing - ICTAC 2021 English 23.09.2021 Paperback / Softback Fr. 103.00 1-2 weeks (title will be printed to order)

Bernady O. Apduhan, Ivan Ble¿i¿, Ivan Blecic, Chiara Garau, Osvaldo Gervasi, Sanjay Misra... - Computational Science and Its Applications - ICCSA 2021

Bernady O. Apduhan, Ivan Ble¿i¿, Ivan Blecic, Chiara Garau, Osvaldo Gervasi, Sanjay Misra... Computational Science and Its Applications - ICCSA 2021 English 17.10.2021 Paperback / Softback Fr. 132.00 1-2 weeks (title will be printed to order)

Bernady O. Apduhan, Ivan Ble¿i¿, Ivan Blecic, Chiara Garau, Osvaldo Gervasi, Sanjay Misra... - Computational Science and Its Applications - ICCSA 2021

Bernady O. Apduhan, Ivan Ble¿i¿, Ivan Blecic, Chiara Garau, Osvaldo Gervasi, Sanjay Misra... Computational Science and Its Applications - ICCSA 2021 English 17.10.2021 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

K. Rustan M. Leino, Rustan M Leino, Rustan M Leino, Alexandr Silva, Alexandra Silva - Computer Aided Verification

K. Rustan M. Leino, Rustan M Leino, Rustan M Leino, Alexandr Silva, Alexandra Silva Computer Aided Verification English 25.08.2021 Paperback / Softback Fr. 55.50 1-2 weeks (title will be printed to order)

K. Rustan M. Leino, Rustan M Leino, Rustan M Leino, Alexandr Silva, Alexandra Silva - Computer Aided Verification

K. Rustan M. Leino, Rustan M Leino, Rustan M Leino, Alexandr Silva, Alexandra Silva Computer Aided Verification English 25.08.2021 Paperback / Softback Fr. 55.50 1-2 weeks (title will be printed to order)

Yur Evtushenko, Yuri Evtushenko, Yuri G. Evtushenko, Yur G Evtushenko, Yuri G Evtushenko, Milojica Ja¿imovi¿... - Optimization and Applications

Yur Evtushenko, Yuri Evtushenko, Yuri G. Evtushenko, Yur G Evtushenko, Yuri G Evtushenko, Milojica Ja¿imovi¿... Optimization and Applications English 21.12.2021 Paperback / Softback Fr. 103.00 1-2 weeks (title will be printed to order)

Serge Artemov, Sergei Artemov, Nerode, Nerode, Anil Nerode - Logical Foundations of Computer Science

Serge Artemov, Sergei Artemov, Nerode, Nerode, Anil Nerode Logical Foundations of Computer Science English 21.01.2022 Paperback / Softback Fr. 103.00 1-2 weeks (title will be printed to order)

Thomas Bauer, Jürge Grossmann, Jürgen Großmann, Fredrik Seehusen, Fredrik Seehusen et al, Ketil Stølen... - Risk Assessment and Risk-Driven Testing

Thomas Bauer, Jürge Grossmann, Jürgen Großmann, Fredrik Seehusen, Fredrik Seehusen et al, Ketil Stølen... Risk Assessment and Risk-Driven Testing English 22.04.2014 Paperback / Softback Fr. 55.90 1-2 weeks (title will be printed to order)

Pete Müller, Peter Müller - Programming Languages and Systems

Pete Müller, Peter Müller Programming Languages and Systems English 01.05.2020 Paperback / Softback Fr. 55.50 1-2 weeks (title will be printed to order)

Tizian Margaria, Tiziana Margaria, Steffen, Steffen, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation: Applications

Tizian Margaria, Tiziana Margaria, Steffen, Steffen, Bernhard Steffen Leveraging Applications of Formal Methods, Verification and Validation: Applications English 23.11.2020 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Tizian Margaria, Tiziana Margaria, Steffen, Steffen, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

Tizian Margaria, Tiziana Margaria, Steffen, Steffen, Bernhard Steffen Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles English 23.11.2020 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

El-Sayed M. El-Alfy, Yuanqing Li, Yuanqing Li et al, Derong Liu, Shengl Xie, Shengli Xie... - Neural Information Processing

El-Sayed M. El-Alfy, Yuanqing Li, Yuanqing Li et al, Derong Liu, Shengl Xie, Shengli Xie... Neural Information Processing English 30.11.2017 Paperback / Softback Fr. 134.00 1-2 weeks (title will be printed to order)

Daniela Petri¿an, Daniel Petrisan, Daniela Petrisan, ROT, Rot, Jurriaan Rot - Coalgebraic Methods in Computer Science

Daniela Petri¿an, Daniel Petrisan, Daniela Petrisan, ROT, Rot, Jurriaan Rot Coalgebraic Methods in Computer Science English 30.11.2020 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Tomasz Jurdzi¿ski, Tomas Jurdzinski, Tomasz Jurdzinski, Schmid, Schmid, Stefan Schmid - Structural Information and Communication Complexity

Tomasz Jurdzi¿ski, Tomas Jurdzinski, Tomasz Jurdzinski, Schmid, Schmid, Stefan Schmid Structural Information and Communication Complexity English 07.08.2021 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Chicano, Chicano, Francisco Chicano, Gabriel Ochoa, Gabriela Ochoa - Evolutionary Computation in Combinatorial Optimization

Chicano, Chicano, Francisco Chicano, Gabriel Ochoa, Gabriela Ochoa Evolutionary Computation in Combinatorial Optimization English 01.01.2015 Paperback / Softback Fr. 67.00 1-2 weeks (title will be printed to order)

1
...
4
5
6
...
100