skip to main content
Idioma:
Mostrar Somente
Refinado por: autor: Bakker, J remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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)

2
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

Bakker Jacobus Willem Bakker; W.-P de Roever; Grzegorz Rozenberg

Springer Berlin Heidelberg 1990

Acesso online

3
A Decade of Concurrency Reflections and Perspectives
A Decade of Concurrency Reflections and Perspectives
Material Type:
Livro 		Adicionar ao Meu Espaço

A Decade of Concurrency Reflections and Perspectives

Bakker Jacobus Willem Bakker; W.-P de Roever; Grzegorz Rozenberg

Springer Berlin Heidelberg 1994

Acesso online

4
Semantics: Foundations and Applications
Semantics: Foundations and Applications
Material Type:
Livro 		Adicionar ao Meu Espaço

Semantics: Foundations and Applications

REX Workshop Jacobus Willem Bakker; W.-P de Roever; Grzegorz Rozenberg

Springer Berlin Heidelberg 1993

Acesso online

5
Current trends in concurrency overviews and tutorials
Current trends in concurrency overviews and tutorials
Material Type:
Livro 		Adicionar ao Meu Espaço

Current trends in concurrency overviews and tutorials

J. W. de Bakker 1939- (Jacobus Willem); W.-P. de Roever; Grzegorz Rozenberg; Dutch Concurrency Project; European Strategic Programme of Research and Development in Information Technology Project 415; ESPRIT/LPC Advanced School on Current Trends in Concurrency (1985 Noordwijkerhout, Netherlands)

Berlin New York Springer-Verlag c1986

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

6
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)

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

Buscando em bases de dados remotas. Favor aguardar.