Resultados de 1 a 10 de 24 para Busca Geral
- Recursos Online (3)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Reliable software technologies Ada-Europe 2001 : 6th Ada-Europe International Conference on Reliable Software Technologies, Leuven, Belgium, May 14-18, 2001 : proceedingsAda-Europe International Conference (6th 2001 Louvain, Belgium) Dirk Craeynest 1957-; Alfred Strohmeier 1946-Berlin Springer New York 2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2043 ) e outros locais(Acessar) |
| 2 |
Material Type: Livro
|
|
The Munich Project CIPFriedrich Ludwig Bauer 1924-; CIP Language GroupBerlin New York Springer-Verlag c1985-c1987Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.183 ex.1 ) e outros locais(Acessar) |
| 3 |
Material Type: Livro
|
|
Concepts in user interfaces a reference model for command and response languagesDavid Beech 1933-; IFIP Working Group 2.7Berlin New York Springer-Verlag c1986Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.234 ex.1 ) e outros locais(Acessar) |
| 4 |
Material Type: Livro
|
|
Testing techniques in software engineering second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3 - 7, 2007 ; revised lecturesPaulo Borba; Ana Cavalcanti; Augusto Sampaio; Jim Woodcock; Pernambuco Summer School on Software Engineering 2007 Recife; PSSE (2 2007.12.03-07 Recife); Pernambuco Summer School on Software Engineering (2 2007.12.03-07 Recife)Berlin u.a. Springer 2010Acesso online. A biblioteca também possui exemplares impressos. |
| 5 |
Material Type: Livro
|
|
Object-oriented technology ECOOP'99 workshop reader : ECOOP'99 workshops, panels, and posters, Lisbon, Portugal, June 14-18, 1999 : proceedingsECOOP'99 Workshops (1999 Lisbon, Portugal) Ana M. D Moreira; Serge DemeyerGoos, G., ed.; Hartmanis, J., ed.; Leeuwen, J. Van, ed Lecture notes in computer science Berlin : Springer-Verlag, c1985-Berlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1743 e.1 ) e outros locais(Acessar) |
| 6 |
Material Type: Livro
|
|
ESEC '87 1st European Software Engineering Conference, Strasbourg, France, September 9-11, 1987 : proceedingsEuropean Software Engineering Conference (1st. 1987 Strasbourg, France) H. K Nichols (Howard K.); D Simpson 1942- (Dan)Berlin Springer-Verlag New York c1987Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.289 ex.1 ) e outros locais(Acessar) |
| 7 |
Material Type: Livro
|
|
Software engineering-ESEC/FSE'97European Software Engineering Conference, ESEC'97, 6 1997 Zurich Mehdi Jazayeri; Helmut Schauer; ACM SIGSOFT Symposium on the Foundations of Software Engineering, FSE'97, 5Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1997Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.1301 )(Acessar) |
| 8 |
Material Type: Livro
|
|
Formal Foundations for Software Engineering MethodsHeinrich HussmannSpringer Berlin Heidelberg 1997Acesso online. A biblioteca também possui exemplares impressos. |
| 9 |
Material Type: Livro
|
|
Mobile and wireless communications networks IFIP- TC6/European Commission Networking 2000 International Workshop, MWCN 2000 : Paris, France, May 16-17, 2000 : proceedingsIFIP-TC6/European Union Networking 2000 International Workshop (2000 Paris, France) Cambyse Guy Omidyar 1944-Berlin Springer New York c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1818 ) e outros locais(Acessar) |
| 10 |
Material Type: Livro
|
|
High performance computing and networking 8th international conference, HPCN Europe, 2000, Amsterdam, The Netherlands, may 8-10, 2000 : proceedingsInternational Conference and Exhibition on High-Performance Computing and Networking (8th 2000 Amsterdam, Netherlands) Marian BubakBerlin Springer New York 2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1823 ) e outros locais(Acessar) |
Resultados de 1 a 10 de 24 para Busca Geral
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (3)
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)
- Ciência Da Computação (Conferências) (1)
- Teste De Software (1)
- Flipped Classroom (1)
- Logística (Design) (1)
- Cip-S (Computer System) (1)
- Kongress (1)
- Testen (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)
- Borba, P (1)
- Nichols, H (1)
- Jazayeri, M (1)
- Rovan, B (1)
- Souza, S (1)
- Moreira, A (1)
- CIP Language Group (1)
- Westfechtel, B (1)
- Workshop on the Principles and Practice of Constraint Programming (1)
- Ruzicka, P (1)
- Privara, I (1)
- Paschoal, L (1)
- Hussmann, H (1)
- European Software Engineering Conference (1)
- ECOOP'99 Workshops (1)
- Simpson, D (1)
- International Conference on Computer-Aided Verification, C (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 (2)
-
Mais opções
Biblioteca
Idioma
- Inglês (22)
- Português (2)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 