skip to main content
Idioma:
Resultados 1 2 next page
Mostrar Somente
Refinado por: autor: Bakker, J remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Basic proof theory
Basic proof theory
Basic proof theory
Material Type:
Livro 		Adicionar ao Meu Espaço

Basic proof theory

Anne Sjerp Troelstra H Schwichtenberg; Helmut Schwichtenberg; A. S Troelstra; S Abramsky; P. H Aczel; J. W. de Bakker; Y Gurevich; J. V Tucker; C. J Van Rijsbergen

Cambridge University Press 2000

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

2
A decade of concurrency reflections and perspectives ; proceedings of the rex school / symposium on a decade of concurrency, held in noordwijkerhout, the netherlands, june 1-4, 1993
A decade of concurrency reflections and perspectives ; proceedings of the rex school / symposium on a decade of concurrency, held in noordwijkerhout, the netherlands, june 1-4, 1993
Material Type:
Livro 		Adicionar ao Meu Espaço

A decade of concurrency reflections and perspectives ; proceedings of the rex school / symposium on a decade of concurrency, held in noordwijkerhout, the netherlands, june 1-4, 1993

Symposium on a Decade of Concurrency - Reflections and Perspectives (1993 : Noordwijkerhout) J W de Bakker; W P Roever

Berlin Springer 1994

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

3
Semantics foundations and applications proceedings
Semantics foundations and applications proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Semantics foundations and applications proceedings

Workshop on Semantics - Foundations and Applications (1992 : Beekbergen) J W de Bakker

Berlin Springer 1993

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

4
Real-time theory in practice : proceedings
Real-time theory in practice : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Real-time theory in practice : proceedings

Workshop on Real-Time : Theory in Practice, Mook,1991 J W de Bakker

Berlin Springer 1992

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

5
Foundations of object-oriented languages proceedings
Foundations of object-oriented languages proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Foundations of object-oriented languages proceedings

Workshop on Foundations of Object-Oriented Languages, Noordwijkerhout, 1990 J W de Bakker

Berlin Springer 1991

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

6
Stepwise refinement of distributed systems models, formalisms, correctness
Stepwise refinement of distributed systems models, formalisms, correctness
Material Type:
Livro 		Adicionar ao Meu Espaço

Stepwise refinement of distributed systems models, formalisms, correctness

Workshop on Stepwise Refinement of Distributed Systems, Mook, 1989 J W Bakker

Berlin Springer 1990

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

7
Linear time, branching time and partial order in logics and models for concurrency proceedings
Linear time, branching time and partial order in logics and models for concurrency proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Linear time, branching time and partial order in logics and models for concurrency proceedings

Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency (1988 : Noordwijkerhout) J W Bakker

Berlin Springer 1989

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

8
Parle parallel architectures and languages Europe
Parle parallel architectures and languages Europe
Material Type:
Livro 		Adicionar ao Meu Espaço

Parle parallel architectures and languages Europe

Parallel Architectures (1987 Eindhoven) J W Bakker; A J Nijman; P C Treleaven

Goos, G, ed; Hartmanis, J, ed; Leeuwen, J Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, C1985-

Berlin Springer-Verlag c1987

Localização: IFSC - Inst. Física de São Carlos    (P621.38195 L471 v.258 pt.1 ) e outros locais(Acessar)

9
Parle proceedings
Parle proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Parle proceedings

Conference on Parallel Architectures and Languages Europe (1. 1987 Eindhoven) J W Bakker; A J Nijman

Berlin Springer 1987

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

10
Current trends in concurrency
Current trends in concurrency
Material Type:
Livro 		Adicionar ao Meu Espaço

Current trends in concurrency

J W Bakker W P Roever; G Rozenberg

Goos, G, ed; Hartmanis, J, ed; Leeuwen, J Van, ed Lecture Notes In Computer Science Berlin, Springer-Verlag, c1985-

Berlin Springer-Verlag c1986

Localização: IFSC - Inst. Física de São Carlos    (P621.38195 L471 v.224 )(Acessar)

Resultados 1 2 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (1)

Data de Publicação 

De até
Refinar
  1. Antes de1987  (4)
  2. 1987Até1989  (3)
  3. 1990Até1991  (2)
  4. 1992Até1994  (3)
  5. Após 1994  (1)
  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.