Randomization and approximation techniques in computerscience 6th international workshop, RANDOM 2002, Cambridge, MA, USA, September 13-15, 2002 : proceedings
International Workshop on Randomization and Approximation Techniques in ComputerScience (6th 2002 Cambridge, Mass.) José D. P Rolim; Salil Vadhan; LINK (Online service)
FST TCS 2001, Foundations of Software Technology and Theoretical ComputerScience 21st conference, Bangalore, India, December 13-15, 2001 : proceedings
Conference on Foundations of Software Technology and Theoretical ComputerScience (21th 2001 Bangalore, India) Ramesh Hariharan; Madhavan Mukund; V Vinay
Berlin Springer New York c2001
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2245 ) e outros locais(Acessar)
Lectures on formal methods and performance analysis first EEF/Euro Summer School on Trends in ComputerScience, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures
EEF/Euro Summer School on Trends in ComputerScience (1st 2000 Berg en Dal, Netherlands) Ed Brinksma; Holger Hermanns 1967-; Joost-Pieter Katoen
Berlin Springer New York c2001
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2090 ) e outros locais(Acessar)