Der er 13+ underkategorier
Datamodellering og simulering
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019. The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Advanced Hybrid Information Processing: Third EAI International Conference, ADHIP 2019, Nanjing, China, September 21–22, 2019, Proceedings, Part II (Bog, Paperback / softback, Engelsk)
Since information processing has acted as an important research domain in science and technology today, it is now to develop deeper and wider use of hybrid information processing, especially information processing for big data.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Ad Hoc Networks: 11th EAI International Conference, ADHOCNETS 2019, Queenstown, New Zealand, November 18–21, 2019, Proceedings (Bog, Paperback / softback, Engelsk)
The 28 full papers were selected from 64 submissions and cover a variety of... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Modelling and Simulation for Autonomous Systems: 6th International Conference, MESAS 2019, Palermo, Italy, October 29–31, 2019, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the thoroughly refereed post-workshop proceedings... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computer Aided Systems Theory – EUROCAST 2019: 17th International Conference, Las Palmas de Gran Canaria, Spain, February 17–22, 2019, Revised Selected Papers, Part I (Bog, Paperback / softback, Engelsk)
The two-volume set LNCS 12013 and 12014 constitutes the thoroughly... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Simulation Science: Second International Workshop, SimScience 2019, Clausthal-Zellerfeld, May 8-10, 2019, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the Second International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Formal Techniques for Safety-Critical Systems: 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 7th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Software for Exascale Computing - SPPEXA 2016-2019 (Bog, Hardback, Engelsk)
This open access book summarizes the research done and results obtained in the second funding phase of the Priority Program 1648 "Software for Exascale... Læs mere
Levering: 6 - 9 hverdage -
3D Printing and Ubiquitous Manufacturing (Bog, Paperback / softback, Engelsk)
This book provides a thorough overview of the applications of 3D printing technologies to ubiquitous manufacturing (UM).
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Modelling the Evolution of Natural Fracture Networks: Methods for Simulating the Nucleation, Propagation and Interaction of Layer-Bound Fractures (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Informatics Education in Healthcare: Lessons Learned (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
