skip to main content
Idioma:
Resultados 1 2 3 4 5 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
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)

2
FSTTCS 2006: foundations of software technology and theoretical computer science 26th international conference, Kolkata, India December 13-15, 2006 ; proceedings
FSTTCS 2006: foundations of software technology and theoretical computer science 26th international conference, Kolkata, India December 13-15, 2006 ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

FSTTCS 2006: foundations of software technology and theoretical computer science 26th international conference, Kolkata, India December 13-15, 2006 ; proceedings

Conference on Foundations of Software Technology and Theoretical Computer Science (26th 2006 Calcutta, India) S Arun-Kumar; Naveen Garg

Berlin Springer 2006

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

3
RIMS symposia on software science and engineering, Kyoto, 1982 proceedings
RIMS symposia on software science and engineering, Kyoto, 1982 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

RIMS symposia on software science and engineering, Kyoto, 1982 proceedings

Eiichi Gotåo 1931-; Kyåoto Daigaku Såuri Kaiseki Kenkyåujo; Symposia on Software Science and Engineering (1982 Kyoto)

Berlin Springer-Verlag New York 1983

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

4
Software engineering research, management and applications second international conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004 : selected revised papers
Software engineering research, management and applications second international conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004 : selected revised papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Software engineering research, management and applications second international conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004 : selected revised papers

SERA 2004 (2004 Los Angeles, Calif.) Walter Dosch; R. Y Lee (Roger Y.); Chisu Wu

Berlin Springer New York c2005

Localização: EEL - Engenharia de Materiais    (004.4 D722s ) e outros locais(Acessar)

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

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

7
International Symposium on Fundamentals of Software Engineering international symposium, FSEN 2007, Tehran, Iran April 17-19, 2007 : proceedings
International Symposium on Fundamentals of Software Engineering international symposium, FSEN 2007, Tehran, Iran April 17-19, 2007 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

International Symposium on Fundamentals of Software Engineering international symposium, FSEN 2007, Tehran, Iran April 17-19, 2007 : proceedings

International Symposium on Fundamentals of Software Engineering (2nd 2007 Tehran, Iran) F Arbab (Farhad); Marjan Sirjani

Berlin Springer New York c2007

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

8
Software engineering for multi-agent systems V research issues and practical applications
Software engineering for multi-agent systems V research issues and practical applications
Material Type:
Livro 		Adicionar ao Meu Espaço

Software engineering for multi-agent systems V research issues and practical applications

Alessandro Garcia; Holger Giese; Ho-fung Leung; Carlos Lucena; Alexander Romanovsky 1954-; Ricardo Choren; SELMAS 2006 (2006 Shanghai, China)

Berlin Springer New York c2007

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

9
Component-based software engineering 9th international symposium, CBSE 2006, V aster as, Sweden, June 29 - July 1, 2006 : proceedings
Component-based software engineering 9th international symposium, CBSE 2006, V aster as, Sweden, June 29 - July 1, 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Component-based software engineering 9th international symposium, CBSE 2006, V aster as, Sweden, June 29 - July 1, 2006 : proceedings

CBSE 2006 (2006 V aster as, Sweden) Ian Gorton; George T Heineman; Ivica Crnkovic; Heinz Wilhelm Schmidt; Judith A Stafford; Clemens A Szyperski; Kurt Wallnau

Berlin Springer-Verlag c2006

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

10
Requirements engineering: foundation for software quality 14th international working conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 : proceedings
Requirements engineering: foundation for software quality 14th international working conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Requirements engineering: foundation for software quality 14th international working conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 : proceedings

REFSQ 2008 (2008 Montpellier, France) Barbara Paech; Colette Rolland

Berlin Springer New York c2008

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (45)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (245)
  2. Artigos  (5)
  3. Outros  (1)
  4. Produções Acadêmicas  (1)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1985  (10)
  2. 1985Até1991  (17)
  3. 1992Até1998  (35)
  4. 1999Até2006  (118)
  5. Após 2006  (72)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (251)
  2. Português  (1)
  3. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.