Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Formal approaches to software testing third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papersFATES 2003 (2003 Montr eal, Qu ebec) Alexandre Petrenko; Andreas Ulrich Dr. Ing; IEEE International Automated Software Engineering Conference (18th 2003 Montr eal, Qu ebec)Berlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Livro
|
![]() |
Formal approaches to software testing and runtime verification first combined international workshops, FATES 2006 and RV 2006, Seattle WA, USA, August 15-16, 2006 ; revised selected papersFATES/RV 2006 (2006 Seattle, Wash.) Klaus Havelund; Manuel Nunez; Grigore Rosu; Burkhart Wolff 1962-Berlin Springer 2006Localização: IME - Inst. Matemática e Estatística (S L471c v.4262 )(Acessar) |
3 |
![]() ![]() ![]() Material Type: Livro
|
![]() |
Formal approaches to software testing 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papersFATES 2004 (2004 Linz, Austria) Jens Grabowski; Brian Nielsen Ph. DBerlin Springer New York 2005Acesso online. A biblioteca também possui exemplares impressos. |
4 |
Material Type: Livro
|
![]() |
Formal approaches to software testing 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 revised selected papersFATES 2005 (2005 Edinburgh, Scotland) Wolfgang Grieskamp 1960; Carsten WeiseBerlin Springer New York c2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3997 ) e outros locais(Acessar) |
5 |
Material Type: Livro
|
![]() |
SDL 2005 model driven : 12th international SDL Forum, Grimstad, Norway, June 20-23 2005 : proceedingsSDL Forum (12th 2005 Grimstad, Norway) Andreas Prinz; Rick Reed; Jeanne Reed 1948Berlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
6 |
![]() ![]() ![]() Material Type: Livro
|
![]() |
E-commerce and web technologies 6th international conference, EC-web 2005, Copenhagen, Denmark, August 23-26, 2005, proceedingsInternational Conference on Electronic Commerce and Web Technologies (6th 2005 Copenhagen, Denmark) Kurt Bauknecht 1936; Birgit Pr oll; H Werthner 1954Berlin Springer New York, NY 2005Acesso online. A biblioteca também possui exemplares impressos. |
7 |
Material Type: Livro
|
![]() |
E-commerce and Web technologies 7th international conference, EC-Web 2006, Krakow, Poland, September 5-7, 2006 : proceedingsInternational Conference on Electronic Commerce and Web Technologies (7th 2006 Krak ow, Poland) Kurt Bauknecht 1936; Birgit Pr oll; H Werthner 1954Berlin Springer New York, NY c2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4082 ) e outros locais(Acessar) |
8 |
Material Type: Livro
|
![]() |
Innovative Internet community systems 5th international workshop, IICS 2005, Paris, France, June 20-22, 2005 revised papersIICS 2005 (2005 Paris, France) Alain Bui; Marc Bui; Thomas Böhme 1957-; Herwig Unger 1966-Berlin Springer New York c2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3908 ) e outros locais(Acessar) |
9 |
Material Type: Livro
|
![]() |
Quality of service in multiservice IP networks third international workshop, QoS-IP 2005, Catania, Italy, February 2-4 2005 : proceedingsQoS-IP 2005 (2005 Catania, Italy) Giuseppe Bianchi; Marco Listanti; Michela Meo; M Ajmone MarsanBerlin Springer New York 2005Acesso online. A biblioteca também possui exemplares impressos. |
10 |
Material Type: Livro
|
![]() |
SDL 2007 design for dependable systems : 13th International SDL Forum, Paris France, September 18-21, 2007 : proceedingsSDL Forum (13th 2007 Paris, France) Emmanuel Gaudin; Elie Najm; Rick Reed; LINK (Online service)Berlin Springer New York c2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4745 ) e outros locais(Acessar) |