Mathematical foundations of computer science 1978 : proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978

>> Amazon.co.jp

このページのQRコード

Mathematical foundations of computer science 1978 : proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978

種類:

図書

責任表示:

edited by J. Winkowski

出版情報:

Berlin ; New York : Springer-Verlag, 1978

著者名:

シリーズ名:

Lecture notes in computer science ; 64 <BA00009279>

ISBN:

9783540089216 [3540089217] (: gw)

9780387089218 [0387089217] (: us)

注記:

Includes bibliographies

所蔵情報

子書誌情報

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

詳細

主題:	Data base management--Congresses; Electronic digital computers--Programming--Congresses; Parallel processing (Electronic computers)--Congresses; Programming languages (Electronic computers)--Congresses
分類・件名:	LCC : QA76.6 DDC : 519.7 LCSH : Electronic digital computers -- Programming -- Congresses LCSH : Programming languages (Electronic computers) -- Congresses LCSH : Parallel processing (Electronic computers) -- Congresses LCSH : Data base management -- Congresses
LCCN:	78014457
TTLL:	eng
言語:	英語
形態:	ix, 551 p. : ill. ; 25 cm
書誌ID:	BA01081307

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 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	7 図書 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
2 電子ブック Mathematical Foundations of Computer Science 1978 : Proceedings, 7th Symposium Zakopane, Poland, September 4–8, 1978 Winkowski, J., SpringerLink (Online service) Springer-Verlag	8 図書 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
3 電子ブック Mathematical Foundations of Computer Science 1978 : 7th Symposium Zakopane, Poland, September 4-8, 1978. Proceedings Winkowski, J., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	9 図書 Algorithm specification : Courant Computer Science Symposium 4, March 1-2, 1971 Courant Computer Science Symposium, Rustin, Randall Prentice-Hall
4 図書 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	10 図書 Static analysis : 8th international symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings SAS, Cousot, Patrick, 1948- Springer
5 図書 CONCUR '97 : concurrency theory : 8th International Conference, Warsaw, Poland, July 1-4, 1997 : proceedings International Conference on Concurrency Theory, Mazurkiewicz, Antoni, Winkowski, Józef, 1934- Springer	11 図書 Static analysis : 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998 : proceedings SAS, Levi, Giorgio, 1942- Springer
6 図書 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	12 図書 Languages and compilers for parallel computing : 7th International Workshop, Ithaca, NY, USA, August 8-10, 1994 : proceedings Workshop on Languages and Compilers for Parallel Computing, Pingali, Keshav Springer-Verlag