Jump to main content

yr 〜
yr

Search results 13

Theoretical computer science : 7th IFIP TC 1/WG 2.2 international conference, TCS 2012 : Amsterdam, the Netherlands, September 26-28, 2012 : proceedings : Sep 2012, Amsterdam, the Netherlands. (Lecture Notes in Computer Science ; 7604)

Theoretical computer science : 7th IFIP TC 1/WG 2.2 international conference, TCS 2012 : Amsterdam, the Netherlands, September 26-28, 2012 : proceedings : Sep 2012, Amsterdam, the Netherlands. (Lecture Notes in Computer Science ; 7604)
Paper図書
Springerc2012.<M17-13-833>
National Diet Library
  • Author Heading...e Netherlands) Baeten, J. C. M. Ball, Thomas, 1965- Boer, Fra...

Automata, languages and programming : 30th international colloquium, ICALP 2003 : Eindhoven, the Netherlands, June 30-July 4, 2003 : proceedings. : Jun 2003, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 2719)

Automata, languages and programming : 30th international colloquium, ICALP 2003 : Eindhoven, the Netherlands, June 30-July 4, 2003 : proceedings. : Jun 2003, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 2719)
Paper図書
Springerc2003.<M17-04-522>
National Diet Library
  • Author HeadingBaeten, J. C. M. International Colloquium on A...

Process algebra : equational theories of communicating processes : hardback

Process algebra : equational theories of communicating processes : hardback
Paper図書
J.C.M. Baeten, T. Basten, M.A. RaniersCambridge University Press2010
Other Libraries in Japan
  • Author HeadingBaeten, J. C. M. Basten, Thomas Geertruida Hen...

Applications of process algebra : pbk

Applications of process algebra : pbk
Paper図書
edited by J.C.M. BaetenCambridge University Press2004
Other Libraries in Japan
  • Author HeadingBaeten, J. C. M.

CONCUR '91 : 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991 : proceedings / J.C.M. Baeten, J.F. Groote (eds.). (Lecture notes in computer science)

CONCUR '91 : 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991 : proceedings / J.C.M. Baeten, J.F. Groote (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1991.<M15-A7660>
National Diet Library
  • Author Heading..., Netherlands) Baeten, J. C. M. Groote, J. F. (Jan Frisco) , ...

Process algebra with timing

Process algebra with timing
Paper図書
J.C.M. Baeten, C.A. MiddelburgSpringerc2002
Other Libraries in Japan

CONCUR '90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : proceedings / J.C.M. Baeten, J.W. Klop, eds. (Lecture notes in computer science)

CONCUR '90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : proceedings / J.C.M. Baeten, J.W. Klop, eds. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1990.<M15-A7513>
National Diet Library
  • Author HeadingBaeten, J. C. M. Klop, J. W. Centrum voor Wisk...

Applications of process algebra

Applications of process algebra
Paper図書
edited by J.C.M. BaetenCambridge University Press1990
Other Libraries in Japan
  • Author HeadingBaeten, J. C. M.

Process algebra

Process algebra
Paper図書
J.C.M. Baeten, W.P. WeijlandCambridge University Press1990
Other Libraries in Japan
  • Author HeadingWeijland, W. P. Baeten, J. C. M.

CONCUR '91 : 2nd International Conference on Concurrency Theory, Amsterdam, the Netherlands, August 26-29, 1991 : proceedings : gw : us

CONCUR '91 : 2nd International Conference on Concurrency Theory, Amsterdam, the Netherlands, August 26-29, 1991 : proceedings : gw : us
Paper図書
J.C.M. Baeten, J.F. Groote, (eds.)Springer-Verlagc1991
Other Libraries in Japan
  • Author Heading...urrency Theory Baeten, J. C. M. Groote, J. F. (Jan Frisco) Ce...

CONCUR '90 : theories of concurrency: unification and extension : Amsterdam, the Netherlands, August 27-30, 1990 : proceedings : gw : us

CONCUR '90 : theories of concurrency: unification and extension : Amsterdam, the Netherlands, August 27-30, 1990 : proceedings : gw : us
Paper図書
J.C.M. Baeten, J.W. Klop (eds.)Springer-Verlagc1990
Other Libraries in Japan
  • Author HeadingBaeten, J. C. M. Klop, J. W. (Jan Willem) Cent...

Filters and ultrafilters over definable subsets of admissible ordinals

Filters and ultrafilters over definable subsets of admissible ordinals
Paper図書
J.C.M. BaetenCentrum voor Wiskunde en Informaticac1986
Other Libraries in Japan
  • Author HeadingBaeten, J. C. M.

Filters and ultrafilters over definable subsets of admissible ordinals

Filters and ultrafilters over definable subsets of admissible ordinals
Paper図書
by Josephus Cornelis Maria BaetenUniversity Microfilms International[1985]
Other Libraries in Japan
  • Author HeadingBaeten, J. C. M.

Reached to the end of result.

RSS