Symbolic Computation in Software Science: 10th International Symposium, Scss 2024, Tokyo, Japan, August 28-30, 2024, Pro, (Paperback)
(No ratings yet)
Key item features
- Symbolic Computation in Software Science: 10th International Symposium, Scss 2024, Tokyo, Japan, August 28-30, 2024, Pro, (Paperback)
- Author: Springer
- ISBN: 9783031690419
- Format: Paperback
- Publication Date: 2024-08-28
- Page Count: 129
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Publication dateAugust, 2024
- Pages129
- SubgenreArtificial Intelligence
Current price is USD$129.99
Price when purchased online
- Free shipping
Free 90-day returns
How do you want your item?
Try 30 days for just $1! Choose a plan at checkout.
Ships to
Arrives by Wed, May 20
Sold and shipped by Walmart.com
Free 90-day returns
This item is gift eligible
More seller options (1)
Starting from $129.99
Try 30 days of Walmart+ for just $1!
T&C apply. Claim offer now
About this item
Product details
This book constitutes the refereed proceedings of the 10th International Symposium on Symbolic Computation in Software Science, SCSS 2024, which took place in Tokyo, Japan, during August 28-30, 2024.
The 7 full papers were carefully reviewed and selected from 25 submissions. The papers presented emphasize formal analysis and proof of theorems invarious applications, foundational work on rewrite systems, and sound handling of branches of inverse functions.
- Symbolic Computation in Software Science: 10th International Symposium, Scss 2024, Tokyo, Japan, August 28-30, 2024, Pro, (Paperback)
- Author: Springer
- ISBN: 9783031690419
- Format: Paperback
- Publication Date: 2024-08-28
- Page Count: 129
info:
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here, and we have not verified it. Â
Specifications
Book format
Paperback
Fiction/nonfiction
Non-Fiction
Genre
Computing & Internet
Publication date
August, 2024
Warranty
Warranty information
Please be aware that the warranty terms on items offered for sale by third party Marketplace sellers may differ from those displayed in this section (if any). To confirm warranty terms on an item offered for sale by a third party Marketplace seller, please use the 'Contact seller' feature on the third party Marketplace seller's information page and request the item's warranty terms prior to purchase.
Similar items you might like
Based on what customers bought
Lecture Notes in Computer Science Fundamental Approaches to Software Engineering: 4th International Conference, Fase 2001 Held as Part of the Joint Europe, Book 2029, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Fundamental Approaches to Software Engineering: 4th International Conference, Fase 2001 Held as Part of the Joint Europe, Book 2029, (Paperback)
Algorithms and Computation: 18th International Symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007, Proceedings, (Paperback) $107.81
$10781current price $107.81Algorithms and Computation: 18th International Symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007, Proceedings, (Paperback)
Lecture Notes in Computer Science Languages and Compilers for Parallel Computing: 6th International Workshop, Portland, Oregon, Usa, August 12 - 14, 1993., Book 768, (Paperback) $118.82
$11882current price $118.82Lecture Notes in Computer Science Languages and Compilers for Parallel Computing: 6th International Workshop, Portland, Oregon, Usa, August 12 - 14, 1993., Book 768, (Paperback)
Automata, Languages, and Programming: 42nd International Colloquium, Icalp 2015, Kyoto, Japan, July 6-10, 2015, Proceedi, (Paperback) $107.90
$10790current price $107.90Automata, Languages, and Programming: 42nd International Colloquium, Icalp 2015, Kyoto, Japan, July 6-10, 2015, Proceedi, (Paperback)
Computational Science and Its Applications - Iccsa 2010: International Conference, Fukuoka, Japan, March 23-26, Proceedi, (Paperback) $107.22
$10722current price $107.22Computational Science and Its Applications - Iccsa 2010: International Conference, Fukuoka, Japan, March 23-26, Proceedi, (Paperback)
Lecture Notes in Computer Science Culture and Computing: 11th International Conference, C&c 2023, Held as Part of the 25th Hci International Conference, H, Book 14035, (Paperback) $115.63
$11563current price $115.63Lecture Notes in Computer Science Culture and Computing: 11th International Conference, C&c 2023, Held as Part of the 25th Hci International Conference, H, Book 14035, (Paperback)
Lecture Notes in Computer Science Theoretical Aspects of Computer Software: Third International Symposium, Tacs'97, Sendai, Japan, September 23 - 26, 1997, Book 1281, (Paperback) $107.81
$10781current price $107.81Lecture Notes in Computer Science Theoretical Aspects of Computer Software: Third International Symposium, Tacs'97, Sendai, Japan, September 23 - 26, 1997, Book 1281, (Paperback)
Lecture Notes in Computer Science Reversible Computation: 16th International Conference, Rc 2024, Toruń, Poland, July 4-5, 2024, Proceedings, Book 14680, (Paperback) $109.99
$10999current price $109.99Lecture Notes in Computer Science Reversible Computation: 16th International Conference, Rc 2024, Toruń, Poland, July 4-5, 2024, Proceedings, Book 14680, (Paperback)
Algorithms and Computation: 26th International Symposium, Isaac 2015, Nagoya, Japan, December 9-11, 2015, Proceedings, (Paperback) $98.59
$9859current price $98.59Algorithms and Computation: 26th International Symposium, Isaac 2015, Nagoya, Japan, December 9-11, 2015, Proceedings, (Paperback)
Lecture Notes in Computer Science Entertainment Computing - Icec 2022: 21st Ifip Tc 14 International Conference, Icec 2022, Bremen, Germany, November 1-3,, Book 13477, (Paperback) $107.78
$10778current price $107.78Lecture Notes in Computer Science Entertainment Computing - Icec 2022: 21st Ifip Tc 14 International Conference, Icec 2022, Bremen, Germany, November 1-3,, Book 13477, (Paperback)
Astrophysics and Space Science Library New Horizons of Computational Science: Proceedings of the International Symposium on Supercomputing Held in Tokyo, Japan, Book 263, (Hardcover) $210.53
$21053current price $210.53Astrophysics and Space Science Library New Horizons of Computational Science: Proceedings of the International Symposium on Supercomputing Held in Tokyo, Japan, Book 263, (Hardcover)
Collaboration Technologies and Social Computing: 25th International Conference, Criwg collabtech 2019, Kyoto, Japan, Sep, (Paperback) $63.01
$6301current price $63.01Collaboration Technologies and Social Computing: 25th International Conference, Criwg collabtech 2019, Kyoto, Japan, Sep, (Paperback)
Foundations of Software Science and Computational Structures: 15th International Conference, FOSSACS 2012, Held as Part , (Paperback) $60.29
$6029current price $60.29Foundations of Software Science and Computational Structures: 15th International Conference, FOSSACS 2012, Held as Part , (Paperback)
Lecture Notes in Computer Science Computational Intelligence. Theory and Applications: International Conference, 7th Fuzzy Days Dortmund, Germany, October, Book 2206, (Paperback) $107.81
$10781current price $107.81Lecture Notes in Computer Science Computational Intelligence. Theory and Applications: International Conference, 7th Fuzzy Days Dortmund, Germany, October, Book 2206, (Paperback)
Lecture Notes in Computer Science Software Security -- Theories and Systems: Mext-Nsf-Jsps International Symposium, Isss 2002, Tokyo, Japan, November 8-10, Book 2609, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Software Security -- Theories and Systems: Mext-Nsf-Jsps International Symposium, Isss 2002, Tokyo, Japan, November 8-10, Book 2609, (Paperback)
Lecture Notes in Computer Science Unconventional Models of Computation: Third International Conference, Umc 2002, Kobe, Japan, October 15-19, 2002, Procee, Book 2509, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Unconventional Models of Computation: Third International Conference, Umc 2002, Kobe, Japan, October 15-19, 2002, Procee, Book 2509, (Paperback)
Neural Information Processing: 23rd International Conference, Iconip 2016, Kyoto, Japan, October 16-21, 2016, Proceeding, (Paperback) $54.99
$5499current price $54.99Neural Information Processing: 23rd International Conference, Iconip 2016, Kyoto, Japan, October 16-21, 2016, Proceeding, (Paperback)
Lecture Notes in Computer Science Algorithms in Bioinformatics: Second International Workshop, Wabi 2002, Rome, Italy, September 17-21, 2002, Proceedings, Book 2452, (Paperback) $107.81
$10781current price $107.81Lecture Notes in Computer Science Algorithms in Bioinformatics: Second International Workshop, Wabi 2002, Rome, Italy, September 17-21, 2002, Proceedings, Book 2452, (Paperback)
High-Performance Computing: 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First Internation, (Paperback) $54.99
$5499current price $54.99High-Performance Computing: 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First Internation, (Paperback)
Lecture Notes in Computer Science Theory and Practice of Parallel Programming: International Workshop Tppp '94, Sendai, Japan, November 7-9, 1994. Proceed, Book 907, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Theory and Practice of Parallel Programming: International Workshop Tppp '94, Sendai, Japan, November 7-9, 1994. Proceed, Book 907, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
