GI Gesellschaft für Informatik e. V. 1. Fachtagung über Automatentheorie und Formale Sprachen : Bonn, 9.–12. Juli 1973

>> Amazon.co.jp

このページのQRコード

GI Gesellschaft für Informatik e. V. 1. Fachtagung über Automatentheorie und Formale Sprachen : Bonn, 9.–12. Juli 1973

種類:

電子ブック

責任表示:

edited by G. Goos, J. Hartmanis, D. Gries, P. Brinch Hansen, G. Seegmüller, N. Wirth

出版情報:

Berlin, Heidelberg : Springer-Verlag, 1973

著者名:

SpringerLink (Online service)

続きを見る

シリーズ名:

Lecture Notes in Computer Science ; 2

ISBN:

9783540378266 [354037826X]

ローカル注記:

岐阜大学構成員専用E-BOOKS (Gifu University members only)

オンライン

http://dx.doi.org/10.1007/BFb0039132

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	Computation by Abstract Devices; Computer Science; Mathematical Logic and Formal Languages
分類・件名:	LCSH : Computer science FREE : Computer Science FREE : Computation by Abstract Devices FREE : Mathematical Logic and Formal Languages
TTLL:	eng
言語:	英語
形態:	v.: digital
書誌ID:	KB00005632

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 GI : Gesellschaft für Informatik e. V. 1. Fachtagung über Automatentheorie und Formale Sprachen, Bonn, 9-12 Juli 1973. Hrsg. im Auftrag der Gesellschaft für … Goos, Gerhard, 1937-, Hartmanis, Juris Springer	7 電子ブック Conpar 81 : Conference on Analysing Problem Classes and Programming for Parallel Computing Nürnberg, June 10–12, 1981 Proceedings Brauer, W., Hansen, P. Brinch, Gries, D., Moler, C., Seegmüller, G., Stoer, J., Wirth, N., Händler, Wolfgang, … Springer-Verlag
2 電子ブック 1. Fachtagung über Automatentheorie und Formale Sprachen : GI. Gesellschaft für Informatik e.V. Bonn, 9.-12. Juli 1973 Böhling, Karl-Heinz., Indermark, Klaus., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	8 電子ブック Advances in Cryptology — EUROCRYPT ’88 : Workshop on the Theory and Application of Cryptographic Techniques Davos, Switzerland, May 25–27, 1988 Proceedings Barstow, D., Brauer, W., Brinch Hansen, P., Gries, D., Luckham, D., Moler, C., Pnueli, A., Seegmüller, G., Stoer, J., … Springer Verlag Berlin Heidelberg
3 電子ブック Theoretical Computer Science : 3rd Gl Conference Darmstadt, March 28–30, 1977 Goos, G., Hartmanis, J., Brinch Hansen, P., Gries, D., Moler, C., Seegmüller, G., Stoer, J., Wirth, N., SpringerLink … Springer-Verlag	9 電子ブック Foundations of Intelligent Systems : 9th International Symposium, ISMIS '96 Zakopane, Poland, June 9–13, 1996 Proceedings Raś, Zbigniew W., Michalewicz, Maciek, SpringerLink (Online service) Springer-Verlag
4 電子ブック Computer Programs for Spelling Correction: An Experiment in Program Design Goos, G., Hartmanis, J., Brauer, W., Brinch Hansen, P., Gries, D., Moler, C., Seegmüller, G., Stoer, J., Wirth, N., … Springer-Verlag	10 電子ブック Fundamentals of Computation Theory : 8th International Conference, FCT '91 Gosen, Germany, September 9–13, 1991 Proceedings Budach, L., SpringerLink (Online service) Springer-Verlag
5 電子ブック The Programming Language Ada Reference Manual : Proposed Standard Document United States Department of Defense Goos, G., Hartmanis, J., Brauer, W., Brinch Hansen, P., Gries, D., Moler, C., Seegmüller, G., Stoer, J., Wirth, N., … United States Government	11 電子ブック Automata, Languages and Programming : 20th International Colloquium, ICALP 93 Lund, Sweden, July 5–9, 1993 Proceedings Lingas, Andrzej, Karlsson, Rolf, Carlsson, Svante, SpringerLink (Online service) Springer-Verlag
6 電子ブック The Programming Language Ada Reference Manual American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983 Goos, G., Hartmanis, J., Barstow, D., Brauer, W., Brinch Hansen, P., Gries, D., Luckham, D., Moler, C., Pnueli, A., … the United States Government	12 電子ブック Fundamentals of Computation Theory : 9th International Conference, FCT '93 Szeged, Hungary, August 23–27, 1993 Proceedings Ésik, Zoltán, SpringerLink (Online service) Springer-Verlag