Systemanalyse og systemdesign
-
Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Procee (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Procee (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III (Bog, Paperback / softback, Engelsk)Levering: 6 - 9 hverdage
-
Architecture of Computing Systems – ARCS 2019: 32nd International Conference, Copenhagen, Denmark, May 20–23, 2019, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 32nd International Conference on Architecture of Computing Systems, ARCS 2019, held in Copenhagen, Denmark, in May 2019. The 24 full papers presented in this volume were carefully reviewed and selected from 40 submissions.
Levering: 6 - 9 hverdage -
Advanced Hybrid Information Processing: Second EAI International Conference, ADHIP 2018, Yiyang, China, October 5-6, 2018, Proceedings (Bog, Paperback / softback, Engelsk)
Since information processing has acted as an important research domain in science and technology today, it is the right time to develop deeper and wider use of hybrid information processing, especially information processing for big data.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Ubiquitous Communications and Network Computing: Second EAI International Conference, Bangalore, India, February 8–10, 2019, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the Second International Conference on Ubiquitous Communications and Network Computing, UBICNET 2019, held in Bangalore, India, in February 2019.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Reversible Computation: 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 11th International Conference on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Design, Specification and Verification of Interactive Systems ’98: Proceedings of the Eurographics Workshop in Abingdon, UK, June 3–5, 1998 (Bog, Paperback / softback, Engelsk)
Does modelling, formal or otherwise, play a role in designing interactive systems? This development poses a significant challenge to modelling approaches used for the design of interactive systems.
Levering: 6 - 9 hverdage -
Security and Privacy in Mobile Information and Communication Systems: 4th International Conference, MobiSec 2012, Frankfurt am Main, Germany, June 25-26, 2012, Pevised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the thoroughly refereed post-conference proceedings of the fourth International ICST Conference on Security and Privacy in Mobile Information and Communication Systems (MOBISEC 2012) held in Frankfurt/Main, Germany, in June 2012.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Embedded Systems Dictionary (Bog, Paperback / softback, Engelsk)
This technical dictionary defines the 2,500 most-used words in the embedded systems field, with over 4,500 entries and cross-references
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Semantic Modeling and Enrichment of Mobile and WiFi Network Data (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Introduction to Queueing Systems with Telecommunication Applications (Bog, Paperback / softback, Engelsk)
More recent advances of queueing systems are based on phase type distributions, Markov arrival processes and quasy birth death processes, which are introduced in the last chapter of the first part. The second part is devoted to queueing models and their applications.
Levering: Skaffevare (forvent 14 - 30 hverdage)
