Copied Symbolic Computation in Software Science
Symbolic Computation in Software Science
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.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$89.00 | $89.00 |
|
$89.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Numerische Behandlung von Differentialgleichungen mit besonderer Bercksichtigung freier Randwertauf
$49.99
Being Bollywood
$129.99
The Palgrave Handbook of Languages and Conflict
$199.99
Digitale Spiele aus deutschdidaktischer Perspektive
$69.99
Cognitive Informatics in Health and Biomedicine
$54.99
Microcirculation
$79.99
Substrate Noise Coupling in Mixed-Signal ASICs
$129.00
The Impact of Protracted Peace Processes on Identities in Conflict
$49.99
Wissenschaftliche Grundlagen der Erdlverarbeitung
$74.99
International Conference on Innovative Computing and Communications
$169.00
Theory of Gyroscopic Effects for Rotating Objects
$109.00
Critical Perspectives in Happiness Research
$109.99
Digital Transformation, Cyber Security and Resilience
$99.99
Computer Vision -- ACCV 2014
$54.99
At the Edges of Liberalism
$54.99
Demands of Expanding Populations and Development Planning
$109.99
Vorlesungen ber Hhere Geometrie
$59.99
The Palgrave Handbook of Linguistic (Im)politeness
$379.99
Theoretical Inorganic Chemistry II
$84.99
Exploring Research Frontiers in Contemporary Statistics and Econometrics
$39.99
Logics in Computer Science
$54.99
Proceedings of the 5th International Conference on Big Data and Internet of Things
$279.99
Bioengineering Approaches to Pulmonary Physiology and Medicine
$84.99
Nicotinic Acetylcholine Receptor Technologies
$89.00
Kybernetik. Dokumentation und mechanisches Gedchtnis
$59.99
Pseudomorphic HEMT Technology and Applications
$219.99
Die Fichte in Bezug auf Ertrag, Zuwachs und Form
$59.99
Insider Intervention Research
$54.99
Belastung und Beanspruchung im Lehrerberuf
$39.99
Lecture Notes on Principles of Plasma Processing
$169.99
Advances in Synchronization of Coupled Fractional Order Systems
$54.99
Politische Kultur der Bundesrepublik
$59.99
Das Waffenregister der Vereinten Nationen
$49.99
Stochastic Partial Differential Equations and Their Applications
$39.99
Advances in Cross-Language Information Retrieval
$109.99
Modern Mathematical Methods and High Performance Computing in Science and Technology
$169.99
Interventions in Pulmonary Medicine
$249.99
Kohlenstaubfeuerungen fr ortsfeste Dampfkessel
$84.99
Fusion Bonding of Polymer Composites
$169.99
SARS- and Other Coronaviruses
$89.00
