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

Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings

種類:
図書
責任表示:
Roland Backhouse, José Nuno Oliveira (eds.)
出版情報:
Berlin : Springer, c2000
著者名:
シリーズ名:
Lecture notes in computer science ; 1837 <BA00009279>
ISBN:
9783540677277 [3540677275]  CiNii Books  Calil
注記:
Includes bibliographical references
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Algebraic and coalgebraic methods in the mathematics of program construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000 : revised …

Mathematics of Program Construction, Backhouse, Roland C., 1948-, Crole, Roy L, Gibbons, Jeremy

Springer
7 図書 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
2 図書 CONCUR 2003 - concurrency theory : 14th International Conference, Marseille, France, September 3-5, 2003 : proceedings

International Conference on Concurrency Theory, Amadio, Roberto M., Lugiez, Denis

Springer
8 図書 Energy minimization methods in computer vision and pattern recognition : 4th International Workshop, EMMCVPR 2003, Lisbon, Portugal, July 7-9, 2003 : …

Figueiredo, Mário, 1962-, Zerubia, Josiane, 1957-, Anand Rangarajan

Springer
3 図書 Compiler construction : 11th International Conference, CC 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, …

International Workshop on Compiler Construction, Horspool, R. Nigel, 1948-, European Conferences on Theory and Practice &hellip;

Springer
9 電子ブック Mathematics of Program Construction : Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings

Bird, R. S., Morgan, C. C., Woodcock, J. C. P., SpringerLink (Online service)

Springer-Verlag
4 図書 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
10 電子ブック Mathematics of Program Construction : Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings

Bird, Richard S., Morgan, C.Carroll., Woodcock, James C.P., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
5 電子ブック 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
11 図書 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
6 電子ブック 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
12 図書 Information and communications security : 5th International Conference, ICICS 2003, Huhehaote, China, October 10-13, 2003 : proceedings

International Conference on Information and Communications Security, Qing, Sihan, Gollmann, Dieter, Zhou, Jianying

Springer