BooksDirect

Mathematical theory of computation

Integration of AI and OR Techniques in Constraint Programming by Claude-Guy Quimper Integration of AI and OR...
Claude-Guy Quimper
Paperback , May '16
Independent Random Sampling Methods by Luca Martino Independent Random Sampling Methods
Luca Martino
Hardback , Apr '18
Structural Decision Diagrams in Digital Test: Theory and Applications by Raimund Ubar Structural Decision Diagrams...
Raimund Ubar
Paperback , Feb '25
Methods and Models in Mathematical Programming by S. A. MirHassani Methods and Models in Mathematical Programming
S. A. MirHassani
Hardback , Dec '19
Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings by Farhad Arbab Formal Aspects of Component...
Farhad Arbab
Paperback , Apr '20
Dependable Software Engineering. Theories, Tools, and Applications: 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings by Jun Pang Dependable Software Engineering....
Jun Pang
Paperback , Jan '21
Introduction to Cryptography by Hans Delfs Introduction to Cryptography
Hans Delfs
Hardback , Oct '15
Transactions on Rough Sets XXIII by James F. Peters Transactions on Rough Sets XXIII
James F. Peters
Paperback , Apr '23
Algorithms and Architectures for Parallel Processing: 24th International Conference, ICA3PP 2024, Macau, China, October 29–31, 2024, Proceedings, Part IV by Tianqing Zhu Algorithms and Architectures...
Tianqing Zhu
Paperback , Jan '25
Critical Systems: Formal Methods and Automated Verification by Laure Petrucci Critical Systems: Formal...
Laure Petrucci
Paperback , Aug '17
Probabilistic Methods for Algorithmic Discrete Mathematics by Michel Habib Probabilistic Methods for...
Michel Habib
Paperback , Aug '10
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II by Andre Platzer Formal Methods: 26th International...
Andre Platzer
Paperback , Dec '24
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V by Tiziana Margaria Leveraging Applications of...
Tiziana Margaria
Paperback , Jan '25
Formal Methods for Executable Software Models by Marco Bernardo Formal Methods for Executable Software Models
Marco Bernardo
Paperback , May '14
Information and Interaction by Ian T. Durham Information and Interaction
Ian T. Durham
Hardback , Dec '16
Intelligent Optimization: Principles, Algorithms and Applications by Changhe Li Intelligent Optimization:...
Changhe Li
Paperback , Sep '24
Beyond Frontiers of Operations Research: Emerging Technologies and Innovative Optimization Paradigms: Proceedings of the 7th AIROYoung Workshop (February 15-17, 2023, University of Milan, Italy) and 8th AIROYoung Workshop (February 14-16, 2024, University of Calabria, Italy) by Michele Barbato Beyond Frontiers of Operations...
Michele Barbato
Hardback , Jul '25
FM 2015: Formal Methods by Nikolaj Bjørner FM 2015: Formal Methods
Nikolaj Bjørner
Paperback , Jun '15
Advances in Social Simulation: Proceedings of the 16th Social Simulation Conference, 20–24 September 2021 by Marcin Czupryna Advances in Social Simulation:...
Marcin Czupryna
Hardback , Feb '22
Ordinal Analysis with an Introduction to Proof Theory by Toshiyasu Arai Ordinal Analysis with an...
Toshiyasu Arai
Hardback , Oct '20
Mathematical Modeling, Computational Intelligence Techniques and Renewable Energy: Proceedings of the First International Conference, MMCITRE 2020 by Manoj Sahni Mathematical Modeling, Computational...
Manoj Sahni
Paperback , Feb '21
R-Calculus, IV: Propositional Logic by Wei Li R-Calculus, IV: Propositional Logic
Wei Li
Hardback , May '23
Advances in Brain Inspired Cognitive Systems: 14th International Conference, BICS 2024, Hefei, China, December 6–8, 2024, Proceedings, Part II by Amir Hussain Advances in Brain Inspired...
Amir Hussain
Paperback , Apr '25
Algorithms and Architectures for Parallel Processing: 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20–22, 2023, Proceedings, Part VII by Zahir Tari Algorithms and Architectures...
Zahir Tari
Paperback , May '24
Generalizing from Limited Resources in the Open World: Second International Workshop, GLOW 2024, Held in Conjunction with IJCAI 2024, Jeju, South Korea, August 3, 2024, Proceedings by Jinyang Guo Generalizing from Limited...
Jinyang Guo
Paperback , Sep '24
Genetic Programming: 25th European Conference, EuroGP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20–22, 2022, Proceedings by Eric Medvet Genetic Programming: 25th...
Eric Medvet
Paperback , Jun '22
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings by Marsha Chechik Formal Methods: 25th International...
Marsha Chechik
Paperback , May '23
Explorations in the Mathematics of Data Science: The Inaugural Volume of the Center for Approximation and Mathematical Data Analytics by Simon Foucart Explorations in the Mathematics...
Simon Foucart
Hardback , Oct '24
Advanced Computing in Industrial Mathematics: 18th Annual Meeting of the Bulgarian Section of SIAM December 11-13, 2023, Sofia, Bulgaria. Revised Selected Papers by Elena Lilkova Advanced Computing in Industrial...
Elena Lilkova
Hardback , Sep '25
Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV by Ruzica Piskac Computer Aided Verification:...
Ruzica Piskac
Paperback , Sep '25
Automated Technology for Verification and Analysis by Bernd Finkbeiner Automated Technology for Verification and Analysis
Bernd Finkbeiner
Paperback , Nov '15
Quantum Physics and Geometry by Edoardo Ballico Quantum Physics and Geometry
Edoardo Ballico
Paperback , Apr '19
Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings by Fabrizio Biondi Model Checking Software:...
Fabrizio Biondi
Paperback , Nov '19
Handbook of Variational Methods for Nonlinear Geometric Data by Philipp Grohs Handbook of Variational Methods...
Philipp Grohs
Hardback , Apr '20
Variable Domain-specific Software Languages with DjDSL: Design and Implementation by Stefan Sobernig Variable Domain-specific...
Stefan Sobernig
Paperback , Jul '21
Inductive Logic Programming: 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019, Proceedings by Dimitar Kazakov Inductive Logic Programming:...
Dimitar Kazakov
Paperback , Aug '20
Results 1981 - 2000 of 2000