>> Google Books
タイトル、所在を表示します

10th European Conference on Mixing : proceedings of the 10th European Conference, Delft, The Netherlands, July 2-5, 2000

フォーマット:
図書
責任表示:
edited by H. E. A. van den Akker and J. J. Derksen
言語:
英語
出版情報:
Amsterdam : Elsevier, c2000
形態:
xxxi, 537 p. ; 25 cm
著者名:
書誌ID:
BA49193274
ISBN:
9780444504760 [0444504761]
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Computer aided verification : 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28-July 2, 1998 : proceedings

CAV (Conference), Hu, Alan J., Vardi, Moshe

Springer-Verlag
7 図書 High performance computing and networking : 8th International Conference, HPCN Europe 2000, Amsterdam, the Netherlands, May 8-10, 2000 : proceedings

Bubak, Marian, International Conference and Exhibition on High-Performance Computing and Networking

Springer
2 図書 Proceedings of the 5th East Asia PDE conference

Choe, H. J., East Asia PDE Conference

Gakkotosho
8 図書 Models of computation in context : 7th Conference on Computability in Europe, CIE 2011, Sofia, Bulgaria, June 27 - July 2, 2011 : proceedings

Conference on Computability in Europe, Löwe, Benedikt

Springer
3 図書 Sublethal effects of toxic chemicals on aquatic animals : proceedings of the Swedish-Netherlands Symposium, Wageningen, The Netherlands, September 2-5, 1975

Swedish-Netherlands Symposium, Wageningen, 1975, Koeman, J. H., Strik, J. J. T. W. A.

Elsevier Scientific Pub. Co.
9 図書 Rewriting techniques and applications : 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, proceedings

International Conference on Rewriting Techniques and Applications, Narendran, Paliath, 1955-, Rusinowitch, M. (Michael)

Springer
4 図書 Computer vision -- ECCV '98 : 5th European Conference on Computer Vision, Freiburg, Germany, June 2-6, 1998 : proceedings

European Conference on Computer Vision, Burkhardt, H. (Hans), 1944-, Neumann, Bernd, 1943 May 17-

Springer
10 図書 Integrated Formal Methods : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005 : proceedings

International Conference on Integrated Formal Methods, Romijn, Judi, Smith, Graeme, 1966-, Pol, Jaco

Springer
5 図書 ECOOP '96--object-oriented programming : 10th European Conference, Linz, Austria, July 8-12 1996 : proceedings

European Conference on Object-Oriented Programming, Cointe, Pierre, 1954-

Springer
11 図書 Safety and reliability : proceedings of ESREL 2003, European Safety and Reliability Conference 2003, 15-18 June 2003, Maastricht, The Netherlands

European Safety and Reliability Conference, Bedford, T., Gelder, P. H. A. J. M. van

A.A.Balkema
6 図書 Integrated formal methods : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings

International Conference on Integrated Formal Methods, Davies, Jim, 1964-, Gibbons, Jeremy

Springer
12 図書 Automated deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings

International Conference on Automated Deduction, Kirchner, Claude, Kirchner, Hélène

Springer