Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Basic proof theoryAnne 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 RijsbergenCambridge University Press 2000Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Livro
|
![]() |
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, 1993Symposium on a Decade of Concurrency - Reflections and Perspectives (1993 : Noordwijkerhout) J W de Bakker; W P RoeverBerlin Springer 1994Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.803 e.1 ) e outros locais(Acessar) |
3 |
Material Type: Livro
|
![]() |
Semantics foundations and applications proceedingsWorkshop on Semantics - Foundations and Applications (1992 : Beekbergen) J W de BakkerBerlin Springer 1993Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.666 e.1 ) e outros locais(Acessar) |
4 |
Material Type: Livro
|
![]() |
Real-time theory in practice : proceedingsWorkshop on Real-Time : Theory in Practice, Mook,1991 J W de BakkerBerlin Springer 1992Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.600 e.1 ) e outros locais(Acessar) |
5 |
Material Type: Livro
|
![]() |
Foundations of object-oriented languages proceedingsWorkshop on Foundations of Object-Oriented Languages, Noordwijkerhout, 1990 J W de BakkerBerlin Springer 1991Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.489 e.1 ) e outros locais(Acessar) |
6 |
Material Type: Livro
|
![]() |
Stepwise refinement of distributed systems models, formalisms, correctnessWorkshop on Stepwise Refinement of Distributed Systems, Mook, 1989 J W BakkerBerlin Springer 1990Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.430 e.1 ) e outros locais(Acessar) |
7 |
Material Type: Livro
|
![]() |
Linear time, branching time and partial order in logics and models for concurrency proceedingsWorkshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency (1988 : Noordwijkerhout) J W BakkerBerlin Springer 1989Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.354 e.1 ) e outros locais(Acessar) |
8 |
Material Type: Livro
|
![]() |
Parle parallel architectures and languages EuropeParallel Architectures (1987 Eindhoven) J W Bakker; A J Nijman; P C TreleavenGoos, G, ed; Hartmanis, J, ed; Leeuwen, J Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, C1985-Berlin Springer-Verlag c1987Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.258 pt.1 ) e outros locais(Acessar) |
9 |
Material Type: Livro
|
![]() |
Parle proceedingsConference on Parallel Architectures and Languages Europe (1. 1987 Eindhoven) J W Bakker; A J NijmanBerlin Springer 1987Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.259 v.2 ) e outros locais(Acessar) |
10 |
Material Type: Livro
|
![]() |
Current trends in concurrencyJ W Bakker W P Roever; G RozenbergGoos, G, ed; Hartmanis, J, ed; Leeuwen, J Van, ed Lecture Notes In Computer Science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1986Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.224 )(Acessar) |