>> Google Books

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 : ill. ; 25 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 5 <BA00009279>
書誌ID:
BA03582890
ISBN:
9783540067207 [3540067205] (: gw)  CiNii Books  Webcat Plus  Google Books
9780387067209 [0387067205] (: us)  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979

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

Springer-Verlag
7 図書 International Computing Symposium, 1977 : proceedings of the International Computing Symposium, 1977, Liège, Belgium, 4-7 April 1977

International Computing Symposium, Morlet, E., Ribbens, D. (Daniel), Association for Computing Machinery, European &hellip;

North-Holland Pub. Co., sole distributors for the U.S.A. and Canada, American Elsevier Pub. Co.
2 図書 Automata, languages, and programming : 11th colloquium, Antwerp, Belgium, July 16-20, 1984

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

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

Springer-Verlag
3 図書 Origins of programming : discourses on methodology

Ershov, Andreĭ Petrovich, 1931-

Springer-Verlag
9 図書 Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 : proceedings

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

Springer-Verlag
4 図書 Static analysis : Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993 : proceedings

Workshop on Static Analysis, Cousot, Patrick, 1948-

Springer-Verlag
10 図書 Programming language implementation and logic programming : 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings

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

Springer-Verlag
5 図書 Language design and programming methodology : proceedings of a symposium held in Sydney, Australia, 10-11 September 1979

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

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 図書 Automata, languages and programming : 16th international colloquium, Stresa, Italy, July 11-15, 1989 : proceedings

International Colloquium on Automata, Languages and Programming, Ausiello, Giorgio, 1941-, Dezani-Ciancaglini, &hellip;

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