skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Proceedings of the International Federation for Information Processing (IFIP) Working Conference on Simulation Programming Languages
Proceedings of the International Federation for Information Processing (IFIP) Working Conference on Simulation Programming Languages
Material Type:
Livro 		Adicionar ao Meu Espaço

Proceedings of the International Federation for Information Processing (IFIP) Working Conference on Simulation Programming Languages

IFIP Working Conference on Simulation Programming Languages (3. 1967 Oslo) J. N Buxton; International Federation for Information Processing

Amsterdam North-Holland c1968

Localização: EPECP - Esc. Politécnica-Bib Eng Civil e Prod    (004.424 If5s 3. ) e outros locais(Acessar)

2
Formal software development methods proceedings
Formal software development methods proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal software development methods proceedings

Vdm-Europe Symposium, 4, Noordwijkerhout, 1991 Soren Prehn; Hans Toetenel

Berlin Springer

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

3
Recent trends in data type specification selected papers [of the] 11th workshop on specification of abstract data types joint with the 8th commpass workshop, held in oslo, norway, september 19-23, 1995
Recent trends in data type specification selected papers [of the] 11th workshop on specification of abstract data types joint with the 8th commpass workshop, held in oslo, norway, september 19-23, 1995
Material Type:
Livro 		Adicionar ao Meu Espaço

Recent trends in data type specification selected papers [of the] 11th workshop on specification of abstract data types joint with the 8th commpass workshop, held in oslo, norway, september 19-23, 1995

Workshop on Specification of Abstract Data Types (11. 1995 Oslo, No) Magne Haveraaen; Compass Workshop (8. 1995 Oslo, No)

Berlin Springer 1996

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

4
Programming languages and systems - esop'96 proceedings [of the] 6th european symposium on programming, held in linkoping, sweden, april 22-24, 1996
Programming languages and systems - esop'96 proceedings [of the] 6th european symposium on programming, held in linkoping, sweden, april 22-24, 1996
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming languages and systems - esop'96 proceedings [of the] 6th european symposium on programming, held in linkoping, sweden, april 22-24, 1996

European Symposium on Programming (6. 1996 Linkoping, Se) Hanne Riis Nielson

Berlin Springer 1996

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

5
Static analysis proceedings [of the] third international symposium, sas'96, held in aachen, germany, september 24-26, 1996
Static analysis proceedings [of the] third international symposium, sas'96, held in aachen, germany, september 24-26, 1996
Material Type:
Livro 		Adicionar ao Meu Espaço

Static analysis proceedings [of the] third international symposium, sas'96, held in aachen, germany, september 24-26, 1996

International Static Analysis Symposium (3. 1996 Aachen, De) Radhia Cousot; David Schmidt

Berlin Springer 1996

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

6
Problems and methodologies in mathematical software production proceedings
Problems and methodologies in mathematical software production proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Problems and methodologies in mathematical software production proceedings

International Seminar on Problems and Methodologies in Mathematical Software Production, Sorrento, 1980 Paul C Messina; Almenico Murli

Berlin Springer 1982

Localização: IME - Inst. Matemática e Estatística    (S L471c v.142 )(Acessar)

7
Mathematics of program construction proceedings
Mathematics of program construction proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematics of program construction proceedings

Conference on Mathematics of Program Construction (2. 1992 Oxford) Richard S Bird

Berlin Springer 1993

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

8
Constraints in computational logics proceedings of the first international conference on constraints in computational logics, held in munich, germany, september 7-9, 1994
Constraints in computational logics proceedings of the first international conference on constraints in computational logics, held in munich, germany, september 7-9, 1994
Material Type:
Livro 		Adicionar ao Meu Espaço

Constraints in computational logics proceedings of the first international conference on constraints in computational logics, held in munich, germany, september 7-9, 1994

International Conference on Constraints in Computation Logics (1. 1994 Minich) Jean-Pierre Jouannaud; G Goos; J Hartmanis; J Leeuwen

Berlin Computer 1994

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

9
Static analysis proceedings of the second international symposium, sas'95, held in glasgow, uk, september 25-27, 1995
Static analysis proceedings of the second international symposium, sas'95, held in glasgow, uk, september 25-27, 1995
Material Type:
Livro 		Adicionar ao Meu Espaço

Static analysis proceedings of the second international symposium, sas'95, held in glasgow, uk, september 25-27, 1995

International Static Analysis Symposium (2. 1995 Glasgow, Uk) Alan Mycroft

Berlin Springer 1995

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

10
Advanced functional programming first international spring school on advanced functional programming techniques, bastad, sweden, may 24-30, 1995 : tutiruak text
Advanced functional programming first international spring school on advanced functional programming techniques, bastad, sweden, may 24-30, 1995 : tutiruak text
Material Type:
Livro 		Adicionar ao Meu Espaço

Advanced functional programming first international spring school on advanced functional programming techniques, bastad, sweden, may 24-30, 1995 : tutiruak text

International Spring School on Advanced Functional Programming Techniques (1. 1995 Bastad, Sweden) Johan Jeuring; Erik Meijer

GOOS, G, ED; HARTMANIS, J, ED; LEEUWEN, J VAN, ED LECTURE NOTES IN COMPUTER SCIENCE BERLIN, SPRINGER-VERLAG, c1985-

Berlin Springer 1995

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (7)

Data de Publicação 

De até
Refinar
  1. Antes de1982  (6)
  2. 1982Até1988  (7)
  3. 1989Até1993  (32)
  4. 1994Até2002  (71)
  5. Após 2002  (20)
  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.