Jump to main content

yr 〜
yr

Search results 9

Real-time : theory in practice : REX Workshop, Mook, The Netherlands, June 3-7, 1991 : proceedings / J.W. de Bakker ... [et al.], eds. (Lecture notes in computer science)

Real-time : theory in practice : REX Workshop, Mook, The Netherlands, June 3-7, 1991 : proceedings / J.W. de Bakker ... [et al.], eds. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1992.<M15-A8284>
National Diet Library
  • Author HeadingRex Workshop (1991 : Mook, Netherlands) Bakker, J. W. de (Jacobus Willem de) , 1939-

Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings / J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.). (Lecture notes in computer science)

Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings / J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1993.<M15-A8717>
National Diet Library
  • Author Heading..., Netherlands) Bakker, J. W. de (Jacobus Willem de) , 1939- Roever, W.-P. de. Rozenberg, ...

A decade of concurrency : reflections and perspectives : REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993 : proceedings / J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.). (Lecture notes in computer science)

A decade of concurrency : reflections and perspectives : REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993 : proceedings / J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1994.<M15-A9290>
National Diet Library
  • Author Heading...e Netherlands) Bakker, J. W. de (Jacobus Willem de) , 1939- Roever, W.-P. de. Rozenberg, ...

Stepwise refinement of distributed systems : models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings / J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.). (Lecture notes in computer science)

Stepwise refinement of distributed systems : models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings / J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1990.<M15-A6896>
National Diet Library
  • Author HeadingBakker, J. W. de (Jacobus Willem de) , 1939- Roever, W.-P. de. Rozenberg, ...

Foundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings / J.W. de Bakker, W.P. de Roever, G. Rozenberg, (eds.). (Lecture notes in computer science)

Foundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings / J.W. de Bakker, W.P. de Roever, G. Rozenberg, (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1991.<M15-A7528>
National Diet Library
  • Author Heading..., Netherlands) Bakker, J. W. de (Jacobus Willem de) , 1939- Roever, W.-P. de. Rozenberg, ...

Linear time, branching time, and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988 / J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.). (Lecture notes in computer science)

Linear time, branching time, and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988 / J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1989.<M15-A5014>
National Diet Library
  • Subject HeadingBakker, J. W. de (Jacobus Willem de) , 1939- Roever, W.-P. de. Rozenberg, ...
  • Author HeadingBakker, J. W. de (Jacobus Willem de) , 1939- Roever, W.-P. de. Rozenberg, ...

PARLE, parallel architectures and languages Europe : Eindhoven, The Netherlands, June 15-19, 1987 : proceedings / edited by J.W. de Bakker, L. Nijman, and P.C. Treleaven. (Lecture notes in computer science ; 258-259)

PARLE, parallel architectures and languages Europe : Eindhoven, The Netherlands, June 15-19, 1987 : proceedings / edited by J.W. de Bakker, L. Nijman, and P.C. Treleaven. (Lecture notes in computer science ; 258-259)
Paper図書
Springer-Verlagc1987.<M15-A3033>
National Diet Library
  • Author Heading..., Netherlands) Bakker, J. W. de (Jacobus Willem de) , 1939- Nijman, L. (Loek) , 1947- Tre...

Current trends in concurrency : overviews and tutorials / edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg. (Lecture notes in computer science)

Current trends in concurrency : overviews and tutorials / edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1986.<M15-A4311>
National Diet Library
  • Author HeadingBakker, J. W. de (Jacobus Willem de) , 1939- Roever, W.-P. de. Rozenberg, ...

Algorithmic languages : proceedings of the International Symposium on Algorithmic Languages / edited by J.W. de Bakker and J.C. van Vliet.

Algorithmic languages : proceedings of the International Symposium on Algorithmic Languages / edited by J.W. de Bakker and J.C. van Vliet.
Paper図書
North-Holland Pub. Co.1981.<M15-A4908>
National Diet Library
  • Author Heading..., Netherlands) Bakker, J. W. de (Jacobus Willem de) , 1939- Vliet, J. C. van. Mathematisc...

Reached to the end of result.

RSS