Reversible Computation
This book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which ...
Lee mas
Rewriting Techniques and Applications : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings
The book covers current research on all aspects of rewriting including typical areas of interest such as applications, foundational ...
Lee mas
SOFSEM 2006: Theory and Practice of Computer Science
This book presents the proceedings of the 32nd Conference on Current Trends in Theory and Practice of Computer Science, held ...
Lee mas
SOFSEM 2007: Theory and Practice of Computer Science
This volume contains the invited and the contributed papers selected for presentation at SOFSEM 2007, the 33rd Conference ...
Lee mas
SOFSEM 2008: Theory and Practice of Computer Science : 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008. Proceedings
This book is segmented into four topical sections on foundations of computer science; computing by nature; networks, security, ...
Lee mas
STACS 2005
Constitutes the refereed proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, held in Germany, ...
Lee mas
STACS 2006
This book constitutes the refereed proceedings of the 23rd Annual Symposium on Theoretical Aspects of Computer Science, held ...
Lee mas
STACS 2007 ; 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings
The Symposium on Theoretical Aspects of Computer Science (STACS) is alternately held in France and in Germany. The conference ...
Lee masSecure Mobile Ad-hoc Networks and Sensors
This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Secure Mobile Ad-hoc ...
Lee mas
Static Analysis
The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...
Lee mas
Static Analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings
The book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...
Lee mas
Stigmergic Optimization
This book deals with the application of stigmergy for a variety of optimization problems. This volume comprises 12 chapters ...
Lee mas
Stochastic Algorithms: Foundations and Applications
This book constitutes the refereed proceedings of the 4th International Symposium on Stochastic Algorithms: Foundations and ...
Lee mas
Stochastic Discrete Event Systems : Modeling, Evaluation, Applications
The behavior of many technical systems important in everyday life can be described using discrete states and state-changing ...
Lee mas
String Processing and Information Retrieval
Coverage in the 27 revised full papers includes dictionary algorithms, text searching, pattern matching, text compression, ...
Lee mas
String Processing and Information Retrieval (vol. # 3772)
String processing (dictionary algorithms, text sear- ing, pattern matching, text compression, text mining, natural language ...
Lee mas
Structural Information and Communication Complexity (vol. # 3499)
This book constitutes the refereed proceedings of the 12th International Colloquium on Structural Information and Communication ...
Lee mas
Super-Recursive Algorithms
New discoveries about algorithms are leading scientists beyond the Church-Turing Thesis, which governs the "algorithmic ...
Lee mas
Systematic Design for Emergence in Cellular Nonlinear Networks : With Applications in Natural Computing and Signal Processing
Cellular nonlinear networks are naturally inspired computing architectures where complex dynamic behaviors may emerge as ...
Lee mas
Temporal Logic and State Systems
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...
Lee mas
