Sökt på: Sökresultat
totalt 6 träffar
Spatial Cognition IV, Reasoning, Action, Interaction
This is the fourth volume in a series of books dedicated to basic research in spatial cognition. Spatial cognition is a field that investigates the connection between the physical …
Financial Cryptography and Data Security. FC 2021 International Workshops
This book constitutes the refereed proceedings of four workshops held at the 25th International Conference on Financial Cryptography and Data Security, FC 2021, held virtually, in …
Advanced Symbolic Analysis for Compilers
The objective of program analysis is to automatically determine the p- perties of a program. Tools of software development, such as compilers, p- formance estimators, debuggers, …
Scalable Uncertainty Management
This book constitutes the refereed proceedings of the 6th International Conference on Scalable Uncertainty Management, SUM 2012, held in Marburg, Germany, in September 2012. The 41 …
Simplifying Medical Ultrasound
This book constitutes the proceedings of the 4th International Workshop on Advances in Simplifying Medical UltraSound, ASMUS 2023, held in conjunction with MICCAI 2023, the 26th …
Spatial Cognition IX
This book constitutes the thoroughly refereed proceedings of the 9th International Conference on Spatial Cognition, Spatial Cognition 2014, held in Bremen, Germany, in September …