Systemanalyse og systemdesign
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
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) -
Fundamentals of Software Engineering: 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the thoroughly refereed post-conference proceedings of... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Ad-Hoc, Mobile, and Wireless Networks: 18th International Conference on Ad-Hoc Networks and Wireless, ADHOC-NOW 2019, Luxembourg, Luxembourg, October 1–3, 2019, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 18th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Financial Cryptography and Data Security: 23rd International Conference, FC 2019, Frigate Bay, St. Kitts and Nevis, February 18–22, 2019, Revised Selected Papers (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Model-Based Safety and Assessment: 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 6th International Symposium on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Real-time Communication Protocols for Multi-hop Ad-hoc Networks: Wireless Networking in Production and Control Systems (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Information Technologies and Mathematical Modelling. Queueing Theory and Applications: 18th International Conference, ITMM 2019, Named after A.F. Terpugov, Saratov, Russia, June 26–30, 2019, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
The conference covers various aspects of information technologies, focusing on queueing theory, stochastic processes, Markov processes, renewal theory, network performance equation and network protocols.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Mathematics of Program Construction: 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 13th International Conference on Mathematics of Program Construction, MPC 2019, held in Porto, Portugal, in October 2019.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Service-Oriented Computing: 17th International Conference, ICSOC 2019, Toulouse, France, October 28–31, 2019, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 17th International Conference on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
