skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Engenharia De Software remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
STACS 2000 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 17-19, 2000 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

STACS 2000 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 17-19, 2000 : proceedings

Symposium on Theoretical Aspects of Computer Science (17th 2000 Lille, France) Horst Reichel; Sophie Tison

Berlin Springer New York c2000

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

2
Baltic computer science selected papers
Material Type:
Livro
Adicionar ao Meu Espaço

Baltic computer science selected papers

Barzdin§, ëIìA. M. (ëIìAn Martynovich); D Bjørner 1937- (Dines)

Berlin New York Springer-Verlag c1991

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

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

4
Lectures on formal methods and performance analysis first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures
Material Type:
Livro
Adicionar ao Meu Espaço

Lectures on formal methods and performance analysis first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures

EEF/Euro Summer School on Trends in Computer Science (1st 2000 Berg en Dal, Netherlands) Ed Brinksma; Holger Hermanns 1967-; Joost-Pieter Katoen

Berlin Springer New York c2001

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

5
Mathematical foundations of computer science proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Mathematical foundations of computer science proceedings

Symposium on Mathematical Foundations of Computer Science (19. 1994 Kosice) Peter Ruzicka; Igor Privara; Branislav Rovan

Berlin Springer 1994

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

6
Reflection and Software Engineering
Reflection and Software Engineering
Material Type:
Livro
Adicionar ao Meu Espaço

Reflection and Software Engineering

Walter Cazzola Walter Cazzola; Robert J Stroud; Francesco Tisato

Springer Berlin Heidelberg 2000

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

7
FM'99--formal methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

FM'99--formal methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings

World Congress on Formal Methods in the Development of Computing Systems (1999 Toulouse, France) Jeannette Marie Wing; Jim Woodcock; Jim Davies 1964-

Berlin Springer New York c1999

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

8
A Systematic Catalogue of Reusable Abstract Data Types
A Systematic Catalogue of Reusable Abstract Data Types
Material Type:
Livro
Adicionar ao Meu Espaço

A Systematic Catalogue of Reusable Abstract Data Types

Jürgen Uhl Hans Albrecht Schmid

Springer Berlin Heidelberg 1990

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

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

10
A Knowledge-Based Approach to Program Understanding
A Knowledge-Based Approach to Program Understanding
Material Type:
Livro
Adicionar ao Meu Espaço

A Knowledge-Based Approach to Program Understanding

Abd-El-Hafiz Victor R Basili

Springer US 1995

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (573)
  2. Recursos Online (40)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (473)
  2. Artigos  (105)
  3. Produções Acadêmicas  (6)
  4. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1980  (25)
  2. 1980Até1989  (61)
  3. 1990Até1999  (209)
  4. 2000Até2010  (210)
  5. Após 2010  (79)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (575)
  2. Português  (7)
  3. Francês  (2)
  4. Sueco  (1)
  5. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.