Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues
This book cover theory, practice, applications, and experiences related to secure software.
Weiterlesen
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues
This book cover theory, practice, applications, and experiences related to secure software.
Weiterlesen
Advances in Computer Science – ASIAN 2007. Computer and Network Security
This book Covering all current aspects of computer and network security, the papers are organized in topical sections on ...
Weiterlesen
Advances in Computer Science – ASIAN 2007. Computer and Network Security
This book Covering all current aspects of computer and network security, the papers are organized in topical sections on ...
Weiterlesen
Advances in Cryptology - EUROCRYPT 2007
This book address all current foundational, theoretical and research aspects of cryptology, cryptography, and cryptanalysis ...
Weiterlesen
Advances in Cryptology - EUROCRYPT 2007
This book address all current foundational, theoretical and research aspects of cryptology, cryptography, and cryptanalysis ...
Weiterlesen
Advances in Design and Specification Languages for Embedded Systems
Advances in Design and Specification Languages for Embedded Systems is the latest contribution to the Chip Design Languages ...
Weiterlesen
Advances in Evolutionary Computing for System Design
Evolutionary computing paradigms offer robust and powerful adaptive search mechanisms for system design. This book includes ...
Weiterlesen
Advances in Information and Computer Security
this year in Kyoto and to publish the proceedings as a volume of the Lecture Notes in Computer Science series. The workshop ...
Weiterlesen
Advances in Intelligent Computing (vol. # 3645)
This book constitutes the proceedings of the International Conference on Intelligent Computing (ICIC 2005), held in China, ...
Weiterlesen
Advances in Verification of Time Petri Nets and Timed Automata
This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the ...
Weiterlesen
Agent Technology from a Formal Perspective
The field of agent & multi-agent systems is experiencing tremendous growth. At the same time the field of formal methods ...
Weiterlesen
Air Pollution Modeling and Its Application XIX
The book is aimed at researchers and government policy makers who wish to keep abreast of the most recent developments in ...
Weiterlesen
Air Pollution Modeling and its Application XVII
This volume contains the papers and posters presented at the 27 NATO/CCMS International Technical Meeting on Air Pollution ...
Weiterlesen
Algebra and Coalgebra in Computer Science
CALCO, the Conference on Algebra and Coal-gebra in Computer Science, was created to bring together researchers ...
Weiterlesen
Algebra and Coalgebra in Computer Science
Addressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context ...
Weiterlesen
Algebra and Coalgebra in Computer Science
Addressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context ...
Weiterlesen
Algebra, Meaning, and Computation
This Festschrift volume - published to honor Joseph Goguen on his 65th Birthday on June 28, 2006 - includes 32 refereed papers ...
Weiterlesen
Algebraic Informatics
It covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...
Weiterlesen
Algebraic Informatics
It covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...
Weiterlesen
