>> Google Books
QRコード(所蔵情報)

Handbook of logic and proof techniques for computer science

フォーマット:
図書
責任表示:
Steven G. Krantz
言語:
英語
出版情報:
Boston : Birkhäuser
New York : Springer, c2002
形態:
xix, 245 p. ; 24 cm
著者名:
Krantz, Steven G. (Steven George), 1951- <DA01302399>  
書誌ID:
BA55879699
ISBN:
9780817642204 [081764220X]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Computers

Long, Larry E., 1945-, Long, Nancy, 1947-

Prentice Hall

Krantz, Steven G. (Steven George), 1951-

Mathematical Association of America

Berkeley, Edmund Callis, Wainwright, Lawrence

Reinhold Pub. Co

Krantz, Steven G. (Steven George), 1951-

CRC Press

Clark, James F. (James Fred), Allen, Warren W., Klooster, Dale H.

South-Western Pub. Co.

Krantz, Steven G. (Steven George), 1951-

Wadsworth & Brooks/Cole Advanced Books & Software

Clark, James F. (James Fred), Allen, Warren W., Klooster, Dale H.

South-Western Pub. Co.

10 図書 Convex analysis

Krantz, Steven G. (Steven George), 1951-

CRC Press

Krantz, Steven G. (Steven George), 1951-

American Mathematical Society

Krantz, Steven G. (Steven George), 1951-

American Mathematical Society

Ledley, Robert Steven

McGraw-Hill

Krantz, Steven G. (Steven George), 1951-

Springer