Reversible Computation
This book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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, ...
اقرأ المزيد
STACS 2005
Constitutes the refereed proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, held in Germany, ...
اقرأ المزيد
STACS 2006
This book constitutes the refereed proceedings of the 23rd Annual Symposium on Theoretical Aspects of Computer Science, held ...
اقرأ المزيد
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 ...
اقرأ المزيدSecure Mobile Ad-hoc Networks and Sensors
This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Secure Mobile Ad-hoc ...
اقرأ المزيد
Static Analysis
The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...
اقرأ المزيد
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, ...
اقرأ المزيد
Stigmergic Optimization
This book deals with the application of stigmergy for a variety of optimization problems. This volume comprises 12 chapters ...
اقرأ المزيد
Stochastic Algorithms: Foundations and Applications
This book constitutes the refereed proceedings of the 4th International Symposium on Stochastic Algorithms: Foundations and ...
اقرأ المزيد
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 ...
اقرأ المزيد
String Processing and Information Retrieval
Coverage in the 27 revised full papers includes dictionary algorithms, text searching, pattern matching, text compression, ...
اقرأ المزيد
String Processing and Information Retrieval (vol. # 3772)
String processing (dictionary algorithms, text sear- ing, pattern matching, text compression, text mining, natural language ...
اقرأ المزيد
Structural Information and Communication Complexity (vol. # 3499)
This book constitutes the refereed proceedings of the 12th International Colloquium on Structural Information and Communication ...
اقرأ المزيد
Super-Recursive Algorithms
New discoveries about algorithms are leading scientists beyond the Church-Turing Thesis, which governs the "algorithmic ...
اقرأ المزيد
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 ...
اقرأ المزيد
Temporal Logic and State Systems
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...
اقرأ المزيد
