Symbolic computation software science (12 résultats)

Titre: 
Affiner les résultats avec une recherche avancée

Affiner la recherche

  • Livres (12)

  • Neuf (12)
En savoir plus

à

Fourchette de prix personnalisée (EUR)

à

  • Langue : anglais

    Edité par Springer International Publishing AG, Cham, 2024

    3031690419 / 9783031690419

    • Couverture souple

    Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-UnisGrand Eagle Retail

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 153,42

     Frais de port gratuits 
    Expédition nationale : Etats-Unis

    Quantité disponible : 1 disponible

    Paperback. Etat : new. Paperback. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

  • Langue : anglais

    Edité par Springer, 2024

    3031690419 / 9783031690419

    • Couverture souple

    Vendeur : Books Puddle, Woodside, NY, Etats-UnisBooks Puddle

    Vendeur avec une évaluation de 4 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 172,60

    EUR 3,52 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : 4 disponibles

    Etat : New.

  • Langue : anglais

    Edité par Springer, 2024

    3031690419 / 9783031690419

    • Couverture souple

    Vendeur : preigu, Osnabrück, Allemagnepreigu

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 113,20

    EUR 70,00 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 5 disponibles

    Taschenbuch. Etat : Neu. Symbolic Computation in Software Science | 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings | Stephen M. Watt (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxv | Englisch | 2024 | Springer | EAN 9783031690419 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

  • Langue : anglais

    Edité par Springer-Nature New York Inc, 2024

    3031690419 / 9783031690419

    • Couverture souple

    Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 182,39

    EUR 11,71 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 2 disponibles

    Paperback. Etat : Brand New. 154 pages. 9.25x6.10x9.25 inches. In Stock.

  • Langue : anglais

    Edité par Springer, Springer, 2024

    3031690419 / 9783031690419

    • Couverture souple

    Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 128,39

    EUR 61,24 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 1 disponible

    Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.…

  • Langue : anglais

    Edité par Springer, 2024

    3031690419 / 9783031690419

    • Couverture souple
    • impression à la demande

    Vendeur : Brook Bookstore On Demand, Napoli, NA, ItalieBrook Bookstore On Demand

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 102,25

    EUR 5,50 expédition 
    Expédition depuis Italie vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : new. Questo è un articolo print on demand.

  • Langue : anglais

    Edité par Springer, Springer Aug 2024, 2024

    3031690419 / 9783031690419

    • Couverture souple
    • impression à la demande

    Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 128,39

    EUR 23,00 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 2 disponibles

    Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 156 pp. Englisch.…

  • Langue : anglais

    Edité par Springer Verlag GmbH, 2024

    3031690419 / 9783031690419

    • Couverture souple
    • impression à la demande

    Vendeur : moluna, Greven, Allemagnemoluna

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 109,83

    EUR 48,99 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt.

  • Langue : anglais

    Edité par Springer, 2024

    3031690419 / 9783031690419

    • Couverture souple
    • impression à la demande

    Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books

    Vendeur avec une évaluation de 4 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 181,66

    EUR 7,61 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 4 disponibles

    Etat : New. Print on Demand.

  • Langue : anglais

    Edité par Springer, Springer Aug 2024, 2024

    3031690419 / 9783031690419

    • Couverture souple
    • impression à la demande

    Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagnebuchversandmimpf2000

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 128,39

    EUR 60,00 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 1 disponible

    Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 156 pp. Englisch.…

  • Langue : anglais

    Edité par Springer, 2024

    3031690419 / 9783031690419

    • Couverture souple
    • impression à la demande

    Vendeur : Biblios, frankfurt am main, HESSE, AllemagneBiblios

    Vendeur avec une évaluation de 4 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 181,53

    EUR 9,95 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 4 disponibles

    Etat : New. PRINT ON DEMAND.

  • Langue : anglais

    Edité par OmniScriptum, 2026

    6130633157 / 9786130633158

    • Couverture souple
    • impression à la demande

    Vendeur : preigu, Osnabrück, Allemagnepreigu

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 125,30

    EUR 70,00 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 5 disponibles

    Taschenbuch. Etat : Neu. Computer Algebra System | Application Software, Comparison of Computer Algebra Systems, Computational Science, Symbolic Computation, Automated Theorem Proving, Artificial Intelligence, Canonical Form, Factorization. | Frederic P. Miller (u. a.) | Taschenbuch | Englisch | 2026 | OmniScriptum | EAN 9786130633158 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand.…