>> Google Books

1. Fachtagung über Automatentheorie und Formale Sprachen : GI. Gesellschaft für Informatik e.V. Bonn, 9.-12. Juli 1973 / herausgegeben von Karl-Heinz Böhling, Klaus Indermark

版:
1st ed. 1973
資料種別:
電子ブック
出版情報:
Berlin : Springer Berlin Heidelberg, 1973
形態:
X, 330 p.
シリーズ名:
Lecture Notes in Computer Science ; 2
著者名:
ISBN:
9783540378266 [354037826X]
9783662190609 [3662190605]
9783540065272 [354006527X]
書誌ID:
EB00001647
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

1 電子ブック GI Gesellschaft für Informatik e. V. 1. Fachtagung über Automatentheorie und Formale Sprachen

Böhling

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
7 電子ブック STACS 94 : 11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24–26, 1994 Proceedings

Enjalbert, Patrice., Mayr, Ernst W., Wagner, Klaus W., SpringerLink (Online service)
2 電子ブック Automata, Languages and Programming : 12th Colloquium, Nafplion, Greece, July 15-19, 1985. Proceedings

Brauer, Wilfried., SpringerLink (Online service)
8 電子ブック STACS 95 : 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995. Proceedings

Mayr, Ernst W., Puech, Claude., SpringerLink (Online service)
3 電子ブック Constraints in Computational Logics : First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings

Jouannaud, Jean-Pierre., SpringerLink (Online service)
9 電子ブック Algorithmic Learning Theory : 12th International Conference, ALT 2001, Washington, DC, USA, November 25-28, 2001. Proceedings

Abe, Naoki., Khardon, Roni., Zeugmann, Thomas., SpringerLink (Online service)
4 電子ブック COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings

Martin-Löf, Per., Mints, Grigori., SpringerLink (Online service)
10 電子ブック Graph Reduction : Proceedings of a Workshop Santa Fe, New Mexico, USA, September 29 - October 1, 1986

Fasel, Joseph H., Keller, Robert M., SpringerLink (Online service)
5 電子ブック Typed Lambda Calculi and Applications : 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings

Girard, Jean-Yves., SpringerLink (Online service)
11 電子ブック Typed Lambda Calculi and Applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 …

Dezani-Ciancaglini, Mariangiola., Plotkin, Gordon., SpringerLink (Online service)
6 電子ブック 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)
12 電子ブック Word Equations and Related Topics : 1st International Workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990. Proceedings

Schulz, Klaus U., SpringerLink (Online service)
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12