skip to main content
Resultados 1 2 3 4 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Modular Specification and Verification of Object-Oriented Programs
Modular Specification and Verification of Object-Oriented Programs
Material Type:
Livro
Adicionar ao Meu Espaço

Modular Specification and Verification of Object-Oriented Programs

Peter Müller

Springer Berlin Heidelberg 2002

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

2
The unified modeling language UML '98 : beyond the notation : First International Workshop, Mulhouse, France, June 3-4, 1998 : selected papers
Material Type:
Livro
Adicionar ao Meu Espaço

The unified modeling language UML '98 : beyond the notation : First International Workshop, Mulhouse, France, June 3-4, 1998 : selected papers

UML '98 (1998 Mulhouse, France) J Bézivin (Jean); Pierre-Alain Muller

Berlin Springer New York c1999

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

3
Systems programming
Material Type:
Livro
Adicionar ao Meu Espaço

Systems programming

John J. Donovan

New York McGraw-Hill 1972

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (004.424 D719s e.3 ) e outros locais(Acessar)

4
Mathematical theory of computation
Material Type:
Livro
Adicionar ao Meu Espaço

Mathematical theory of computation

Zohar Manna

New York McGraw-Hill 1974

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (005.1 M315m ) e outros locais(Acessar)

5
Object modeling with the OCL the rationale behind the Object Constraint Language
Material Type:
Livro
Adicionar ao Meu Espaço

Object modeling with the OCL the rationale behind the Object Constraint Language

Tony Clark Ph. D.; Jos B Warmer

Berlin Springer New York c2002

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

6
UML '99--the unified modeling language beyond the standard : second international conference, Fort Collins, CO, USA, October 28-30, 1999 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

UML '99--the unified modeling language beyond the standard : second international conference, Fort Collins, CO, USA, October 28-30, 1999 : proceedings

UML '99 (1999 Fort Collins, Colo.) Robert France (Robert B.); Bernhard Rumpe

Berlin Springer New York c1999

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

7
Functional and logic programming 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Functional and logic programming 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings

Fuji International Symposium on Functional and Logic Programming (4th 1999 Tsukuba Kenkyåu Gakuen Toshi, Japan) Aart Middeldorp 1963-; Taisuke Satåo

Berlin Springer New York c1999

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

8
Meta-level architectures and reflection Second International Conference, Reflection'99, Saint-Malo, France, July 19-21, 1999 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Meta-level architectures and reflection Second International Conference, Reflection'99, Saint-Malo, France, July 19-21, 1999 : proceedings

Reflection'99 (1999 Saint-Malo, France) Pierre Cointe 1954-

Berlin Springer New York 1999

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

9
UML 2001 the unified modeling language : modeling languages, concepts, and tools : 4th international conference, Toronto, Canada, October 1-5, 2001 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

UML 2001 the unified modeling language : modeling languages, concepts, and tools : 4th international conference, Toronto, Canada, October 1-5, 2001 : proceedings

UML 2001 (2001 Toronto, Ont.) Martin Gogolla 1954-; Cris Kobryn 1952-

Berlin Springer New York c2001

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

10
Metalevel architectures and separation of crosscutting concerns third international conference, Reflection 2001, Kyoto, Japan, September 25-28, 2001 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Metalevel architectures and separation of crosscutting concerns third international conference, Reflection 2001, Kyoto, Japan, September 25-28, 2001 : proceedings

Reflection 2001 (2001 Kyoto, Japan) Akinori Yonezawa; Satoshi Matsuoka

Berlin Springer New York c2001

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

Resultados 1 2 3 4 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (1)

Data de Publicação 

De até
  1. Antes de1987  (3)
  2. 1987Até1992  (4)
  3. 1993Até1998  (6)
  4. 1999Até2002  (15)
  5. Após 2002  (6)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.