Skip to main content alibris logo

Paperback Mathematical theory of computation Books

Practical Weak Supervision: Doing More with Less Data Practical Weak Supervision:...

Wee Hyong Tok, Amit Bahree
Buy from $69.42

Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers Formal Aspects of Component...

Javier Cámara (Editor), Sung-Shik Jongmans (Editor)
Buy from $63.77

Applications of Computational Intelligence: 6th IEEE Colombian Conference, ColCACI 2023, Bogota, Colombia, July 26-28, 2023, Revised Selected Papers Applications of Computational...

Alvaro David Orjuela-Cañón (Editor), Jesus A Lopez (Editor)
Buy from $70.05

Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVI: 27th International Workshop, COINE 2023, London, UK, May 29, 2023, Revised Selected Papers Coordination, Organizations,...

Nicoletta Fornara (Editor), Jithin Cheriyan (Editor)
Buy from $51.01

Computational Diffusion MRI: 13th International Workshop, CDMRI 2022, Held in Conjunction with MICCAI 2022, Singapore, Singapore, September 22, 2022, Proceedings Computational Diffusion MRI:...

Suheyla Cetin-Karayumak (Editor), Daan Christiaens (Editor)
Buy from $42.38

Das RSA-Verfahren: Verschlüsseln und Entschlüsseln auf Basis der Algebra: Klartext für Nichtmathematiker Das RSA-Verfahren: Verschl...

Guido Walz
Buy from $25.90

Algorithms and Architectures for Parallel Processing: 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20-22, 2023, Proceedings, Part V Algorithms and Architectures...

Zahir Tari (Editor), Keqiu Li (Editor)
Buy from $131.11

Programming Languages and Systems: 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021, Proceedings Programming Languages and...

Hakjoo Oh (Editor)
Buy from $88.75

Membrane Computing: An Introduction Membrane Computing: An...

Gheorghe Paun
Buy from $60.65

Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday Principles of Systems Design:...

Jean-François Raskin (Editor), Krishnendu Chatterjee (Editor)
Buy from $49.78

Advanced Information Systems Engineering: 34th International Conference, CAiSE 2022, Leuven, Belgium, June 6-10, 2022, Proceedings Advanced Information Systems...

Xavier Franch (Editor), Geert Poels (Editor)
Buy from $93.53

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings Verification, Model Checking,...

Ranjit Jhala (Editor), David Schmidt (Editor)
Buy from $60.65

Graph Drawing and Network Visualization: 31st International Symposium, GD 2023, Isola delle Femmine, Palermo, Italy, September 20-22, 2023, Revised Selected Papers, Part II Graph Drawing and Network...

Michael A. Bekos (Editor), Markus Chimani (Editor)
Buy from $70.05

Digital Quantum Information Processing with Continuous-Variable Systems Digital Quantum Information...

Takaya Matsuura
Buy from $178.08

The Legacy of Kurt Schütte The Legacy of Kurt Schütte

Reinhard Kahle (Editor), Michael Rathjen (Editor)
Buy from $131.11

Formal Analysis by Abstract Interpretation: Case Studies in Modern Protocols Formal Analysis by Abstract...

Benjamin Aziz
Buy from $70.05

The Quadratic Unconstrained Binary Optimization Problem: Theory, Algorithms, and Applications The Quadratic Unconstrained...

Abraham P. Punnen (Editor)
Buy from $194.86

Bio-inspired Information and Communications Technologies: 14th EAI International Conference, BICT 2023, Okinawa, Japan, April 11-12, 2023, Proceedings Bio-inspired Information and...

Yifan Chen (Editor), Dezhong Yao (Editor)
Buy from $82.91

Discrete and Computational Geometry, Graphs, and Games: 21st Japanese Conference, JCDCGGG 2018, Quezon City, Philippines, September 1-3, 2018, Revised Selected Papers Discrete and Computational...

Jin Akiyama (Editor), Reginaldo M. Marcelo (Editor)
Buy from $65.35

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III Leveraging Applications of...

Tiziana Margaria (Editor), Bernhard Steffen (Editor)
Buy from $34.96

Modeling and Using Context: 11th International and Interdisciplinary Conference, CONTEXT 2019, Trento, Italy, November 20-22, 2019, Proceedings Modeling and Using Context:...

Gábor Bella (Editor), Paolo Bouquet (Editor)
Buy from $60.65

Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I Verification, Model Checking,...

Rayna Dimitrova (Editor), Ori Lahav (Editor)
Buy from $79.44

Artificial Intelligence: 19th Russian Conference, RCAI 2021, Taganrog, Russia, October 11-16, 2021, Proceedings Artificial Intelligence: 19th...

Sergei M. Kovalev (Editor), Sergei O. Kuznetsov (Editor)
Buy from $102.93

Fundamentals of Algorithmics: International Edition Fundamentals of Algorithmics:...

Gilles Brassard, Paul Bratley
Buy from $10.14

  1. < Prev
  2. 1
  3. ...
  4. 20
  5. 21
  6. Next >