The book covers current research on all aspects of rewriting including typical areas of interest such as applications, foundational ...
WeiterlesenThis book presents the proceedings of the 32nd Conference on Current Trends in Theory and Practice of Computer Science, held ...
WeiterlesenThis volume contains the invited and the contributed papers selected for presentation at SOFSEM 2007, the 33rd Conference ...
WeiterlesenThis book is segmented into four topical sections on foundations of computer science; computing by nature; networks, security, ...
WeiterlesenConstitutes the refereed proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, held in Germany, ...
WeiterlesenThis book constitutes the refereed proceedings of the 23rd Annual Symposium on Theoretical Aspects of Computer Science, held ...
WeiterlesenThe Symposium on Theoretical Aspects of Computer Science (STACS) is alternately held in France and in Germany. The conference ...
WeiterlesenThis book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Secure Mobile Ad-hoc ...
WeiterlesenThe aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...
WeiterlesenThe book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...
WeiterlesenThis book deals with the application of stigmergy for a variety of optimization problems. This volume comprises 12 chapters ...
WeiterlesenThis book constitutes the refereed proceedings of the 4th International Symposium on Stochastic Algorithms: Foundations and ...
WeiterlesenThe behavior of many technical systems important in everyday life can be described using discrete states and state-changing ...
WeiterlesenCoverage in the 27 revised full papers includes dictionary algorithms, text searching, pattern matching, text compression, ...
WeiterlesenString processing (dictionary algorithms, text sear- ing, pattern matching, text compression, text mining, natural language ...
WeiterlesenThis book constitutes the refereed proceedings of the 12th International Colloquium on Structural Information and Communication ...
WeiterlesenNew discoveries about algorithms are leading scientists beyond the Church-Turing Thesis, which governs the "algorithmic ...
WeiterlesenCellular nonlinear networks are naturally inspired computing architectures where complex dynamic behaviors may emerge as ...
WeiterlesenTemporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...
WeiterlesenThis volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– ...
Weiterlesen