Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 219,11
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. 2023rd edition NO-PA16APR2015-KAP.
Librería: preigu, Osnabrück, Alemania
EUR 149,00
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Concurrency, Specification and Programming | Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany | Bernd-Holger Schlingloff (u. a.) | Taschenbuch | xii | Englisch | 2024 | Springer | EAN 9783031266539 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Idioma: Inglés
Publicado por Springer International Publishing, 2024
ISBN 10: 3031266536 ISBN 13: 9783031266539
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 171,19
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents novel approaches to the formal specification of concurrent and parallel systems, mathematical models for describing such systems, and programming and verification concepts for their implementation. A special emphasis is on methods based on artificial intelligence and machine learning techniques.Chapters are revised selected papers from the 29th International Workshop on Concurrency, Specification, and Programming (CS&P 2021), Berlin, Germany. Nine independent chapters cover formal approaches to topics such as requirements formalization, parsing, or granular computing, as well as their applications in recommender systems, decision making, security, optimization, and other areas. The book thus addresses both researchers and practitioners in its field.
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 134,27
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: new. Questo è un articolo print on demand.
Idioma: Inglés
Publicado por Springer, Berlin|Springer International Publishing|Springer, 2024
ISBN 10: 3031266536 ISBN 13: 9783031266539
Librería: moluna, Greven, Alemania
EUR 144,94
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book presents novel approaches to the formal specification of concurrent and parallel systems, mathematical models for describing such systems, and programming and verification concepts for their implementation. A special emphasis is on methods base.
Idioma: Inglés
Publicado por Springer International Publishing Mai 2024, 2024
ISBN 10: 3031266536 ISBN 13: 9783031266539
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 171,19
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 244 pp. Englisch.
Idioma: Inglés
Publicado por Springer, Palgrave Macmillan Mai 2024, 2024
ISBN 10: 3031266536 ISBN 13: 9783031266539
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 171,19
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book presents novel approaches to the formal specification of concurrent and parallel systems, mathematical models for describing such systems, and programming and verification concepts for their implementation. A special emphasis is on methods based on artificial intelligence and machine learning techniques.Chapters are revised selected papers from the 29th International Workshop on Concurrency, Specification, and Programming (CS&P 2021), Berlin, Germany. Nine independent chapters cover formal approaches to topics such as requirements formalization, parsing, or granular computing, as well as their applications in recommender systems, decision making, security, optimization, and other areas. The book thus addresses both researchers and practitioners in its field.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 244 pp. Englisch.
Librería: Majestic Books, Hounslow, Reino Unido
EUR 230,61
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 233,37
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND.