DNA Computing : 13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed postproceedings of the 13th International Meeting on DNA Computing, DNA 13, ...
اقرأ المزيد
Developments in Language Theory
It addresses all important issues in language theory including grammars, acceptors and transducers for words, trees and graphs; ...
اقرأ المزيد
Developments in Language Theory
It addresses all important issues in language theory including grammars, acceptors and transducers for words, trees and graphs; ...
اقرأ المزيد
Developments in Language Theory
Basic Notions of Reaction Systems -- A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms -- Algebraic ...
اقرأ المزيد
Developments in Language Theory (vol. # 3572)
Constitutes the refereed proceedings of the 9th International Conference on Developments in Language Theory, DLT 2005, held ...
اقرأ المزيد
Developments in Language Theory (vol. # 4036)
This book constitutes the refereed proceedings of the 10th International Conference on Developments in Language Theory, DLT ...
اقرأ المزيد
Developments in Language Theory : 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008. Proceedings
This book constitutes the refereed proceedings of the 12th International Conference on Developments in Language Theory, DLT ...
اقرأ المزيد
Efficient Approximation and Online Algorithms
This book provides a good opportunity for computer science practitioners and researchers to get in sync with current state-of-the-art ...
اقرأ المزيد
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
The international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS) is the longest-running ...
اقرأ المزيد
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
This year marks a milestone in the history of FST&TCS, which ?rst took place in 1981. We would like to take this opportunity ...
اقرأ المزيد
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science
This book constitutes the refereed proceedings of the 26th International Conference on the Foundations of Software Technology ...
اقرأ المزيد
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science
This book constitutes the refereed proceedings of the 27th International Conference on the Foundations of Software Technology ...
اقرأ المزيد
Finite Model Theory
The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of ...
اقرأ المزيد
Finite Model Theory
The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of ...
اقرأ المزيد
Finite Model Theory and Its Applications
This book gives a broad overview of core topics of finite model theory: expressive power, descriptive complexity, and zero-one ...
اقرأ المزيد
Finite Model Theory and Its Applications
This book gives a broad overview of core topics of finite model theory: expressive power, descriptive complexity, and zero-one ...
اقرأ المزيد
Foundations of Information and Knowledge Systems : 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings
This book constitutes the refereed proceedings of the 5th International Symposium on Foundations of Information and Knowledge ...
اقرأ المزيد
Grammatical Picture Generation
The book presents important types of picture generators, using a tree-based approach to stress their common algorithmic basis, ...
اقرأ المزيد
Graph-Theoretic Concepts in Computer Science (vol. # 3787)
that aims to unite theory and practice by demonstrating how graph-theoretic concepts can be applied to various areas in Computer ...
اقرأ المزيد
Graphs, Networks and Algorithms
This book have a chapter on the network simplex algorithm and a section on the five color theorem; this also necessitated ...
اقرأ المزيد
