skip to main content
Idioma:
Resultados 1 2 3 next page
Mostrar Somente
Refinado por: Biblioteca: IME - Inst. Matemática e Estatística remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Formal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings
Formal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings

International Conference on Formal Engineering Methods (7th 2005 Manchester, England) K.-K Lau (Kung-Kiu) 1953; Richard Banach

Berlin Springer New York c2005

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

2
Formal methods and software engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006 Macao, China, November 1-3, 2006 : proceedings
Formal methods and software engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006 Macao, China, November 1-3, 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods and software engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006 Macao, China, November 1-3, 2006 : proceedings

International Conference on Formal Engineering Methods (8th 2006 Macau, China) Zhiming Liu 1961; Jifeng He 1943

Berlin Springer New York c2006

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

3
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)

4
FST TCS 2001, Foundations of Software Technology and Theoretical Computer Science 21st conference, Bangalore, India, December 13-15, 2001 : proceedings
FST TCS 2001, Foundations of Software Technology and Theoretical Computer Science 21st conference, Bangalore, India, December 13-15, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

FST TCS 2001, Foundations of Software Technology and Theoretical Computer Science 21st conference, Bangalore, India, December 13-15, 2001 : proceedings

Conference on Foundations of Software Technology and Theoretical Computer Science (21th 2001 Bangalore, India) Ramesh Hariharan; Madhavan Mukund; V Vinay

Berlin Springer New York c2001

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

5
Pattern-oriented software architecture v. 4 A pattern language for distributed computing
Pattern-oriented software architecture v. 4 A pattern language for distributed computing
Material Type:
Livro 		Adicionar ao Meu Espaço

Pattern-oriented software architecture v. 4 A pattern language for distributed computing

Frank Buschmann Kevlin Henney; Douglas C Schmidt

Chichester, England John Wiley Hoboken, NJ c2007

Localização: IME - Inst. Matemática e Estatística    (QA754.6 B977p )(Acessar)

6
Formal methods applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers
Formal methods applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers

International Workshop on Formal Methods for Industrial Critical Systems (11th 2006 Bonn, Germany) Lub eos Brim; Boudewijn R Haverkort; Martin Leucker; Jaco van de Pol; PDMC 2006 (2006 Bonn, Germany)

Berlin Springer New York c2007

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

7
Software engineering techniques applied to agricultural systems an object-oriented and UML approach
Software engineering techniques applied to agricultural systems an object-oriented and UML approach
Material Type:
Livro 		Adicionar ao Meu Espaço

Software engineering techniques applied to agricultural systems an object-oriented and UML approach

Petraq J Papajorgji P. M Pardalos (Panos M.) 1954-

New York, NY Springer c2006

Localização: IME - Inst. Matemática e Estatística    (QA754.4 P213s )(Acessar)

8
Using UML software engineering with objects and components
Using UML software engineering with objects and components
Material Type:
Livro 		Adicionar ao Meu Espaço

Using UML software engineering with objects and components

Perdita Stevens R. J Pooley

Harlow, England Addison-Wesley 2006

Localização: IME - Inst. Matemática e Estatística    (QA754.4 S845u )(Acessar)

9
Formal methods for industrial critical systems 12th international workshop, FMICS 2007, Berlin Germany, July 1-2, 2007
Formal methods for industrial critical systems 12th international workshop, FMICS 2007, Berlin Germany, July 1-2, 2007
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods for industrial critical systems 12th international workshop, FMICS 2007, Berlin Germany, July 1-2, 2007

International Workshop on Formal Methods for Industrial Critical Systems (12th 2007 Berlin, Germany) Stefan Leue; Pedro Merino

Berlin Springer London 2008

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

10
Generative programming and component engineering Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004 : proceedings
Generative programming and component engineering Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Generative programming and component engineering Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004 : proceedings

GPCE 2004 (2004 Vancouver, B.C.) G abor Karsai; Eelco Visser

Berlin Springer New York c2004

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

Resultados 1 2 3 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (6)

Data de Publicação 

De até
Refinar
  1. Antes de1999  (1)
  2. 1999Até2000  (1)
  3. 2001Até2002  (2)
  4. 2003Até2004  (5)
  5. Após 2004  (16)
  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.