Programming languages : implementations, logics, and programs : 8th international symposium, PLILP '96, Aachen, Germany, September 24-27, 1996 : proceedings | 東京科学大学図書館　蔵書検索（大岡山図書館、すずかけ台図書館）

>> Google Books

所蔵情報QRコード

Programming languages : implementations, logics, and programs : 8th international symposium, PLILP '96, Aachen, Germany, September 24-27, 1996 : proceedings / Herbert Kuchen, S. Doaitse Swierstra (eds.)

資料種別:

図書

出版情報:

Berlin ; Tokyo : Springer, c1996

形態:

xi, 478 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 1140 <BA00009279>

著者名:

ISBN:

9783540617563 [3540617566]

書誌ID:

BA28379172

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	Includes bibliographical references and index
主題:	Electronic digital computers--Programming--Congresses; Programming languages (Electronic computers)--Congresses
言語:	英語

ブックレビュー

Loading review information

類似資料:

1 電子ブック Programming Languages: Implementations, Logics, and Programs : 8th International Symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996. Proceedings Kuchen, Herbert., Swierstra, S.Doaitse., SpringerLink (Online service)	7 電子ブック Programming Languages: Implementations, Logics and Programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. … Hermenegildo, Manuel., Swierstra, S.Doaitse., SpringerLink (Online service)
2 図書 Programming languages : implementations, logics, and programs : 9th International Symposium, PLILP '97 including a special track on declarative programming … (: pbk) International Symposium, PLILP, Glaser, Hugh, Hartel, Pieter H., Kuchen, Herbert R., 1958- Springer	8 図書 Principles of declarative programming : 10th International Symposium, PLILP'98 held jointly with the 6th International Conference, ALP'98, Pisa, Italy, … International Symposium, PLILP, Palamidessi, Catuscia, Glaser, Hugh, Meinke, Karl Springer
3 図書 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	9 図書 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
4 図書 Static analysis : third international symposium, SAS '96, Aachen, Germany, September 24-26, 1996 : proceedings SAS, Cousot, Radhia, Schmidt, David A., 1953- Springer	10 図書 Programming language implementation and logic programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14-16 1994 : proceedings (: us ; : gw) International Symposium, PLILP, Hermenegildo, Manuel, Penjam, Jaan, 1955- Springer-Verlag
5 電子ブック Programming Languages: Implementations, Logics, and Programs PLILP '96, Kuchen, Herbert, Swierstra, S. Doaitse SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	11 図書 Proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 September, 1984 International Workshop on Natural Language Understanding and Logic Programming, Dahl, Veronica, 1950-, Saint-Dizier, … North-Holand, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
6 図書 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	12 図書 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

1

2

3

4

5

6

7

8

9

10

11

12