Exploring new frontiers of theoretical informatics
Auteur :
Levy, Jean-Jacques
ISBN :
9781402081408
Date de publication :
27 juil. 2004
Dimensions :
24,0 x 16,0 x 3,8 cm
Poids :
992 g
Langue :
Anglais
Pays d'origine :
USA
Reflecting the topics and interests within the theoretical computer science community, this book is presented in two interrelated tracks: Algorithms, Complexity and Models of Computation, and Logic, Semantics, Specification and Verification. It contains papers presented at the 3rd IFIP International Conference on Theoretical Computer Science.