skip to main content
Idioma:
Refinado por: assunto: Técnicas De Programação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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)

2
The ACE programmer's guide practical design patterns for network and systems programming
The ACE programmer's guide practical design patterns for network and systems programming
Material Type:
Livro 		Adicionar ao Meu Espaço

The ACE programmer's guide practical design patterns for network and systems programming

Stephen D. Huston James C. E Johnson; Umar Syyid; Douglas C Schmidt

Boston Addison-Wesley c2004

Localização: IME - Inst. Matemática e Estatística    (QA754.5 H972a )(Acessar)

3
Advanced environments, tools, and applications for cluster computing NATO Advanced Research Workshop, IWCC 2001, Mangalia, Romania, September 1-6, 2001 : revised papers
Advanced environments, tools, and applications for cluster computing NATO Advanced Research Workshop, IWCC 2001, Mangalia, Romania, September 1-6, 2001 : revised papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Advanced environments, tools, and applications for cluster computing NATO Advanced Research Workshop, IWCC 2001, Mangalia, Romania, September 1-6, 2001 : revised papers

NATO Advanced Research Workshop on Cluster Computing (2001 Mangalia, Romania) Dan Grigoras 1956-

Berlin Springer New York c2002

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

4
Advanced Seminar on Foundations of Innovative Software Development I ; and, Colloquium on Trees in Algebra and Programming (CAAP '87)
Material Type:
Livro 		Adicionar ao Meu Espaço

Advanced Seminar on Foundations of Innovative Software Development I ; and, Colloquium on Trees in Algebra and Programming (CAAP '87)

Advanced Seminar on Foundations of Innovative Software Development (1st 1987 Pisa, Italy) Hartmut Ehrig; Colloquium on Trees in Algebra and Programming (12th 1987 Pisa, Italy)

Berlin Springer-Verlag New York c1987

Localização: IME - Inst. Matemática e Estatística    (S L471c v.250 v.2 )(Acessar)

5
Advanced topics in exception handling techniques
Advanced topics in exception handling techniques
Material Type:
Livro 		Adicionar ao Meu Espaço

Advanced topics in exception handling techniques

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

Berlin Springer New York c2006

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

6
Algebraic methodology and software technology 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings
Algebraic methodology and software technology 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic methodology and software technology 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings

AMAST 2002 (2002 Saint-Gilles-les-Bains, Réunion) H Kirchner (Hélène); Christophe Ringeissen 1967-

Berlin Springer London c2002

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

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

8
All about maude - a high-performance logical framework how to specify, program and verify systems in rewriting logic
All about maude - a high-performance logical framework how to specify, program and verify systems in rewriting logic
Material Type:
Livro 		Adicionar ao Meu Espaço

All about maude - a high-performance logical framework how to specify, program and verify systems in rewriting logic

Francisco Durán; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; Jose Meseguer; Carolyn L Talcott; Manuel Clavel 1969-

Berlin Springer c2007

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

9
ANNA, a language for annotating Ada programs reference manual
ANNA, a language for annotating Ada programs reference manual
Material Type:
Livro 		Adicionar ao Meu Espaço

ANNA, a language for annotating Ada programs reference manual

David C Luckham

Berlin New York Springer-Verlag c1987

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

10
Applications of evolutionary computing EvoWorkshops 2003: EvoBIO, EvoCOP, EvoIASP, EvoMUSART, EvoROB, and EvoSTIM, Essex, UK, April 14-16, 2003 : proceedings
Applications of evolutionary computing EvoWorkshops 2003: EvoBIO, EvoCOP, EvoIASP, EvoMUSART, EvoROB, and EvoSTIM, Essex, UK, April 14-16, 2003 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Applications of evolutionary computing EvoWorkshops 2003: EvoBIO, EvoCOP, EvoIASP, EvoMUSART, EvoROB, and EvoSTIM, Essex, UK, April 14-16, 2003 : proceedings

EvoWorkshops 2003 (2003 Essex, England) Günther Raidl

Berlin Springer New York c2003

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de1986  (13)
  2. 1986Até1992  (42)
  3. 1993Até1999  (30)
  4. 2000Até2007  (81)
  5. Após 2007  (10)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.