-
1
-
2
-
3Petri Nets: Applications and Relationships to Other Models of Concurrency [electronic resource] : Advances in Petri Nets 1986, Part II Proceedings of an Advanced Course Bad Honnef,... Petri Nets: Applications and Relationships to Other Models of Concurrency [electronic resource] : Advances in Petri Nets 1986, Part II Proceedings of an Advanced Course Bad Honnef,...by Brauer, W. editor., Reisig, W. editor., Rozenberg, G. editor., SpringerLink (Online service)
Published 1987Texto bibliotecaCOLPOS -
4Petri Nets: Central Models and Their Properties [electronic resource] : Advances in Petri Nets 1986, Part I Proceedings of an Advanced Course Bad Honnef, 8.–19. September 1986 / Petri Nets: Central Models and Their Properties [electronic resource] : Advances in Petri Nets 1986, Part I Proceedings of an Advanced Course Bad Honnef, 8.–19. September 1986 /by Brauer, W. editor., Reisig, W. editor., Rozenberg, G. editor., SpringerLink (Online service)
Published 1987Texto bibliotecaCOLPOS -
5Petri Nets: Applications and Relationships to Other Models of Concurrency [electronic resource] : Advances in Petri Nets 1986, Part II Proceedings of an Advanced Course Bad Honnef,... Petri Nets: Applications and Relationships to Other Models of Concurrency [electronic resource] : Advances in Petri Nets 1986, Part II Proceedings of an Advanced Course Bad Honnef,...by Brauer, W. editor., Reisig, W. editor., Rozenberg, G. editor., SpringerLink (Online service)
Published 1987Texto bibliotecaCOLPOS -
6Petri Nets: Central Models and Their Properties [electronic resource] : Advances in Petri Nets 1986, Part I Proceedings of an Advanced Course Bad Honnef, 8.–19. September 1986 / Petri Nets: Central Models and Their Properties [electronic resource] : Advances in Petri Nets 1986, Part I Proceedings of an Advanced Course Bad Honnef, 8.–19. September 1986 /by Brauer, W. editor., Reisig, W. editor., Rozenberg, G. editor., SpringerLink (Online service)
Published 1987Texto bibliotecaCOLPOS -
7The Programming Language Ada [electronic resource] : Reference Manual Proposed Standard Document United States Department of Defense / The Programming Language Ada [electronic resource] : Reference Manual Proposed Standard Document United States Department of Defense /by Brauer, W. editor., Hansen, P. Brinch. editor., Gries, D. editor., Moler, C. editor., Seegmüller, G. editor., Stoer, J. editor., Wirth, N. editor., SpringerLink (Online service)
Published 1980Texto bibliotecaCOLPOS -
8The Programming Language Ada [electronic resource] : Reference Manual Proposed Standard Document United States Department of Defense / The Programming Language Ada [electronic resource] : Reference Manual Proposed Standard Document United States Department of Defense /by Brauer, W. editor., Hansen, P. Brinch. editor., Gries, D. editor., Moler, C. editor., Seegmüller, G. editor., Stoer, J. editor., Wirth, N. editor., SpringerLink (Online service)
Published 1980Texto bibliotecaCOLPOS -
9Conpar 81 [electronic resource] : Conference on Analysing Problem Classes and Programming for Parallel Computing Nürnberg, June 10–12, 1981 Proceedings / Conpar 81 [electronic resource] : Conference on Analysing Problem Classes and Programming for Parallel Computing Nürnberg, June 10–12, 1981 Proceedings /by Brauer, W. editor., Hansen, P. Brinch. editor., Gries, D. editor., Moler, C. editor., Seegmüller, G. editor., Stoer, J. editor., Wirth, N. editor., Händler, Wolfgang. editor., SpringerLink (Online service)
Published 1981Texto bibliotecaCOLPOS -
10Conpar 81 [electronic resource] : Conference on Analysing Problem Classes and Programming for Parallel Computing Nürnberg, June 10–12, 1981 Proceedings / Conpar 81 [electronic resource] : Conference on Analysing Problem Classes and Programming for Parallel Computing Nürnberg, June 10–12, 1981 Proceedings /by Brauer, W. editor., Hansen, P. Brinch. editor., Gries, D. editor., Moler, C. editor., Seegmüller, G. editor., Stoer, J. editor., Wirth, N. editor., Händler, Wolfgang. editor., SpringerLink (Online service)
Published 1981Texto bibliotecaCOLPOS -
11Advances in Cryptology — EUROCRYPT ’88 [electronic resource] : Workshop on the Theory and Application of Cryptographic Techniques Davos, Switzerland, May 25–27, 1988 Proceedings /... Advances in Cryptology — EUROCRYPT ’88 [electronic resource] : Workshop on the Theory and Application of Cryptographic Techniques Davos, Switzerland, May 25–27, 1988 Proceedings /...by Barstow, D. editor., Brauer, W. editor., Brinch Hansen, P. editor., Gries, D. editor., Luckham, D. editor., Moler, C. editor., Pnueli, A. editor., Seegmüller, G. editor., Stoer, J. editor., Wirth, N. editor., Günther, Christoph G. editor., SpringerLink (Online service)
Published 1988Texto bibliotecaCOLPOS -
12Advances in Cryptology — EUROCRYPT ’88 [electronic resource] : Workshop on the Theory and Application of Cryptographic Techniques Davos, Switzerland, May 25–27, 1988 Proceedings /... Advances in Cryptology — EUROCRYPT ’88 [electronic resource] : Workshop on the Theory and Application of Cryptographic Techniques Davos, Switzerland, May 25–27, 1988 Proceedings /...by Barstow, D. editor., Brauer, W. editor., Brinch Hansen, P. editor., Gries, D. editor., Luckham, D. editor., Moler, C. editor., Pnueli, A. editor., Seegmüller, G. editor., Stoer, J. editor., Wirth, N. editor., Günther, Christoph G. editor., SpringerLink (Online service)
Published 1988Texto bibliotecaCOLPOS