Der er 3 underkategorier
for at udvide
kategorilisten.
Softwareudvikling
-
Electronic Governance and Open Society: Challenges in Eurasia: 8th International Conference, EGOSE 2021, Saint Petersburg, Russia, November 24–25, 2021, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Service-Oriented and Cloud Computing: 9th IFIP WG 6.12 European Conference, ESOCC 2022, Wittenberg, Germany, March 22–24, 2022, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 8th IFIP WG 2.14... Læs mere
Levering: 6 - 9 hverdage -
Behavior Modeling -- Foundations and Applications: International Workshops, BM-FA 2009-2014, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes revised selected papers from the six International Workshops on Behavior Modelling - Foundations and Applications, BM-FA, which took place annually between 2009 and 2014. new ways of behaviour modelling: events in modelling;
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 10th International Andrei Ershov Informatics Conference, PSI 2015, held in Kazan and Innopolis, Russia, in August 2015.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Trust, Privacy and Security in Digital Business: 13th International Conference, TrustBus 2016, Porto, Portugal, September 7-8, 2016, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 13th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Model-Driven Development and Operation of Multi-Cloud Applications: The MODAClouds Approach (Bog, Paperback / softback, Engelsk)
This books is open access under a CC BY 4.0 license. This book summarizes work being undertaken within the... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings (Bog, Paperback / softback, Engelsk)
The 18 revised full papers presented together with 4 short papers, 3 tool papers, 2 tool... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Membrane Computing: 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book contains revised selected papers from the 17th International Conference on Membrane Computing, CMC 2017, held in Milan, Italy, in July 2016. The 19 full papers presented in this volume were carefully reviewed and selected from 28 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday (Bog, Paperback / softback, Engelsk)
During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and model checking.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computer Algebra in Scientific Computing: 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 19th International Workshop on Computer Algebra in Scientific Computing, CASC 2017, held in Beijing, China, in September 2017. The 28 full papers presented in this volume were carefully reviewed and selected from 33 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Service-Oriented and Cloud Computing: 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 6th IFIP WG 2.14... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
