skip to main content
previous page 3 4 Resultados 5 6 7 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
41
Abstract compositional analysis of iterated relations a structural approach to complex state transition systems
Material Type:
Livro
Adicionar ao Meu Espaço

Abstract compositional analysis of iterated relations a structural approach to complex state transition systems

Frédéric Geurts

Berlin Springer New York c1998

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

42
Abstract data types their specification, representation, and use
Material Type:
Livro
Adicionar ao Meu Espaço

Abstract data types their specification, representation, and use

Pete Thomas (Peter G.) Hugh Robinson; Judy Emms

Oxford Clarendon Press New York Oxford University Press 1988

Localização: IME - Inst. Matemática e Estatística    (QA758 T461a )(Acessar)

43
Material Type:
Livro
Adicionar ao Meu Espaço

Abstract software specifications proceedings

Winter School on Abstract Software Specifications(1979 : Copenhagen) Dines Bjorner

Berlin Springer 1980

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.86 ex.1 ) e outros locais(Acessar)

44
Abstract state machines 2004 advances in theory and practice : 11th international workshop, ASM 2004 Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Abstract state machines 2004 advances in theory and practice : 11th international workshop, ASM 2004 Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings

ASM 2004 (2004 Wittenberg, Saxony-Anhalt, Germany) Wolf Zimmermann; B Thalheim (Bernhard) 1952

Berlin Springer New York c2004

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

45
Abstraction and specification in program development
Material Type:
Livro
Adicionar ao Meu Espaço

Abstraction and specification in program development

B. Liskov John Guttag

Cambridge, Mass. MIT Press New York McGraw-Hill c1986

Localização: ICMC - Inst. Ciên. Mat. Computação    (68N30.05 L769a e.1 ) e outros locais(Acessar)

46
Abstraction, reformulation, and approximation 5th international symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Abstraction, reformulation, and approximation 5th international symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002 : proceedings

SARA 2002 (2002 Kananaskis, Alta.) Sven Koenig 1964-; Robert C Holte

Berlin Springer New York c2002

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

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

48
Abstraction, reformulation, and approximation 7th international symposium, SARA 2007, Whistler, Canada, July 18-21 2007 ; proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Abstraction, reformulation, and approximation 7th international symposium, SARA 2007, Whistler, Canada, July 18-21 2007 ; proceedings

SARA 2007 (2007 Whistler, Canada) Ian Miguel; Wheeler Ruml

Berlin Springer 2007

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

49
Accurate scientific computations proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Accurate scientific computations proceedings

Symposium on Accurate Scientific Computations (1985 : Bad Neuenahr) Willard L Miranker; Richard A Toupin

Berlin Springer 1986

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.235 ex.1 ) e outros locais(Acessar)

50
The ACE programmer's guide practical design patterns for network and systems programming
Material Type:
Livro
Adicionar ao Meu Espaço

The ACE programmer's guide practical design patterns for network and systems programming

Stephen D. Huston James C. E Johnson; Umar Syyid; Douglas C Schmidt

Boston Addison-Wesley c2004

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

previous page 3 4 Resultados 5 6 7 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (878)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (4.953)
  2. Artigos  (333)
  3. Produções Acadêmicas  (34)
  4. Revistas  (27)
  5. Audiovisuais  (6)
  6. Produções Técnicas  (5)
  7. Outros  (5)
  8. Software  (2)
  9. Recursos Textuais  (1)
  10. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1971  (74)
  2. 1971Até1983  (491)
  3. 1984Até1996  (1.490)
  4. 1997Até2010  (3.005)
  5. Após 2010  (305)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (5.326)
  2. Português  (26)
  3. Alemão  (16)
  4. Francês  (11)
  5. Indeterminado  (2)
  6. Sueco  (1)
  7. Vários idiomas  (1)
  8. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.