>> Amazon.co.jp
このページのQRコード

Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980

種類:
図書
責任表示:
edited by A. Salwicki
出版情報:
Berlin : Springer-Verlag, 1983
著者名:
シリーズ名:
Lecture notes in computer science ; 148 <BA00009279>
ISBN:
9783540119814 [3540119817] (: gw)  CiNii Books  Calil
9780387119816 [0387119817] (: us)  CiNii Books  Calil
注記:
Includes bibliographies
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Logics of Programs and Their Applications : Proceedings, Poznan, August 23–29, 1980

Salwicki, A., SpringerLink (Online service)

Springer-Verlag
7 図書 Mathematics of program construction : Second International Conference, Oxford, U.K., June 29-July 3, 1992 : proceedings

International Conference on the Mathematics of Program Construction, Bird, R. S. (Richard Simpson), 1943-, Morgan, C. C. &hellip;

Springer-Verlag
2 電子ブック Logics of Programs and Their Applications : Proceedings, Poznan, August 23-29, 1980

Salwicki, A., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
8 図書 Proceedings : 11th Symposium on Computer Arithmetic, June 29-July 2, 1993, Windsor, Ontario

Symposium on Computer Arithmetic, IEEE Computer Society. Technical Committee on VLSI, Swartzlander, Earl E., Irwin, Mary &hellip;

IEEE Computer Society Press
3 図書 Proceedings of the Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993

Symposium on Logic in Computer Science (8th : 1993 : Montreal, Canada), IEEE Computer Society. Technical Committee on &hellip;

IEEE Computer Society Press
9 図書 Operating systems : proceedings of an international symposium held at Rocquencourt, April 23-25, 1974

Gelenbe, Erol, 1945-, Kaiser, C., Institut de recherche d'informatique et d'automatique

Springer-Verlag
4 図書 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
10 図書 Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 22-25, 1992

Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of &hellip;

IEEE Computer Society Press
5 図書 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
11 図書 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
6 図書 Programming Symposium : proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974

Programming Symposium, Robinet, Bernard, 1941-

Springer-Verlag
12 図書 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