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

Mathematics of program construction : 4th International Conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings

種類:
図書
責任表示:
Johan Jeuring (ed.)
出版情報:
Berlin : Springer, c1998
著者名:
シリーズ名:
Lecture notes in computer science ; 1422 <BA00009279>
ISBN:
9783540645917 [3540645918]  CiNii Books  Calil
注記:
Includes bibliographical references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Mathematics of program construction : Third International Conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings

International Conference on the Mathematics of Program Construction, Möller, Bernhard, 1953-

Springer
7 図書 Mathematical foundations of computer science 1992 : 17th International Symposium, Prague, Czechoslovakia, August 24-28, 1992 : proceedings

Symposium on Mathematical Foundations of Computer Science, Havel, Ivan M., Koubek, Václav, 1948-

Springer-Verlag
2 図書 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
8 図書 Category theory and computer science : 7th International Conference, CTCS ʾ97, Santa Margherita Ligure, Italy, September 4-6, 1997 : proceedings

Conference on Category Theory and Computer Science, Moggi, Eugenio, Rosolini, G. (Giuseppe), 1954-

Springer-Verlag
3 図書 Mathematics of program construction : 375th anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989 : …

Conference on Mathematics of Program Construction, Snepscheut, Jan L. A. van de, 1953-

Springer-Verlag
9 図書 Mathematical foundations of computer science 2001 : 26th International Symposium, MFCS 2001, Mariánské Láznĕ, Czech Republic, August 27-31, 2001 : proceedings

Symposium on Mathematical Foundations of Computer Science, Sgall, Jiřį́, 1965-, Pultr, Aleš, Kolman, Petr

Springer
4 図書 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, &hellip;

Springer
10 図書 International Symposium on Programming : 6th colloquium, Toulouse, April 17-19, 1984 : proceedings

International symposium on programming, Paul, Manfred, 1932-, Robinet, Bernard, 1941-

Springer-Verlag
5 図書 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
11 図書 Rewriting techniques and applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30-April 1, 1998 : proceedings

Nipkow, Tobias, 1958-, International Conference on Rewriting Techniques and Applications

Springer
6 図書 Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989, …

International Conference on the Mathematical Foundation of Programming Semantics, Main, Michael, 1956-

Springer-Verlag
12 電子ブック Mathematics of Program Construction : Third International Conference, MPC '95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings

Möller, Bernhard, SpringerLink (Online service)

Springer-Verlag