Computer-AidedVerification – Bücher, CDs, LPs und mehr, Seite 6

Medical Image Computing and Computer Assisted Intervention - MICCAI 2024 Workshops

This book constitutes the proceedings from the workshops held at the 27th International conference on Medical Image Computing and Computer Assisted Intervention, MICCAI 2024, which took place in Marrakesh…

Skin Image Analysis, and Computer-Aided Pelvic Imaging for Female Health

Skin Image Analysis.- Computer-Aided Pelvic Imaging for Female Health.

Artificial Intelligence in e-Health Framework, Volume 1

Artificial Intelligence in e-health Framework, Volume One: AI, Classification, Wearable Devices, and Computer-Aided Diagnosis presents a variety of AI techniques and applications for solving issues in the…

Tudor Barbu

Digital Image Processing, Analysis and Computer Vision Using Nonlinear Partial Differential Equations

This book provides an overview of the applications of partial differential equations (PDEs) to image processing, analysis, and computer vision domains, focusing mainly on the most important contributions …

Intelligent Systems for Neurocognition and Human-Robot-Computer Interaction

Intelligent Systems for Neurocognition and Human-Robot-Computer Interaction explores the transformative potential of intelligent systems in enhancing human well-being through advancements in neurocognitiv…

Joseph Weizenbaum,

Die Macht der Computer und die Ohnmacht der Vernunft

Weizenbaum will uns vor der Hybris der Naturwissenschaften warnen. Er fordert dazu auf, Wissenschaft und Technik rational einzusetzen, statt sie zu mystifizieren - und er tut dies mit viel Temperament. In…

Jayanta Mukhopadhyay, Shashaank Aswatha Mattur

Computer Vision

The textbook is primarily written for senior undergraduate and post graduate students studying in areas of computer science and engineering, and electrical engineering. However, as the subject covers vari…

Kraftwerk

Computerwelt (remastered) (180g)

Das achte Studioalbum der Band wurde zwischen 1978 und 1981 im Kling-Klang-Studio in Düsseldorf aufgenommen. Veröffentlicht wurde es als deutsche, französische, englische und japanische Version. »Comput…

Mogens Christensen (geb. 1955)

Elektronische Musik

Ensemble Contemporanea

Theoretical Computer Science

This book constitutes the refereed proceedings of the 43rd National Conference on Theoretical Computer Science, NCTCS 2025, held in Kunming, China, during August 3--5, 2025.The 9 full papers and 1 short p…

Computer Vision, Imaging and Computer Graphics Theory and Applications

This book constitutes the revised selected papers of the 19th International Joint Conference on Computer Vision, Imaging and Computer Graphics, VISIGRAPP 2024, held in Rome, Italy, during February 27--29,…

Tom Jackson

Computer Science

Here is the essential guide to computers, an authoritative reference book and timeline about the most powerful tools ever devised. Computing has been the sharp end of cutting-edge technology for a generat…

Subrata Dasgupta

Computer Science

While the development of Information Technology has been obvious to all, the underpinning computer science has been less apparent. Subrata Dasgupta provides a thought-provoking introduction to the field a…

Foundations of Computer Science and Frontiers in Education: Computer Science and Computer Engineering

This book constitutes the proceedings of the 20th International Conference on Foundations of Computer Science, FCS 2024, and the 20th International Conference on Frontiers in Education, FECS 2024, held as…

Dharini Balasubramaniam,

Click, Connect, Compute: Smart Machines

Smart machine fundamentals, using clear, expert explanations and comic illustrations to spark interest and enthusiasm in the next generation of computer scientists

Dharini Balasubramaniam,

Click, Connect, Compute: Smart Machines

Smart machine fundamentals, using clear, expert explanations and comic illustrations to spark interest and enthusiasm in the next generation of computer scientists!

Kraftwerk

The Mix

Proceedings of the 3rd International Conference on Computer Science's Complex Systems and Their Applications

This book features a diverse collection of high-quality papers covering the latest advancements in Artificial Intelligence and its Applications, Cybersecurity, Software Engineering, Emergent Technologies,…

Speech and Computer

This two-set volume LNAI 16187 and 16188 constitutes the refereed proceedings of the 27th International Conference on Speech and Computer SPECOM 2025 held in Szeged, Hungary, during October 13--15, 2025.T…