同志社大学の蔵書を検索
本学蔵書と電子資料をまとめて検索
同志社女子大学の蔵書を検索
他大学の蔵書を検索
国内の論文を検索
国立国会図書館NDLサーチを検索
同志社大学の蔵書を検索した結果です。電子書籍/電子ジャーナルは書誌詳細画面のリンクから利用できます。
検索キーワード:(件名: Machine theory Congresses)
該当件数:16件
Implementation and application of automata : 7th international conference, CIAA 2002, Tours, France, July 3-5, 2002 : revised papers / Jean-Marc Champarnaud, Denis Maurel (eds.)
softcover : acid-free paper. - Berlin ; New York : Springer , c2003. - (Lecture notes in computer science ISSN:0302-9743 ; 2608)
電子書籍 <OB00745857>
Proceedings of the second annual Workshop on Computational Learning Theory / editors Ronald Rivest, David Haussler, Manfred K. Warmuth ; sponsors ACM Special Interest Group on Algorithms and Computation Theory, ACM Special Interest Group on Artificial Intelligence
print. - San Francisco, California : Morgan Kaufmann Publishers , 1989
電子書籍 <OB00750531>
Mathematical systems theory : proceedings of the international symposium held in Udine, Italy, June 16-27, 1975 / edited by G. Marchesini and S.K. Mitter
us,gw. - Berlin ; New York : Springer-Verlag , 1976. - (Lecture notes in economics and mathematical systems ; 131)
図書 <BB00170691>
Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19-23, 1977 / edited by Marek Karpiński
: gw,: us. - Berlin ; New York : Springer-Verlag , 1977. - (Lecture notes in computer science ; 56)
図書 <BB00031994>
Proceedings of the thirty-third annual ACM Symposium on Theory of Computing / chairmen Jeffrey S. Vitter, Paul Spirakis, Mihalis Yannakakis ; sponsor ACM Special Interest Group on Algorithms and Computation Theory
print. - New York : ACM , 2001
電子書籍 <OB00750917>
STOC '13 : proceedings of the 2013 ACM Symposium on Theory of Computing : June 1 - 4, 2013, Palo Alto, California, USA / sponsored by ACM SIGACT
print. - New York : ACM , 2013
電子書籍 <OB00751680>
STOC '08 : proceedings of the 2008 ACM International Symposium on Theory of Computing : Victoria, British Columbia, Canada, May 17-20, 2008 / sponsored by ACM SIGACT
print. - New York : ACM , 2008
電子書籍 <OB00751679>
STOC '14 : proceedings of the 2014 ACM Symposium on Theory of Computing : New York, New York, USA, May 31, 2014 - June 3, 2014
print. - New York : ACM , 2014
電子書籍 <OB00765824>
Proceedings of the 36th annual ACM Symposium on the Theory of Computing : Chicago, Illinois, USA, June 13-15, 2004 / sponsored by SIGACT
print. - New York : ACM , 2004
電子書籍 <OB00748259>
Proceedings of the thirty-second annual ACM Symposium on Theory of Computing / chairmen Frances Yao, Eugene Luks ; sponsor ACM Special Interest Group on Algorithms and Computation Theory
print. - New York : ACM , 2000
電子書籍 <OB00750913>
STOC'12 : proceedings of the 2012 ACM Symposium on Theory of Computing : May 19-22, 2012, New York, New York, USA / sponsored by ACM SIGACT
print. - New York : ACM , 2012
電子書籍 <OB00751688>
Proceedings of the fifteenth annual ACM Symposium on Theory of Computing : Boston, Massachusetts, April 25-27, 1983 / chairmen David S. Johnson, Ronald Fagin, Michael L. Fredman, David Harel, Richard M. Karp, Nancy Lynch, Christos H. Papadimitriou, Ronald L. Rivest, Walter L. Ruzzo, Joel Seiferas ; sponsor ACM Special Interest Group on Algorithms and Computation Theory
print. - New York : ACM , 1983
電子書籍 <OB00749989>
Algorithmic learning theory : 17th International Conference, ALT 2006, Barcelona, Spain, October 7-10, 2006 : proceedings / José L. Balcázar, Philip M. Long, Frank Stephan (eds.)
Berlin : Springer , c2006. - (Lecture notes in computer science ; 4264 . Lecture notes in artificial intelligence)
図書 <BB12169012>
Automata, languages, and programming : 19th International Colloquium, Wien, Austria, July 13-17, 1992 : proceedings / W. Kuich (ed.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 623)
図書 <BB00199508>
Advances in Petri nets 1992 / G. Rozenberg, (ed.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 609)
図書 <BB00200566>
2011 Research in Applied Computation Symposium : proceedings of the 2011 ACM Research in Applied Computations Symposium (RACS2011) : November 2 - 5, 2011, Miami, Florida, USA / general chairs Rex E. Gantenbein, Tei-Wei Kuo ; sponsored by ACM SIGAPP ; hosted by Florida International University
print. - New York : ACM , 2011
電子書籍 <OB00744286>