Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

Isold Adler, Isolde Adler, Müller, Müller, Haiko Müller - Graph-Theoretic Concepts in Computer Science
Isold Adler, Isolde Adler, Müller, Müller, Haiko Müller Graph-Theoretic Concepts in Computer Science Anglais 02.12.2020 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Mano Changat, Manoj Changat, Das, Das, Sandip Das - Algorithms and Discrete Applied Mathematics
Mano Changat, Manoj Changat, Das, Das, Sandip Das Algorithms and Discrete Applied Mathematics Anglais 01.01.2020 Livre de poche Fr. 102.00 1-2 semaines (titre imprimé sur commande)
Evripidi Bampis, Evripidis Bampis, Megow, Megow, Nicole Megow - Approximation and Online Algorithms
Evripidi Bampis, Evripidis Bampis, Megow, Megow, Nicole Megow Approximation and Online Algorithms Anglais 01.01.2020 Livre de poche Fr. 81.00 1-2 semaines (titre imprimé sur commande)
Simon K. S. Cheung, Lam_For Kwok, Lam¿For Kwok, LamFor Kwok, Lam-For Kwok, Richar Li... - Blended Learning. Education in a Smart Learning Environment
Simon K. S. Cheung, Lam_For Kwok, Lam¿For Kwok, LamFor Kwok, Lam-For Kwok, Richar Li... Blended Learning. Education in a Smart Learning Environment Anglais 01.07.2020 Livre de poche Fr. 109.00 1-2 semaines (titre imprimé sur commande)
Musatov, Musatov, Daniil Musatov, Rahu Santhanam, Rahul Santhanam - Computer Science - Theory and Applications
Musatov, Musatov, Daniil Musatov, Rahu Santhanam, Rahul Santhanam Computer Science - Theory and Applications Anglais 29.07.2021 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Xin He, E Shao, En Shao, Guangming Tan - Network and Parallel Computing
Xin He, E Shao, En Shao, Guangming Tan Network and Parallel Computing Anglais 29.07.2021 Livre de poche Fr. 158.00 1-2 semaines (titre imprimé sur commande)
Irin Kostitsyna, Irina Kostitsyna, Orponen, Orponen, Pekka Orponen - Unconventional Computation and Natural Computation
Irin Kostitsyna, Irina Kostitsyna, Orponen, Orponen, Pekka Orponen Unconventional Computation and Natural Computation Anglais 30.10.2021 Livre de poche Fr. 76.00 1-2 semaines (titre imprimé sur commande)
DU, Du, Hongwei Du, Weil Wu, Weili Wu - Algorithmic Aspects in Information and Management
DU, Du, Hongwei Du, Weil Wu, Weili Wu Algorithmic Aspects in Information and Management Anglais 23.01.2022 Livre de poche Fr. 109.00 1-2 semaines (titre imprimé sur commande)
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 Anglais 01.11.2019 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
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 Anglais 12.05.2021 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
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 Anglais 25.08.2021 Livre de poche Fr. 55.90 1-2 semaines (titre imprimé sur commande)
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 Anglais 25.08.2021 Livre de poche Fr. 55.90 1-2 semaines (titre imprimé sur commande)
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 Anglais 23.09.2021 Livre de poche Fr. 103.00 1-2 semaines (titre imprimé sur commande)
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 Anglais 17.10.2021 Livre de poche Fr. 132.00 1-2 semaines (titre imprimé sur commande)
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 Anglais 17.10.2021 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
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 Anglais 21.12.2021 Livre de poche Fr. 103.00 1-2 semaines (titre imprimé sur commande)
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 Anglais 21.01.2022 Livre de poche Fr. 103.00 1-2 semaines (titre imprimé sur commande)
Pete Müller, Peter Müller - Programming Languages and Systems
Pete Müller, Peter Müller Programming Languages and Systems Anglais 01.05.2020 Livre de poche Fr. 55.90 1-2 semaines (titre imprimé sur commande)
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 Anglais 23.11.2020 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
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 Anglais 23.11.2020 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)