Juliana bowles (42 résultats)

Etat : New.

Etat : New.

Etat : As New. Unread book in perfect condition.

Paperback. Etat : New.

Etat : New.

Paperback. Etat : 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.…

Etat : New. In English.

Etat : As New. Unread book in perfect condition.

Paperback. Etat : New.

Etat : New.

Etat : New. In English.

Etat : New. 1st ed. 2022 edition NO-PA16APR2015-KAP.

Paperback. Etat : Brand New. 203 pages. 9.25x6.10x0.43 inches. In Stock.

Etat : New.

Etat : New.

Etat : New.

Paperback. Etat : Brand New. 240 pages. 9.25x6.10x0.51 inches. In Stock.

Taschenbuch. Etat : 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.…

Etat : New. 2024th edition NO-PA16APR2015-KAP.

Paperback. Etat : Brand New. 257 pages. 9.25x6.10x8.90 inches. In Stock.

Taschenbuch. Etat : 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.…

Taschenbuch. Etat : 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.…

Taschenbuch. Etat : 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.…

Taschenbuch. Etat : Neu. Logic-Based Program Synthesis and Transformation | 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings | Juliana Bowles (u. a.) | Taschenbuch | Lecture Notes in Computer Science | 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.…

Etat : 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.…

Etat : 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. …

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

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

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

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 '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.…