Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

Symbolic Computation in Software Science

Best Price (Coupon Required):
Buy Symbolic Computation in Software Science for $80.10 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $89.00 - $89.00
BEST PRICE

Single Product Purchase

$80.10
@ Link.springer.com with extra coupon

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
$89.00 $89.00

10% OFF
This deals requires coupon
$80.10
See Site In stock Visit Store

Product Details

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

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Co-utility

Co-utility

$109.99
Der moderne Staat

Der moderne Staat

$54.99
Electro- and Magneto-Mechanics of Soft Solids

Electro- and Magneto-Mechanics of Soft Solids

$119.00
Die Nachricht nach Ma

Die Nachricht nach Ma

$59.99
Big Data - Big Accountability

Big Data - Big Accountability

$59.99
Nontarget Effects of Biological Control

Nontarget Effects of Biological Control

$169.00
Mastering the Art of French Cooking, Volume 1 by Julia Child

Mastering the Art of French Cooking, Volume 1 by Julia Child

$45.00
Soziologische Basics

Soziologische Basics

$19.99
Zur Berechnung dnnwandiger Stbe mit variablem, offenem Querschnitt

Zur Berechnung dnnwandiger Stbe mit variablem, offenem Querschnitt

$49.99
The Earths Free Oscillations

The Earths Free Oscillations

$129.99
Thermal Transport in Low Dimensions

Thermal Transport in Low Dimensions

$84.99
Recent Advances in Endometrial Cancer

Recent Advances in Endometrial Cancer

$99.99
Nutrients and Nutraceuticals for Active & Healthy Ageing

Nutrients and Nutraceuticals for Active & Healthy Ageing

$169.00
Biotransformations in Organic Chemistry  A Textbook

Biotransformations in Organic Chemistry A Textbook

$74.99
Fintech Regulation and Supervision Challenges within the Banking Industry

Fintech Regulation and Supervision Challenges within the Banking Industry

$169.99
Die Strichprobe der Edelmetalle

Die Strichprobe der Edelmetalle

$44.99
Kinder- und Jugendliteraturforschung 2000/2001

Kinder- und Jugendliteraturforschung 2000/2001

$49.99
Transport and Diffusion in Turbulent Fields

Transport and Diffusion in Turbulent Fields

$39.99
Living With Hacktivism

Living With Hacktivism

$44.99
Multi-Objective Optimization

Multi-Objective Optimization

$139.00
Authority, Gender and Emotions in Late Medieval and Early Modern England

Authority, Gender and Emotions in Late Medieval and Early Modern England

$79.99
Structural Revolution in International Business Architecture

Structural Revolution in International Business Architecture

$39.99
Craniofacial Microsomia and Treacher Collins Syndrome

Craniofacial Microsomia and Treacher Collins Syndrome

$89.00
Agencies in Westeuropa

Agencies in Westeuropa

$69.99
Atlas of Renal Pathology

Atlas of Renal Pathology

$39.99
Bericht ber die zweite Tagung ber Psychopathenfrsorge

Bericht ber die zweite Tagung ber Psychopathenfrsorge

$59.99
Algebraic Biology

Algebraic Biology

$39.99
Reibungsmessungen an den Leitorganen garn- und zwirnverarbeitender Maschinen

Reibungsmessungen an den Leitorganen garn- und zwirnverarbeitender Maschinen

$84.99
Machine Learning for Oracle Database Professionals

Machine Learning for Oracle Database Professionals

$69.99
Electric Phenomena in Polymer Science

Electric Phenomena in Polymer Science

$39.99
Polymer Colloids

Polymer Colloids

$39.99
The Best of ICCAD

The Best of ICCAD

$329.99
Idiopathic Hydronephrosis

Idiopathic Hydronephrosis

$54.99
Advances in Databases and Information Systems

Advances in Databases and Information Systems

$64.99
Towards Autonomous, Adaptive, and Context-Aware Multimodal Interfaces:  Theoretical and Practical Is

Towards Autonomous, Adaptive, and Context-Aware Multimodal Interfaces: Theoretical and Practical Is

$39.99
Cultural and Linguistic Minorities in the Russian Federation and the European Union

Cultural and Linguistic Minorities in the Russian Federation and the European Union

$84.99
Entrepreneurial Behaviour

Entrepreneurial Behaviour

$199.99
Die Regeln digitaler Kommunikation

Die Regeln digitaler Kommunikation

$69.99
Enzymology and Molecular Biology of Carbonyl Metabolism 6

Enzymology and Molecular Biology of Carbonyl Metabolism 6

$39.99
Improvement of Crop Plants for Industrial End Uses

Improvement of Crop Plants for Industrial End Uses

$219.99
previous
next