skip to main content
Refinado por: assunto: Computer Software remover assunto: Softwares remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Computers Ltd what they really can't do
Material Type:
Livro
Adicionar ao Meu Espaço

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)

2
Foundations of software technology and theoretical computer science 18th Conference, Chennai, India, December 17-19, 1998 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

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)

3
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
Material Type:
Livro
Adicionar ao Meu Espaço

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)

4
Version control with Subversion
Material Type:
Livro
Adicionar ao Meu Espaço

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)

5
Computer safety, reliability, and security 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

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)

6
Computer safety, reliability and security 20th international conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

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)

7
Computer aided verification 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

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)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Data de Publicação 

De até
  1. Antes de2000  (1)
  2. 2000Até2000  (1)
  3. 2001Até2001  (1)
  4. 2002Até2003  (2)
  5. Após 2003  (2)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.