skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Biblioteca: IME - Inst. Matemática e Estatística remover assunto: Técnicas De Programação remover Metodologia E Técnicas De Computação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Algebraic Specification Techniques in Object Oriented Programming Environments
Algebraic Specification Techniques in Object Oriented Programming Environments
Algebraic Specification Techniques in Object Oriented Programming Environments
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic Specification Techniques in Object Oriented Programming Environments

Ruth Breu

Springer Berlin Heidelberg 1991

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

2
Paragon a language using type hierarchies for the specification, implementation, and selection of abstract data types
Paragon a language using type hierarchies for the specification, implementation, and selection of abstract data types
Material Type:
Livro 		Adicionar ao Meu Espaço

Paragon a language using type hierarchies for the specification, implementation, and selection of abstract data types

Mark Steven Sherman

Berlin New York Springer-Verlag c1985

Localização: EPBC - Esc. Politécnica-Bib Central    (004.43 PARAGON Sh55p ) e outros locais(Acessar)

3
Functional programming, concurrency, simulation and automated reasoning international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada
Functional programming, concurrency, simulation and automated reasoning international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada
Material Type:
Livro 		Adicionar ao Meu Espaço

Functional programming, concurrency, simulation and automated reasoning international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada

Peter E Lauer 1934-

Berlin New York Springer-Verlag c1993

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

4
Abstract compositional analysis of iterated relations a structural approach to complex state transition systems
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)

5
Optimization of SQL Queries for Parallel Machines
Optimization of SQL Queries for Parallel Machines
Optimization of SQL Queries for Parallel Machines
Material Type:
Livro 		Adicionar ao Meu Espaço

Optimization of SQL Queries for Parallel Machines

Waqar Hasan

Springer Berlin Heidelberg 1996

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

6
Conclog: A Methodological Approach to Concurrent Logic Programming
Conclog: A Methodological Approach to Concurrent Logic Programming
Conclog: A Methodological Approach to Concurrent Logic Programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Conclog: A Methodological Approach to Concurrent Logic Programming

Jean-Marie Jacquet

Springer Berlin Heidelberg 1991

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

7
Mes premières constructions de programmes
Mes premières constructions de programmes
Mes premières constructions de programmes
Material Type:
Livro 		Adicionar ao Meu Espaço

Mes premières constructions de programmes

A. Gerbier P Bacchus

Springer Berlin Heidelberg 1977

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

8
On the Shape of Mathematical Arguments
On the Shape of Mathematical Arguments
On the Shape of Mathematical Arguments
Material Type:
Livro 		Adicionar ao Meu Espaço

On the Shape of Mathematical Arguments

Antonetta J. M. van Gasteren

Springer Berlin Heidelberg 1990

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

9
Automatic Verification of Sequential Infinite-State Processes
Automatic Verification of Sequential Infinite-State Processes
Automatic Verification of Sequential Infinite-State Processes
Material Type:
Livro 		Adicionar ao Meu Espaço

Automatic Verification of Sequential Infinite-State Processes

Olaf Burkart Juris Hartmanis; Jan van Leeuwen

Springer Berlin / Heidelberg 1997

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

10
Live Data Structures in Logic Programs
Live Data Structures in Logic Programs
Material Type:
Livro 		Adicionar ao Meu Espaço

Live Data Structures in Logic Programs

Anne Mulkers

Springer Berlin Heidelberg 1993

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. Recursos Online (8)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (54)
  2. Audiovisuais  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1980  (3)
  2. 1980Até1984  (6)
  3. 1985Até1987  (15)
  4. 1988Até1991  (17)
  5. Após 1991  (14)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (54)
  2. Francês  (1)
  3. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.