Top 108 kai berg PDF Book Page 5

book image

Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers

Andreas Abel, Ralph Matthes (auth.), Herman Geuvers, Freek Wiedijk (eds.)
·339 Pages
·2003
·2.936 MB

book image

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings

Don Batory (auth.), Marko van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk (eds.)
·394 Pages
·2011
·4.091 MB

book image

Delphi 4 开发大全. 下册 / Delphi 4 kai fa da quan. Xia ce

泰克赛拉 (美 ) [ S. 特谢拉 ] Steve Teixeira, ( 美 ) [ X. 帕凯科 ] Xavier Pacheco著 ; 徐新华译. 帕谢科 徐新华, ; Taikesaila; Paxieke; Xinhua Xu, (ji suan ji xue zhe )
·286 Pages
·1999
·1.826 MB