Beispielbild für diese ISBNBig Data Analytics - 8th International Conference, BDA 2020, Sonepat, India, December 15-18, 2020,…
Verlag: Springer
2021 Kartoniert, 360 Seiten, 235mm x 155mm x 20mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNComputer Vision - ECCV 2020 Workshops - Glasgow, UK, August 23-28, 2020, Proceedings, Part I
Verlag: Springer
2021 Kartoniert, 828 Seiten, 235mm x 155mm x 45mm, Sprache(n): eng
121,78 EUR
Beispielbild für diese ISBNFrontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Prague, Czech Republic…
Verlag: Springer
2023 Kartoniert, 292 Seiten, 235mm x 155mm x 16mm, Sprache(n): eng
48,71 EUR
Beispielbild für diese ISBNModelling Distributed Systems
von Wan Fokkink Verlag: Springer
2007 Gebunden, 164 Seiten, 241mm x 160mm x 15mm, Sprache(n): eng This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques. The author employs µCRL as the vehicle, a language developed to c…
59,91 EUR
Beispielbild für diese ISBNComputer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July…
Verlag: Springer
2020 Kartoniert, 704 Seiten, 235mm x 155mm x 38mm, Sprache(n): eng Open Access
48,71 EUR
Beispielbild für diese ISBNTransactions on Large-Scale Data- and Knowledge-Centered Systems XLIX - Special Issue on Data Mana…
Verlag: Springer
2021 Kartoniert, 144 Seiten, 235mm x 155mm x 9mm, Sprache(n): eng Covers a wide range of timely data management research topicsFocusses on crowdsourcing, data streams, skyline queries and data protectionSpecial issue on data management and its principles, technologies and applications
60,88 EUR
Beispielbild für diese ISBNSpatial and Temporal Reasoning
Verlag: Springer Netherlands
1998 Kartoniert, 416 Seiten, 233mm x 155mm x 23mm, Sprache(n): eng
182,67 EUR
Beispielbild für diese ISBNComputer Science Logic - 15th International Workshop, CSL 2001. 10th Annual Conference of the EACS…
Verlag: Springer
2001 Kartoniert, 636 Seiten, 235mm x 155mm x 34mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
121,78 EUR
Beispielbild für diese ISBNAdvances in Computer Science - ASIAN 2007. Computer and Network Security - 12th Asian Computing Sc…
Verlag: Springer
2007 Kartoniert, 328 Seiten, 235mm x 155mm x 18mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNResearch Trends in Geographic Information Science
Verlag: Springer
2009 Gebunden, 296 Seiten, 241mm x 160mm x 21mm, Sprache(n): eng Gives an overview of the research topics in the fields of GIS and Applied GeosciencesIncludes supplementary material: sn.pub/extras
