Author | Italian Conference on Theoretical Computer Science (7th : 2001 : Torino, Italy) |
---|---|
Title | Theoretical computer science : 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001 : proceedings / Antonio Restivo, Simona Ronchi Della Rocca, Luca Roversi (eds.) |
Imprint | Berlin : Springer, c2001 |
Descript | xi, 440 p. : ill. ; 24 cm |
Lambda Calculus and Types -- Algorithms and Data Structures -- New Computing Paradigms -- Formal Languages -- Objects and Mobility -- Computational Complexity -- Security -- Logics and Logic Programming
LOCATION | CALL# | STATUS |
---|---|---|
Central Library (4th Floor) | 004.36 I88T | CHECK SHELVES |