skip to main content
Idioma:
Resultados 1 2 next page
Refinado por: assunto: Metodologia E Técnicas De Computação remover Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Informatics 10 years back, 10 years ahead
Informatics 10 years back, 10 years ahead
Material Type:
Livro 		Adicionar ao Meu Espaço

Informatics 10 years back, 10 years ahead

R Wilhelm 1946- (Reinhard)

Berlin Springer New York c2001

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

2
Mathematics of program construction 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings
Mathematics of program construction 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematics of program construction 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings

International Conference on the Mathematics of Program Construction (2000 Ponte de Lima, Portugal) Roland C Backhouse 1948-; José N Oliveira

Berlin Springer New York c2000

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

3
Recent trends in algebraic development techniques 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers
Recent trends in algebraic development techniques 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Recent trends in algebraic development techniques 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers

WADT '98 (1998 Lisbon, Portugal) José Luiz Fiadeiro 1961-

Berlin Springer New York c1999

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

4
STACS 99 16th annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999 : proceedings
STACS 99 16th annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

STACS 99 16th annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999 : proceedings

Symposium on Theoretical Aspects of Computer Science (16th 1999 Trier, Germany) Christoph Meinel 1954-; Sophie Tison

Berlin Springer New York c1999

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

5
Advances in computing science, ASIAN '98 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998 : proceedings
Advances in computing science, ASIAN '98 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in computing science, ASIAN '98 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998 : proceedings

Asian Computing Science Conference (4th 1998 Manila, Philippines) Jieh Hsiang 1954-; Atsushi Ohori 1957-

Berlin Springer New York c1998

Localização: IFSC - Inst. Física de São Carlos    (P621.38195 L471 v.1538 ) e outros locais(Acessar)

6
Mathematics of program construction 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings
Mathematics of program construction 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematics of program construction 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings

International Conference on the Mathematics of Program Construction (4th 1998 Marstrand, Sweden) Johan Jeuring 1965-

Berlin Springer Verlag New York c1998

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

7
Advances in computing science-ASIAN '97 Third Asian Computing Science Conference, Kathmandu, Nepal, December 1997 : proceedings
Advances in computing science-ASIAN '97 Third Asian Computing Science Conference, Kathmandu, Nepal, December 1997 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in computing science-ASIAN '97 Third Asian Computing Science Conference, Kathmandu, Nepal, December 1997 : proceedings

Asian Computing Science Conference (3rd 1997 Kathmandu, Nepal) Rudrapatna Shyamasundar 1950-; Kazunori Ueda

Berlin Springer New York c1997

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

8
1997 IEEE International Conference on Microelectronic Systems Education, MSE'97 doing more with less in a rapidly changing environment, July 21-23, 1997, Arlington, Virginia, USA
1997 IEEE International Conference on Microelectronic Systems Education, MSE'97 doing more with less in a rapidly changing environment, July 21-23, 1997, Arlington, Virginia, USA
Material Type:
Livro 		Adicionar ao Meu Espaço

1997 IEEE International Conference on Microelectronic Systems Education, MSE'97 doing more with less in a rapidly changing environment, July 21-23, 1997, Arlington, Virginia, USA

IEEE International Conference on Microelectronic Systems Education (1997 Arlington, Va.) IEEE Computer Society Design Automation Technical Committee; IEEE Computer Society Test Technology Committee; IEEE Computer Society Technical Committee on VLSI

Los Alamitos, Calif. IEEE Computer Society Press c1997

Localização: EPBC - Esc. Politécnica-Bib Central    (621.3.049.77 Ie2m )(Acessar)

9
Iteration theories the equational logic of iterative processes
Iteration theories the equational logic of iterative processes
Material Type:
Livro 		Adicionar ao Meu Espaço

Iteration theories the equational logic of iterative processes

Stephen L. Bloom 1940- Zoltán Ésik 1951-

Berlin Springer-Verlag New York c1993

Localização: IME - Inst. Matemática e Estatística    (QA816 B655i e.2 )(Acessar)

10
Handbook of theoretical computer science
Handbook of theoretical computer science
Material Type:
Livro 		Adicionar ao Meu Espaço

Handbook of theoretical computer science

J. van Leeuwen (Jan)

Amsterdam New York Elsevier Cambridge, Mass. MIT Press 1990

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (004 L519h v.B ) e outros locais(Acessar)

Resultados 1 2 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de1974  (2)
  2. 1974Até1989  (5)
  3. 1990Até1996  (2)
  4. 1997Até1999  (6)
  5. Após 1999  (2)
  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.