Disponibiltà
Versione linguistica
Novità
Categoria
Forma del prodotto
Autori
prezzo massimo
CHF

Risultato ricerca (Theoretical Computer Science and General Issues)

Jing Chen, Minming Li, Guochuan Zhang - Frontiers of Algorithmics International Joint Conference, IJTCS-FAW 2021, Beijing, China, August 16-19, 2021, Proceedings
Jing Chen, Minming Li, Guochuan Zhang Frontiers of Algorithmics Inglese 15.05.2022 Tascabile CHF 76.00 4-7 giorni lavorativi
Aniello Castiglione, Min Jiang, Min Jiang et al, Yongxuan Lai, Wei Liang, … - Algorithms and Architectures for Parallel Processing 21st International Conference, ICA3PP 2021, Virtual Event, December 3-5, 2021, Proceedings, Part II
Aniello Castiglione, Min Jiang, Min Jiang et al, Yongxuan Lai, Wei Liang, … Algorithms and Architectures for Parallel Processing Inglese 07.05.2022 Tascabile CHF 146.00 4-7 giorni lavorativi
Huan Chen, Bedir Tekinerdogan, Yingwei Wang, Liang-Jie Zhang - Internet of Things - ICIOT 2021 6th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10-14, 2021, Proceedings
Huan Chen, Bedir Tekinerdogan, Yingwei Wang, Liang-Jie Zhang Internet of Things - ICIOT 2021 Inglese 04.05.2022 Tascabile CHF 76.00 4-7 giorni lavorativi
Aniello Castiglione, Min Jiang, Min Jiang et al, Yongxuan Lai, Wei Liang, … - Algorithms and Architectures for Parallel Processing 21st International Conference, ICA3PP 2021, Virtual Event, December 3-5, 2021, Proceedings, Part III
Aniello Castiglione, Min Jiang, Min Jiang et al, Yongxuan Lai, Wei Liang, … Algorithms and Architectures for Parallel Processing Inglese 28.04.2022 Tascabile CHF 146.00 4-7 giorni lavorativi
Barbara Chapman, Moreira, José Moreira, José. Moreira - Languages and Compilers for Parallel Computing 33rd International Workshop, LCPC 2020, Virtual Event, October 14-16, 2020, Revised Selected Papers
Barbara Chapman, Moreira, José Moreira, José. Moreira Languages and Compilers for Parallel Computing Inglese 27.04.2022 Tascabile CHF 90.00 4-7 giorni lavorativi
Ernst-Rüdiger Olderog, Bernhar Steffen, Bernhard Steffen, Wang Yi - Model Checking, Synthesis, and Learning Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
Ernst-Rüdiger Olderog, Bernhar Steffen, Bernhard Steffen, Wang Yi Model Checking, Synthesis, and Learning Inglese 24.04.2022 Tascabile CHF 90.00 4-7 giorni lavorativi
Aniello Castiglione, Min Jiang, Min Jiang et al, Yongxuan Lai, Wei Liang, … - Algorithms and Architectures for Parallel Processing 21st International Conference, ICA3PP 2021, Virtual Event, December 3-5, 2021, Proceedings, Part I
Aniello Castiglione, Min Jiang, Min Jiang et al, Yongxuan Lai, Wei Liang, … Algorithms and Architectures for Parallel Processing Inglese 23.04.2022 Tascabile CHF 146.00 4-7 giorni lavorativi
Niranja Balachandran, Niranjan Balachandran, Inkulu, Inkulu, R. Inkulu - Algorithms and Discrete Applied Mathematics 8th International Conference, CALDAM 2022, Puducherry, India, February 10-12, 2022, Proceedings
Niranja Balachandran, Niranjan Balachandran, Inkulu, Inkulu, R. Inkulu Algorithms and Discrete Applied Mathematics Inglese 06.04.2022 Tascabile CHF 103.00 4-7 giorni lavorativi
Bern Finkbeiner, Bernd Finkbeiner, Wies, Wies, Thomas Wies - Verification, Model Checking, and Abstract Interpretation 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings
Bern Finkbeiner, Bernd Finkbeiner, Wies, Wies, Thomas Wies Verification, Model Checking, and Abstract Interpretation Inglese 31.03.2022 Tascabile CHF 123.00 4-7 giorni lavorativi
Petra Mutzel, Md. Saidur Rahman, Md Saidur Rahman, Salmin, Slamin - WALCOM: Algorithms and Computation 16th International Conference and Workshops, WALCOM 2022, Jember, Indonesia, March 24-26, 2022, Proceedings
Petra Mutzel, Md. Saidur Rahman, Md Saidur Rahman, Salmin, Slamin WALCOM: Algorithms and Computation Inglese 30.03.2022 Tascabile CHF 103.00 4-7 giorni lavorativi
Joche Koenemann, Jochen Koenemann, Peis, Peis, Britta Peis - Approximation and Online Algorithms 19th International Workshop, WAOA 2021, Lisbon, Portugal, September 6-10, 2021, Revised Selected Papers
Joche Koenemann, Jochen Koenemann, Peis, Peis, Britta Peis Approximation and Online Algorithms Inglese 03.03.2022 Tascabile CHF 81.00 4-7 giorni lavorativi
Rad Calinescu, Radu Calinescu, Corina S. P¿s¿reanu, Corina S. Pasareanu, S Pasareanu, … - Software Engineering and Formal Methods 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings
Rad Calinescu, Radu Calinescu, Corina S. P¿s¿reanu, Corina S. Pasareanu, S Pasareanu, … Software Engineering and Formal Methods Inglese 17.02.2022 Tascabile CHF 109.00 4-7 giorni lavorativi
Ilias S. Kotsireas, Pano M Pardalos, Panos M Pardalos, Panos M. Pardalos, Ilias S Kotsireas, … - Learning and Intelligent Optimization 15th International Conference, LION 15, Athens, Greece, June 20-25, 2021, Revised Selected Papers
Ilias S. Kotsireas, Pano M Pardalos, Panos M Pardalos, Panos M. Pardalos, Ilias S Kotsireas, … Learning and Intelligent Optimization Inglese 17.02.2022 Tascabile CHF 109.00 4-7 giorni lavorativi
Jin, Ruoming Jin, JIN, Davi Mohaisen, David Mohaisen - Computational Data and Social Networks 10th International Conference, CSoNet 2021, Virtual Event, November 15-17, 2021, Proceedings
Jin, Ruoming Jin, JIN, Davi Mohaisen, David Mohaisen Computational Data and Social Networks Inglese 06.02.2022 Tascabile CHF 103.00 4-7 giorni lavorativi
João F. Ferreira, Alexandr Mendes, Alexandra Mendes, Claudio Menghi - Formal Methods Teaching 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
João F. Ferreira, Alexandr Mendes, Alexandra Mendes, Claudio Menghi Formal Methods Teaching Inglese 04.02.2022 Tascabile CHF 76.00 4-7 giorni lavorativi
Christophe Cérin, Jean-Luc Gaudiot, Jean-Luc Gaudiot et al, Depe Qian, Depei Qian, … - Network and Parallel Computing 18th IFIP WG 10.3 International Conference, NPC 2021, Paris, France, November 3-5, 2021, Proceedings
Christophe Cérin, Jean-Luc Gaudiot, Jean-Luc Gaudiot et al, Depe Qian, Depei Qian, … Network and Parallel Computing Inglese 30.01.2022 Tascabile CHF 96.00 4-7 giorni lavorativi
Yo-Su Han, Yo-Sub Han, Ko, Ko, Sang-Ki Ko - Descriptional Complexity of Formal Systems 23rd IFIP WG 1.02 International Conference, DCFS 2021, Virtual Event, September 5, 2021, Proceedings
Yo-Su Han, Yo-Sub Han, Ko, Ko, Sang-Ki Ko Descriptional Complexity of Formal Systems Inglese 28.01.2022 Tascabile CHF 83.00 4-7 giorni lavorativi
Gianlorenzo D¿Angelo, Gianlorenzo DAngelo, Gianlorenz D'Angelo, Gianlorenzo D'Angelo, Michail, … - Algorithmic Aspects of Cloud Computing 6th International Symposium, ALGOCLOUD 2021, Lisbon, Portugal, September 6-7, 2021, Revised Selected Papers
Gianlorenzo D¿Angelo, Gianlorenzo DAngelo, Gianlorenz D'Angelo, Gianlorenzo D'Angelo, Michail, … Algorithmic Aspects of Cloud Computing Inglese 23.01.2022 Tascabile CHF 76.00 4-7 giorni lavorativi
Du, Hongwei Du, DU, Weil Wu, Weili Wu - Algorithmic Aspects in Information and Management 15th International Conference, AAIM 2021, Virtual Event, December 20-22, 2021, Proceedings
Du, Hongwei Du, DU, Weil Wu, Weili Wu Algorithmic Aspects in Information and Management Inglese 23.01.2022 Tascabile CHF 109.00 4-7 giorni lavorativi
Serge Artemov, Sergei Artemov, Nerode, Nerode, Anil Nerode - Logical Foundations of Computer Science International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings
Serge Artemov, Sergei Artemov, Nerode, Nerode, Anil Nerode Logical Foundations of Computer Science Inglese 21.01.2022 Tascabile CHF 103.00 4-7 giorni lavorativi