skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Refinado por: assunto: Computer Programming remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
ESOP 86 European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986 : proceedings
ESOP 86 European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

ESOP 86 European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986 : proceedings

European Symposium on Programming (1st 1986 Saarbrücken, Germany) B Robinet 1941- (Bernard); R Wilhelm 1946- (Reinhard)

Berlin Springer-Verlag New York c1986

Localização: EPBC - Esc. Politécnica-Bib Central    (004.43 P943 1. ) e outros locais(Acessar)

2
Programming languages and systems 8th European Symposium on Programming, ESOP'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
Programming languages and systems 8th European Symposium on Programming, ESOP'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

Programming languages and systems 8th European Symposium on Programming, ESOP'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

European Symposium on Programming (8th 1999 Amsterdam, Netherlands) S. Doaitse Swierstra; ETAPS'99 (1999 Amsterdam, Netherlands)

Berlin New York Springer 1999

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

3
Static analysis 6th international symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings
Static analysis 6th international symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Static analysis 6th international symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings

International Static Analysis Symposium (6th 1999 Venice, Italy) Agostino Cortesi 1963-; Gilberto Filé 1951-

Berlin Springer New York c1999

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

4
Static analysis 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29-July 1, 2000 : proceedings
Static analysis 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29-July 1, 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Static analysis 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29-July 1, 2000 : proceedings

International Static Analysis Symposium (7th 2000 Santa Barbara, Calif.) Jens Palsberg

Berlin Springer New York c2000

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

5
Static analysis 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : proceedings
Static analysis 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Static analysis 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : proceedings

International Static Analysis Symposium (8th 2001 Paris, france) Patrick Cousot 1948-

Berlin Springer New York c2001

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

6
Programming languages and systems 11th European Symposium on Programming, ESOP 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
Programming languages and systems 11th European Symposium on Programming, ESOP 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming languages and systems 11th European Symposium on Programming, ESOP 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings

European Symposium on Programming (11th 2002 Grenoble, France) D Le Métayer (Daniel); ETAPS 2002 (2002 Grenoble, France)

Berlin Springer New York c2002

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

7
Programming languages and systems 10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
Programming languages and systems 10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming languages and systems 10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings

European Symposium on Programming (10th 2001 Genoa, Italy) David Sands 1965-; ETAPS 2001 (2001 Genoa, Italy)

Berlin New York Springer c2001

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

8
Programming languages and systems 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practics [i.e. Practice] of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings
Programming languages and systems 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practics [i.e. Practice] of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming languages and systems 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practics [i.e. Practice] of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings

European Symposium on Programming (16th 2007 Braga, Portugal) Rocco De Nicola; ETAPS 2007 (2007 Braga, Portugal)

Berlin Springer New York 2007

Localização: EPBC - Esc. Politécnica-Bib Central    (004.43 P943 16. ) e outros locais(Acessar)

9
Programming languages and systems 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
Programming languages and systems 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming languages and systems 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings

European Symposium on Programming (13th 2004 Barcelona, Spain) David A Schmidt 1953 May 10-; ETAPS 2004 (2004 Barcelona, Spain)

Berlin Springer New York c2004

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

10
Static analysis 14th international Symposium, SAS 2007, Kongens Lyngby, Denmark August 22-24, 2007 : proceedings
Static analysis 14th international Symposium, SAS 2007, Kongens Lyngby, Denmark August 22-24, 2007 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Static analysis 14th international Symposium, SAS 2007, Kongens Lyngby, Denmark August 22-24, 2007 : proceedings

International Static Analysis Symposium (14th 2007 Lyngby, Denmark) Hanne Riis Nielson 1954; Gilberto Fil e 1951

Berlin Springer c2007

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (818)
  2. Anais de Congresso  (12)
  3. Dissertações  (2)
  4. Artigos  (2)
  5. Mais opções open sub menu

Assunto 

  1. Programming Languages  (809)
  2. Computer Science  (727)
  3. Programming Languages, Compilers, Interpreters  (630)
  4. Compilers  (541)
  5. Programming Techniques  (534)
  6. Software Engineering  (502)
  7. Congresses  (491)
  8. Computers  (473)
  9. Programming  (413)
  10. Electronic Data Processing  (379)
  11. Logics And Meanings Of Programs  (370)
  12. Logic Design  (351)
  13. Computer Logic  (349)
  14. Electronic Digital Computers  (311)
  15. Machine Theory  (273)
  16. Kongress  (271)
  17. Computer Languages  (260)
  18. Electronic Computer Programming  (260)
  19. Computer Program Languages  (258)
  20. Langages De Programmation  (86)
  21. Programmierung  (85)
  22. Programmverifikation  (46)
  23. Programmanalyse  (35)
  24. Programming Languages (Electronic Computers)  (24)
  25. Computer Programming–Congresses  (20)
  26. Statische Analyse  (17)
  27. Programmtransformation  (14)
  28. Linguagem De Programação  (12)
  29. Analyse Statique  (10)
  30. Técnicas De Programação (Congressos)  (9)
  31. Linguagem De Programação  (8)
  32. Metodologia E Técnicas De Computação  (7)
  33. Langage De Programmation  (6)
  34. Engenharia De Software  (5)
  35. Langages De Programmation  (3)
  36. Programmation (Informatique)  (3)
  37. Computadores  (3)
  38. Datenfluss  (3)
  39. Programmverifikation  (2)
  40. Programmanalyse  (2)
  41. Statische Analyse  (2)
  42. Computadores  (2)
  43. Datenfluss  (2)
  44. Kontrollfluss  (2)
  45. Analyse Statique  (2)
  46. Teoria Da Computação  (2)
  47. Programmtransformation  (2)
  48. Kontrollfluss  (2)
  49. Langage De Programmation  (2)
  50. Especificação De Sistemas E Programas  (2)
  51. Programmierung  (1)
  52. Engenharia De Software  (1)
  53. Teoria Da Computação  (1)
  54. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1979  (19)
  2. 1979Até1989  (78)
  3. 1990Até2000  (223)
  4. 2001Até2012  (585)
  5. Após 2012  (309)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (832)
  2. Alemão  (4)
  3. Francês  (2)
  4. Espanhol  (1)
  5. Japonês  (1)
  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.