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

C. R. Johnson
Digital Behavioral Analysis and Computer Crime Investigations

Digital Behavioral Analysis, Computer Crime, and Investigations integrates digital forensic methodology with behavioral profiling, criminological theory, and the legal and ethical frameworks that govern a…

lieferbar ab 21.12.2026.

Buch

C. Prakash, P. Nagabhushanam, R. G. Panneerselvam
Computer-Aided Figured Graph Designing for Jacquard Weaving

Computer-aided figured graph designing (CAFGD) has become essential for the electronic jacquard weaving sector. This book explains the common principles of CAFGD for jacquard weaving, including systematic…

lieferbar in mind. 4 Wochen

Buch

Computer Security. ESORICS 2025 International Workshops

The three-volume set LNCS 16231, LNCS 16232, and LNCS 16233 constitutes the refereed proceedings of twelve International Workshops which were held in conjunction with the 30th European Symposium on Resear…

lieferbar innerhalb 2-3 Wochen

Buch

Medical Image Computing and Computer Assisted Intervention - MICCAI 2025

Lecture Notes in Computer Science - Band 15963

The 16-volume set LNCS 15960 - 15975 constitutes the refereed proceedings of the 28th International Conference on Medical Image Computing and Computer Assisted Intervention, MICCAI 2025, which took place …

lieferbar innerhalb 2-3 Wochen

Buch

Medical Image Computing and Computer Assisted Intervention - MICCAI 2025

Lecture Notes in Computer Science - Band 15972

The 16-volume set LNCS 15960 - 15975 constitutes the refereed proceedings of the 28th International Conference on Medical Image Computing and Computer Assisted Intervention, MICCAI 2025, which took place …

lieferbar innerhalb 2-3 Wochen

Buch

Medical Image Computing and Computer Assisted Intervention - MICCAI 2025

Lecture Notes in Computer Science - Band 15968

The 16-volume set LNCS 15960 - 15975 constitutes the refereed proceedings of the 28th International Conference on Medical Image Computing and Computer Assisted Intervention, MICCAI 2025, which took place …

lieferbar innerhalb 2-3 Wochen

Buch

Medical Image Computing and Computer Assisted Intervention - MICCAI 2025

Lecture Notes in Computer Science - Band 15975

The 16-volume set LNCS 15960 - 15975 constitutes the refereed proceedings of the 28th International Conference on Medical Image Computing and Computer Assisted Intervention, MICCAI 2025, which took place …

lieferbar innerhalb 2-3 Wochen

Buch

Leonidas Stavridis, Konstantinos Georgiadis
Understanding and Designing Structures Without a Computer

Understanding and Designing Structures without a Computer: Spatial structural systems, dynamics and foundations explains fundamental concepts of structural analysis and design, providing readers with a cl…

lieferbar innerhalb 2-3 Wochen

Buch

Computer Vision & Laser Vibrometry, Vol. 6

Conference Proceedings of the Society for Experimental Mechanics Series

Computer Vision & Laser Vibrometry, Volume 6: Proceedings of the 42nd IMAC, A Conference and Exposition on Structural Dynamics, 2024, the sixth volume of ten from the Conference brings together contri…

lieferbar innerhalb 2-3 Wochen

Buch

Innovations in Computational Intelligence and Computer Vision

Lecture Notes in Networks and Systems - Band 1699

This book presents a selection of high-quality research papers accepted for presentation at the Fifth International Conference on Innovations in Computational Intelligence and Computer Vision (ICICV 2025)…

lieferbar innerhalb 2-3 Wochen

Buch

Advances in Computer Science and Ubiquitous Computing

Lecture Notes in Electrical Engineering - Band 1416

This book presents the combined proceedings of the 16th International Conference on Computer Science and its Applications (CSA 2024) in Pattaya, Thailand, December 18--20, 2024. The aim of this meeting wa…

lieferbar innerhalb 2-3 Wochen

Buch

Heinz Strauf
Digital Basics - Computer, Internet & KI verstehen

Fit für die digitale Welt - von Excel bis KI!Die digitalen Voraussetzungen Ihrer Schülerinnen und Schüler in den Klassen 5 und 6 sind so unterschiedlich wie nie zuvor. Mit dem motivierenden Ziel, einen Di…

lieferbar ab 1.12.2026.

Buch, Sonstige Artikel

Trends in Artificial Intelligence, and Computer Engineering

Lecture Notes in Networks and Systems - Band 1867

This book constitutes the proceedings of the 7th International Conference on Advances in Emerging Trends and Technologies (ICAETT 2025), held in Riobamba, Ecuador, on 16--17 October 2024, proudly organize…

lieferbar innerhalb 2-3 Wochen

Buch

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications

Lecture Notes in Computer Science - Band 16528

This two-volume set LNCS 16528-16529 constitutes the refereed proceedings of the 28th Iberoamerican Congress on Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications, CIARP 20…

lieferbar innerhalb 2-3 Wochen

Buch

Medical Image Computing and Computer Assisted Intervention - MICCAI 2025

Lecture Notes in Computer Science - Band 15965

The 16-volume set LNCS 15960 - 15975 constitutes the refereed proceedings of the 28th International Conference on Medical Image Computing and Computer Assisted Intervention, MICCAI 2025, which took place …

lieferbar innerhalb 2-3 Wochen

Buch

Medical Image Computing and Computer Assisted Intervention - MICCAI 2025

Lecture Notes in Computer Science - Band 15967

The 16-volume set LNCS 15960 - 15975 constitutes the refereed proceedings of the 28th International Conference on Medical Image Computing and Computer Assisted Intervention, MICCAI 2025, which took place …

lieferbar innerhalb 2-3 Wochen

Buch

Medical Image Computing and Computer Assisted Intervention - MICCAI 2025

Lecture Notes in Computer Science - Band 15962

The 16-volume set LNCS 15960 - 15975 constitutes the refereed proceedings of the 28th International Conference on Medical Image Computing and Computer Assisted Intervention, MICCAI 2025, which took place …

lieferbar innerhalb 2-3 Wochen

Buch

Medical Image Computing and Computer Assisted Intervention - MICCAI 2025

Lecture Notes in Computer Science - Band 15969

The 16-volume set LNCS 15960 - 15975 constitutes the refereed proceedings of the 28th International Conference on Medical Image Computing and Computer Assisted Intervention, MICCAI 2025, which took place …

lieferbar innerhalb 2-3 Wochen

Buch

The Routledge Handbook of Relational and Computer-Mediated Communication

Routledge Handbooks in Communication Studies

In this single comprehensive resource, leading scholars bring together research on current and emerging perspectives and established theories in interpersonal relationships and computer-mediated communica…

lieferbar ab 18.11.2026.

Buch

Hans-Georg Schumann
Computer ganz leicht

Aufbau und Komponenten von Computern verstehen Richtig mit Ordnern, Dateien und Textverarbeitung umgehen Das Internet und die Cloud nutzen sowie Daten synchronisieren Zusammenfassungen, Fragen und Aufgabe…

lieferbar innerhalb 1-2 Wochen

Buch

Trefferliste "Computer-AidedVerification" - alle Bücher, CDs, LPs und mehr