Resultados de 1 a 10 de 107 para Busca Geral
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
- Recursos Online (1)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
IBM 360: Programming and computingJames T. Golden Richard M LeichusEnglewood Cliffs, N.J. Prentice-Hall 1967Localização: EPBC - Esc. Politécnica-Bib Central (004.42 G565i ) e outros locais(Acessar) |
| 2 |
Material Type: Livro
|
|
Introdução à programação de computadoresRudd A. Crawford David H CoppPorto Alegre, Brazil Editora Globo 1974Localização: FE - Faculdade de Educação (001.642 C899i ) e outros locais(Acessar) |
| 3 |
Material Type: Livro
|
|
Modular Specification and Verification of Object-Oriented ProgramsPeter MüllerSpringer Berlin Heidelberg 2002Acesso online. A biblioteca também possui exemplares impressos. |
| 4 |
Material Type: Artigo de Congresso
|
|
Using real code to teach good programming practicesRafael Serapilha Durelli Renato Cordeiro; Alfredo Goldman; Brazilian Symposium on Software Quality - SBQS (21. 2022 Curitiba, PR)Proceedings New York : ACM, 2022New York ACM 2022Localização: IME - Inst. Matemática e Estatística (PROD-3122654 )(Acessar) |
| 5 |
Material Type: Livro
|
|
Padrões de projeto soluções reutilizáveis de software orientado a objetosErich Gamma; Luiz A. Meirelles Salgado; Fabiano Borges PauloPorto Alegre Bookman 2008, 2000Localização: EACH - Esc. Artes, Ciências e Humanidades (005.1 P124 2008 e.4 ) e outros locais(Acessar) |
| 6 |
Material Type: Livro
|
|
Engenharia de software os paradigmas clássico & orientado a objetosStephen R. Schach Ariovaldo GriesiSão Paulo McGraw-Hill 2009Localização: ICMC - Inst. Ciên. Mat. Computação (68P15.45 S291es.7 e.1 ) e outros locais(Acessar) |
| 7 |
Material Type: Livro
|
|
Formal software development methods proceedingsVdm-Europe Symposium, 4, Noordwijkerhout, 1991 Soren Prehn; Hans ToetenelBerlin SpringerLocalização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.552 e.1 v.2 ) e outros locais(Acessar) |
| 8 |
Material Type: Livro
|
|
Vdm the way ahead proceedingsVdm-Europe Symposium, 2., Dublin, 1988 Robin E BloomfieldBerlin Springer 1988Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.328 ex.1 ) e outros locais(Acessar) |
| 9 |
Material Type: Livro
|
|
Vdm a formal method at work proceedingsVdm-Europe Symposium, 1., Brussels, 1987 Dines BjornerBerlin Springer 1987Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.252 ex.1 ) e outros locais(Acessar) |
| 10 |
Material Type: Livro
|
|
Software quality - ECSQ 2002 7th European Conference on Software Quality, Helsinki, Finland, June 9-13, 2002 ; proceedingsJ Kontio; Reidar ConradiBerlin Springer 2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2349 ) e outros locais(Acessar) |
Resultados de 1 a 10 de 107 para Busca Geral
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (1)
Refinar Meus Resultados
Tipo de Recurso
- Livros (97)
- Produções Acadêmicas (6)
- Artigos (4)
-
Mais opções
Assunto
- Metodologia E Técnicas De Computação (57)
- Linguagem De Programação (28)
- Técnicas De Programação (25)
- Técnicas De Programação (Congressos) (19)
- Metodologia E Técnicas De Programação (18)
- Computer Software (14)
- Softwares (12)
- Programação Concorrente (10)
- Metodologia E Técnicas De Programação (Congressos) (10)
- Programação Orientada A Objetos (Congressos) (10)
- Computação Aplicada (8)
- Programação Orientada A Objetos (8)
- Teoria Da Computação (8)
- Ciência Da Computação (8)
- Software Engineering (7)
- Engenharia De Programas (7)
- Electronic Digital Computers (7)
- Sistemas Operacionais (6)
- Object-Oriented Programming (Computer Science) (6)
- Engenharia De Software–Congressos (5)
-
Mais opções
Autor/Criador
- Compass Workshop (4)
- Workshop on Specification of Abstract Data Types (4)
- Souza, S (3)
- Nierstrasz, O (3)
- European Conference on Object-Oriented Programming (3)
- Vdm-Europe Symposium (3)
- Santos, J (2)
- Bjorner, D (2)
- Gornostaev, J (2)
- Johnson, R (2)
- Ramalho, J (2)
- Bauer, F (2)
- Salgado, L (2)
- International Conference on Human-Computer Interaction (2)
- International Symposium on Design and Implementation of Symbolic Computation Systems (2)
- Tokoro, M (2)
- Blumenthal, B (2)
- Jones, C (2)
- Barbosa, E (2)
- Buschmann, F (2)
-
Mais opções
Data de Publicação
- Antes de1984 (9)
- 1984Até1990 (29)
- 1991Até1998 (37)
- 1999Até2006 (21)
- Após 2006 (18)
-
Mais opções
Biblioteca
- IME - Inst. Matemática e Estatística (80)
- ICMC - Inst. Ciên. Mat. Computação (72)
- EPBC - Esc. Politécnica-Bib Central (17)
- IFSC - Inst. Física de São Carlos (14)
- FMRP - Fac. Medicina de Ribeirão Preto (12)
- EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (7)
- IF - Instituto de Física (7)
- FEA - Fac. Econ. Adm. Contab. e Atuária (7)
- FEARP - Fac. Econ. Adm. Cont. de R. Preto (6)
- FOB - Fac. Odontologia de Bauru (6)
- EACH - Esc. Artes, Ciências e Humanidades (5)
- EERP - Esc. Enfermagem Ribeirão Preto (5)
- IAG - Inst. Ast. Geo. Ciên. Atmosféricas (4)
- FZEA - Fac. Zoot. Eng. de Alimentos (4)
- FO - Faculdade de Odontologia (3)
- CDCC - Cent. Div. Científica e Cultural (3)
- FFCLRP - Fac. Fil. Ciên. Let. de R. Preto (3)
- IGC - Instituto de Geociências (2)
- IO - Instituto Oceanográfico (2)
- FE - Faculdade de Educação (2)
-
Mais opções
Idioma
- Inglês (74)
- Português (33)
-
Mais opções
Nome da Publicação
- Proceedings (3)
- Anais (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 