Blank Cover Image
このページのQRコード

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 Informatik von Karl-Heinz Böhling und Klaus Indermark

種類:
図書
責任表示:
Goos, Gerhard, 1937- ; Hartmanis, Juris
出版情報:
Berlin : Springer, 1973
著者名:
シリーズ名:
Lecture notes in computer science ; 2 <BA00009279>
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック 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
7 電子ブック Theorem Proving in Higher Order Logics : 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings

Goos, Gerhard, Hartmanis, Juris, Leeuwen, Jan, Wright, Joakim, Grundy, Jim, Harrison, John, SpringerLink (Online &hellip;

Springer-Verlag
2 電子ブック GI Gesellschaft für Informatik e. V. 1. Fachtagung über Automatentheorie und Formale Sprachen : Bonn, 9.–12. Juli 1973

Goos, G., Hartmanis, J., Gries, D., Brinch Hansen, P., Seegmüller, G., Wirth, N., SpringerLink (Online service)

Springer-Verlag
8 図書 LECTURE NOTES IN COMPUTER SCIENCE

<ED. BY> GOOS, G., HARTMANIS, J., <ED. BY> TOMAYKO, J. E.

SPRINGER
3 図書 GI : Gesellschaft für Informatik e. V. 3. Fachtagung Über Programmier-sprachen, Kiel, 5.-7. März 1974. Hrsg. von Bodo Schlender und Wolfgang Frielinghaus

Goos, Gerhard, 1937-, Hartmanis, Juris

Springer
9 図書 Rechner-Gestützter Unterricht : RGU '74, Fachtagung, Hamburg 12.-14. August, 1974

Fachtagung RGU '74, Brunnstein, K., 1937-, Haefner, Klaus, 1920-, Händler, Wolfgang, 1920-, Arbeitskreis &hellip;

Springer-Verlag
4 図書 GI : Gesellschaft für Informatik e. V. 3. Jahrestagung, Hamburg, 8-10. Oktober 1973. Hrsg. im Auftrag der Gesellscahft für Informatik von Wilfried Brauer/ G. …

Goos, Gerhard, 1937-, Hartmanis, Juris

Springer
10 図書 Diagnosis and identification of plant pathogens : proceedings of the 4th International Symposium of the European Foundation for Plant Pathology, September 9-12, …

European Foundation for Plant Pathology. Conference, Dehne, H.-W. (Heinz-W.)

Kluwer Academic
5 図書 GI-NTG. Fachtagung Struktur und Betrieb von Rechensystemen , Braunschweig, 20-22. 3. 1974

Goos, Gerhard, 1937-, Hartmanis, Juris

Springer
11 電子ブック GFK-GI-GMR Fachtagung Prozessrechner 1974 : Karlsruhe, 10.–11. Juni 1974

Krüger, Gerhard, Friehmelt, Rüdiger, SpringerLink (Online service)

Springer Berlin Heidelberg
6 図書 Fachtagung Prozessrechner 1974, Karlsruhe, 10.-11. Juni 1974

Fachtagung Prozessrechner, Krüger, Gerhard, 1902-1972, Friehmelt, Rüdiger

Springer-Verlag
12 図書 Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975

Brakhage, H., 1926-, Gesellschaft für Informatik

Springer-Verlag