Electronic Books

Total Books: 201 - 220 /247

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 ...

Term Rewriting and Applications (vol. # 3467)

This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– ...

Total Books: 201 - 220 /247