skip to main content
Idioma:
previous page 1 Resultados 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Engenharia De Programas remover
Result Number Material Type Add to My Shelf Action Record Details and Options
11
Formal methods for components and objects first international symposium, FMCO 2003, Leiden, the Netherlands November 4-7, 2003 : revised lectures
Formal methods for components and objects first international symposium, FMCO 2003, Leiden, the Netherlands November 4-7, 2003 : revised lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods for components and objects first international symposium, FMCO 2003, Leiden, the Netherlands November 4-7, 2003 : revised lectures

FMCO 2003 (2003 Leiden, Netherlands) Marcello M Bonsangue; Susanne Graf; Willem-Paul de Roever; Frank S. de Boer

Berlin Springer-Verlag New York c2004

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

12
Algebraic methodology and software technology 6th international conference, AMAST '97, Sydney, Australia, December 13-17, 1997 : proceedings
Algebraic methodology and software technology 6th international conference, AMAST '97, Sydney, Australia, December 13-17, 1997 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic methodology and software technology 6th international conference, AMAST '97, Sydney, Australia, December 13-17, 1997 : proceedings

Michael Johnson; International Conference on Algebraic Methodology and Software Technology (6th 1997 Sydney, Australia)

Berlin Springer-Verlag New York c1997

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

13
Formal methods for mobile computing 5th International School on Formal Methods for the Design of Computer Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy April 26-30, 2005 : advanced lectures
Formal methods for mobile computing 5th International School on Formal Methods for the Design of Computer Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy April 26-30, 2005 : advanced lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods for mobile computing 5th International School on Formal Methods for the Design of Computer Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy April 26-30, 2005 : advanced lectures

International School on Formal Methods for the Design of Computer Communication, and Software Systems (5th 2005 Bertinoro, Italy) Marco Bernardo; Alessandro Bogliolo

Berlin Springer New York 2005

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

14
Formal techniques for computer systems and business processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles France, September 1-3, 2005 : proceedings
Formal techniques for computer systems and business processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles France, September 1-3, 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal techniques for computer systems and business processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles France, September 1-3, 2005 : proceedings

EPEW (2005 Versailles, France) Mario Bravetti; Le ila Kloul; Gianluigi Zavattaro; International Workshop on Web Services and Formal Methods (2005 Versailles, France)

Berlin Springer New York c2005

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

15
Concurrency, graphs and models essays dedicated to Ugo Montanari on the occasion of his 65th birthday
Concurrency, graphs and models essays dedicated to Ugo Montanari on the occasion of his 65th birthday
Material Type:
Livro 		Adicionar ao Meu Espaço

Concurrency, graphs and models essays dedicated to Ugo Montanari on the occasion of his 65th birthday

Ugo Montanari; Pierpaolo Degano 1950-; Rocco De Nicola; José Meseguer

Berlin Springer New York c2008

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

16
Abstraction, reformulation and approximation 6th international symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005 ; proceedings
Abstraction, reformulation and approximation 6th international symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005 ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Abstraction, reformulation and approximation 6th international symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005 ; proceedings

SARA 2005 (6th 2005 Airth, Scotland) Jean-Daniel Zucker; L Saitta (Lorenza) 1944

Berlin Springer New York c2005

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

17
Formal methods for components and objects third international symposium, FMCO 2004, Leiden, the Netherlands November 2-5, 2004 : revised lectures
Formal methods for components and objects third international symposium, FMCO 2004, Leiden, the Netherlands November 2-5, 2004 : revised lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods for components and objects third international symposium, FMCO 2004, Leiden, the Netherlands November 2-5, 2004 : revised lectures

FMCO 2004 (2004 Leiden, Netherlands) Marcello M Bonsangue; Susanne Graf; Willem-Paul de Roever; Frank S. de Boer

Berlin Springer New York c2005

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

18
Formal methods and stochastic models for performance evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest Hungary, June 21-22, 2006 : proceedings
Formal methods and stochastic models for performance evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest Hungary, June 21-22, 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods and stochastic models for performance evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest Hungary, June 21-22, 2006 : proceedings

EPEW 2006 (3rd 2006 Budapest, Hungary) Andr as Horv ath 1974; Mikl os Telek

Berlin Springer New York c2006

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

19
Applying formal methods testing, performance, and M/E-commerce : FORTE 2004 workshops TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings
Applying formal methods testing, performance, and M/E-commerce : FORTE 2004 workshops TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Applying formal methods testing, performance, and M/E-commerce : FORTE 2004 workshops TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings

FORTE 2004 (2004 Toledo, Spain) Zakaria Maamar; Fernando L Pelayo; Key Pousttchi; Fernando Rubio; Manuel N u nez Profesor; The FormEMC (1st 2004 Toledo, Spain); EPEW (1st 2004 Toledo, Spain); ITM (1st 2004 Toledo, Spain)

Berlin Springer New York c2004

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

20
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.

previous page 1 Resultados 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (73)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (251)
  2. Artigos  (2)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1994  (6)
  2. 1994Até1997  (34)
  3. 1998Até2003  (17)
  4. 2004Até2008  (190)
  5. Após 2008  (7)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.