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...

Software-Defined Cloud Centers

Operational and Management... Autor: Pethuru Raj, Anupama Raman Format: PDF

This practical text/reference provides an exhaustive guide to setting up and sustaining software-defined data centers (SDDCs). Each of the core elements and underlying technologies are explained in...

CompTIA Network+ Practice Tests

Exam N10-007 Autor: Craig Zacker Format: EPUB, PDF

A smarter, faster review for the CompTIA Network+ exam N10-007 Expertly authored questions provide comprehensive, concise review of 100% of all CompTIA Network+ exam objectives. This...