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

David Kopec
Computer Science From Scratch

You know how to write Python. Now master the computer science that makes it work.If you've been programming for a while, you may have found yourself wondering about the deeper principles behind the code. …

lieferbar ab 30.9.2025.

Buch

Advances in Computer Graphics

The three-volume set LNCS 15338, 15339 and 15340 constitutes the refereed proceedings from the 41st Computer Graphics International Conference, CGI 2024, held during July 1-5, 2024, in Geneva, Switzerland…

lieferbar innerhalb 2-3 Wochen

Buch

Modeling, Simulation and Computer Technology

Communications in Computer and Information Science - Band 2606

This volume constitutes the proceedings of First International Conference on Modeling, Simulation and Computer Technology, ICMSCT 2024, held in Skikda, Algeria, during November 5--6, 2024.The 45 full pape…

lieferbar ab 2.10.2025.

Buch

Research in Computer Science

This book constitutes the refereed proceedings of the 17th African Conference on Research in Computer Science and Applied Mathematics, CARI 2024, in Bejaïa, Algeria, in November 23-26, 2024.The 25 full pa…

lieferbar innerhalb 2-3 Wochen

Buch

Computer Security - ESORICS 2024

This four-volume set LNCS 14982-14985 constitutes the refereed proceedings of the 29th European Symposium on Research in Computer Security, ESORICS 2024, held in Bydgoszcz, Poland, during September 16¿20,…

lieferbar innerhalb 2-3 Wochen

Buch

Advances in Computer Graphics

The three-volume set LNCS 15338, 15339 and 15340 constitutes the refereed proceedings from the 41st Computer Graphics International Conference, CGI 2024, held during July 1-5, 2024, in Geneva, Switzerland…

lieferbar innerhalb 2-3 Wochen

Buch

Computer Security - ESORICS 2024

This four-volume set LNCS 14982-14985 constitutes the refereed proceedings of the 29th European Symposium on Research in Computer Security, ESORICS 2024, held in Bydgoszcz, Poland, during September 16¿20,…

lieferbar innerhalb 2-3 Wochen

Buch

Computer Security - ESORICS 2024

This four-volume set LNCS 14982-14985 constitutes the refereed proceedings of the 29th European Symposium on Research in Computer Security, ESORICS 2024, held in Bydgoszcz, Poland, during September 16¿20,…

lieferbar innerhalb 2-3 Wochen

Buch

Computer Security - ESORICS 2024

This four-volume set LNCS 14982-14985 constitutes the refereed proceedings of the 29th European Symposium on Research in Computer Security, ESORICS 2024, held in Bydgoszcz, Poland, during September 16¿20,…

lieferbar innerhalb 2-3 Wochen

Buch

Kasper Hornbæk, Per Ola Kristensson, Antti Oulasvirta
Introduction to Human-Computer Interaction

This is the first comprehensive textbook for students of human-computer interaction. The book revises and synthesizes topics including design, engineering, empirical methods, and technology. It acknowledg…

lieferbar ab 6.9.2025.

Buch

Elliot Lichtman
The Computer Always Wins

An engaging and approachable resource for beginning-to-intermediate coders eager to learn advanced ideas in computer programming.In The Computer Always Wins, Elliot Lichtman will teach you some of compute…

sofort lieferbar

Buch

Kasper Hornbæk, Per Ola Kristensson, Antti Oulasvirta
Introduction to Human-Computer Interaction

This is an open access title available under the terms of a CC BY-NC-ND 4.0 International licence. It is free to read on the Oxford Academic platform and offered as a free PDF download from OUP and select…

lieferbar ab 6.9.2025.

Buch

Human-Computer Creativity

This pioneering volume showcases how generative AI has evolved from a mere tool to a creative partner, transforming the boundaries of innovation and collaboration across various disciplines. With contribu…

lieferbar innerhalb 2-3 Wochen

Buch

Computer Supported Qualitative Research

Lecture Notes in Networks and Systems - Band 1595

This book presents a selection of articles accepted for presentation and discussion at the World Conference on Qualitative Research (WCQR), held in 2025 at Jagiellonian University in Kraków, Poland, and o…

lieferbar ab 3.11.2025.

Buch

Benjamin Blümchen 063. Der Computer

Kiddinx

Benjamin will in Neustadt Zuckerstückchen holen, doch Herr Süß, der Händler, hat keine mehr. Es gibt in seinem Laden aber noch etwas anderes, was Benjamin interessiert: einen Computer. Weil Herr Süß begei…

lieferbar innerhalb einer Woche

CD

Computer Aided Verification

This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.The 51 regular papers …

lieferbar innerhalb 2-3 Wochen

Buch

Computer Aided Verification

This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.The 51 regular papers …

lieferbar innerhalb 2-3 Wochen

Buch

Computer Aided Verification

This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.The 51 regular papers …

lieferbar innerhalb 2-3 Wochen

Buch

Computer Aided Verification

This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.The 51 regular papers …

lieferbar innerhalb 2-3 Wochen

Buch

Computer Performance Engineering

This book constitutes the refereed proceedings of the 20th European Workshop on Computer Performance Engineering, EPEW 2024, held in Venice, Italy, on June 14, 2024.The 10 papers presented in this volume …

lieferbar innerhalb 2-3 Wochen

Buch

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