Algorithm specification : Courant Computer Science Symposium 4, March 1-2, 1971 | 岐阜大学図書館蔵書検索（OPAC）

>> Amazon.co.jp

このページのQRコード

Algorithm specification : Courant Computer Science Symposium 4, March 1-2, 1971

種類:

図書

責任表示:

edited by Randall Rustin

出版情報:

Englewood Cliffs, N.J. : Prentice-Hall, c1972

著者名:

シリーズ名:

Prentice-Hall series in automatic computation <BA00041522>

ISBN:

9780130223197 [0130223190]

所蔵情報

Loading availability information

子書誌情報

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

詳細

主題:	Algorithms--Congresses; Electronic digital computers--Programming--Congresses; Programming languages (Electronic computers)--Congresses
分類・件名:	LCC : QA76.6 DDC : 001.6/42 LCSH : Electronic digital computers -- Programming -- Congresses LCSH : Programming languages (Electronic computers) -- Congresses LCSH : Algorithms -- Congresses
LCCN:	72000512
TTLL:	eng
言語:	英語
形態:	141 p. ; 24 cm
書誌ID:	BA03966542

内容紹介

Loading contents information

目次情報

Loading contents information

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Mathematical foundations of computer science 1978 : proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978 Symposium on Mathematical Foundations of Computer Science, Winkowski, Józef, 1934- Springer-Verlag	7 図書 Design and optimization of compilers : Courant Computer Science Symposium 5, March 29-30, 1971 Courant Computer Science Symposium, Rustin, Randall Prentice-Hall
2 図書 ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings European Symposium on Programming, Ganzinger, Harald, 1950-, Colloquium on Trees in Algebra and Programming Springer-Verlag	8 図書 Formal semantics of programming languages : Coutant Computer Science Symposium 2, September 14-16, 1970 Courant Computer Science Symposium, Rustin, Randall Prentice-Hall
3 図書 Mathematical foundations of computer science 1979 : proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3-7, 1979 Symposium on Mathematical Foundations of Computer Science, Bečvář, J., 1926- Springer-Verlag	9 図書 Mathematical foundations of computer science 1980 : proceedings of the 9th symposium held in Rydzyna, Poland, September 1-5, 1980 Symposium on Mathematical Foundations of Computer Science, Dembiński, Piotr Springer-Verlag
4 図書 Programming languages and systems : 7th European Symposium on Programming, ESOP '98, held as part of Joint European Conferences on Theory and Practice of … European Symposium on Programming, Hankin, Chris Springer-Verlag	10 図書 [Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975 / IAC-CNR, Istituto per le applicazioni del calcolo … Böhm, Corrado, 1923-, Istituto per le applicazioni del calcolo Springer-Verlag
5 図書 Rewriting techniques and applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30-April 1, 1998 : proceedings Nipkow, Tobias, 1958-, International Conference on Rewriting Techniques and Applications Springer	11 図書 Rewriting techniques and applications : 4th international conference, RTA-91, Como, Italy, April 10-12, 1991, proceedings International Conference on Rewriting Techniques and Applications, Book, Ronald V. Springer-Verlag
6 図書 Computer networks : Courant Computer Science Symposium 3, November 30-December 1, 1970 Courant Computer Science Symposium, Rustin, Randall Prentice-Hall	12 図書 Conditional and typed rewriting systems : 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994 : proceedings International Workshop on Conditional (and Typed) Rewriting Systems, Dershowitz, Nachum, 1951-, Lindenstrauss, Naomi Springer-Verlag