STACS 96, Theoretical Aspects of Computer Science 13 conf

STACS 96, Theoretical Aspects of Computer Science 13 conf
Год
 
Страниц
 
693
ISBN
 
ISBN10:3540609229
Издатель
 
Springer

Описание:

This book constitutes the refereed proceedings of the 13th Symposium on Theoretical Aspects of Computer Science, STACS 96, held in Grenoble, France in February 1996.The 52 revised papers presented were selected from a total of 185 submissions; also included are three invited papers. The volume addresses all current aspects of theoretical computer science and is organized in sections on complexity theory, automata theory, parallel algorithms, learning, parallel and distributed systems, cryptography, logic and database theory, algorithms, semantics and program verification, and communication complexity.

Похожие книги

Evolutionary Algorithms in Theory and PracticeEvolutionary Algorithms in Theory and Practice
Автор: Thomas Bäck
Год: 1996
Applied dynamic programming for optimization of dynamical systemsApplied dynamic programming for optimization of dynamical systems
Автор: Rush D. Robinett III
Год: 2005
WALCOM: Algorithms and Computation, 2 conf., WALCOM 2008WALCOM: Algorithms and Computation, 2 conf., WALCOM 2008
Год: 2008
Algorithms and Complexity, 6 conf., CIAC 2006Algorithms and Complexity, 6 conf., CIAC 2006
Год: 2006
Elementary Functions: Algorithms and ImplementationElementary Functions: Algorithms and Implementation
Автор: Jean-Michel Muller
Год: 2005
Applied Dynamic Programming for Optimization of Dynamical SystemsApplied Dynamic Programming for Optimization of Dynamical Systems
Автор: Rush D. Robinett III, David G. Wilson, G. Richard Eisler, John E. Hurtado
Год: 2005