skip to main content
Idioma:
Resultados 1 2 3 4 next page
Refinado por: assunto: Computer Software remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993 : proceedings
Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993 : proceedings

CAV (Conference) (5th 1993 Eloúnda, Greece) Costas Courcoubetis

Berlin New York Springer-Verlag c1993

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.697 e.1 ) e outros locais(Acessar)

2
Foundations of software technology and theoretical computer science 14th conference, Madras, India, December 15-17, 1994 : proceedings
Foundations of software technology and theoretical computer science 14th conference, Madras, India, December 15-17, 1994 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Foundations of software technology and theoretical computer science 14th conference, Madras, India, December 15-17, 1994 : proceedings

P. S Thiagarajan

Berlin New York Springer-Verlag c1994

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.880 e.1 ) e outros locais(Acessar)

3
TAPSOFT ®91 proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991
TAPSOFT ®91 proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991
Material Type:
Livro 		Adicionar ao Meu Espaço

TAPSOFT ®91 proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991

International Joint Conference on Theory and Practice of Software Development (4th : 1991 Brighton, England) Samson Abramsky 1953-; Thomas S. E Maibaum

Berlin Springer-Verlag New York 1991-

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.494 e.1 ) e outros locais(Acessar)

4
Foundations of software technology and theoretical computer science 17th conference, Kharagpur, India, December 18-20, 1997 : proceedings
Foundations of software technology and theoretical computer science 17th conference, Kharagpur, India, December 18-20, 1997 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Foundations of software technology and theoretical computer science 17th conference, Kharagpur, India, December 18-20, 1997 : proceedings

S Ramesh; G Sivakumar; Conference on Software Technology and Theoretical Computer Science Kharagpur, India) 1997; Conference on Foundations of Software Technology and Theoretical Computer Science (17. 1997 Kharagpur, IN)

Berlin Springer New York c1997

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1346 ) e outros locais(Acessar)

5
Foundations of software science and computation structures Second International Conference, FOSSACS '99 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings
Foundations of software science and computation structures Second International Conference, FOSSACS '99 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Foundations of software science and computation structures Second International Conference, FOSSACS '99 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings

FOSSACS '99 (2nd. 1999 Amsterdam, Netherlands) Wolfgang Thomas 1947-; International Joint Conference on Theory and Practice of Software Development (9th 1999 Amsterdam, Netherlands)

Berlin New York Springer-Verlag c1999

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1578 ) e outros locais(Acessar)

6
MetaSoft primer towards a metalanguage for applied denotational semantics
MetaSoft primer towards a metalanguage for applied denotational semantics
Material Type:
Livro 		Adicionar ao Meu Espaço

MetaSoft primer towards a metalanguage for applied denotational semantics

Andrzej Blikle

Berlin New York Springer-Verlag c1987

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.288 ex.1 ) e outros locais(Acessar)

7
Computer aided verification 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings
Computer aided verification 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer aided verification 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings

CAV (Conference) (13th 2001 Paris) Hubert Comon; Gérard Berry 1948-; A Finkel

Berlin Springer 2001

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2102 ) e outros locais(Acessar)

8
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 : 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)

9
FSTTCS 2004 foundations of software technology and theoretical computer science 24th international conference, Chennai, India, December 16-18, 2004 proceedings
FSTTCS 2004 foundations of software technology and theoretical computer science 24th international conference, Chennai, India, December 16-18, 2004 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

FSTTCS 2004 foundations of software technology and theoretical computer science 24th international conference, Chennai, India, December 16-18, 2004 proceedings

Conference on Foundations of Software Technology and Theoretical Computer Science (24th 2004 Madras, India) Kamal Lodaya; Meena Mahajan

Berlin Springer New York c2004

Acesso online. A biblioteca também possui exemplares impressos.

10
Anais V COngresso da Sociedade Brasileira de Computação, Porto Alegre, Brasil, 20 a 27 de julho de 1985
Material Type:
Livro 		Adicionar ao Meu Espaço

Anais V COngresso da Sociedade Brasileira de Computação, Porto Alegre, Brasil, 20 a 27 de julho de 1985

Congresso da Sociedade Brasileira de Computação (5. 1985 Porto Alegre) Ricardo A. L Reis (Ricardo Augusto da Luz); Carlos E Rech (Carlos Ernesto); Roberto M. J Macedo; Centro Latinoamericano de Estudios en Informática; Universidade Federal do Rio Grande do Sul; Seminário Integrado de Software e Hardware (12 1985 Porto Alegre); Simpósio de Concepção de Circuitos Integrados (2 1985 Porto Alegre)

Porto Alegre? Sociedade Brasileira de Computação 1985?

Localização: EPBC - Esc. Politécnica-Bib Central    (004 C76a 5. v.2 ) e outros locais(Acessar)

Resultados 1 2 3 4 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de1980  (3)
  2. 1980Até1990  (5)
  3. 1991Até1996  (3)
  4. 1997Até2000  (14)
  5. Após 2000  (21)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.