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

Design Methodology for Future Products

Design Methodology for Future Products

$119.99
Urologic Laparoscopy

Urologic Laparoscopy

$54.99
Political Difference and Global Normative Orders

Political Difference and Global Normative Orders

$159.99
Astrocytes in Psychiatric Disorders

Astrocytes in Psychiatric Disorders

$219.99
Wireless Sensor Networks for Structural Health Monitoring

Wireless Sensor Networks for Structural Health Monitoring

$39.99
Marvel Avengers Assembly: The Sinister Substitute

Marvel Avengers Assembly: The Sinister Substitute

$7.49
Die Welt nach 9/11

Die Welt nach 9/11

$119.99
Becoming an Engineer in Public Universities

Becoming an Engineer in Public Universities

$54.99
Middle-Class Blacks in Britain

Middle-Class Blacks in Britain

$84.99
Engaging Leadership

Engaging Leadership

$39.99
Diseases of the Liver and Biliary Tree

Diseases of the Liver and Biliary Tree

$139.99
Coordination Models and Languages

Coordination Models and Languages

$39.99
Surface Phenomena and Additives in Water-Based Coatings and Printing Technology

Surface Phenomena and Additives in Water-Based Coatings and Printing Technology

$169.99
Angewandte Mathematik: Body and Soul

Angewandte Mathematik: Body and Soul

$19.99
Conference Proceedings of the Second International Conference on Recent Advances in Bioenergy Resear

Conference Proceedings of the Second International Conference on Recent Advances in Bioenergy Resear

$129.00
Bottom Line Results from Strategic Human Resource Planning

Bottom Line Results from Strategic Human Resource Planning

$129.00
Allgemeines Verwaltungsrecht

Allgemeines Verwaltungsrecht

$27.99
Working for the Japanese: Myths and Realities

Working for the Japanese: Myths and Realities

$39.99
Socialization, Moral Judgment, and Action

Socialization, Moral Judgment, and Action

$109.99
Membrane Transport Processes in Organized Systems

Membrane Transport Processes in Organized Systems

$54.99
Inter-group Relations and Migrant Integration in European Cities

Inter-group Relations and Migrant Integration in European Cities

$59.99
Technik und Kultur

Technik und Kultur

$17.99
Der operierte Kranke

Der operierte Kranke

$69.99
Physik 1  Eine unkonventionelle Einfhrung

Physik 1 Eine unkonventionelle Einfhrung

$39.99
American Diplomacys Public Dimension

American Diplomacys Public Dimension

$39.99
Oscar Wilde's Aesthetic Education

Oscar Wilde's Aesthetic Education

$99.99
Learn Android Studio 3 with Kotlin

Learn Android Studio 3 with Kotlin

$59.99
Unternehmungsinvestitionen

Unternehmungsinvestitionen

$59.99
Natural Language Processing and Chinese Computing

Natural Language Processing and Chinese Computing

$109.99
Systems Analysis Tools for Better Health Care Delivery

Systems Analysis Tools for Better Health Care Delivery

$54.99
Atlas of Oral Diseases

Atlas of Oral Diseases

$199.99
Mean Value and Correlation Problems connected with the Motion of Particles suspended in a turb

Mean Value and Correlation Problems connected with the Motion of Particles suspended in a turb

$39.99
Early Markers in Parkinsons and Alzheimers Diseases

Early Markers in Parkinsons and Alzheimers Diseases

$39.99
Human Rights Theory

Human Rights Theory

$54.99
Tissue Proteomics

Tissue Proteomics

$199.99
Gren und Einheiten der Elektrizittslehre

Gren und Einheiten der Elektrizittslehre

$29.99
Connecting Adult Learning and Knowledge Management

Connecting Adult Learning and Knowledge Management

$139.99
Pathogenicity and Drug Resistance of Human Pathogens

Pathogenicity and Drug Resistance of Human Pathogens

$219.99
Problem Gambling

Problem Gambling

$129.99
Separable Type Representations of Matrices and Fast Algorithms

Separable Type Representations of Matrices and Fast Algorithms

$54.99
previous
next