 | | | | | |
| Bild | | | | |
|
|
|
|
|
1 |
Springer Verlag 9783030005801 |
€ 109,99*
pro Stück |
|
|
Intrusion Detection effektiv! (1 Angebot) IT-Sicherheit und Intrusion Detection.- Missbrauchserkennung.- Beispiele.- Semantische Aspekte von Angriffssignaturen.- Modell für Angriffssignaturen.- Beschreibung von Angriffssignaturen.- Analyse... |
1 |
Springer Verlag 9783540482512 |
€ 28,03*
pro Stück |
|
|
Invasive Computing (1 Angebot) Invasive computing is a paradigm for designing and programming future parallel computing systems. For systems with 1,000 or more cores on a chip, resource-aware programming is of utmost importance ... |
1 |
FAU University Press 9783961475704 |
€ 50,93*
pro Stück |
|
|
|
1 |
Springer Verlag 9783540443858 |
€ 49,99*
pro Stück |
|
|
|
1 |
Springer Verlag 9783642079375 |
€ 49,99*
pro Stück |
|
|
|
1 |
Books on Demand 9783752611403 |
€ 56,07*
pro Stück |
|
|
Investing in Information (1 Angebot) This book standsas a reference point and resource for all those who need to straddle the disparate worlds of "information technology" and "business". It provides firm pedagogical foundations for co... |
1 |
Springer Verlag 9783319119083 |
€ 64,99*
pro Stück |
|
|
Investing in Information (1 Angebot) This book standsas a reference point and resource for all those who need to straddle the disparate worlds of "information technology" and "business". It provides firm pedagogical foundations for co... |
1 |
Springer Verlag 9783319385389 |
€ 46,99*
pro Stück |
|
|
|
1 |
Springer Verlag 9783030667696 |
€ 84,99*
pro Stück |
|
|
|
1 |
Springer Verlag 9783031084799 |
€ 49,99*
pro Stück |
|
|
Isabelle (1 Angebot) As a generic theorem prover, Isabelle supports a variety of logics. Distinctive features include Isabelle's representation of logics within a meta-logic and the use of higher-order unification to c... |
1 |
Springer Verlag 9783540582441 |
€ 49,99*
pro Stück |
|
|
Isabelle/HOL (1 Angebot) This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Isabelle documentation, it provides a d... |
1 |
Springer Verlag 9783540433767 |
€ 54,99*
pro Stück |
|
|
Issues in Agent Communication (1 Angebot) A first attempt to develop a standardized agent communication language (ACL) resulted in KQML, probably the most widely used such language. However, a lot of technical work remains to be done. Even... |
1 |
Springer Verlag 9783540411444 |
€ 49,99*
pro Stück |
|
|
|
1 |
Springer Basel 9783764385422 |
€ 49,99*
pro Stück |
|
|
Issues of Fault Diagnosis for Dynamic Systems (1 Angebot) Since the time our first book Fault Diagnosis in Dynamic Systems: The ory and Applications was published in 1989 by Prentice Hall, there has been a surge in interest in research and applications in... |
1 |
Springer Verlag 9783540199687 |
€ 199,99*
pro Stück |
|
