Der er 13+ underkategorier
Systemanalyse og systemdesign
-
Parallel Computational Technologies: 18th International Conference, PCT 2024, Chelyabinsk, Russia, April 2–4, 2024, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed post proceedings of the 18th... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I (Bog, Paperback / softback, Engelsk)
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bridging the Gap Between AI and Reality: First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Selected Papers (Bog, Paperback / softback, Engelsk)
This open access book constitutes revised selected papers from the First... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Applied Computer Sciences in Engineering: 11th Workshop on Engineering Applications, WEA 2024, Barranquilla, Colombia, October 23–25, 2024, Proceedings, Part I (Bog, Paperback / softback, Engelsk)
The two-volume set CCIS 2222 + 2223 constitutes the proceedings of the... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Applied Computer Sciences in Engineering: 11th Workshop on Engineering Applications, WEA 2024, Barranquilla, Colombia, October 23–25, 2024, Proceedings, Part II (Bog, Paperback / softback, Engelsk)
The two-volume set CCIS 2222 and 2223 constitutes the proceedings of the... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II (Bog, Paperback / softback, Engelsk)
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV (Bog, Paperback / softback, Engelsk)
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V (Bog, Paperback / softback, Engelsk)
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bridging the Gap Between AI and Reality: Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the Second International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Scalable Uncertainty Management: 16th International Conference, SUM 2024, Palermo, Italy, November 27–29, 2024, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 16th International Conference on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Telematics and Computing: 13th International Congress of Telematics and Computing, WITCOM 2024, Mazatlan, Mexico, November 4–8, 2024, Proceedings, Part I (Bog, Paperback / softback, Engelsk)
This two-volume set constitutes the refereed proceedings of the 13th... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Telematics and Computing: 13th International Congress of Telematics and Computing, WITCOM 2024, Mazatlan, Mexico, November 4–8, 2024, Proceedings, Part II (Bog, Paperback / softback, Engelsk)
This two-volume set constitutes the refereed proceedings of the 13th... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
