>> Google Books
所蔵情報QRコード

International Symposium on Theoretical Programming : [proceedings held on August 7-11, 1972 / edited by Andrei Ershov and Valery A. Nepomniaschy

資料種別:
図書
出版情報:
Berlin ; New York : Springer-Verlag, 1974
形態:
407 p ; 25 cm
シリーズ名:
Lecture notes in computer science ; 5 <BA00009279>
著者名:
ISBN:
9783540067207 [3540067205] (: gw)
9780387067209 [0387067205] (: us)
書誌ID:
BA03582890
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979 (: gw ; : us)

Ershov, Andreĭ Petrovich, 1931-, Knuth, Donald Ervin, 1938-, Ŭzbekiston SSR fanlar akademii︠a︡si

Springer-Verlag
7 図書 Automata, languages and programming : 16th international colloquium, Stresa, Italy, July 11-15, 1989 : proceedings (: gw ; : us)

International Colloquium on Automata, Languages and Programming, Ausiello, Giorgio, 1941-, Dezani-Ciancaglini, …

Springer-Verlag
2 図書 Automata, languages, and programming : 11th colloquium, Antwerp, Belgium, July 16-20, 1984 (: gw ; : us)

International Colloquium on Automata, Languages and Programming, Paredaens, Jan, 1947-

Springer-Verlag
8 図書 Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings (: gw ; : us)

International Symposium, PLILP, Małuszyński, Jan, 1941-, Wirsing, M. (Martin)

Springer-Verlag
3 電子ブック International Symposium on Theoretical Programming

Ershov

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
9 図書 Programming language implementation and logic programming : 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings (: gw ; : us)

International Symposium, PLILP, Bruynooghe, M. (Maurice), Wirsing, M. (Martin)

Springer-Verlag
4 図書 The alpha automatic programming system

Ershov, Andreĭ Petrovich, 1931-

Academic Press
10 図書 Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 : proceedings (: us ; : gw)

International Symposium, PLILP, Bruynooghe, M. (Maurice), Penjam, Jaan, 1955-

Springer-Verlag
5 図書 Static analysis : Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993 : proceedings (: gw ; : us)

Workshop on Static Analysis, Cousot, Patrick, 1948-

Springer-Verlag
11 図書 Programming languages : implementations, logics and programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : …

International Symposium, PLILP, Hermenegildo, Manuel, Swierstra, S. Doaitse

Springer-Verlag
6 図書 Language design and programming methodology : proceedings of a symposium held in Sydney, Australia, 10-11 September 1979 (: gw ; : us)

Symposium on Language Design and Programming Methodology, Tobias, Jeffrey M., 1953-, Australian Atomic Energy …

Springer-Verlag
12 図書 Programming languages and systems : 7th European Symposium on Programming, ESOP '98, held as part of the Joint European Conferences on Theory and Practice of …

European Symposium on Programming, European Conferences on Theory and Practice of Software, Hankin, Chris

Springer-Verlag
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12