Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Software Engineering ESEC/FSE '99: 7th European Software Engineering Conference Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering Toulouse, France, September 6-10, 1999 ProceedingsCarbonell, Jaime G ; Siekmann, Jörg ; Goos, Gerhard Nierstrasz, Oscar ; Lemoine, MichelBerlin, Heidelberg: Springer Berlin / Heidelberg 1999Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
The ITK software guide updated for ITK version 2.4Luis Ibáñez; Insight Software ConsortiumClifton Park, N.Y. Kitware 2005Localização: ICMC - Inst. Ciên. Mat. Computação (68U15.25 I12is.2 e.1 CD-ROM ) e outros locais(Acessar) |
3 |
Material Type: Livro
|
![]() |
Software Engineering — ESEC '95: 5th European Software Engineering Conference Sitges, Spain, September 25–28, 1995 ProceedingsSchäfer, Wilhelm ; Botella, Pere Botella, Pere ; Schäfer, WilhelmBerlin, Heidelberg: Springer Berlin Heidelberg 1995Texto completo disponível |
4 |
Material Type: Livro
|
![]() |
Reliable Software Technologies -- Ada-Europe 2003: 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, ProceedingsRosen, Jean-Pierre ; Strohmeier, Alfred Strohmeier, Alfred ; Rosen, Jean-PierreBerlin, Heidelberg: Springer Berlin / Heidelberg 2003Texto completo disponível |
5 |
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. |
6 |
Material Type: Livro
|
![]() |
Reliable Software Technologies: Ada-Europe 2002 : 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002 : ProceedingsBlieberger, Johann ; Strohmeier, Alfred Strohmeier, Alfred ; Blieberger, JohannBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
7 |
Material Type: Livro
|
![]() |
Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced LecturesBernardo, Marco ; Inverardi, Paola Inverardi, Paola ; Bernardo, MarcoBerlin, Heidelberg: Springer Berlin / Heidelberg 2003Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
FSTTCS 2006: foundations of software technology and theoretical computer science 26th international conference, Kolkata, India December 13-15, 2006 ; proceedingsConference on Foundations of Software Technology and Theoretical Computer Science (26th 2006 Calcutta, India) S Arun-Kumar; Naveen GargBerlin Springer 2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4337 ) e outros locais(Acessar) |
9 |
Material Type: Livro
|
![]() |
Software Engineering — ESEC '93: 4th European Software Engineering Conference Garmisch-Partenkirchen, Germany September 13–17, 1993 ProceedingsSommerville, Ian ; Paul, Manfred Sommerville, Ian ; Paul, ManfredBerlin, Heidelberg: Springer Berlin Heidelberg 1993Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
Software Quality: ECSQ 2002 : Quality Connection : 7th European Conference on Software Quality, Helsinki, Finland, June 9-13, 2002 : ProceedingsKontio, Jyrki ; Conradi, Reidar Kontio, Jyrki ; Conradi, ReidarBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |