Hakutulokset: Hakutulos
yhteensä 6 hakutulosta
Availability, Reliability, and Security in Information Systems
This volume constitutes the refereed proceedings of the IFIP WG 8.4, 8.9, TC 5 International Cross-Domain Conference on Availability, Reliability and Security in Information …
Parallel Computation
TheAustrianCenterforParallelComputation(ACPC)isacooperativeresearch organization founded in 1989 to promote research and education in the eld of Software for Parallel Computer …
Verified Software: Theories, Tools, Experiments
This volume contains the proceedings of the 4th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2012, held in Philadelphia, PA, USA, in …
Machine Learning and Knowledge Extraction
This book constitutes the refereed proceedings of the 6th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2022, held in Vienna, Austria …
Machine Learning and Knowledge Extraction
This volume LNCS-IFIP constitutes the refereed proceedings of the 7th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2023 in Benevento, …
Computer Assisted and Robotic Endoscopy and Clinical Image-Based Procedures
This book constitutes the refereed joint proceedings of the 4th International Workshop on Computer Assisted and Robotic Endoscopy, CARE 2017, and the 6th International Workshop on …