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

Theory and Applications of Models of Computation: 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007, Proceedings

Jin-Yi Cai Paperback
$160.95
Bio-Inspired Computing: Theories and Applications: 15th International Conference, BIC-TA 2020, Qingdao, China, October 23-25, 2020, Revised Selected Papers

Linqiang Pan Paperback
$160.95
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
Computational Science - ICCS 2024: 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI

Leonardo Franco Paperback
$72.95
Computational Science - ICCS 2024: 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI

Leonardo Franco Paperback
$116.95
2 formats available
Public-Key Cryptography - PKC 2020: 23rd IACR International Conference on Practice and Theory of Public-Key Cryptography, Edinburgh, UK, May 4-7, 2020, Proceedings, Part I

Aggelos Kiayias Paperback
$80.50
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
Computational Sciences - Modelling, Computing and Soft Computing: First International Conference, CSMCS 2020, Kozhikode, Kerala, India, September 10-12, 2020, Revised Selected Papers

Ashish Awasthi Paperback
$80.50
2 formats available
Computer Supported Cooperative Work and Social Computing: 18th CCF Conference, ChineseCSCW 2023, Harbin, China, August 18-20, 2023, Revised Selected Papers, Part I

Yuqing Sun Paperback
$145.95
2 formats available
Intelligence Computation and Applications: 14th International Symposium, ISICA 2023, Guangzhou, China, November 18-19, 2023, Revised Selected Papers, Part I

Kangshun Li Paperback
$145.95
2 formats available
Computer Supported Cooperative Work and Social Computing: 18th CCF Conference, ChineseCSCW 2023, Harbin, China, August 18-20, 2023, Revised Selected Papers, Part I

Yuqing Sun Paperback
$58.50
Intelligence Computation and Applications: 14th International Symposium, ISICA 2023, Guangzhou, China, November 18-19, 2023, Revised Selected Papers, Part I

Kangshun Li Paperback
$72.95
Intelligence Computation and Applications: 14th International Symposium, ISICA 2023, Guangzhou, China, November 18-19, 2023, Revised Selected Papers, Part II

Kangshun Li Paperback
$145.95
2 formats available
Logic Programming and Nonmonotonic Reasoning: 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings

Carmine Dodaro Paperback
$204.50
Intelligence Computation and Applications: 14th International Symposium, ISICA 2023, Guangzhou, China, November 18-19, 2023, Revised Selected Papers, Part II

Kangshun Li Paperback
$72.95
Computer Supported Cooperative Work and Social Computing: 18th CCF Conference, ChineseCSCW 2023, Harbin, China, August 18-20, 2023, Revised Selected Papers, Part II

Yuqing Sun Paperback
$145.95
2 formats available
Computer Supported Cooperative Work and Social Computing: 18th CCF Conference, ChineseCSCW 2023, Harbin, China, August 18-20, 2023, Revised Selected Papers, Part II

Yuqing Sun Paperback
$58.50
Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings

Kai Brünnler Paperback
$80.50
Inductive Logic Programming: 30th International Conference, Ilp 2021, Virtual Event, October 25-27, 2021, Proceedings

Nikos Katzouris Paperback
$102.50
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

Editorial reviews

Author

Theory And Applications Of Satisfiability Testing - Sat 2020: 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings

Luca Pulina Paperback
$80.50
2 formats available
Theory and Practice of Natural Computing: 10th International Conference, TPNC 2021, Virtual Event, December 7-10, 2021, Proceedings

Claus Aranha Paperback
$87.95
2 formats available
String Processing And Information Retrieval: 26th International Symposium, Spire 2019, Segovia, Spain, October 7-9, 2019, Proceedings

Nieves R. Brisaboa Paperback
$80.50
2 formats available
Language And Automata Theory And Applications: 15th International Conference, Lata 2021, Milan, Italy, March 1-5, 2021, Proceedings

Alberto Leporati Paperback
$80.50
2 formats available
Implementation And Application Of Automata: 25th International Conference, Ciaa 2021, Virtual Event, July 19-22, 2021, Proceedings

Sebastian Maneth Paperback
$80.50
2 formats available
Theory And Practice Of Natural Computing: 9th International Conference, Tpnc 2020, Taoyuan, Taiwan, December 7-9, 2020, Proceedings

Carlos Martín-Vide Paperback
$80.50
2 formats available
Formal Modeling And Analysis Of Timed Systems: 19th International Conference, Formats 2021, Paris, France, August 24-26, 2021, Proceedings

Catalin Dima Paperback
$80.50
2 formats available
Theory And Practice Of Natural Computing: 8th International Conference, Tpnc 2019, Kingston, On, Canada, December 9-11, 2019, Proceedings

Carlos Martín-Vide Paperback
$94.95
2 formats available
Mathematical Optimization Theory And Operations Research: 20th International Conference, Motor 2021, Irkutsk, Russia, July 5-10, 2021, Proceedings

Panos Pardalos Paperback
$80.50
2 formats available
Algorithms And Data Structures: 17th International Symposium, Wads 2021, Virtual Event, August 9-11, 2021, Proceedings

Anna Lubiw Paperback
$160.95
2 formats available
SOFSEM 2021: Theory and Practice of Computer Science: 47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25-29, 2021, Proceedings

Tomá Bure Paperback
$160.95
2 formats available
Mathematical Optimization Theory And Operations Research: 18th International Conference, Motor 2019, Ekaterinburg, Russia, July 8-12, 2019, Proceedings

Michael Khachay Paperback
$145.95
2 formats available
Computer Science - Theory and Applications: 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1-5, 2019, Proceedings

Ren Van Bevern Paperback
$80.50
2 formats available
Algorithms And Discrete Applied Mathematics: 8th International Conference, Caldam 2022, Puducherry, India, February 10-12, 2022, Proceedings

Niranjan Balachandran Paperback
$124.50
2 formats available
Integer Programming And Combinatorial Optimization: 21st International Conference, Ipco 2020, London, Uk, June 8-10, 2020, Proceedings

Daniel Bienstock Paperback
$102.50
2 formats available
Quantitative Evaluation Of Systems: 16th International Conference, Qest 2019, Glasgow, Uk, September 10-12, 2019, Proceedings

David Parker Paperback
$80.50
2 formats available
Computer Science - Theory and Applications: 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings

Pascal Weil Paperback
$80.50
2 formats available
Algorithms And Discrete Applied Mathematics: 6th International Conference, Caldam 2020, Hyderabad, India, February 13-15, 2020, Proceedings

Manoj Changat Paperback
$116.95
2 formats available
Language And Automata Theory And Applications: 14th International Conference, Lata 2020, Milan, Italy, March 4-6, 2020, Proceedings

Alberto Leporati Paperback
$80.50
2 formats available
String Processing And Information Retrieval: 27th International Symposium, Spire 2020, Orlando, Fl, Usa, October 13-15, 2020, Proceedings

Christina Boucher Paperback
$80.50
2 formats available