上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: Machine theory Congresses)
該当件数:65件
Prediction and discovery : AMS-IMS-SIAM Joint Summer Research Conference, Machine and Statistical Learning: Prediction and Discovery, June 25-29, 2006, Snowbird, Utah / Joseph Stephen Verducci, Xiaotong Shen, John Lafferty, editors
Providence, R.I. : American Mathematical Society , c2007. - (Contemporary mathematics ; 443)
電子ブック <1003022779>
Automata, languages and programming : 17th international colloquium, Warwick University, England, July 16-20, 1990 : proceedings / M.S. Paterson (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990. - (Lecture notes in computer science ; 443)
図書 <1000382543>
Automata, languages and programming : 18th International Colloquium, Madrid, Spain, July 8-12, 1991 : proceedings / J. Leach Albert, B. Monien, M. Rodríguez Artalejo, eds
: Berlin,: New York. - Berlin ; Tokyo : Springer-Verlag , c1991. - (Lecture notes in computer science ; 510)
図書 <1000428516>
Automata implementation : 4th International Workshop on Implementing Automata, WIA '99, Potsdam, Germany, July 17-19, 1999 : revised papers / Oliver Boldt, Helmut Jürgensen (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2214)
図書 <1001341807>
Abstract state machines : theory and applications : International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000 : proceedings / Yuri Gurevich ... [et al.] (eds.)
Berlin : Springer-Verlag , c2000. - (Lecture notes in computer science ; 1912)
図書 <1001190004>
Machines, computations, and universality : third International Conference, MCU 2001, Chişinǎu, Moldova, May 23-27, 2001 : proceedings / Maurice Margenstern, Yurii Rogozhin (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2055)
図書 <1001271759>
Automata implementation : Third International Workshop on Implementing Automata, WIA '98, Rouen, France, September 17-19, 1998 : revised papers / Jean-Marc Champarnaud, Denis Maurel, Djelloul Ziadi (eds.)
Berlin : Springer , c1999. - (Lecture notes in computer science ; 1660)
図書 <1001084322>
Automata implementation : First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29-31, 1996 : revised papers / Darrell Raymond, Derick Wood, Sheng Yu (eds.)
: alk. paper. - Berlin ; New York : Springer , c1997. - (Lecture notes in computer science ; 1260)
図書 <1000554087>
Automata implementation : Secoond International Workshop on Implementing Automata, WIA '97, London, Ontario, Canada, September 18-20, 1997 : revised papers / Derick Wood, Sheng Yu (eds.)
Berlin : Springer , c1998. - (Lecture notes in computer science ; 1436)
図書 <1000560254>
Formal properties of finite automata and applications : LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988 : proceedings / J.E. Pin (ed.)
: U.S.,: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 386)
図書 <1000354146>
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>
Automata on infinite words / Ecole de printemps d'informatique théorique, Le Mont Dore, May 14-18, 1984 ; edited by M. Nivat and D. Perrin
Berlin ; New York : Springer-Verlag , c1985. - (Lecture notes in computer science. ; 192)
図書 <1000586724>
Theoretical computer science : 6th GI-conference, Dortmund, January 5-7, 1983 / edited by A.B. Cremers and H.P. Kriegel
Berlin ; New York : Springer-Verlag , 1982. - (Lecture notes in computer science. ; 145)
図書 <1000586730>
Fundamentals of computation theory : proceedings of the 1981 International FCT-Conference, Szeged, August 24-28, 1981 / edited by Ferenc Gécseg
Berlin ; New York : Springer-Verlag , 1981. - (Lecture notes in computer science. ; 117)
図書 <1000586772>
Theoretical computer science : 5th GI-conference, Karlsruhe, March 23-25, 1981 / edited by Peter Deussen
Berlin ; New York : Springer-Verlag , 1981. - (Lecture notes in computer science. ; 104)
図書 <1000586787>
Theoretical computer science : 4th GI conference, Aachen, March 26-28, 1979 / edited by K. Weihrauch
Berlin ; New York : Springer-Verlag , 1979. - (Lecture notes in computer science. ; 67)
図書 <1000586944>
Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975 / edited by H. Brakhage on behalf of GI
Berlin ; New York : Springer-Verlag , 1975. - (Lecture notes in computer science. ; 33)
図書 <1000586997>
Advances in Petri nets, 1984 / edited by G. Rozenberg with the cooperation of H. Genrich and G. Roucairol
Berlin ; New York : Springer-Verlag , c1985. - (Lecture notes in computer science ; 188)
図書 <1000587010>
Theoretical computer science / 3rd GI conference, Darmstadt, March 28-30, 1977 ; edited by H. Tzschach, H. Waldschmidt and H. K.-G. Walter on behalf of the GI. --
Berlin ; New York : Springer-Verlag , 1977. - (Lecture notes in computer science. ; 48)
図書 <1000587011>
Computation theory : fifth symposium, Zaborów, Poland, December 3-8, 1984 : proceedings / edited by Andrzej Skowron
Berlin ; New York : Springer-Verlag , c1985. - (Lecture notes in computer science. ; 208)
図書 <1000587049>