skip to main content
Idioma:
Mostrar Somente
Refinado por: assunto: Engenharia De Programas remover assunto: Redes E Comunicação De Dados (Congressos) remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Formal approaches to software testing third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers
Formal approaches to software testing third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal approaches to software testing third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers

FATES 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 c2004

Acesso online. A biblioteca também possui exemplares impressos.

2
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 papers
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 papers
Material Type:
Livro 		Adicionar ao Meu Espaço

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 papers

FATES/RV 2006 (2006 Seattle, Wash.) Klaus Havelund; Manuel Nunez; Grigore Rosu; Burkhart Wolff 1962-

Berlin Springer 2006

Localização: IME - Inst. Matemática e Estatística    (S L471c v.4262 )(Acessar)

3
Formal approaches to software testing 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers
Formal approaches to software testing 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers
Formal approaches to software testing 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal approaches to software testing 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers

FATES 2004 (2004 Linz, Austria) Jens Grabowski; Brian Nielsen Ph. D

Berlin Springer New York 2005

Acesso online. A biblioteca também possui exemplares impressos.

4
Formal approaches to software testing 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 revised selected papers
Formal approaches to software testing 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal approaches to software testing 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 revised selected papers

FATES 2005 (2005 Edinburgh, Scotland) Wolfgang Grieskamp 1960; Carsten Weise

Berlin Springer New York c2006

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.3997 ) e outros locais(Acessar)

5
SDL 2005 model driven : 12th international SDL Forum, Grimstad, Norway, June 20-23 2005 : proceedings
SDL 2005 model driven : 12th international SDL Forum, Grimstad, Norway, June 20-23 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

SDL 2005 model driven : 12th international SDL Forum, Grimstad, Norway, June 20-23 2005 : proceedings

SDL Forum (12th 2005 Grimstad, Norway) Andreas Prinz; Rick Reed; Jeanne Reed 1948

Berlin Springer New York c2005

Acesso online. A biblioteca também possui exemplares impressos.

6
E-commerce and web technologies 6th international conference, EC-web 2005, Copenhagen, Denmark, August 23-26, 2005, proceedings
E-commerce and web technologies 6th international conference, EC-web 2005, Copenhagen, Denmark, August 23-26, 2005, proceedings
E-commerce and web technologies 6th international conference, EC-web 2005, Copenhagen, Denmark, August 23-26, 2005, proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

E-commerce and web technologies 6th international conference, EC-web 2005, Copenhagen, Denmark, August 23-26, 2005, proceedings

International Conference on Electronic Commerce and Web Technologies (6th 2005 Copenhagen, Denmark) Kurt Bauknecht 1936; Birgit Pr oll; H Werthner 1954

Berlin Springer New York, NY 2005

Acesso online. A biblioteca também possui exemplares impressos.

7
E-commerce and Web technologies 7th international conference, EC-Web 2006, Krakow, Poland, September 5-7, 2006 : proceedings
E-commerce and Web technologies 7th international conference, EC-Web 2006, Krakow, Poland, September 5-7, 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

E-commerce and Web technologies 7th international conference, EC-Web 2006, Krakow, Poland, September 5-7, 2006 : proceedings

International Conference on Electronic Commerce and Web Technologies (7th 2006 Krak ow, Poland) Kurt Bauknecht 1936; Birgit Pr oll; H Werthner 1954

Berlin Springer New York, NY c2006

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.4082 ) e outros locais(Acessar)

8
Innovative Internet community systems 5th international workshop, IICS 2005, Paris, France, June 20-22, 2005 revised papers
Innovative Internet community systems 5th international workshop, IICS 2005, Paris, France, June 20-22, 2005 revised papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Innovative Internet community systems 5th international workshop, IICS 2005, Paris, France, June 20-22, 2005 revised papers

IICS 2005 (2005 Paris, France) Alain Bui; Marc Bui; Thomas Böhme 1957-; Herwig Unger 1966-

Berlin Springer New York c2006

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.3908 ) e outros locais(Acessar)

9
Quality of service in multiservice IP networks third international workshop, QoS-IP 2005, Catania, Italy, February 2-4 2005 : proceedings
Quality of service in multiservice IP networks third international workshop, QoS-IP 2005, Catania, Italy, February 2-4 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Quality of service in multiservice IP networks third international workshop, QoS-IP 2005, Catania, Italy, February 2-4 2005 : proceedings

QoS-IP 2005 (2005 Catania, Italy) Giuseppe Bianchi; Marco Listanti; Michela Meo; M Ajmone Marsan

Berlin Springer New York 2005

Acesso online. A biblioteca também possui exemplares impressos.

10
SDL 2007 design for dependable systems : 13th International SDL Forum, Paris France, September 18-21, 2007 : proceedings
SDL 2007 design for dependable systems : 13th International SDL Forum, Paris France, September 18-21, 2007 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

SDL 2007 design for dependable systems : 13th International SDL Forum, Paris France, September 18-21, 2007 : proceedings

SDL Forum (13th 2007 Paris, France) Emmanuel Gaudin; Elie Najm; Rick Reed; LINK (Online service)

Berlin Springer New York c2007

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.4745 ) e outros locais(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (5)

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.