Der er 13+ underkategorier
Systemanalyse og systemdesign
-
OpenMP: Conquering the Full Hardware Spectrum: 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 15th International Workshop... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Automated Reasoning with Analytic Tableaux and Related Methods: 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 28th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Cloud Computing and Services Science: 8th International Conference, CLOSER 2018, Funchal, Madeira, Portugal, March 19-21, 2018, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes extended, revised and selected papers from the 8th International Conference on Cloud Computing and Services Science, CLOSER 2018, held in Funchal, Portugal in March 2018.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Quality of Information and Communications Technology: 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 12th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceeding of the 27th International Conference on Automated Deduction, CADE 27, held in Natal, Brazil, in August 2019. The 27 full papers and 7 system descriptions presented were carefully reviewed and selected from 65 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Advanced Parallel Processing Technologies: 13th International Symposium, APPT 2019, Tianjin, China, August 15–16, 2019, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 13th International Symposium on Advanced Parallel Processing Technologies, APPT 2019, held in Tianjin, China, in August 2019. The 11 full papers presented in this volume were carefully reviewed and selected from 35 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Creativity in Intelligent Technologies and Data Science: Third Conference, CIT&DS 2019, Volgograd, Russia, September 16–19, 2019, Proceedings, Part I (Bog, Paperback / softback, Engelsk)
This two-volume set constitutes the proceedings of the Third Conference... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Software Technology: Methods and Tools: 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings (Bog, Paperback / softback, Engelsk)
?This book constitutes the refereed proceedings of the 51st International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Reachability Problems: 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 13th International Conference on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 26th International Symposium on Model... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 13th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday (Bog, Paperback / softback, Engelsk)
The contributions cover a wide spectrum of the topics related to Scott's research scientific interests, including model repair for probabilistic systems, runtime verification, model checking, cardiac dynamics simulation and machine learning.
Levering: Skaffevare (forvent 14 - 30 hverdage)
