Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 167,19
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 228,53
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. 2023rd edition NO-PA16APR2015-KAP.
Idioma: Inglés
Publicado por Springer International Publishing, 2023
ISBN 10: 3031266501 ISBN 13: 9783031266508
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 171,19
Cantidad disponible: 1 disponibles
Añadir al carritoBuch. 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: Revaluation Books, Exeter, Reino Unido
EUR 250,84
Cantidad disponible: 2 disponibles
Añadir al carritoHardcover. Condición: Brand New. 243 pages. 9.25x6.10x0.83 inches. In Stock.
Librería: Basi6 International, Irving, TX, Estados Unidos de America
EUR 135,62
Cantidad disponible: 10 disponibles
Añadir al carritoCondición: Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days.
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, 2023
ISBN 10: 3031266501 ISBN 13: 9783031266508
Librería: moluna, Greven, Alemania
EUR 144,94
Cantidad disponible: Más de 20 disponibles
Añadir al carritoGebunden. Condició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 2023, 2023
ISBN 10: 3031266501 ISBN 13: 9783031266508
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 171,19
Cantidad disponible: 2 disponibles
Añadir al carritoBuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 244 pp. Englisch.
Idioma: Inglés
Publicado por Springer, Palgrave Macmillan Mai 2023, 2023
ISBN 10: 3031266501 ISBN 13: 9783031266508
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 171,19
Cantidad disponible: 1 disponibles
Añadir al carritoBuch. 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 242,47
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 242,97
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND.