Resultados de 11 a 20 de 25 para Busca Geral
- Recursos Online (3)
- Disponível na Biblioteca (24)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 11 |
Material Type: Livro
|
|
Computer aided verification 11th International Conference, CAV'99, Trento, Italy, july 6-10, 1999 ; proceedingsInternational Conference on Computer-Aided Verification, CAV'99 (11th 1999 Trento, Italy) Nicolas Halbwachs; Doron Peled 1962-Berlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1633 ) e outros locais(Acessar) |
| 12 |
Material Type: Livro
|
|
Proceedings...INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE, SOFTWARE ENGINEERING, INFORMATION TECHNOLOGY, E-BUSINESS, AND APPLICATIONS, 2002, Foz do Iguazu, BrazilMount Pleasant, MI International Association for Computer and Information Science 2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-06 ACIS 2002 e.1 )(Acessar) |
| 13 |
Material Type: Livro
|
|
Fundamental approaches to software engineeringInternational Conference on Fundamental Approaches to Software Engineering, FASE'99, 2 1999 Amsterdam Jean-Pierre Finance; European Joint Conferences on Theory and Practiceof Software, ETAPS'99Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1999Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.1577 )(Acessar) |
| 14 |
Material Type: Livro
|
|
High performance computing - HiPC'99 6th International Conference, Calcutta, India, december 17-20, 1999 : proceedingsInternational Conference on High Performance Computing (6th 1999 Calcutta, India) Prithviraj Banerjee; V. K Prasanna Kumar; Bhabani P Sinha 1952-Berlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1745 e.1 ) e outros locais(Acessar) |
| 15 |
Material Type: Livro
|
|
Touch of class learning to program well with objects and contractsBertrand Meyer 1950-Dordrecht Springer 2009Localização: IFSC - Inst. Física de São Carlos (621.38195 M612t )(Acessar) |
| 16 |
Material Type: Dissertação de Mestrado
|
|
Contribuições ao ensino de teste de software com o modelo flipped classroom e um agente conversacionalPaschoal, Leo NatanBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2019-03-20Acesso online. A biblioteca também possui exemplares impressos. |
| 17 |
Material Type: Dissertação de Mestrado
|
|
MODULO VISUAL: UMA INTERFACE GRAFICA PARA O AMBIENTE DE SIMULACAO AUTOMATICOPedroso Junior, Walter GomesBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 1996-04-25Acesso online. A biblioteca também possui exemplares impressos. |
| 18 |
Material Type: Artigo de Congresso
|
|
Software & systems engineering interplay and the Semat KernelMarcel Jacques Simonette Edison Spina 1958-; European Conference of Computer Science (4. October 29-31, 2013 Paris, France)Recent advances in information science: proceedings Athens: WSEAS Press, 2013 288 p.Athens WSEAS Press 2013Item não circula. Consulte sua biblioteca.(Acessar) |
| 19 |
Material Type: Livro
|
|
High-performance computing and networking 7th international conference, HPCN Europe, 1999, Amsterdam, The Netherlands, April 1999 : proceedingsPeter Sloot 1956-; International Conference and Exhibition on High-Performance Computing and Networking (1998 Amsterdam, Netherlands)Berlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1593 ) e outros locais(Acessar) |
| 20 |
Material Type: Livro
|
|
Mathematical foundations of computer science proceedingsSymposium on Mathematical Foundations of Computer Science (19. 1994 Kosice) Peter Ruzicka; Igor Privara; Branislav RovanBerlin Springer 1994Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.841 e.1 ) e outros locais(Acessar) |
Resultados de 11 a 20 de 25 para Busca Geral
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (3)
- Disponível na Biblioteca (24)
Refinar Meus Resultados
Tipo de Recurso
- Livros (22)
- Produções Acadêmicas (2)
- Artigos (1)
-
Mais opções
Assunto
- Software Engineering (4)
- Metodologia E Técnicas De Computação (3)
- Redes De Computadores (3)
- Electronic Digital Computers (3)
- High Performance Computing (3)
- Computer Science (2)
- Softwares (2)
- Computer Networks (2)
- Teoria Da Computação (2)
- Programming Languages (Electronic Computers) (2)
- Banco De Dados (2)
- Computação Aplicada (1)
- Ciência Da Computação–Educação (1)
- Engenharia De Sistemas De Computação (1)
- Constraint Programming (Computer Science) (1)
- Agente Conversacional (1)
- Não Disponível (1)
- Object-Oriented Programming (Computer Science) (1)
- Ciência Da Computação (0)
-
Mais opções
Autor/Criador
- International Conference and Exhibition on High-Performance Computing and Networking (2)
- Woodcock, J (2)
- Borning, A (1)
- International Conference on Computer Science, S (1)
- Simonette, M (1)
- Jazayeri, M (1)
- Omidyar, C (1)
- Santana, M (1)
- Banerjee, P (1)
- Demeyer, S (1)
- Westfechtel, B (1)
- Workshop on the Principles and Practice of Constraint Programming (1)
- Cavalcanti, A (1)
- Privara, I (1)
- Pedroso Junior, W (1)
- Craeynest, D (1)
- Paschoal, L (1)
- Hussmann, H (1)
- Meyer, B (1)
- Sinha, B (1)
-
Mais opções
Data de Publicação
- Antes de1987 (3)
- 1987Até1995 (4)
- 1996Até1999 (10)
- 2000Até2009 (5)
- Após 2009 (3)
-
Mais opções
Biblioteca
Idioma
- Inglês (23)
- Português (2)
-
Mais opções
Nome da Publicação
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 