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

B'98 : recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998, proceedings

種類:
図書
責任表示:
Didier Bert (ed.)
出版情報:
Berlin : Springer, c1998
著者名:
シリーズ名:
Lecture notes in computer science ; 1393 <BA00009279>
ISBN:
9783540644057 [3540644059]  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 図書 High performance computing : proceedings of the International Symposium on High Performance Computing, Montpellier, France, 22-24 March, 1989

International Symposium on High Performance Computing, Delhaye, J. -L, Gelenbe, Erol, 1945-

North-Holland, Distributors for the U.S. and Canada, Elsevier Science Pub. Co.
7 図書 Inductive logic programming : 8th International Conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998 : proceedings

Page, David, ILP '98

Springer
2 図書 New developments in boundary element methods : proceedings of the Second International Seminar on Recent Advances in Boundary Element Methods, held at the …

International Seminar on Recent Advances in Boundary Element Methods, Brebbia, Carlos Alberto, 1938-, International &hellip;

Butterworth
8 図書 Geotechnical site characterization : proceedings of the first international conference on site characterization - ISC '98/Atlanta/Georgia/USA/19-22 April 1998

International conference on site characterization, Robertson, Peter K., Mayne, Paul W.

A.A. Balkema
3 図書 ZB 2003 : Formal Specification and Development in Z and B : 3rd International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : proceedings

International Conference of B and Z Users, Bert, Didier, Bowen, J. P. (Jonathan Peter), 1956-, King, Steve, Walden, &hellip;

Springer
9 図書 Advances in cryptology, ASIACRYPT '98 : International Conference on the Theory and Application of Cryptology and Information Security, Beijing, China, October …

International Conference on the Theory and Application of Cryptology, 太田, 和夫(1954-), Pʿei, Ting-i

Springer
4 電子ブック International Symposium on Programming : Proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980

Robinet, B., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
10 図書 Recent advances in nonlinear elliptic and parabolic problems : proceedings of an international conference, Nancy, France, March 1988

Bénilan, P. (Philippe), 1940-2001

Longman Scientific & Technical, J. Wiley
5 電子ブック Recent advances in adaptive computation : proceedings of the International Conference on Recent Advances in Adaptive Computation, May 24-28, 2004, Zhejiang …

International Conference on Recent Advances in Adaptive Computation, Shi, Zhongci.

American Mathematical Society
11 図書 Proceedings of the Second International Conference on Product Development and Manufacturing Technology : University of Strathclyde, April 1971

International Conference on Product Development and Manufacturing Technology, Ross, Donald Sutherland

Macdonald
6 図書 Rheoencephalography and plethysmographical methods : proceedings of the second International Symposium Graz, Austria, 19-22 April, 1967

International Symposium on Rheoencephalography and Plethysmographical Methods, Lechner, H. (Helmut), Excerpta Medica &hellip;

Excerpta Medica Foundation
12 図書 Proceedings of the twenty-fifth International Machine Tool Design and Research Conference, held in Birmingham 22nd-24th April, 1985

International Machine Tool Design and Research Conference, Tobias, Stephen Albert

Department of Mechanical Engineering, University of Birmingham, Macmillan