 
                TCC 2007, the Fourth Theory of Cryptography Conference, was held in Amsterdam, The Netherlands, from February 21 to 24, 2007, ...
اقرأ المزيد 
                The papers are organized in 16 sessions dealing with the paradigms, approaches and techniques used to conceptualize, define ...
اقرأ المزيد 
                This book focus on theoretical aspects of quantum computation, quantum communication, and quantum cryptography, which are ...
اقرأ المزيد 
                Time-dependent scheduling involves problems in which the processing times of jobs depend on when those jobs are started. ...
اقرأ المزيد 
                This is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; ...
اقرأ المزيد 
                The book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...
اقرأ المزيد 
                This book includes : hash function cryptanalysis, cryptographic building blocks, fairness in secure computation, message ...
اقرأ المزيد 
                This book contains four highly detailed papers. The first paper focuses on quantitative aspects of the bgl operon for E.coli. ...
اقرأ المزيد 
                The first three papers describe the applicability of bio-inspired techniques in the technical domain of computing and communication. ...
اقرأ المزيد 
                The first two papers deal with the security of steganographic systems; the third paper presents a novel image steganographic ...
اقرأ المزيد 
                It contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...
اقرأ المزيد 
                The book is devoted to all aspects of unconventional computation ranging from theoretical and experimental aspects to various ...
اقرأ المزيد 
                Action planning has always played a central role in Artificial Intelligence. Given a description of the current situation, ...
اقرأ المزيد 
                This book features original research in the areas of algorithms and data structures, combinatorial algorithms, graph drawings ...
اقرأ المزيد 
                This book address current research and development efforts of various issues in the area of algorithms, systems and applications ...
اقرأ المزيد 
                This book is organized in topical sections on localization, detection of space/time correlated events, network coding, ZigBee, ...
اقرأ المزيد