This book presents Understanding Intrusion Detection through Visualization presents research on why false alarms are, and ...
WeiterlesenFor more than 25 years, the pioneering research and theories of Norbert Seel have had a profound impact on educational thought ...
WeiterlesenThis book explains how to see one's own network through the eyes of an attacker, to understand their techniques and effectively ...
WeiterlesenAction planning has always played a central role in Artificial Intelligence. Given a description of the current situation, ...
WeiterlesenThis book is about describing the meaning of programming languages. While a compiler or an interpreter offers a form of formal ...
WeiterlesenThis is an introductory textbook of linear programming, written mainly for students of computer science and mathematics. ...
WeiterlesenIn this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem ...
WeiterlesenThe field of computer vision has developed significantly over the last several years and the application areas span a broad ...
WeiterlesenIn June of 2002, over 500 professors, students and researchers met in Boston, Massachusetts for the Fourth International ...
WeiterlesenA number of formal notations and theories have now emerged and proved them-selves effective as tools for the practisingsoftware ...
WeiterlesenThis volume contains papers presented at SPW 2005, the Software Process Workshop held in Beijing, P. R. China, on May 25-27, ...
WeiterlesenThis volume contains the proceedings of the last ERCIM “User Interfaces for All” Workshop. The work of the ERCIM WG UI4ALL ...
WeiterlesenInformation Society for All (IS4ALL) is devoted to consolidating and codifying available knowledge of universal access in ...
WeiterlesenThis volume, edited by Constantine Stephanidis, contains papers in the thematic area of Universal Access in Human-Computer ...
WeiterlesenThis volume, edited by Constantine Stephanidis, contains papers in the thematic area of Universal Access in Human Computer ...
WeiterlesenThis volume, edited by Constantine Stephanidis, contains papers in the thematic area of Universal Access in Human-Computer ...
WeiterlesenUniversal Algebra, heralded as ". . . the standard reference in a field notorious for the lack of standardization . . .," ...
WeiterlesenThis book presents sequential decision theory from a novel algorithmic information theory perspective. While the former is ...
WeiterlesenThis will be an invaluable reference for the development of new theories and computer-based modeling techniques for solving ...
WeiterlesenThis book is the first to systematically introduce the principles of urban informatics and its application to every aspect ...
Weiterlesen