IT-Zeitschriften, Fachbücher, eBooks, digitale Magazine und vieles mehr - direkt im heise shop online kaufen
Warenkorb Ihr Warenkorb ist noch leer.

Handbook of Model Checking

Format: PDF

Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic,...

Tangible Modeling with Open...

Autor: Vaclav Petras, Brendan... Format: PDF

This book provides an overview of the latest developments in the fast growing field of tangible user interfaces.  It presents a new type of modeling environment where the users...

Vernetzung

Stabilität und Wandel... Format: PDF

Die gesellschaftliche Kommunikation verändert sich durch zahlreiche Varianten kommunikativer Vernetzung, die vor allem durch Online-Medien vorangetrieben wird, die aber auch in massenmedial...

Bitcoin & Blockchain -...

Die Blockchain verstehen,... Autor: Andreas M. Antonopoulos Format: EPUB, PDF

Erleben Sie die technische Revolution, die die Finanzwelt im Sturm erobert. Bitcoin & Blockchain – Grundlagen und Programmierung ist Ihr Leitfaden durch die scheinbar komplexe Welt von Bitcoin....