Da: California Books, Miami, FL, U.S.A.
EUR 71,02
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 58,37
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Chiron Media, Wallingford, Regno Unito
EUR 56,53
Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
Lingua: Inglese
Editore: Springer International Publishing AG, Cham, 2024
ISBN 10: 3031712935 ISBN 13: 9783031712937
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Paperback. Condizione: new. Paperback. This book constitutes the refereed proceedings of the 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, held in Milan, Italy, during September 910, 2024.The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 28 submissions. They were organized in topical sections as follows: Synthesis and Transformation; Decision Procedures; Deployment; Specification, Refactoring and Testing; and Term and Graph Rewriting. This book constitutes the refereed proceedings of the 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, held in Milan, Italy, during September 910, 2024.The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 28 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 70,56
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 73,42
Quantità: 15 disponibili
Aggiungi al carrelloCondizione: New.
Da: Chiron Media, Wallingford, Regno Unito
EUR 68,74
Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
Lingua: Inglese
Editore: Springer-Nature New York Inc, 2022
ISBN 10: 303116010X ISBN 13: 9783031160103
Da: Revaluation Books, Exeter, Regno Unito
EUR 83,75
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 203 pages. 9.25x6.10x0.43 inches. In Stock.
Condizione: New.
Lingua: Inglese
Editore: Springer-Nature New York Inc, 2021
ISBN 10: 3030706494 ISBN 13: 9783030706494
Da: Revaluation Books, Exeter, Regno Unito
EUR 91,04
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 240 pages. 9.25x6.10x0.51 inches. In Stock.
Lingua: Inglese
Editore: Springer-Nature New York Inc, 2024
ISBN 10: 3031712935 ISBN 13: 9783031712937
Da: Revaluation Books, Exeter, Regno Unito
EUR 91,61
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 257 pages. 9.25x6.10x8.90 inches. In Stock.
Lingua: Inglese
Editore: Springer, Berlin|Springer International Publishing|Springer, 2022
ISBN 10: 303116010X ISBN 13: 9783031160103
Da: moluna, Greven, Germania
EUR 52,76
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: Buchpark, Trebbin, Germania
EUR 10,80
Quantità: 3 disponibili
Aggiungi al carrelloCondizione: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 10th International Symposium "From Data Models and Back", DataMod 2021, which was held virtually during December 6-7, 2021, as a satellite event of SEFM 2021. The 9 full papers and 1 short paper included in this book were carefully reviewed and selected from 12 submissions. They were organized in topical sections as follows: Model veri¿cation; data mining and processing related approaches; and other approaches.
Da: Buchpark, Trebbin, Germania
EUR 10,80
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 10th International Symposium "From Data Models and Back", DataMod 2021, which was held virtually during December 6-7, 2021, as a satellite event of SEFM 2021. The 9 full papers and 1 short paper included in this book were carefully reviewed and selected from 12 submissions. They were organized in topical sections as follows: Model veri¿cation; data mining and processing related approaches; and other approaches.
Lingua: Inglese
Editore: Springer International Publishing, 2022
ISBN 10: 303116010X ISBN 13: 9783031160103
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 58,84
Quantità: 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 'From Data Models and Back', DataMod 2021, which was held virtually during December 6-7, 2021, as a satellite event of SEFM 2021.The 9 full papers and 1 short paper included in this book were carefully reviewed and selected from 12 submissions. They were organized in topical sections as follows: Model verification; data mining and processing related approaches; and other approaches.
Lingua: Inglese
Editore: Springer International Publishing, Springer International Publishing Okt 2022, 2022
ISBN 10: 303116010X ISBN 13: 9783031160103
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 58,84
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 10th International Symposium 'From Data Models and Back', DataMod 2021, which was held virtually during December 6-7, 2021, as a satellite event of SEFM 2021.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 204 pp. Englisch.
Lingua: Inglese
Editore: Springer Nature Switzerland, 2024
ISBN 10: 3031712935 ISBN 13: 9783031712937
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 62,05
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, held in Milan, Italy, during September 9-10, 2024.The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 28 submissions. They were organized in topical sections as follows:Synthesis and Transformation;Decision Procedures;Deployment;Specification, Refactoring and Testing; and Term and Graph Rewriting.
Lingua: Inglese
Editore: Springer Nature Switzerland Sep 2024, 2024
ISBN 10: 3031712935 ISBN 13: 9783031712937
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 62,05
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, held in Milan, Italy, during September 9¿10, 2024.The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 28 submissions. They were organized in topical sections as follows: Synthesis and Transformation; Decision Procedures; Deployment; Specification, Refactoring and Testing; and Term and Graph Rewriting.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.
Da: preigu, Osnabrück, Germania
EUR 54,80
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. From Data to Models and Back | 10th International Symposium, DataMod 2021, Virtual Event, December 6-7, 2021, Revised Selected Papers | Juliana Bowles (u. a.) | Taschenbuch | x | Englisch | 2022 | Springer | EAN 9783031160103 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Lingua: Inglese
Editore: Springer, Berlin, Springer, 2021
ISBN 10: 3030706494 ISBN 13: 9783030706494
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 64,19
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 9th International Symposium on From Data Models and Back, DataMod 2020, held virtually, in October 2020.The 11 full papers and 3 short papers presented in this book were selected from 19 submissions. The papers are grouped in these topical sections: machine learning; simulation-based approaches, and data mining and processing related approaches.
Da: preigu, Osnabrück, Germania
EUR 59,30
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. From Data to Models and Back | 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers | Juliana Bowles (u. a.) | Taschenbuch | xii | Englisch | 2021 | Springer | EAN 9783030706494 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Da: preigu, Osnabrück, Germania
EUR 57,50
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Logic-Based Program Synthesis and Transformation | 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings | Juliana Bowles (u. a.) | Taschenbuch | xvi | Englisch | 2024 | Springer | EAN 9783031712937 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Da: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 50,23
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.
Da: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 52,63
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.
Da: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 54,23
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.
Lingua: Inglese
Editore: Springer International Publishing Okt 2022, 2022
ISBN 10: 303116010X ISBN 13: 9783031160103
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 58,84
Quantità: 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 'From Data Models and Back', DataMod 2021, which was held virtually during December 6-7, 2021, as a satellite event of SEFM 2021.The 9 full papers and 1 short paper included in this book were carefully reviewed and selected from 12 submissions. They were organized in topical sections as follows: Model verification; data mining and processing related approaches; and other approaches. 204 pp. Englisch.
Lingua: Inglese
Editore: Springer, Berlin, Springer Nature Switzerland, Springer, 2024
ISBN 10: 3031712935 ISBN 13: 9783031712937
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 62,05
Quantità: 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 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, held in Milan, Italy, during September 9-10, 2024.The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 28 submissions. They were organized in topical sections as follows:Synthesis and Transformation;Decision Procedures;Deployment;Specification, Refactoring and Testing; and Term and Graph Rewriting. 235 pp. Englisch.
Lingua: Inglese
Editore: Berlin Springer International Publishing Springer Mrz 2021, 2021
ISBN 10: 3030706494 ISBN 13: 9783030706494
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 64,19
Quantità: 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 9th International Symposium on From Data Models and Back, DataMod 2020, held virtually, in October 2020.The 11 full papers and 3 short papers presented in this book were selected from 19 submissions. The papers are grouped in these topical sections: machine learning; simulation-based approaches, and data mining and processing related approaches. 227 pp. Englisch.
Da: moluna, Greven, Germania
EUR 55,40
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt.
Lingua: Inglese
Editore: Springer International Publishing, 2021
ISBN 10: 3030706494 ISBN 13: 9783030706494
Da: moluna, Greven, Germania
EUR 57,59
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 9th International Symposium on From Data Models and Back, DataMod 2020, held virtually, in October 2020.The 11 full papers and 3 short papers presented in this book were selected from 19 submis.