for at udvide
kategorilisten.
Softwareudvikling
-
Intelligent Computing Methodologies: 16th International Conference, ICIC 2020, Bari, Italy, October 2–5, 2020, Proceedings, Part III (Bog, Paperback / softback, Engelsk)
This two-volume set of LNCS 12463 and LNCS 12464 constitutes - in conjunction with the volume LNAI 12465 - the refereed proceedings of the 16th International Conference on Intelligent Computing, ICIC 2020, held in Bari, Italy, in October 2020.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Cooperative Design, Visualization, and Engineering: 17th International Conference, CDVE 2020, Bangkok, Thailand, October 25–28, 2020, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 17th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Multi-Agent-Based Simulation XX: 20th International Workshop, MABS 2019, Montreal, QC, Canada, May 13, 2019, Revised Selected Papers (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Embedded Computer Systems: Architectures, Modeling, and Simulation: 20th International Conference, SAMOS 2020, Samos, Greece, July 5–9, 2020, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 20th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Software Foundations for Data Interoperability and Large Scale Graph Data Analytics: 4th International Workshop, SFDI 2020, and 2nd International Workshop, LSGDA 2020, held in Conjunction with VLDB 2020, Tokyo, Japan, September 4, 2020, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes refereed proceedings of the 4th International Workshop on Software Foundations for Data Interoperability, SFDI 2020, and 2nd International Workshop on Large Scale Graph Data Analytics, LSGDA 2020, held in Conjunction with VLDB 2020, in September 2020.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Cloud Computing, Big Data & Emerging Topics: 8th Conference, JCC-BD&ET 2020, La Plata, Argentina, September 8-10, 2020, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the revised selected papers of the 8th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I (Bog, Paperback / softback, Engelsk)
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III (Bog, Paperback / softback, Engelsk)
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II (Bog, Paperback / softback, Engelsk)
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Hybrid Artificial Intelligent Systems: 15th International Conference, HAIS 2020, Gijon, Spain, November 11-13, 2020, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 15th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Technologies and Innovation: 6th International Conference, CITI 2020, Guayaquil, Ecuador, November 30 – December 3, 2020, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 6th International Conference on Technologies and Innovation, CITI 2020, held in Guayaquil, Ecuador, in November-December 2020.The 16 full papers presented in this volume were carefully reviewed and selected from 41 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
