Systemanalyse og systemdesign
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
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) -
Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 22nd International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Theory of Cryptography: 22nd International Conference, TCC 2024, Milan, Italy, December 2–6, 2024, Proceedings, Part I (Bog, Paperback / softback, Engelsk)
The four-volume set LNCS 15364-15367 constitutes the refereed proceedings of the 22nd... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Theory of Cryptography: 22nd International Conference, TCC 2024, Milan, Italy, December 2–6, 2024, Proceedings, Part III (Bog, Paperback / softback, Engelsk)
The four-volume set LNCS 15364-15367 constitutes the refereed proceedings of the 22nd... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Theory of Cryptography: 22nd International Conference, TCC 2024, Milan, Italy, December 2–6, 2024, Proceedings, Part IV (Bog, Paperback / softback, Engelsk)
The four-volume set LNCS 15364-15367 constitutes the refereed proceedings of the 22nd... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Embedded Computer Systems: Architectures, Modeling, and Simulation: 24th International Conference, SAMOS 2024, Samos, Greece, June 29 – July 4, 2024, Proceedings, Part I (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
