小樽商科大学の蔵書を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
CiNii Dissertationsを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: Formal languages Congresses)
該当件数:21件
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)
図書
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)
Theoretical computer science : 5th GI-Conference, Karlsruhe, March 23-25, 1981 / edited by Peter Deussen
: gw,: us. - Berlin : Springer-Verlag , 1981. - (Lecture notes in computer science ; 104)
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 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)
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)
Formal models and practical tools for information systems design : proceedings of the IFIP TC-8 Working Conference on Formal Models and Practical Tools for Information Systems Design, Oxford, U.K., April 17-20, 1979 / edited by Hans-Jochen Schneider
Amsterdam ; New York : North-Holland Pub. Co.. - New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland , 1979
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)
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)
Graph-grammars and their application to computer science and biology : international workshop, Bad Honnef, October 30-November 3, 1978 / edited by Volker Claus, Hartmut Ehrig, and Grzegorz Rozenberg
: gw,: us. - Berlin ; New York : Springer-Verlag , 1979. - (Lecture notes in computer science ; 73)
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)
Methods of algorithmic language implementation / edited by A. Ershov and C.H.A. Koster
: gw,: us. - Berlin ; New York : Springer-Verlag , 1977. - (Lecture notes in computer science ; 47)
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)
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)
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)
Formal languages and programming : proceedings of a seminar organized by UAM-IBM Scientific Center, Madrid April 23-25, 1975 / edited by R. Aguilar
Amsterdam : North-Holland , 1976
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)
Mathematical foundations of computer science : 3rd symposium at Jadwisin near Warsaw, June 17-22, 1974 / edited by A. Blikle
: gw,: us. - Berlin ; New York : Springer-Verlag , 1975. - (Lecture notes in computer science ; 28)
Mathematical foundations of computer science 1975 : 4th Symposium, Mariánské Lázně, September 1-5, 1975 / edited by J. Bečvář
: gw,: us. - Berlin : New York : Springer-Verlag , 1975. - (Lecture notes in computer science ; 32)
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)