Der er 13+ underkategorier
Systemanalyse og systemdesign
-
Sensor Networks: 9th International Conference, SENSORNETS 2020, Valletta, Malta, February 28–29, 2020, and 10th International Conference, SENSORNETS 2021, Virtual Event, February 9–10, 2021, Revised Selected Papers (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Telematics and Computing: 11th International Congress, WITCOM 2022, Cancun, Mexico, November 7–11, 2022, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 11th International Congress on Telematics and Computing, WITCOM 2022, held in Cancún, México, in November 2022.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Pattern Recognition and Computer Vision: 5th Chinese Conference, PRCV 2022, Shenzhen, China, November 4–7, 2022, Proceedings, Part III (Bog, Paperback / softback, Engelsk)
The 4-volume set LNCS 13534, 13535, 13536 and 13537 constitutes the... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Pattern Recognition and Computer Vision: 5th Chinese Conference, PRCV 2022, Shenzhen, China, November 4–7, 2022, 2022, Proceedings, Part IV (Bog, Paperback / softback, Engelsk)
The 4-volume set LNCS 13534, 13535, 13536 and 13537 constitutes the... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II (Bog, Paperback / softback, Engelsk)
This four-volume set LNCS 13701-13704 constitutes contributions of the... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I (Bog, Paperback / softback, Engelsk)
This four-volume set LNCS 13701-13704 constitutes contributions of the... Læs mere
Levering: 6 - 9 hverdage -
Engineering Software for Modern Challenges: First International Conference, ESMoC 2021, Johor, Malaysia, October 20–21, 2021, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This volume constitutes selected papers presented at the First... Læs mere
Levering: 6 - 9 hverdage -
Formal Aspects of Component Software: 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the thoroughly revised selected papers from the 18th International Symposium, FACS 2022, which was held online in November 2022.The 12 full papers and 1 short paper were carefully reviewed and selected from 25 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Information Security Practice and Experience: 17th International Conference, ISPEC 2022, Taipei, Taiwan, November 23–25, 2022, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 17th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Artificial Intelligence and Data Science: First International Conference, ICAIDS 2021, Hyderabad, India, December 17–18, 2021, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes selected papers presented at the First International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Intelligent Information and Database Systems: 14th Asian Conference, ACIIDS 2022, Ho Chi Minh City, Vietnam, November 28–30, 2022, Proceedings, Part II (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 14th Asian... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday (Bog, Paperback / softback, Engelsk)
Henzinger on the occasion of his 60th birthday in 2022. This Festschrift volume celebrates his... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
