Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
SOFSEM 2006 theory and practice of computer science : 32nd conference on current trends in theory and practice of computer science, M e r in, Czech Republic, January 21-27, 2006 : proceedingsSOFSEM (Conference) (32nd 2006 Merin, Czech Republic) J Wiedermann (Juraj); Gerard Tel; Jaroslav Pokorný; Mária Bieliková; Július StullerBerlin Springer c2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3831 ) e outros locais(Acessar) |
2 |
Material Type: Livro
|
![]() |
Software architecture 2nd European workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005 proceedingsEWSA 2005 (2005 Pisa, Italy) Flavio Oquendo 1958; R Morrison (Ronald) 1946Berlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
3 |
Material Type: Livro
|
![]() |
Computer aided verification 16th international conference, CAV 2004, Boston, MA, USA, July 13-17 2004 ; proceedingsCAV (Conference) (16th 2004 Boston, MA) Rajeev Alur 1966; Doron Peled 1962Berlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
4 |
Material Type: Livro
|
![]() |
Quality of software architectures and software quality First International Conference on the Quality of Software Architectures QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005 ; proceedingsInternational Conference on the Quality of Software Architectures (1st 2005 Erfurt, Germany) Ralf Reussner; International Workshop on Software Quality (2nd 2005 Erfurt, Germany)Berlin Springer New York c2005Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3712 ) e outros locais(Acessar) |
5 |
Material Type: Livro
|
![]() |
Computer safety, reliability, and security 24th international conference, SAFECOMP 2005, Fredrikstad, Norway September 28-30, 2005 : proceedingsInternational Conference on Computer Safety, Reliability, and Security (24th 2005 Fredrikstad, Norway) Rune Winther; Bj rn Axel Gran; Gustav DahllBerlin Springer New York 2005Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3688 ) e outros locais(Acessar) |
6 |
Material Type: Livro
|
![]() |
Evolutionary Programming VII: 7th International Conference, EP98 San Diego, California, USA, March 25–27, 1998 ProceedingsPorto, V. W ; Saravanan, N ; Waagen, D ; Eiben, A. E Saravanan, N. ; Waagen, D. ; Porto, V. W. ; Eiben, A. E.Berlin, Heidelberg: Springer Berlin Heidelberg 1998Texto completo disponível |
7 |
Material Type: Livro
|
![]() |
UbiComp 2002: Ubiquitous Computing: 4th International Conference Göteborg, Sweden, September 29 – October 1, 2002 ProceedingsBorriello, Gaetano ; Holmquist, Lars Erik Borriello, Gaetano ; Holmquist, Lars ErikBerlin, Heidelberg: Springer Berlin Heidelberg 2002Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
Foundations of Software Technology and Theoretical Computer Science: 18th Conference, Chennai, India, December 17-19, 1998. ProceedingsGoos, Gerhard ; Hartmanis, Juris ; van Leeuwen, Jan Arvind, Vikraman ; Ramanujam, SundarBerlin, Heidelberg: Springer Berlin / Heidelberg 1998Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
Machines, Computations, and Universality: Third International Conference, MCU 2001 ChişinĂu, Moldova, May 23–27, 2001 ProceedingsMargenstern, Maurice ; Rogozhin, Yurii Margenstern, Maurice ; Rogozhin, YuriiBerlin, Heidelberg: Springer Berlin Heidelberg 2001Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
Process-Aware Information Systems: Bridging People and Software Through Process TechnologyDumas, Marlon ; van der Aalst, Wil M ; ter Hofstede, Arthur HNewark: John Wiley & Sons, Incorporated 2005Texto completo disponível |