本文に飛ぶ

年 〜
年

検索結果 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)
紙図書
Springerc2012.<M17-13-833>
国立国会図書館

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)
紙図書
Springerc2003.<M17-04-522>
国立国会図書館

Process algebra : equational theories of communicating processes : hardback

Process algebra : equational theories of communicating processes : hardback
紙図書
J.C.M. Baeten, T. Basten, M.A. RaniersCambridge University Press2010
全国の図書館

Applications of process algebra : pbk

Applications of process algebra : pbk
紙図書
edited by J.C.M. BaetenCambridge University Press2004
全国の図書館

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)
紙図書
Springer-Verlagc1991.<M15-A7660>
国立国会図書館

Process algebra with timing

Process algebra with timing
紙図書
J.C.M. Baeten, C.A. MiddelburgSpringerc2002
全国の図書館
  • 著者標目Baeten, 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)
紙図書
Springer-Verlagc1990.<M15-A7513>
国立国会図書館

Applications of process algebra

Applications of process algebra
紙図書
edited by J.C.M. BaetenCambridge University Press1990
全国の図書館

Process algebra

Process algebra
紙図書
J.C.M. Baeten, W.P. WeijlandCambridge University Press1990
全国の図書館

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
紙図書
J.C.M. Baeten, J.F. Groote, (eds.)Springer-Verlagc1991
全国の図書館

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
紙図書
J.C.M. Baeten, J.W. Klop (eds.)Springer-Verlagc1990
全国の図書館

Filters and ultrafilters over definable subsets of admissible ordinals

Filters and ultrafilters over definable subsets of admissible ordinals
紙図書
J.C.M. BaetenCentrum voor Wiskunde en Informaticac1986
全国の図書館

Filters and ultrafilters over definable subsets of admissible ordinals

Filters and ultrafilters over definable subsets of admissible ordinals
紙図書
by Josephus Cornelis Maria BaetenUniversity Microfilms International[1985]
全国の図書館

検索結果は以上です。

RSS