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

Mathematics of program construction : Third International Conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings

種類:
図書
責任表示:
Bernhard Möller, (ed.)
出版情報:
Berlin ; New York ; Tokyo : Springer, c1995
著者名:
シリーズ名:
Lecture notes in computer science ; 947 <BA00009279>
ISBN:
9783540601173 [3540601171]  CiNii Books  Calil
注記:
Includes bibliographical references
所蔵情報
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

Möller, Bernhard, SpringerLink (Online service)

Springer-Verlag
7 図書 Rewriting techniques and applications : 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings

International Conference on Rewriting Techniques and Applications, Hsiang, Jieh, 1954-

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

Möller, Bernhard., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
8 図書 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
3 図書 Mathematics of program construction : 4th International Conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings

Conference on Mathematics of Program Construction, Jeuring, Johan, 1965-

Springer
9 図書 Mathematical foundations of computer science 1995 : 20th International Symposium, MFCS '95, Prague, Czech Republic, August 28-September 1, 1995 : proceedings

Symposium on Mathematical Foundations of Computer Science, Wiedermann, J. (Juraj), Hájek, Petr

Springer-Verlag
4 図書 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
10 図書 Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings

International Conference on Mathematics of Program Construction, Backhouse, Roland C., 1948-, Oliveira, José Nuno

Springer
5 図書 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
11 図書 Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings

International Conference AISMC, Calmet, Jacques, 1941-, Campbell, John A., 1940-, Pfalzgraf, Jochen

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 図書 Mathematical foundations of computer science 1996 : 21st International Symposium, MFCS '96, Cracow, Poland, September 2-6, 1996 : proceedings

Symposium on Mathematical Foundations of Computer Science, Penczek, Wojciech, Szałas, Andrzej, 1958-

Springer