>> Google Books
所蔵情報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
形態:
ix, 551 p. ; 25 cm
シリーズ名:
Lecture notes in computer science ; 64 <BA00009279>
著者名:
ISBN:
9783540089216 [3540089217] (: gw)
9780387089218 [0387089217] (: us)
書誌ID:
BA01081307
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Mathematical foundations of computer science 1980 : proceedings of the 9th symposium held in Rydzyna, Poland, September 1-5, 1980 (: gw ; : us)

Symposium on Mathematical Foundations of Computer Science, Dembiński, Piotr

Springer-Verlag
7 図書 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
2 電子ブック Mathematical Foundations of Computer Science 1978 : 7th Symposium Zakopane, Poland, September 4-8, 1978. Proceedings

Winkowski, J., SpringerLink (Online service)
8 図書 Perspectives on computer science : from the 10th anniversary symposium at the Computer Science Department, Carnegie-Mellon University

Jones, Anita K., Carnegie-Mellon University. Dept. of Computer Science

Academic Press
3 図書 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
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 (: gw ; : us)

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 図書 Static analysis : 4th International Symposium, SAS'97, Paris, France, September 8-10, 1997 : proceedings

SAS, Van Hentenryck, Pascal

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 図書 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
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12