Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

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 Inglese 02.12.2020 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
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 Inglese 01.01.2020 Tascabile Fr. 102.00 1-2 settimane (il titolo viene stampato sull'ordine)
Evripidi Bampis, Evripidis Bampis, Megow, Megow, Nicole Megow - Approximation and Online Algorithms
Evripidi Bampis, Evripidis Bampis, Megow, Megow, Nicole Megow Approximation and Online Algorithms Inglese 01.01.2020 Tascabile Fr. 81.00 1-2 settimane (il titolo viene stampato sull'ordine)
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 Inglese 01.07.2020 Tascabile Fr. 109.00 1-2 settimane (il titolo viene stampato sull'ordine)
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 Inglese 30.10.2021 Tascabile Fr. 76.00 1-2 settimane (il titolo viene stampato sull'ordine)
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 Inglese 29.07.2021 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Xin He, E Shao, En Shao, Guangming Tan - Network and Parallel Computing
Xin He, E Shao, En Shao, Guangming Tan Network and Parallel Computing Inglese 29.07.2021 Tascabile Fr. 158.00 1-2 settimane (il titolo viene stampato sull'ordine)
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 Inglese 23.01.2022 Tascabile Fr. 109.00 1-2 settimane (il titolo viene stampato sull'ordine)
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 Inglese 01.11.2019 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
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 Inglese 12.05.2021 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
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 Inglese 25.08.2021 Tascabile Fr. 55.90 1-2 settimane (il titolo viene stampato sull'ordine)
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 Inglese 25.08.2021 Tascabile Fr. 55.90 1-2 settimane (il titolo viene stampato sull'ordine)
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 Inglese 17.10.2021 Tascabile Fr. 132.00 1-2 settimane (il titolo viene stampato sull'ordine)
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 Inglese 17.10.2021 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
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 Inglese 23.09.2021 Tascabile Fr. 103.00 1-2 settimane (il titolo viene stampato sull'ordine)
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 Inglese 21.12.2021 Tascabile Fr. 103.00 1-2 settimane (il titolo viene stampato sull'ordine)
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 Inglese 21.01.2022 Tascabile Fr. 103.00 1-2 settimane (il titolo viene stampato sull'ordine)
Pete Müller, Peter Müller - Programming Languages and Systems
Pete Müller, Peter Müller Programming Languages and Systems Inglese 01.05.2020 Tascabile Fr. 55.90 1-2 settimane (il titolo viene stampato sull'ordine)
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 Inglese 23.11.2020 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
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 Inglese 23.11.2020 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)