Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Symbolic Computation in Software Science

Symbolic Computation in Software Science

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783031690426
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $89.00 - $89.00
BEST PRICE

Single Product Purchase

$89.00
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$89.00 $89.00

$89.00
See Site In stock Visit Store

Similar Products

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