for at udvide
kategorilisten.
Softwareudvikling
-
Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Compiler Construction: Fundamentals and Applications (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Software, System, and Service Engineering: S3E 2024 Topical Area, Held as Part of FedCSIS 2024, Belgrade, Serbia, 8–11 September, 2024 and KKIO 2024, Held as Part of SEAA 2024, Paris, France, August 28-30, 2024, Revised Selected Papers (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Requirements Engineering: Foundation for Software Quality: 31st International Working Conference, REFSQ 2025, Barcelona, Spain, April 7–10, 2025, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
International Conference on Applied Technologies: 6th International Conference, ICAT 2024, Samborondon, Ecuador, November 20–22, 2024, Revised Selected Papers, Part II (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Procee (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Information Security: Opportunities and Limitations (Bog, Paperback / softback, Engelsk)
This book explains the most important technical terms and contents and assigns them to the corresponding areas. Protection must be implemented on both... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Transactions on Engineering Technologies: International MultiConference of Engineers and Computer Scientists 2016 (Bog, Paperback / softback, Engelsk)
This volume contains selected revised and extended research articles written by prominent researchers who participated in the International MultiConference of Engineers and Computer Scientists 2016, held in Hong Kong, 16-18 March 2016.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Formal Methods for Safety and Security: Case Studies for Aerospace Applications (Bog, Paperback / softback, Engelsk)
This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Cloud Broker and Cloudlet for Workflow Scheduling (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Intelligent Robotics and Applications: 17th International Conference, ICIRA 2024, Xi’an, China, July 31 – August 2, 2024, Proceedings, Part II (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Intelligent Robotics and Applications: 17th International Conference, ICIRA 2024, Xi'an, China, July 31 – August 2, 2024, Proceedings, Part VII (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
