skip to main content
Resultados 1 2 3 4 5 next page
Refinado por: Biblioteca: IME - Inst. Matemática e Estatística remover tipo de recurso: Livros remover nível superior: Recursos Online remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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.

2
Mathematical Aspects of Scientific Software
Mathematical Aspects of Scientific Software
Material Type:
Livro
Adicionar ao Meu Espaço

Mathematical Aspects of Scientific Software

Hans Miller, Willard Rice, J. R. Weinberger Willard Miller; J. R Rice

Springer New York 1988

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

3
Distributed Reason Maintenance for Multiagent Systems
Distributed Reason Maintenance for Multiagent Systems
Material Type:
Livro
Adicionar ao Meu Espaço

Distributed Reason Maintenance for Multiagent Systems

Gerhard Kraetzschmar

Springer Berlin Heidelberg 1997

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

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

5
Advances in Exception Handling Techniques
Advances in Exception Handling Techniques
Material Type:
Livro
Adicionar ao Meu Espaço

Advances in Exception Handling Techniques

Alexander Romanovsky Alexander Romanovsky; Christophe Dony; Jorgen Lindskov Knudsen; Anand Tripathi

Springer Berlin Heidelberg 2001

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

6
Mobile Agents and Security
Mobile Agents and Security
Material Type:
Livro
Adicionar ao Meu Espaço

Mobile Agents and Security

Giovanni Vigna Giovanni Vigna; Juris Hartmanis; Jan van Leeuwen

Springer Berlin Heidelberg 1998

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

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

8
Effective Prototyping for Software Makers
Effective Prototyping for Software Makers
Material Type:
Livro
Adicionar ao Meu Espaço

Effective Prototyping for Software Makers

Jonathan Arnowitz Michael Arent; Nevin Berger Michael Arent Nevin Berger

Burlington Morgan Kaufmann 2007

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

9
The Sun Certified Java Developer Exam with J2SE 1.4
The Sun Certified Java Developer Exam with J2SE 1.4
Material Type:
Livro
Adicionar ao Meu Espaço

The Sun Certified Java Developer Exam with J2SE 1.4

Mehran Habibi Terry Camerlengo; Jeremy Patterson

Apress 2002

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

10
Integration of software specification techniques for applications in engineering priority program SoftSpez of the German Research Foundation (DFG) ; final report
Material Type:
Livro
Adicionar ao Meu Espaço

Integration of software specification techniques for applications in engineering priority program SoftSpez of the German Research Foundation (DFG) ; final report

Werner Damm; Jorg Desel; Martin Grobe-Rhode; Wolfgang Reif; Eckehard Schnieder; Engelbert Westkämper

Berlin Springer 2004

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

Buscando em bases de dados remotas. Favor aguardar.