Symbolic Computation in Software Science: 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28–30, 2024, Proceedings (Lecture Notes in Artificial Intelligence, Band 14991) - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Symbolic Computation in Software Science: 10th International...
Beispielbild für diese ISBN
Symbolic Computation in Software Science (eng)
Print-on-DemandAnbieter: Brook Bookstore On Demand, Napoli, NA, Italien
Verkäuferbewertung 3 von 5 Sternen
Zustand: new. Questo è un articolo print on demand. Bestandsnummer des Verkäufers TTVXVKZHTI
Neu kaufen
EUR 102,25
EUR 5,50 Versand
Versand von Italien nach USA
Versand von Italien nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Symbolic Computation in Software Science (Paperback)
Verlag:
Springer International Publishing AG, Cham, 2024
ISBN 10: 3031690419
ISBN 13: 9783031690419
Neu
Paperback
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: 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. Bestandsnummer des Verkäufers 9783031690419
Foto des Verkäufers
Symbolic Computation in Software Science
Verlag:
Springer, Springer Aug 2024, 2024
ISBN 10: 3031690419
ISBN 13: 9783031690419
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783031690419
Neu kaufen
EUR 128,39
EUR 23,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Foto des Verkäufers
Symbolic Computation in Software Science
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Bestandsnummer des Verkäufers 1743120211
Neu kaufen
EUR 109,83
EUR 48,99 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Symbolic Computation in Software Science: 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28?30, 2024, Proceedings (Lecture Notes in Artificial Intelligence)
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 26401652279
Neu kaufen
EUR 157,43
EUR 3,43 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Symbolic Computation in Software Science: 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28?30, 2024, Proceedings (Lecture Notes in Artificial Intelligence)
Print-on-DemandAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Print on Demand. Bestandsnummer des Verkäufers 394724840
Neu kaufen
EUR 174,94
EUR 7,52 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 4 verfügbar
Foto des Verkäufers
Symbolic Computation in Software Science | 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings
Anbieter: preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 129766642
Neu kaufen
EUR 113,10
EUR 70,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 5 verfügbar
Beispielbild für diese ISBN
Symbolic Computation in Software Science: 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28?30, 2024, Proceedings (Lecture Notes in Artificial Intelligence)
Print-on-DemandAnbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. PRINT ON DEMAND. Bestandsnummer des Verkäufers 18401652285
Neu kaufen
EUR 176,63
EUR 9,95 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 4 verfügbar
Foto des Verkäufers
Symbolic Computation in Software Science
Verlag:
Springer, Springer Aug 2024, 2024
ISBN 10: 3031690419
ISBN 13: 9783031690419
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783031690419
Neu kaufen
EUR 128,39
EUR 60,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Symbolic Computation in Software Science: 10th International Symposium, Scss 2024, Tokyo, Japan, August 2830, 2024, Proceedings
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 154 pages. 9.25x6.10x9.25 inches. In Stock. Bestandsnummer des Verkäufers x-3031690419
Neu kaufen
EUR 177,29
EUR 11,58 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar