Anbieter: PBShop.store US, Wood Dale, IL, USA
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
EUR 20,15
Anzahl: Mehr als 20 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 18,49
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
paperback. Zustand: Very Good.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 58,10
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2021
ISBN 10: 3030628213 ISBN 13: 9783030628215
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 77,96
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 150 pages. 9.25x6.10x0.51 inches. In Stock.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 81,68
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 82,06
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2014 edition. 480 pages. 9.00x6.00x1.00 inches. In Stock.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 99,34
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 288 pages. 9.25x6.10x0.61 inches. In Stock.
Sprache: Englisch
Verlag: Springer International Publishing, Springer Nature Switzerland Nov 2020, 2020
ISBN 10: 3030628213 ISBN 13: 9783030628215
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, held in Guangzhou, China, in November 2020.The 10 full and 1 short paper included in this volume were carefully reviewed and selected from 20 submissions. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing Sep 2014, 2014
ISBN 10: 331911736X ISBN 13: 9783319117362
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 480 pp. Englisch.
Sprache: Englisch
Verlag: Springer International Publishing, 2020
ISBN 10: 3030628213 ISBN 13: 9783030628215
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 6thInternational Symposium on Dependable Software Engineering, SETTA 2020, held in Guangzhou, China, in November 2020. The 10 full and 1 short paper included in this volume were carefully reviewed and selected from 20 submissions. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.
Sprache: Englisch
Verlag: Springer International Publishing, 2014
ISBN 10: 331911736X ISBN 13: 9783319117362
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.
Taschenbuch. Zustand: Neu. Dependable Software Engineering. Theories, Tools, and Applications | 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings | Jun Pang (u. a.) | Taschenbuch | xiii | Englisch | 2020 | Springer | EAN 9783030628215 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Zustand: Neu. Formal Methods and Software Engineering | 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings | Stephan Merz (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xviii | Englisch | 2014 | Springer | EAN 9783319117362 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2025
ISBN 10: 9819606942 ISBN 13: 9789819606948
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 115,35
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 445 pages. 9.25x6.10x9.25 inches. In Stock.
Sprache: Englisch
Verlag: Springer Nature Switzerland, Springer Nature Switzerland Sep 2023, 2023
ISBN 10: 3031426967 ISBN 13: 9783031426964
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 21st International Conference on Computational Methods in Systems Biology, CMSB 2023, held in Luxembourg City, Luxembourg, during September 13¿15, 2023.The 14 full papers and 3 tool papers presented in this book were carefully reviewed and selected from 28 submissions. CMSB focuses on modeling, simulation, analysis, design and control of biological systems and covers the broad field of computational methods and tools in systems and synthetic biology and their applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.
Sprache: Englisch
Verlag: Springer Nature Switzerland, Springer International Publishing, 2023
ISBN 10: 3031426967 ISBN 13: 9783031426964
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 21st International Conference on Computational Methods in Systems Biology, CMSB 2023, held in Luxembourg City, Luxembourg, during September 13-15, 2023.The 14 full papers and 3 tool papers presented in this book were carefully reviewed and selected from 28 submissions. CMSB focuses on modeling, simulation, analysis, design and control of biological systems and covers the broad field of computational methods and tools in systems and synthetic biology and their applications.
Taschenbuch. Zustand: Neu. Computational Methods in Systems Biology | 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings | Jun Pang (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xviii | Englisch | 2023 | Springer | EAN 9783031426964 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Zustand: Neu. Multi-disciplinary Trends in Artificial Intelligence | 17th International Conference, MIWAI 2024, Pattaya, Thailand, November 11-15, 2024, Proceedings, Part II | Chattrakul Sombattheera (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xx | Englisch | 2025 | Springer | EAN 9789819606948 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Zustand: Neu. Multi-disciplinary Trends in Artificial Intelligence | 17th International Conference, MIWAI 2024, Pattaya, Thailand, November 11-15, 2024, Proceedings, Part I | Chattrakul Sombattheera (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xx | Englisch | 2025 | Springer | EAN 9789819606917 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The two-volume set LNAI 15431 and 15432 constitutes the refereed proceedings of the 17th International Conference on Multi-disciplinary Trends in Artificial Intelligence, MIWAI 2024, held in Pattaya, Thailand, during November 11-15, 2024.The 68 full papers presented in these proceedings were carefully reviewed and selected from 147 submissions. The papers focus on various topics in AIand its applications, such as deep learning,machine learning, computer vision, pattern recognition, and natural language processing.
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The two-volume set LNAI 15431 and 15432 constitutes the refereed proceedings of the 17th International Conference on Multi-disciplinary Trends in Artificial Intelligence, MIWAI 2024, held in Pattaya, Thailand, during November 11-15, 2024.The 68 full papers presented in these proceedings were carefully reviewed and selected from 147 submissions. The papers focus on various topics in AIand its applications, such as deep learning,machine learning, computer vision, pattern recognition, and natural language processing.
Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 288 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 21st International Conference on Computational Methods in Systems Biology, CMSB 2023, held in Luxembourg City, Luxembourg, during September 13¿15, 2023.The 14 full papers and 3 tool papers presented in this book were carefully reviewed and selected from 28 submissions. CMSB focuses on modeling, simulation, analysis, design and control of biological systems and covers the broad field of computational methods and tools in systems and synthetic biology and their applications.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 160,06
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.