skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: assunto: Técnicas De Programação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Proving programs correct
Proving programs correct
Material Type:
Livro 		Adicionar ao Meu Espaço

Proving programs correct

Robert Brockett Anderson 1941-

New York Wiley c1979

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

2
An introduction to computer science an algorithmic approach
An introduction to computer science an algorithmic approach
Material Type:
Livro 		Adicionar ao Meu Espaço

An introduction to computer science an algorithmic approach

Jean-Paul Tremblay 1938- Richard B Bunt 1946-

New York McGraw-Hill c1981

Localização: IME - Inst. Matemática e Estatística    (QA720.1 T789i Short.ed. )(Acessar)

3
Paragon a language using type hierarchies for the specification, implementation, and selection of abstract data types
Paragon a language using type hierarchies for the specification, implementation, and selection of abstract data types
Material Type:
Livro 		Adicionar ao Meu Espaço

Paragon a language using type hierarchies for the specification, implementation, and selection of abstract data types

Mark Steven Sherman

Berlin New York Springer-Verlag c1985

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

4
Programming in occam
Programming in occam
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming in occam

Geraint Jones 1957-

Englewood Cliffs, N.J. Prentice-Hall International c1987

Localização: IME - Inst. Matemática e Estatística    (QA733 J771p )(Acessar)

5
Algebraic Specification Techniques in Object Oriented Programming Environments
Algebraic Specification Techniques in Object Oriented Programming Environments
Algebraic Specification Techniques in Object Oriented Programming Environments
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic Specification Techniques in Object Oriented Programming Environments

Ruth Breu

Springer Berlin Heidelberg 1991

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

6
Parallel Execution of Parlog
Parallel Execution of Parlog
Parallel Execution of Parlog
Material Type:
Livro 		Adicionar ao Meu Espaço

Parallel Execution of Parlog

Andrew Cheese

Springer Berlin Heidelberg 1992

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

7
Compositional data objects the IMC/IMCL reference manual
Compositional data objects the IMC/IMCL reference manual
Material Type:
Livro 		Adicionar ao Meu Espaço

Compositional data objects the IMC/IMCL reference manual

Reiner Durchholz Gernot Richter

Chichester New York Wiley c1992

Localização: IME - Inst. Matemática e Estatística    (QA754.4 D953c )(Acessar)

8
The logic of typed feature structures with applications to unification grammars, logic programs, and constraint resolution
The logic of typed feature structures with applications to unification grammars, logic programs, and constraint resolution
Material Type:
Livro 		Adicionar ao Meu Espaço

The logic of typed feature structures with applications to unification grammars, logic programs, and constraint resolution

Bob Carpenter

Cambridge Cambridge University Press New York 1992

Localização: IME - Inst. Matemática e Estatística    (QA754 C295L )(Acessar)

9
Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993
Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993
Material Type:
Livro 		Adicionar ao Meu Espaço

Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993

Symposium on Logic in Computer Science (8th 1993 Montreal, Canada) ACM Special Interest Group for Automata and Computability Theory; IEEE Computer Society Technical Committee on Mathematical Foundations of Computing

Los Alamitos, Calif. IEEE Computer Society Press c1993

Localização: EPBC - Esc. Politécnica-Bib Central    (004.42 Ie2L 8. )(Acessar)

10
Functional programming, concurrency, simulation and automated reasoning international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada
Functional programming, concurrency, simulation and automated reasoning international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada
Material Type:
Livro 		Adicionar ao Meu Espaço

Functional programming, concurrency, simulation and automated reasoning international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada

Peter E Lauer 1934-

Berlin New York Springer-Verlag c1993

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.693 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.   

Refinar Meus Resultados

Assunto 

  1. Object-Oriented Programming (Computer Science)  (36)
  2. Programação Orientada A Objetos  (28)
  3. Computer Software  (17)
  4. Linguagem De Programação  (12)
  5. Parallel Programming (Computer Science)  (9)
  6. Java (Computer Program Language)  (9)
  7. Inteligência Artificial  (9)
  8. Computer Science  (9)
  9. Software Engineering  (8)
  10. Técnicas De Programação  (7)
  11. Computer Programming  (7)
  12. Técnicas De Programação  (7)
  13. Object-Oriented Methods (Computer Science)  (7)
  14. Metodologia E Técnicas De Computação  (6)
  15. Arquitetura De Software  (6)
  16. Machine Theory  (5)
  17. Uml (Computer Science)  (5)
  18. Programação Orientada Por Objetos  (5)
  19. Especificação De Sistemas E Programas  (5)
  20. Functional Programming (Computer Science)  (4)
  21. Programação Concorrente  (4)
  22. Objektorientierte Programmierung  (4)
  23. Programação Funcional  (4)
  24. Artificial Intelligence  (4)
  25. Kongress  (4)
  26. Congresses  (4)
  27. Software Patterns  (4)
  28. Arquitetura E Organização De Computadores  (4)
  29. Programming Techniques  (4)
  30. Data Structures (Computer Science)  (4)
  31. Logische Programmierung  (3)
  32. Mathematical Logic And Formal Languages  (3)
  33. Mathematical Logic  (3)
  34. E-Book Springer Lncs  (3)
  35. Software Engineering/programming And Operating Systems  (3)
  36. Programação Orientada A Objetos  (2)
  37. Informatique  (2)
  38. Compilers  (2)
  39. Computers  (2)
  40. Kunstmatige Intelligentie  (2)
  41. Computer Logic  (2)
  42. Linguagem De Programação  (2)
  43. Objektorientierte Programmierung  (1)
  44. Computer Software  (1)
  45. Software Patterns  (1)
  46. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1992  (5)
  2. 1992Até1996  (9)
  3. 1997Até2002  (32)
  4. 2003Até2008  (36)
  5. Após 2008  (8)
  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.