Zurücksetzen Lieferbarkeit
Sprachversion
Aktualität
Thema
Produktform
Autoren
Maximalpreis
CHF

Suchresultat (vergriffene ausbl., 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 Englisch 15.05.2022 Taschenbuch CHF 76.00 4-7 Arbeitstage
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 Englisch 04.05.2022 Taschenbuch CHF 76.00 4-7 Arbeitstage
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 Englisch 07.05.2022 Taschenbuch CHF 146.00 4-7 Arbeitstage
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 Englisch 27.04.2022 Taschenbuch CHF 90.00 4-7 Arbeitstage
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 Englisch 23.04.2022 Taschenbuch CHF 146.00 4-7 Arbeitstage
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 Englisch 28.04.2022 Taschenbuch CHF 146.00 4-7 Arbeitstage
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 Englisch 24.04.2022 Taschenbuch CHF 90.00 4-7 Arbeitstage
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 Englisch 30.03.2022 Taschenbuch CHF 103.00 4-7 Arbeitstage
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 Englisch 06.04.2022 Taschenbuch CHF 103.00 4-7 Arbeitstage
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 Englisch 31.03.2022 Taschenbuch CHF 123.00 4-7 Arbeitstage
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 Englisch 17.02.2022 Taschenbuch CHF 109.00 4-7 Arbeitstage
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 Englisch 17.02.2022 Taschenbuch CHF 109.00 4-7 Arbeitstage
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 Englisch 03.03.2022 Taschenbuch CHF 81.00 4-7 Arbeitstage
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 Englisch 23.01.2022 Taschenbuch CHF 109.00 4-7 Arbeitstage
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 Englisch 28.01.2022 Taschenbuch CHF 83.00 4-7 Arbeitstage
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 Englisch 06.02.2022 Taschenbuch CHF 103.00 4-7 Arbeitstage
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 Englisch 21.01.2022 Taschenbuch CHF 103.00 4-7 Arbeitstage
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 Englisch 04.02.2022 Taschenbuch CHF 76.00 4-7 Arbeitstage
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 Englisch 30.01.2022 Taschenbuch CHF 96.00 4-7 Arbeitstage
Miguel A Vega-Rodríguez, Claus Aranha, Claus C. Aranha, Carlo Martín-Vide, Carlos Martín-Vide, … - Theory and Practice of Natural Computing 10th International Conference, TPNC 2021, Virtual Event, December 7-10, 2021, Proceedings
Miguel A Vega-Rodríguez, Claus Aranha, Claus C. Aranha, Carlo Martín-Vide, Carlos Martín-Vide, … Theory and Practice of Natural Computing Englisch 20.01.2022 Taschenbuch CHF 76.00 4-7 Arbeitstage