skip to main content
Idioma:
Resultados 1 2 next page
Mostrar Somente
Refinado por: assunto: Especificação De Sistemas E Programas remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Interactive Markov chains and the quest for quantified quality
Interactive Markov chains and the quest for quantified quality
Material Type:
Livro 		Adicionar ao Meu Espaço

Interactive Markov chains and the quest for quantified quality

Holger Hermanns 1967-

Berlin Springer New York c2002

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

2
The essence of computation complexity, analysis, transformation : essays dedicated to Neil D. Jones
The essence of computation complexity, analysis, transformation : essays dedicated to Neil D. Jones
Material Type:
Livro 		Adicionar ao Meu Espaço

The essence of computation complexity, analysis, transformation : essays dedicated to Neil D. Jones

Neil D Jones; Torben Æ Mogensen 1960-; David A Schmidt 1953 May 10-; Hal Sudborough

Berlin Springer New York c2002

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

3
Developments in language theory 7th international conference, DLT 2003, Szeged, Hungary, July 7-11, 2003 : proceedings
Developments in language theory 7th international conference, DLT 2003, Szeged, Hungary, July 7-11, 2003 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Developments in language theory 7th international conference, DLT 2003, Szeged, Hungary, July 7-11, 2003 : proceedings

Conference on Developments in Language Theory (7th 2003 Szeged, Hungary) Zoltán Ésik 1951-; Zoltán Fülöp 1955-

Berlin Springer New York c2003

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

4
Implementation and application of automata 7th international conference, CIAA 2002, Tours, France, July 3-5, 2002 : revised papers
Implementation and application of automata 7th international conference, CIAA 2002, Tours, France, July 3-5, 2002 : revised papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Implementation and application of automata 7th international conference, CIAA 2002, Tours, France, July 3-5, 2002 : revised papers

International Conference on Implementation and Application of Automata (7th 2002 Tours, France) Jean-Marc Champarnaud; Denis Maurel

Berlin Springer New York c2003

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

5
Implementation and application of automata 6th international conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001 : revised papers
Implementation and application of automata 6th international conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001 : revised papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Implementation and application of automata 6th international conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001 : revised papers

International Conference on Implementation and Application of Automata (6th 2001 Pretoria, South Africa) Bruce William Watson 1967-; Derick Wood 1940-

Berlin Springer New York c2002

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

6
Computer organization and the system/370
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer organization and the system/370

Harry Katzan

New York Van Nostrand Reinhold Co 1971

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

7
CONCUR 2001 concurrency theory : 12th international conference, Aalborg, Denmark, August 20-25, 2001, proceedings
CONCUR 2001 concurrency theory : 12th international conference, Aalborg, Denmark, August 20-25, 2001, proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

CONCUR 2001 concurrency theory : 12th international conference, Aalborg, Denmark, August 20-25, 2001, proceedings

International Conference on Concurrency Theory (12th 2001 Aalborg, Denmark) K. G Larsen 1957- (Kim G.); M Nielsen (Mogens) 1949-

Berlin Springer New York 2001

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

8
CONCUR 2003 - concurrency theory 14th international conference, Marseille, France, September 3-5, 2003 : proceedings
CONCUR 2003 - concurrency theory 14th international conference, Marseille, France, September 3-5, 2003 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

CONCUR 2003 - concurrency theory 14th international conference, Marseille, France, September 3-5, 2003 : proceedings

International Conference on Concurrency Theory (14th 2003 Marseille, France) Roberto M Amadio; Denis Lugiez

Berlin Springer New York c2003

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

9
Automata Logics, and Infinite Games
Automata Logics, and Infinite Games
Automata Logics, and Infinite Games
Material Type:
Livro 		Adicionar ao Meu Espaço

Automata Logics, and Infinite Games

Erich Grädel Erich Grädel; Wolfgang Thomas; Thomas Wilke

Springer Berlin Heidelberg 2002

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

10
Administração por sistemas
Administração por sistemas
Material Type:
Livro 		Adicionar ao Meu Espaço

Administração por sistemas

Charles J Minnich Oscar S Nelson

São Paulo Atlas 1971

Localização: ECA - Escola de Comunicações e Artes    (658.4032 M665a ) e outros locais(Acessar)

Resultados 1 2 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (1)

Data de Publicação 

De até
Refinar
  1. Antes de1973  (3)
  2. 1973Até1973  (1)
  3. 1974Até1974  (1)
  4. 1975Até1984  (2)
  5. Após 1984  (8)
  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.