International symposium on programming : 5th colloquium, Turin, April 6-8, 1982, proceedings

>> Amazon.co.jp

このページのQRコード

International symposium on programming : 5th colloquium, Turin, April 6-8, 1982, proceedings

種類:

図書

責任表示:

edited by M. Dezani-Ciancaglini and U. Montanari

出版情報:

Berlin : Springer-Verlag, 1982

著者名:

シリーズ名:

Lecture notes in computer science ; 137 <BA00009279>

ISBN:

9783540114949 [3540114947] (: gw)

9780387114941 [0387114947] (: us)

注記:

Includes bibliographies

所蔵情報

子書誌情報

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

詳細

主題:	Electronic digital computers--Programming--Congresses
分類・件名:	NDC7 : 549.92 LCSH : Electronic digital computers -- Programming -- Congresses
LCCN:	82161894
TTLL:	eng
言語:	英語
形態:	vi, 406 p. : ill. ; 25 cm
書誌ID:	BA03647373

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック International Symposium on Programming : 5th Colloquium Turin, April 6–8, 1982 Proceedings Dezani-Ciancaglini, Mariangiola, Montanari, Ugo, SpringerLink (Online service) Springer-Verlag	7 図書 Programming languages : implementations, logics, and programs : 8th international symposium, PLILP '96, Aachen, Germany, September 24-27, 1996 : proceedings International Symposium, PLILP, Kuchen, Herbert R., 1958-, Swierstra, S. Doaitse Springer
2 電子ブック International Symposium on Programming : 5th Colloquium, Turin, April 6-8, 1982. Proceedings Dezani-Ciancaglini, M., Montanari, U., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	8 図書 Principles of declarative programming : 10th International Symposium, PLILP'98 held jointly with the 6th [i.e. 7th] International Conference, ALP'98, Pisa, … International Symposium, PLILP, International Conference on Algebraic and Logic Programming, Palamidessi, Catuscia, … Springer
3 図書 International Symposium on Programming : 6th colloquium, Toulouse, April 17-19, 1984 : proceedings International symposium on programming, Paul, Manfred, 1932-, Robinet, Bernard, 1941- Springer-Verlag	9 図書 Programming languages : implementations, logics, and programs : 9th International Symposium, PLILP '97 including a special track on declarative programming … International Symposium, PLILP, Glaser, Hugh, Hartel, Pieter H., Kuchen, Herbert R., 1958- Springer
4 図書 Rewriting techniques and applications : 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings International Conference on Rewriting Techniques and Applications, Hsiang, Jieh, 1954- Springer-Verlag	10 図書 Formalization of programming concepts : International Colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings Ramos, I. (Isidro), 1943-, International Colloquium on the Formalization of Programming Concepts, Díaz, Josep, 1950- Springer-Verlag
5 図書 Programming languages and systems -- ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996 : proceedings European Symposium on Programming, Nielson, Hanne Riis, 1954- Springer-Verlag	11 図書 International Symposium on Programming : proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980 Robinet, Bernard, 1941-, International symposium on programming Springer-Verlag
6 図書 Programming languages and systems, ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994 : proceedings European Symposium on Programming, Sannella, Donald, 1956- Springer-Verlag	12 図書 Rewriting techniques and applications : 8th international conference, RTA-97, Sitges, Spain, June 2-5 1997 : proceedings Comon, Hubert, International Conference on Rewriting Techniques and Applications Springer