Deontic Logic and Artificial Normative Systems
This volume presents the papers contributed to DEON 2006, the 8th Inter- tional Workshop on Deontic Logic in Computer Science, ...
Weiterlesen
Dependable Computing
This book presented fault-tolerant algorithms, software engineering of dependable systems, networking and mobile computing, ...
Weiterlesen
Dependable Computing
Contains the proceedings of the 'Second Latin-American Symposium' on Dependable Computing, LADC 2005. This book comprises ...
Weiterlesen
Dependable Computing
This book presented fault-tolerant algorithms, software engineering of dependable systems, networking and mobile computing, ...
Weiterlesen
Dependable Systems: Software, Computing, Networks
The present volume documents the results of a research program on Dependable Information and Communication Systems (DICS). ...
Weiterlesen
Design Computing and Cognition 08 :Proceedings of the Third International Conference on Design Computing and Cognition
This is the third volume of the new conference series Design Computing and Cognition (DCC) that takes over from and subsumes ...
Weiterlesen
Design and Analysis of Learning Classifier Systems : A Probabilistic Approach
This book provides a comprehensive introduction to the design and analysis of Learning Classifier Systems (LCS) from the ...
Weiterlesen
Design and Analysis of Randomized Algorithms
Randomness is a powerful phenomenon that can be harnessed to solve various problems in all areas of computer science. Randomized ...
Weiterlesen
Design by Evolution : Advances in Evolutionary Design
This book showcases the state of the art in evolutionary algorithms for design. The chapters are organized by experts in ...
Weiterlesen
Design of Adaptive Finite Element Software
During the last years, scientific computing has become an important research branch located between applied mathematics and ...
Weiterlesen
Design of Advanced Manufacturing Systems
The aim of this book is to provide a framework and speci?c methods and tools for the selection and con?guration of capacity ...
Weiterlesen
Detection of Intrusions and Malware, and Vulnerability Assessment
This book presented malware; network security, Web security; attacks; Security-Intrusion; Detection and Response
Weiterlesen
Detection of Intrusions and Malware, and Vulnerability Assessment
This book presented malware; network security, Web security; attacks; Security-Intrusion; Detection and Response
Weiterlesen
Detection of Intrusions and Malware, and Vulnerability Assessment : 5th International Conference, DIMVA 2008, Paris, France, July 10-11, 2008. Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Detection of Intrusions and Malware, ...
Weiterlesen
Deterministic and Statistical Methods in Machine Learning
This book consitutes the refereed proceedings of the First International Workshop on Machine Learning held in Sheffield, ...
Weiterlesen
Developing Statistical Software in Fortran 95
"This book gives statisticians, biostatisticians and methodologically-oriented researchers the tools they need to develop ...
Weiterlesen
Developments in Language Theory
It addresses all important issues in language theory including grammars, acceptors and transducers for words, trees and graphs; ...
Weiterlesen
Developments in Language Theory
It addresses all important issues in language theory including grammars, acceptors and transducers for words, trees and graphs; ...
Weiterlesen
Developments in Language Theory
Basic Notions of Reaction Systems -- A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms -- Algebraic ...
Weiterlesen
Developments in Language Theory (vol. # 3572)
Constitutes the refereed proceedings of the 9th International Conference on Developments in Language Theory, DLT 2005, held ...
Weiterlesen
