1
Material Type:
Livro
Computers Ltd what they really can't do
David Harel 1950-
Oxford Oxford University Press 2004
Localização:
IME - Inst. Matemática e Estatística
(QA708 H275c ) (Acessar)
This feature requires javascript
2
Material Type:
Livro
Foundations of software technology and theoretical computer science 18th Conference, Chennai, India, December 17-19, 1998 : proceedings
V Arvind; R Ramanujam; Conference on Foundations of Software Technology and Theoretical Computer Science (18th 1998 Madras, India)
Berlin Springer London c1998
Localização:
IME - Inst. Matemática e Estatística
(S L471c v.1530 ) (Acessar)
This feature requires javascript
3
Material Type:
Livro
SOFSEM 2000 : theory and practice of informatics : 27th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 25-December 2, 2000 : proceedings
SOFSEM (2000 Milovy, Czech Republic) Vaclav Hlavac; Keith Jeffery (Keith G.); J Wiedermann (Juraj)
Berlin Springer New York 2000
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1963 ) e outros locais(Acessar)
This feature requires javascript
4
Material Type:
Livro
Version control with Subversion
Ben Collins-Sussman Brian W Fitzpatrick; C. Michael Pilato
Sebastopol, CA O'Reilly Media c2004
Localização:
IME - Inst. Matemática e Estatística
IMRE SIMON
(CIS QA712.31 C713v ) (Acessar)
This feature requires javascript
5
Material Type:
Livro
Computer safety, reliability, and security 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002 : proceedings
SAFECOMP 2002 (2002 Catania, Italy) Stuart Anderson 1952-; Sandro Bologna; Massimo Felici 1973-
Berlin Springer New York c2002
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2434 ) (Acessar)
This feature requires javascript
6
Material Type:
Livro
Computer safety, reliability and security 20th international conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 : proceedings
International Conference on Computer Safety, Reliability, and Security (20th 2001 Budapest, Hungary) U Voges 1946- (Udo)
Berlin Springer New York c2001
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2187 ) e outros locais(Acessar)
This feature requires javascript
7
Material Type:
Livro
Computer aided verification 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings
CAV (Conference) (15th 2003 Boulder, Colo.) Warren A Hunt 1958-; Fabio Somenzi
Berlin Springer New York 2003
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2725 ) (Acessar)
This feature requires javascript