Proof technology and computation
- 責任表示:
- edited by Helmut Schwichtenberg and Katharina Spies
- シリーズ名:
- NATO science series. Series 3, Computer and systems sciences
- シリーズ巻号:
- 200
- 出版情報:
- Amsterdam: IOS Press, 2006
- ISSN:
- 13876694
- ISBN:
- 9781586036256 [1586036254]
- 請求記号:
- N17060/200
- 資料種別:
- 国際会議録
類似資料:
Springer | |
American Society of Mechanical Engineers |
American Society of Mechanical Engineers |
Kluwer Academic Publishers |
American Society of Mechanical Engineers |
American Society of Civil Engineers |
American Society of Mechanical Engineers |
Association for Computing Machinery |
American Society of Mechanical Engineers |
American Society of Mechanical Engineers |
American Society of Mechanical Engineers |