Beispielbild für diese ISBNEnvironmental Software Systems. Data Science in Action - 13th IFIP WG 5.11 International Symposium…
Verlag: Springer
2021 Kartoniert, 288 Seiten, 235mm x 155mm x 16mm, Sprache(n): eng
Beispielbild für diese ISBNVLSI-SoC: New Technology Enabler - 27th IFIP WG 10.5/IEEE International Conference on Very Large S…
Verlag: Springer
2021 Kartoniert, 364 Seiten, 235mm x 155mm x 20mm, Sprache(n): eng

Verification, Model Checking, and Abstract Interpretation - 27th International Conference, VMCAI 2…
Verlag: Springer
2026 Kartoniert, 432 Seiten, 235mm x 155mm x 24mm, Sprache(n): eng
Beispielbild für diese ISBNFunctional and Logic Programming - 15th International Symposium, FLOPS 2020, Akita, Japan, Septemb…
Verlag: Springer
2020 Kartoniert, 236 Seiten, 235mm x 155mm x 13mm, Sprache(n): eng
Beispielbild für diese ISBNSecurity and Privacy in Social Networks and Big Data - 8th International Symposium, SocialSec 2022…
Verlag: Springer
2022 Kartoniert, 380 Seiten, 235mm x 155mm x 21mm, Sprache(n): eng
Beispielbild für diese ISBNComputer Aided Systems Theory - EUROCAST 2019 - 17th International Conference, Las Palmas de Gran…
Verlag: Springer
2020 Kartoniert, 544 Seiten, 235mm x 155mm x 30mm, Sprache(n): eng
Beispielbild für diese ISBNFoundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Me…
Verlag: Springer
2019 Kartoniert, 252 Seiten, 235mm x 155mm x 14mm, Sprache(n): eng Honorary volume dedicated to Catherine A. Meadows on the occasion of her 65th birthdayWritten by well-known expertsFeatures research topics in the field of cryptographic protocol specification and verification.
Beispielbild für diese ISBNStatic Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, P…
Verlag: Springer
2021 Kartoniert, 496 Seiten, 235mm x 155mm x 27mm, Sprache(n): eng
Beispielbild für diese ISBNParallel and Distributed Computing, Applications and Technologies - 21st International Conference,…
Verlag: Springer
2021 Kartoniert, 416 Seiten, 235mm x 155mm x 23mm, Sprache(n): eng
Beispielbild für diese ISBNSimulation Tools and Techniques - 12th EAI International Conference, SIMUtools 2020, Guiyang, Chin…
Verlag: Springer
2021 Kartoniert, 848 Seiten, 235mm x 155mm x 46mm, Sprache(n): eng