Jump to main content

yr 〜
yr

Search results 26

Control flow semantics

Control flow semantics
Paper図書
Jaco de Bakker and Erik de VinkMIT Pressc1996
Other Libraries in Japan
  • Author HeadingBakker, Jacobus Willem de Vink, Erik de

Real-time : theory in practice : REX workshop, Mook, The Netherlands, June 3-7, 1991 : proceedings : gw : us

Real-time : theory in practice : REX workshop, Mook, The Netherlands, June 3-7, 1991 : proceedings : gw : us
Paper図書
J.W. de Bakker ... [et al.], edsSpringer-Verlagc1992
Other Libraries in Japan
  • Author HeadingREX Workshop Bakker, Jacobus Willem de

Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings : gw : us

Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings : gw : us
Paper図書
J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.)Springer-Verlagc1993
Other Libraries in Japan
  • Author HeadingREX Workshop Bakker, Jacobus Willem de Roever, W.-P. de Rozenberg, G...

A decade of concurrency : reflections and perspectives : REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993 : proceedings : gw : us

A decade of concurrency : reflections and perspectives : REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993 : proceedings : gw : us
Paper図書
J.W. de Bakker, W.-P. de Roever, G. Rozenberg, (eds.)Springer-Verlagc1994
Other Libraries in Japan
  • Author HeadingREX School/Symposium Bakker, Jacobus Willem de Roever, W.-P. de Rozenberg, G...

Logic programming languages : constraints, functions, and objects

Logic programming languages : constraints, functions, and objects
Paper図書
edited by K.R. Apt, J.W. de Bakker, and J.J.M.M. RuttenMIT Pressc1993
Other Libraries in Japan
  • Author HeadingApt, Krzysztof R. Bakker, Jacobus Willem de Rutten, J. J. M. M.

Ten years of concurrency semantics : selected papers of the Amsterdam Concurrency Group

Ten years of concurrency semantics : selected papers of the Amsterdam Concurrency Group
Paper図書
editors, J.W. de Bakker and J.J.M.M. RuttenWorld Scientific1992
Other Libraries in Japan
  • Author HeadingBakker, Jacobus Willem de Rutten, J. J. M. M. Amsterdam...

Languages for parallel architectures : design, semantics, implementation models

Languages for parallel architectures : design, semantics, implementation models
Paper図書
edited by J.W. de BakkerWileyc1989
Other Libraries in Japan
  • Author HeadingBakker, Jacobus Willem de

Foundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings : gw : us

Foundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings : gw : us
Paper図書
J.W. de Bakker, W.P. de Roever, G. Rozenberg, (eds.)Springer-Verlagc1991
Other Libraries in Japan
  • Author HeadingREX School/Workshop Bakker, Jacobus Willem de Roever, W.-P. de Rozenberg, G...

Stepwise refinement of distributed systems : models, formalisms, correctness : REX Workshop, Mook, the Netherlands, May 29-June 2, 1989, proceedings : gw : us

Stepwise refinement of distributed systems : models, formalisms, correctness : REX Workshop, Mook, the Netherlands, May 29-June 2, 1989, proceedings : gw : us
Paper図書
J.W. de Bakker, W.-P. de Roever, G. Rozenberg, edsSpringer-Verlagc1990
Other Libraries in Japan
  • Author HeadingREX Workshop Bakker, Jacobus Willem de Roever, W.-P. de Rozenberg, G...

Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988 : gw : us

Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988 : gw : us
Paper図書
J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.)Springer-Verlagc1989
Other Libraries in Japan
  • Author HeadingBakker, Jacobus Willem de Roever, W.-P. de Rozenberg, G...

PARLE : parallel architectures and languages Europe, Eindhoven, The Netherlands, June 15-19, 1987 : proceedings v. 1 : gw v. 1 : us v. 2 : gw v. 2 : us

PARLE : parallel architectures and languages Europe, Eindhoven, The Netherlands, June 15-19, 1987 : proceedings v. 1 : gw v. 1 : us v. 2 : gw v. 2 : us
Paper図書
edited by J.W. de Bakker, A.J. Nijman and P.C. TreleavenSpringer-Verlagc1987
Other Libraries in Japan
  • Author Heading...nguages Europe Bakker, Jacobus Willem de Nijman, A. J. Treleaven, Phil...

Mathematics and computer science : proceedings of the CWI symposium, November 1983

Mathematics and computer science : proceedings of the CWI symposium, November 1983
Paper図書
edited by J.W. de Bakker, M. Hazewinkel, J.K. LenstraNorth-Holland1986
Other Libraries in Japan
  • Author HeadingBakker, Jacobus Willem de Hazewinkel, Michiel Lenstra, ...

Foundations of computer science IV, distributed systems pt. 1 pt. 2

Foundations of computer science IV, distributed systems pt. 1 pt. 2
Paper図書
edited by J.W. de Bakker [&] J. Van LeeuwenMathematisch Centrum1983
Other Libraries in Japan
  • Author HeadingBakker, Jacobus Willem de Leeuwen, Jan van

Current trends in concurrency : overviews and tutorials : gw : us

Current trends in concurrency : overviews and tutorials : gw : us
Paper図書
edited by J.W. de Bakker, W.-P. de Roever, and G. RozenbergSpringer-Verlagc1986
Other Libraries in Japan
  • Author HeadingBakker, Jacobus Willem de Roever, W.-P. de Rozenberg, G...

Mathematical theory of program correctness

Mathematical theory of program correctness
Paper図書
Jaco de Bakker ; with the assistance of Arie de Bruin, Jeffery ZuckerPrentice-Hall Internationalc1980
Other Libraries in Japan
  • Author HeadingBakker, Jacobus Willem de Bruin, Arie de Zucker, Jeffer...

Foundations of computer science III pbk. : v. 1 pbk. : v. 2

Foundations of computer science III pbk. : v. 1 pbk. : v. 2
Paper図書
J. W. de Bakker, (ed.), J. Van Leeuwen (ed.)Mathematisch Centrum1979
Other Libraries in Japan
  • Author HeadingBakker, Jacobus Willem de Leeuwen, Jan van

Automata, languages and programming : seventh colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980 : gw : us

Automata, languages and programming : seventh colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980 : gw : us
Paper図書
edited by J.W. de Bakker and J. van LeeuwenSpringer-Verlag1980
Other Libraries in Japan
  • Author HeadingBakker, Jacobus Willem de Leeuwen, Jan van European Ass...

Algorithmic languages : proceedings of the International Symposium on Algorithmic Languages

Algorithmic languages : proceedings of the International Symposium on Algorithmic Languages
Paper図書
edited by J.W. de Bakker and J.C. van VlietNorth-Holland Pub. Co.1981
Other Libraries in Japan
  • Author Heading...hmic Languages Bakker, Jacobus Willem de Vliet, J. C. (Johannes Cornel...

Foundations of computer science II v. 1

Foundations of computer science II v. 1
Paper図書
K.R. Apt, (ed.), J.W. De Bakker, (ed.)Mathematisch Centrum1976
Other Libraries in Japan
  • Author HeadingApt, Krzysztof R. Bakker, Jacobus Willem de Advanced Course on the Founda...

Foundations of computer science

Foundations of computer science
Paper図書
J. W. De Bakker, (ed.)Mathematisch Centrum1975
Other Libraries in Japan
  • Author HeadingBakker, Jacobus Willem de Advanced Course on the Founda...
RSS