Computability and Complexity from a Programming Perspective,
- 著者名:
- JONES, N.D.
- 掲載資料名:
- Proof and system-reliability
- シリーズ名:
- NATO science series. Series 2, Mathematics, physics and chemistry
- シリーズ巻号:
- 62
- 発行年:
- 2002
- 開始ページ:
- 79
- 終了ページ:
- 136
- 総ページ数:
- 58
- 出版情報:
- Dordrecht: Kluwer Academic Publishers
- ISBN:
- 9781402006074 [1402006071]
- 言語:
- 英語
- 請求記号:
- N17050/62
- 資料種別:
- 国際会議録
類似資料:
IOS Press |
ESA Publications Division |
SPIE - The International Society for Optical Engineering |
8
国際会議録
Tropospheric and Stratospheric Measurements of Key Atmospheric Compounds from the Ground and Space
ESA Communication Production Office |
SPIE - The International Society of Optical Engineering |
Plenum Press |
ESA Communication Production Office |
Society of Photo-optical Instrumentation Engineers |
American Institute of Chemical Engineers | |
Springer-Verlag |
Kluwer Academic Publishers |