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

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

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

Applications of process algebra : pbk

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

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

Process algebra with timing

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

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

Applications of process algebra

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

Process algebra

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

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

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

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

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

Reached to the end of result.

RSS