城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(件名: #Theory of Computation)
該当件数:622件
Structure in Complexity Theory : Proceedings of the Conference held at the University of California, Berkeley, June 2-5, 1986 / edited by Alan L. Selman
1st ed. 1986.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1986. - (Lecture Notes in Computer Science. ISSN:16113349 ; 223)
電子ブック
Parallel Algorithms and Architectures : International Workshop Suhl, GDR, May 25-30, 1987; Proceedings / edited by Andreas Albrecht, Hermann Jung, Kurt Mehlhorn
1st ed. 1987.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1987. - (Lecture Notes in Computer Science. ISSN:16113349 ; 269)
Graphtheoretic Concepts in Computer Science : Proceedings of the International Workshop WG 80 Bad Honnef, June 15-18, 1980 / edited by H Noltemeier
1st ed. 1981.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1981. - (Lecture Notes in Computer Science. ISSN:16113349 ; 100)
Computation Theory and Logic / edited by Egon Börger
1st ed. 1987.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1987. - (Lecture Notes in Computer Science. ISSN:16113349 ; 270)
Mathematical Foundations of Computer Science 1988 : 13th Symposium Carlsbad, Czechoslovakia, August 29 - September 2, 1988. Proceedings / edited by Michal P. Chytil, Ladislav Janiga, Vaclav Koubek
1st ed. 1988.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1988. - (Lecture Notes in Computer Science. ISSN:16113349 ; 324)
Fundamentals of Computation Theory : Proceedings of the International Conference FCT 1985, Cottbus, GDR, September 9-13, 1985 / edited by Lothar Budach
1st ed. 1985.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1985. - (Lecture Notes in Computer Science. ISSN:16113349 ; 199)
Foundations of Computation Theory : Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21-27, 1983 / edited by M. Karpinski
1st ed. 1983.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1983. - (Lecture Notes in Computer Science. ISSN:16113349 ; 158)
CAAP '88 : 13th Colloquium on Trees in Algebra and Programming Nancy, France, March 21-24, 1988. Proceedings / edited by Max Dauchet, Maurice Nivat
1st ed. 1988.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1988. - (Lecture Notes in Computer Science. ISSN:16113349 ; 299)
Aspects and Prospects of Theoretical Computer Science : 6th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 19-23, 1990. Proceedings / edited by Jürgen Dassow, Jozef Kelemen
1st ed. 1990.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1990. - (Lecture Notes in Computer Science. ISSN:16113349 ; 464)
Automata, Languages and Programming : 2nd Colloquium, University of Saarbrücken, July 29 - August 2, 1974. Proceedings / herausgegeben von J. Loeckx
1st ed. 1974.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1974. - (Lecture Notes in Computer Science. ISSN:16113349 ; 14)
Graph-Grammars and Their Application to Computer Science and Biology : International Workshop, Bad Honnef, October 30 - November 3, 1978 / edited by V. Claus, H. Ehrig, G. Rozenberg
1st ed. 1979.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1979. - (Lecture Notes in Computer Science. ISSN:16113349 ; 73)
Rechner-Gestützter Unterricht : RGU '74. Fachtagung, Hamburg 12.-14. August 1974 / herausgegeben von K. Brunnstein, K. Haefner, W. Händler
1st ed. 1974.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1974. - (Lecture Notes in Computer Science. ISSN:16113349 ; 17)
Automata Theory and Formal Languages : 2nd GI Conference, Kaiserslautern, May 20-23, 1975 / herausgegeben von H. Brakhage
1st ed. 1975.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1975. - (Lecture Notes in Computer Science. ISSN:16113349 ; 33)
Language Hierarchies and Interfaces : International Summer School / edited by F.L. Bauer, K. Samelson
1st ed. 1976.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1976. - (Lecture Notes in Computer Science. ISSN:16113349 ; 46)
Mathematical Foundations of Computer Science 1976 : 5th Symposium at Gdansk, Sept. 6-10, 1976. Proceedings / edited by A. Mazurkiewicz
1st ed. 1976.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1976. - (Lecture Notes in Computer Science. ISSN:16113349 ; 45)
Symbolic and Algebraic Computation : Eurosam '79, An International Symposium on Symbolic and Algebraic Manipulation, Marseille, France, June 1979 / edited by E.W. Ng
1st ed. 1979.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1979. - (Lecture Notes in Computer Science. ISSN:16113349 ; 72)
Mathematical Foundations of Computer Science 1975 : 4th Symposium Marianske Lazne, September 1-5, 1975 / edited by J. Becvar
1st ed. 1975.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1975. - (Lecture Notes in Computer Science. ISSN:16113349 ; 32)
Mathematical Foundations of Computer Science 1977 : 6th Symposium, Tatranska Lomnica September 5-9, 1977. Proceedings / edited by J. Gruska
1st ed. 1977.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1977. - (Lecture Notes in Computer Science. ISSN:16113349 ; 53)
Rechnerstrukturen und Betriebsprogrammierung : GI - Gesellschaft für Informatik e.V., Erlangen, 1970 / edited by W. Händler, P.P. Spies
1st ed. 1974.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1974. - (Lecture Notes in Computer Science. ISSN:16113349 ; 13)
ECI Conference 1976 : Proceedings of the 1st Conference of the European Cooperation in Informatics, Amsterdam, August 9-12, 1976 / edited by K. Samelson
1st ed. 1976.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1976. - (Lecture Notes in Computer Science. ISSN:16113349 ; 44)