上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(著者名に左の語を含む: #Rozenberg Grzegorz)
該当件数:33件
Advances in Petri nets 1992 / G. Rozenberg, (ed.)
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 609)
図書 <1000452247>
Advances in Petri nets 1993 / Grzegorz Rozenberg (ed.)
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1993. - (Lecture notes in computer science ; 674)
図書 <1000473413>
Advances in Petri nets 1989 / Grzegorz Rozenberg (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990. - (Lecture notes in computer science ; 424)
図書 <1000372109>
Word, language, grammar / G. Rozenberg, A. Salomaa, (eds.)
Berlin : Springer , c1997. - (Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 1)
図書 <1001090542>
Linear modeling : background and application / G. Rozenberg, A. Salomaa, (eds.)
Berlin : Springer , c1997. - (Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 2)
図書 <1001090564>
Beyond words / G. Rozenberg, A. Salomaa, (eds.)
Berlin : Springer , c1997. - (Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 3)
図書 <1001090570>
Advances in Petri nets 1991 / G. Rozenberg, (ed.)
: Berlin,: New York. - Berlin ; Tokyo : Springer-Verlag , c1991. - (Lecture notes in computer science ; 524)
図書 <1000431963>
Advances in Petri nets 1990 / Grzegorz Rozenberg, (ed.)
: Berlin,: New York. - Berlin ; Tokyo : Springer-Verlag , c1991. - (Lecture notes in computer science ; 483)
図書 <1000421389>
Advances in Petri nets, 1985 / edited by G. Rozenberg
Berlin ; New York : Springer-Verlag , c1986. - (Lecture notes in computer science ; 222)
図書 <1000587420>
DNA computing : 6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000 : revised papers / Anne Condon, Grzegorz Rozenberg (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2054)
図書 <1001266371>
Advances in Petri nets, 1986 : proceedings of an advanced course, Bad Honnef, 8.-19. September 1986
pt. 1,pt. 2. - Berlin : Springer-Verlag , 1987. - (Lecture notes in computer science ; 254-255)
図書 <1000627419>
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
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990. - (Lecture notes in computer science ; 430)
図書 <1000371778>
Concurrent object-oriented programming and Petri nets : advances in Petri nets / Gul A. Agha, Fiorella De Cindio, Grzegorz Rozenberg (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2001)
図書 <1001263046>
Multiset processing : mathematical, computer science, and molecular computing points of view / Cristian S. Calude, ... [et al.] (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2235)
図書 <1001353343>
Unifying Petri nets : advances in Petri nets / Hartmut Ehrig, ... [et al.] (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2128)
図書 <1001353347>
Developments in language theory : 5th international confernce, DLT 2001, Wien, Austria, July 16-21, 2001 : revised papers / Werner Kuich, Grzegorz Rozenberg, Arto Salomaa (Eds.)
Berlin ; New York : Springer , c2002. - (Lecture notes in computer science ; 2295 . Lecture notes in artificial intelligence)
図書 <1001367911>
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.)
: us,: gw. - Berlin ; Tokyo : Springer-Verlag , c1994. - (Lecture notes in computer science ; 812)
図書 <1000500065>
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.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 803)
図書 <1000501294>
Lectures on Petri nets : advances in Petri nets / Wolfgang Reisig, Grzegorz Rozenberg (eds.)
v. 2 - 2 : alk. paper. - New York : Springer , 1998. - (Lecture notes in computer science ; 1491-1492)
図書 <1001038147>
Lectures on embedded systems : European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996 / Grzegorz Rozenberg, Frits Vaandrager (eds.)
Berlin ; Tokyo : Springer , c1998. - (Lecture notes in computer science ; 1494)
図書 <1000997495>