本文に飛ぶ

年 〜
年

検索結果 26 件

Handbook of natural computing (Springer reference)

Handbook of natural computing (Springer reference)
紙図書
main editor, Grzegorz Rozenberg, editors, Thomas Bäck, Joost N. Kok.Springer[2012]<M121-B117>
国立国会図書館
  • 著者標目（識別子）00794320

DNAコンピューティング : 新しい計算パラダイム

DNAコンピューティング : 新しい計算パラダイム
紙図書
G.パウン, G.ローゼンバーグ, A.サローマ 著, 横森貴, 榊原康文, 小林聡 訳シュプリンガー・フェアラーク東京1999.12<M121-G203>
国立国会図書館全国の図書館
  • 著者標目（識別子）00794319 00794320 00455202 00200023 00794321 00...

Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht / Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa, eds. (Lecture notes in computer science ; 1261)

Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht / Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa, eds. (Lecture notes in computer science ; 1261)
紙図書
Springerc1997.<M154-A302>
国立国会図書館
  • 著者標目（識別子）00794320 00455202

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)
紙図書
Springer-Verlagc1993.<M15-A8717>
国立国会図書館
  • 著者標目（識別子）00794320

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)
紙図書
Springer-Verlagc1994.<M15-A9290>
国立国会図書館
  • 著者標目（識別子）00794320

Advances in Petri nets 1993 / Grzegorz Rozenberg (ed.). (Lecture notes in computer science)

Advances in Petri nets 1993 / Grzegorz Rozenberg (ed.). (Lecture notes in computer science)
紙図書
Springer-Verlagc1993.<M15-A8818>
国立国会図書館
  • 著者標目（識別子）00794320

Advances in Petri nets 1992 / G. Rozenberg (ed.). (Lecture notes in computer science)

Advances in Petri nets 1992 / G. Rozenberg (ed.). (Lecture notes in computer science)
紙図書
Springer-Verlagc1992.<M154-A157>
国立国会図書館
  • 著者標目（識別子）00794320

Results and trends in theoretical computer science : colloquium in honor of Arto Salomaa, Graz, Austria, June 10-11, 1994 : proceedings / J. Karhumäki, H. Maurer, G. Rozenberg, (eds.). (Lecture notes in computer science)

Results and trends in theoretical computer science : colloquium in honor of Arto Salomaa, Graz, Austria, June 10-11, 1994 : proceedings / J. Karhumäki, H. Maurer, G. Rozenberg, (eds.). (Lecture notes in computer science)
紙図書
Springer-Verlagc1994.<M15-A9221>
国立国会図書館
  • 著者標目（識別子）00455202 00794320

Graph grammars and their application to computer science : 4th international workshop, Bremen, Germany, March 5-9, 1990 : proceedings / H. Ehrig, H.-J. Kreowski, G. Rozenberg (eds.). (Lecture notes in computer science)

Graph grammars and their application to computer science : 4th international workshop, Bremen, Germany, March 5-9, 1990 : proceedings / H. Ehrig, H.-J. Kreowski, G. Rozenberg (eds.). (Lecture notes in computer science)
紙図書
Springer-Verlagc1991.<M15-A7761>
国立国会図書館
  • 著者標目（識別子）00794320

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)
紙図書
Springer-Verlagc1991.<M15-A7528>
国立国会図書館
  • 著者標目（識別子）00794320

Advances in Petri nets 1991 / G. Rozenberg (ed.). (Lecture notes in computer science)

Advances in Petri nets 1991 / G. Rozenberg (ed.). (Lecture notes in computer science)
紙図書
Springer-Verlagc1991.<M15-A7763>
国立国会図書館
  • 著者標目（識別子）00794320

Advances in Petri nets 1990 / Grzegprz Rozenberg (ed.). (Lecture notes in comouter science)

Advances in Petri nets 1990 / Grzegprz Rozenberg (ed.). (Lecture notes in comouter science)
紙図書
Springer-Verlagc1991.<M15-A7699>
国立国会図書館
  • 著者標目（識別子）00794320

Advances in Petri nets, 1989 / Grzegorz Rozenberg (ed.). (Lecture notes in computer science)

Advances in Petri nets, 1989 / Grzegorz Rozenberg (ed.). (Lecture notes in computer science)
紙図書
Springer-Verlagc1990.<M15-A6894>
国立国会図書館
  • 著者標目（識別子）00794320

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)
紙図書
Springer-Verlagc1990.<M15-A6896>
国立国会図書館
  • 著者標目（識別子）00794320

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)
紙図書
Springer-Verlagc1989.<M15-A5014>
国立国会図書館
  • 著者標目（識別子）00794320

Advances in Petri nets, 1988 / Grzegorz Rozenberg (ed.). (Lecture notes in computer science)

Advances in Petri nets, 1988 / Grzegorz Rozenberg (ed.). (Lecture notes in computer science)
紙図書
Springer-Verlagc1988.<M15-A4616>
国立国会図書館
  • 著者標目（識別子）00794320

Advances in Petri nets, 1985 / edited by G. Rozenberg. (Lecture notes in computer science)

Advances in Petri nets, 1985 / edited by G. Rozenberg. (Lecture notes in computer science)
紙図書
Springer-Verlagc1986.<M15-A3417>
国立国会図書館
  • 著者標目（識別子）00794320

Advances in Petri nets, 1987 / Grzegorz Rozenberg, ed. (Lecture notes in computer science)

Advances in Petri nets, 1987 / Grzegorz Rozenberg, ed. (Lecture notes in computer science)
紙図書
Springer-Verlag1987.<M15-A3044>
国立国会図書館
  • 著者標目（識別子）00794320

Advances in Petri nets, 1986 : proceedings of an advanced course, Bad Honnef, 8.-19. September, 1986 / edited by W. Brauer, W. Reisig and G. Rozenberg. (Lecture notes in computer science ; 254-255)

Advances in Petri nets, 1986 : proceedings of an advanced course, Bad Honnef, 8.-19. September, 1986 / edited by W. Brauer, W. Reisig and G. Rozenberg. (Lecture notes in computer science ; 254-255)
紙図書
Springer-Verlagc1987.<M15-A3035>
国立国会図書館
  • 著者標目（識別子）00794320

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)
紙図書
Springer-Verlagc1986.<M15-A4311>
国立国会図書館
  • 著者標目（識別子）00794320
RSS