東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(件名: Machine theory Congresses)
該当件数:71件
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)
図書
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.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 386)
Theoretical computer science : 3rd GI conference, Darmstadt, March 28-30, 1977 / edited by H. Tzschach, H. Waldschmidt, H. K.-G. Walter on behalf of the GI
: gw,: us. - Berlin ; New York : Springer-Verlag , 1977. - (Lecture notes in computer science ; 48)
Theoretical computer science : 6th GI-conference, Dortmund, January 5-7, 1983 / edited by A.B. Cremers and H.P. Kriegel
: gw,: us. - Berlin : Springer-Verlag , 1982. - (Lecture notes in computer science ; 145)
Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975 / edited by H. Brakhage on behalf of GI
: gw,: us. - Berlin ; New York : Springer-Verlag , 1975. - (Lecture notes in computer science ; 33)
Theoretical computer science : 4th GI Conference, Aachen, March 26-28, 1979 / edited by K. Weihrauch
: gw,: us. - Berlin ; New York : Springer-Verlag , 1979. - (Lecture notes in computer science ; 67)
Fundamentals of computation theory : proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981 / edited by Ferenc Gécseg
: gw,: us. - Berlin : Springer-Verlag , 1981. - (Lecture notes in computer science ; 117)
Theoretical computer science : 5th GI-Conference, Karlsruhe, March 23-25, 1981 / edited by Peter Deussen
: gw,: us. - Berlin ; New York : Springer-Verlag , 1981. - (Lecture notes in computer science ; 104)
Knowledge representation and organization in machine learning / K. Morik (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 347 . Lecture notes in artificial intelligence)
Computation theory : fifth symposium, Zaborów, Poland, December 3-8, 1984 : proceedings / edited by Andrzej Skowron
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985. - (Lecture notes in computer science ; 208)
Advances in Petri nets 1985 / edited by G. Rozenberg
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986. - (Lecture notes in computer science ; 222)
Automata, languages and programming : sixth colloquium, Graz, Austria, July 16-20, 1979 / edited by Hermann A. Maurer
: gw,: us. - Berlin : Springer-Verlag , 1979. - (Lecture notes in computer science ; 71)
Automata, languages and programming : fourth colloquium, University of Turku, Finland, July 18-22, 1977 / edited by Arto Salomaa and Magnus Steinby
: gw,: us. - Berlin ; New York : Springer-Verlag , 1977. - (Lecture notes in computer science ; 52)
Automata, languages and programming : eighth colloquium, Acre (Akko), Israel, July 13-17, 1981 / edited by S. Even and O. Kariv
: gw,: us. - Berlin : Springer-Verlag , 1981. - (Lecture notes in computer science ; 115)
Mathematical foundations of computer science 1986 : proceedings of the 12th Symposium, Bratislava, Czechoslovakia, August 25-29, 1986 / edited by J. Gruska, B. Rovan, and J. Wiedermann
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986. - (Lecture notes in computer science ; 233)
Mathematical foundations of computer science 1981 : proceedings, 10th symposium, Štrbské Pleso, Czechoslovakia, August 31-September 4, 1981 / edited by J. Gruska and M. Chytil
: gw,: us. - Berlin ; New York : Springer-Verlag , 1981. - (Lecture notes in computer science ; 118)
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)
Advances in Petri nets 1989 / Grzegorz Rozenberg (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990. - (Lecture notes in computer science ; 424)
Computational learning theory : Third European Conference, EuroCOLT '97, Jerusalem, Israel, March 17-19, 1997, proceedings / Shai Ben-David (ed.)
Berlin : Springer , c1997. - (Lecture notes in computer science ; 1208 . Lecture notes in artificial intelligence)
Mathematical foundations of computer science, 1976 : proceedings, 5th Symposium, Gdańsk, September 6-10, 1976 / edited by A. Mazurkiewicz
: gw,: us. - Berlin ; New York : Springer-Verlag , 1976. - (Lecture notes in computer science ; 45)
Automata, languages and programming : 16th international colloquium, Stresa, Italy, July 11-15, 1989 : proceedings / G. Ausiello, M. Dezani-Ciancaglini, S. Ronchi Della Rocca (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 372)
Mathematical foundations of computer science 1977 : proceedings, 6th Symposium, Tatranská Lomnica, September 5-9, 1977 / edited by J. Gruska
: gw,: us. - Berlin ; New York : Springer-Verlag , 1977. - (Lecture notes in computer science ; 53)
Automata, languages and programming : fifth colloquium, Udine, Italy, July 17-21, 1978 / edited by G. Ausiello and C. Böhm
: gw,: us. - Berlin ; New York : Springer-Verlag , 1978. - (Lecture notes in computer science ; 62)
Automata, languages and programming : 15th International Colloquium, Tampere, Finland, July 11-15, 1988 : proceedings / Timo Lepistö, Arto Salomaa (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988. - (Lecture notes in computer science ; 317)
Automata, languages and programming : seventh colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980 / edited by J.W. de Bakker and J. van Leeuwen
: gw,: us. - Berlin : Springer-Verlag , 1980. - (Lecture notes in computer science ; 85)
PRICAI'98 : topics in artificial intelligence : 5th Pacific Rim International Conference on Artificial Intelligence, Singapore, November 22-27, 1998 : proceedings / Hing-Yan Lee, Hiroshi Motoda (eds.)
Berlin : Springer , c1998. - (Lecture notes in computer science ; 1531 . Lecture notes in artificial intelligence)
PRICAI '96 : topics in artificial intelligence : 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26-30, 1996 : proceedings / Norman Foo, Randy Goebel, (eds.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1114 . Lecture notes in artificial intelligence)
Advances in Petri nets 1993 / Grzegorz Rozenberg (ed.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1993. - (Lecture notes in computer science ; 674)
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)
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, RI : American Mathematical Society , c2007. - (Contemporary mathematics ; v. 443)
Automata, languages and programming : 23rd International Colloquium, ICALP '96 Paderborn, Germany, July 8-12, 1996 : proceedings / F. Meyer auf der Heide, B. Monien (Eds.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1099)
Automata implementation : Second 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)
Automata, languages and programming : 24th International Colloquium, ICALP '97, Bologna, Italy, July 7-11, 1997 : proceedings / Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela (eds.)
Berlin : Springer , c1997. - Tokyo. - (Lecture notes in computer science ; 1256)
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.)
Berlin : Springer , c1997. - New York. - (Lecture notes in computer science ; 1260)
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)
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 : Springer-Verlag , c1991. - Tokyo. - (Lecture notes in computer science ; 510)
Learning and reasoning with complex representations : PRICAI'96 Workshops on Reasoning with Incomplete and Changing Information and on Inducing Complex Representations, Cairns, Australia, August 26-30, 1996 : selected papers / Grigoris Antoniou, Aditya Ghose, Miroslaw Truszczyński, eds
Berlin ; Tokyo : Springer , c1998. - (Lecture notes in computer science ; 1359 . Lecture notes in artificial intelligence)
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
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985. - (Lecture notes in computer science ; 192)
Automata, languages and programming : 13th International Colloquium, Rennes, France, July 15-19, 1986 : proceedings / edited by Laurent Kott
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986. - (Lecture notes in computer science ; 226)
Automata, languages and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985 / edited by Wilfried Brauer
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985. - (Lecture notes in computer science ; 194)
Automata, languages and programming : 14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987 : proceedings / Thomas Ottmann, (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987. - (Lecture notes in computer science ; 267)
Advances in Petri nets 1984 / edited by G. Rozenberg, with the cooperation of H. Genrich and G. Roucairol
Berlin : Springer-Verlag , c1985. - Tokyo. - (Lecture notes in computer science ; 188)
Petri Nets : central models and their properties : proceedings of an advanced course, Bad Honnef, 8.-19. September 1986 / edited by W. Brauer, W. Reisig, and G. Rozenberg
Berlin : Springer-Verlag , c1987. - Tokyo. - (Lecture notes in computer science ; 254 . Advances in Petri Nets 1986 ; pt. 1)
Petri Nets : applications and relationships to other models of concurrency : proceedings of an advanced course, Bad Honnef, 8.-19. September 1986 / edited by W. Brauer, W. Reisig, and G. Rozenberg
Berlin : Springer-Verlag , c1987. - Tokyo. - (Lecture notes in computer science ; 255 . Advances in Petri Nets 1986 ; pt. 2)
Advances in Petri nets 1987 / Grzegorz Rozenberg (ed.)
Berlin : Springer-Verlag , c1987. - Tokyo. - (Lecture notes in computer science ; 266)
Advances in Petri nets 1988 / Grzegorz Rozenberg (ed.)
Berlin : Springer-Verlag , c1988. - Tokyo. - (Lecture notes in computer science ; 340)
Fundamentals of computation theory : International Conference FCT '87, Kazan, USSR, June 22-26, 1987, proceedings / L. Budach, R.G. Bukharajev, O.B. Lupanov (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987. - (Lecture notes in computer science ; 278)