skip to main content
Refinado por: Biblioteca: IFSC - Inst. Física de São Carlos remover nível superior: Recursos Online remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Formal Foundations for Software Engineering Methods
Formal Foundations for Software Engineering Methods
Material Type:
Livro
Adicionar ao Meu Espaço

Formal Foundations for Software Engineering Methods

Heinrich Hussmann

Springer Berlin Heidelberg 1997

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

2
Models and Tools for Managing Development Processes
Models and Tools for Managing Development Processes
Material Type:
Livro
Adicionar ao Meu Espaço

Models and Tools for Managing Development Processes

Bernhard Westfechtel Juris Hartmanis; Jan van Leeuwen

Springer Berlin Heidelberg 1999

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

3
Building Tightly Integrated Software Development Environments: The IPSEN Approach
Building Tightly Integrated Software Development Environments: The IPSEN Approach
Material Type:
Livro
Adicionar ao Meu Espaço

Building Tightly Integrated Software Development Environments: The IPSEN Approach

Nagl Manfred Nagl

Springer Berlin Heidelberg 1996

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

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

5
Software Frameworks and Embedded Control Systems
Software Frameworks and Embedded Control Systems
Material Type:
Livro
Adicionar ao Meu Espaço

Software Frameworks and Embedded Control Systems

Alessandro Pasetti

Springer Berlin / Heidelberg 2002

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

6
Visual Information Systems
Visual Information Systems
Material Type:
Livro
Adicionar ao Meu Espaço

Visual Information Systems

Clement Leung Clement H. C Leung

Springer Berlin Heidelberg 1997

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

7
Lectures on Proof Verification and Approximation Algorithms
Lectures on Proof Verification and Approximation Algorithms
Material Type:
Livro
Adicionar ao Meu Espaço

Lectures on Proof Verification and Approximation Algorithms

Ernst W. Mayr Ernst W Mayr; H. J Prömel; Angelika Steger; G Goos; J Hartmanis; Hans Jürgen Prömel

Springer Berlin Heidelberg 1998

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

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

9
Lectures on Embedded Systems
Lectures on Embedded Systems
Material Type:
Livro
Adicionar ao Meu Espaço

Lectures on Embedded Systems

European Educational Forum School on Embedded Systems Grzegorz Rozenberg; Frits Vaandrager

Springer Berlin Heidelberg 1998

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

10
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Comparing parallel algorithms for Van der Waals energy with cell-list technique for protein structure prediction

Daniel R. F. Bonetti Gesiel Rios Lopes; Alexandre Cláudio Botazzo Delbem; Paulo Sérgio Lopes de Souza; Kalinka Regina Lucas Jaquie Castelo Branco; Gonzalo Travieso; Congresso da Sociedade Brasileira de Computação - CSBC (38. 2018 Natal, RN); Workshop em Desempenho de Sistemas Computacionais e de Comunicação - WPerformance (17. 2018 Natal, RN)

Anais Porto Alegre, RS : Sociedade Brasileira de Computação - SBC, 2018

Porto Alegre, RS Sociedade Brasileira de Computação - SBC 2018

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
  1. Antes de1997  (1)
  2. 1997Até1997  (2)
  3. 1998Até1998  (2)
  4. 1999Até2000  (2)
  5. Após 2000  (3)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.