Handbook of Logic and Proof Techniques for Computer SciencePDF电子书下载
- 电子书积分：10 积分如何计算积分？
- 作 者：
- 出 版 社：Birkhauser Boston
- 出版年份：2002
- ISBN：081764220X
- 页数：245 页
图书介绍：
《Handbook of Logic and Proof Techniques for Computer Science》目录
标签：
相关图书
作者其它书籍
出版社其它书籍
- 《PROCEEDINGS:1993 RAPID EXCAVATION AND TUNNELING CONFERENCE BOSTON》MASSACHUSETTS 2222
- 《REVOLUTIONARY BOSTON》LEXINGTON 1997
- 《THE BOSTON TEA PARTY THE FOUNDATIONS OF REVOLUTION》JAMES M.VOLO 2012
- 《BOSTON:A TO Z》THOMAS H.OCONNOR 2000
- 《Thin Films and Interfaces II Symposium held November 1983 in Boston》Massachusetts 2222
- 《THE QUALITY OF JUSTICE IN THE LOWER CRIMINAL COURTS OF METROPOLITAN BOSTON》Stephen R.Bing S.Stephen Rosenfeld 2222
- 《The Evangelical Church in Boston's Chinatown A Discourse of Language》Gender 2005
- 《WRITING FOR YOUR READERS NOTES ON THE WRITER'S CRAFT FROM THE BOSTON GLOBE》 1983
- 《BOSTON A TOPOGRAPHICAL HISTROY THIRD EDITION》ENLARGED 2000
- 《JOHNNY TREMAIN:A STORY OF BOSTON INREVOLT》ESTHER FORBES 2222