Skip to main content Skip to footer content

Theory And Applications Of Satisfiability Testing - Sat 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings

Chu-min Li Edited by Felip Many

Jul 02, 2021

$175.50

Online pricing. Prices and offers may vary in store.

Ship to me

Checking availability…

Buy now & pick up in store

Checking availability…

Find it in store

Checking availability…

Quantity

Earn 878 points and enjoy extra savings with plum+.

Overview

Language

English

No. of Pages

564

Theoretical Computer Science and General Issues

Publisher: Springer Nature

Shipping dimensions: 9" H x 6" W x 1" L

ISBN: 9783030802226

Haptics: Understanding Touch; Technology and Systems; Applications and Interaction: 14th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2024, Lille, France, June 30 - July 3, 2024, Proceedings, Part I

Hiroyuki Kajimoto Paperback
$131.50
2 formats available
Haptics: Understanding Touch; Technology and Systems; Applications and Interaction: 14th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2024, Lille, France, June 30 - July 3, 2024, Proceedings, Part II

Hiroyuki Kajimoto Paperback
$116.95
2 formats available
Implementation and Application of Automata: 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers

Jan Holub Hardcover
$80.50
Image and Graphics Technologies and Applications: 18th Chinese Conference, IGTA 2023, Beijing, China, August 17-19, 2023, Revised Selected Papers

Wang Yongtian Paperback
$145.95
2 formats available
Parallel Computational Technologies: 14th International Conference, Pct 2020, Perm, Russia, May 27-29, 2020, Revised Selected Papers

Leonid Sokolinsky Paperback
$131.50
2 formats available
Automated Reasoning With Analytic Tableaux And Related Methods: 30th International Conference, Tableaux 2021, Birmingham, Uk, September 6-9, 2021, Proceedings

Anupam Das Paperback
$80.50
2 formats available
Parallel Computational Technologies: 16th International Conference, PCT 2022, Dubna, Russia, March 29-31, 2022, Revised Selected Papers

Leonid Sokolinsky Paperback
$145.95
2 formats available
Machine Learning, Optimization, and Data Science: 4th International Conference, LOD 2018, Volterra, Italy, September 13-16, 2018, Revised Selected Papers

Giuseppe Nicosia Paperback
$80.50
2 formats available
Public Key Cryptography - PKC 2011: 14th International Conference on Practice and Theory in Public Key Cryptography, Taormina, Italy, March 6-9, 2011, Proceedings

Dario Catalano Paperback
$80.50
Document Analysis and Recognition - ICDAR 2023: 17th International Conference, San Jose, CA, USA, August 21-26, 2023, Proceedings, Part I

Gernot A. Fink Paperback
$364.95
2 formats available
Public Key Cryptography - PKC 2006: 9th International Conference on Theory and Practice in Public-Key Cryptography, New York, NY, USA, April 24-26, 2006. Proceedings

Moti Yung Paperback
$80.50
Large-Scale Scientific Computations: 14th International Conference, LSSC 2023, Sozopol, Bulgaria, June 5-9, 2023, Revised Selected Papers

Ivan Lirkov Paperback
$116.95
2 formats available
Large-Scale Scientific Computations: 14th International Conference, LSSC 2023, Sozopol, Bulgaria, June 5-9, 2023, Revised Selected Papers

Ivan Lirkov Paperback
$72.95
Automated Reasoning With Analytic Tableaux And Related Methods: 26th International Conference, Tableaux 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings

Renate A. Schmidt Paperback
$102.50
2 formats available
Principles And Practice Of Constraint Programming: 26th International Conference, Cp 2020, Louvain-la-neuve, Belgium, September 7-11, 2020, Proceedings

Helmut Simonis Paperback
$248.50
2 formats available
Information Technologies and Mathematical Modelling. Queueing Theory and Applications: 22nd International Conference, ITMM 2023 and 14th International Workshop, WRQ 2023, Tomsk, Russia, December 4-9, 2023, Revised Selected Papers

Alexander Dudin Paperback
$72.95
Information Technologies and Mathematical Modelling. Queueing Theory and Applications: 22nd International Conference, ITMM 2023 and 14th International Workshop, WRQ 2023, Tomsk, Russia, December 4-9, 2023, Revised Selected Papers

Anatoly Nazarov Paperback
$124.50
2 formats available
Performance Evaluation Methodologies and Tools: 16th EAI International Conference, VALUETOOLS 2023, Crete, Greece, September 6-7, 2023, Proceedings

Evangelia Kalyvianaki Paperback
$58.50
Advanced Communication and Intelligent Systems: Second International Conference, ICACIS 2023, Warsaw, Poland, June 16-17, 2023, Revised Selected Papers, Part II

Rabindra Nath Shaw Paperback
$160.95
2 formats available
Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings

Ofer Strichman Paperback
$80.50

Editorial reviews

felip many

Author

Combinatorial Optimization And Applications: 14th International Conference, Cocoa 2020, Dallas, Tx, Usa, December 11-13, 2020, Proceedings

Weili Wu Paperback
$160.95
2 formats available
Combinatorial Optimization and Applications: 4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part II

Weili Wu Paperback
$80.50
Advanced Research on Computer Education, Simulation and Modeling: International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part II

Sally Lin Paperback
$160.95
Advanced Research on Computer Education, Simulation and Modeling: International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part I

Sally Lin Paperback
$160.95
Theory and Applications of Models of Computation: 18th Annual Conference, TAMC 2024, Hong Kong, China, May 13-15, 2024, Proceedings

Xujin Chen Paperback
$72.95
Algorithms and Computation: 25th International Symposium, Isaac 2014, Jeonju, Korea, December 15-17, 2014, Proceedings

Hee-Kap Ahn Paperback
$160.95
Algorithms And Architectures For Parallel Processing: 9th International Conference, Ica3pp 2009, Taipei, Taiwan, June 8-11, 2009, Proceedings

Arrems Hua Paperback
$160.95
Combinatorial Optimization and Applications: 17th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part II

Weili Wu Paperback
$58.50
Evolutionary Computation in Combinatorial Optimization: 12th European Conference, Evocop 2012, Malaga, Spain, April 11-13, 2012, Proceedings

Jin-Kao Hao Paperback
$102.50
Parallel and Distributed Computing: Applications and Technologies: 5th International Conference, PDCAT 2004, Singapore, December 8-10, 2004, Proceedings

Kim-Meow Liew Paperback
$160.95
Algorithmic Aspects In Information And Management: 15th International Conference, Aaim 2021, Virtual Event, December 20-22, 2021, Proceedings

Weili Wu Paperback
$131.50
2 formats available
Combinatorial Optimization and Applications: 17th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part I

Weili Wu Paperback
$58.50
Combinatorial Optimization and Applications: 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part II

Weili Wu Paperback
$116.95
2 formats available
Theory and Applications of Models of Computation: 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings

Jianer Chen Paperback
$80.50
Dependable Software Engineering. Theories, Tools, and Applications: 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings

Wei Dong Paperback
$102.50
2 formats available
Knowledge Discovery, Knowledge Engineering and Knowledge Management: Second International Joint Conference, IC3K 2010, Valencia, Spain, October 25-28, 2010, Revised Selected Papers

Ana Fred Paperback
$80.50
Algorithmic Aspects in Information and Management: 10th International Conference, AAIM 2014, Vancouver, BC, Canada, July 8-11, 2014, Proceedings

Qianping Gu Paperback
$80.50
Dna Computing And Molecular Programming: 23rd International Conference, Dna 23, Austin, Tx, Usa, September 24-28, 2017, Proceedings

Robert Brijder Paperback
$80.50
2 formats available
Theoretical Aspects of Software Engineering: 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings

Cristina David Paperback
$124.50
2 formats available
Combinatorial Optimization and Applications: 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part I

Weili Wu Paperback
$131.50
2 formats available