Da: Best Price, Torrance, CA, U.S.A.
EUR 104,69
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloCondizione: New. SUPER FAST SHIPPING.
Editore: Springer International Publishing AG, Cham, 2024
ISBN 10: 3031690419 ISBN 13: 9783031690419
Lingua: Inglese
Da: Grand Eagle Retail, Mason, OH, U.S.A.
EUR 137,36
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: 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.
Da: Books Puddle, New York, NY, U.S.A.
EUR 151,84
Convertire valutaQuantità: 4 disponibili
Aggiungi al carrelloCondizione: New.
Editore: Springer International Publishing, Springer Nature Switzerland, 2024
ISBN 10: 3031690419 ISBN 13: 9783031690419
Lingua: Inglese
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 117,69
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Editore: Springer-Nature New York Inc, 2024
ISBN 10: 3031690419 ISBN 13: 9783031690419
Lingua: Inglese
Da: Revaluation Books, Exeter, Regno Unito
EUR 162,71
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 154 pages. 9.25x6.10x9.25 inches. In Stock.
Editore: Springer, Berlin, Springer Nature Switzerland, Springer, 2024
ISBN 10: 3031690419 ISBN 13: 9783031690419
Lingua: Inglese
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 117,69
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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. 129 pp. Englisch.
Da: moluna, Greven, Germania
EUR 101,85
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt.
Da: Majestic Books, Hounslow, Regno Unito
EUR 159,40
Convertire valutaQuantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 163,29
Convertire valutaQuantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND.
Editore: Springer Nature Switzerland, Springer Nature Switzerland Aug 2024, 2024
ISBN 10: 3031690419 ISBN 13: 9783031690419
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 117,69
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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 GmbH, Tiergartenstr. 17, 69121 Heidelberg 156 pp. Englisch.