000 01730nam a2200361ia 4500
005 20191212103432.0
008 070122s2006 caum a001 0 eng d
020 _a053449501X
_c820 Bht
020 _a0534406718 (CD-ROM)
040 _aSPU
049 _bSPU-BK SPU-CHN
050 0 0 _aQA 76.9.M35
_bH33D 2006
100 1 _aHaggard, Gary.
_9131541
245 1 0 _aDiscrete mathematics for computer science /
_cGary Haggard, John Schlipf, Sue Whitesides.
260 _aBelmont, CA :
_bThomson Brooks/Cole,
_c2006
300 _axxiii, 600 p +
_eCD-ROM
449 0 _a110701
504 _aIncludes index.
505 0 _aSets, proof templates, and induction--Formal logic--Relations--Fuctions--Analysis of algorithms--Graph theory--Counting and combinatorics--Discrete probability--Recurrence relations
650 0 _aMATHEMATICS.
_933299
650 0 _aCOMPUTER SCIENCE
_xMATHEMATICS.
_939108
700 1 _aSchlipf, John.
_9131542
700 1 _aWhitesides, Sue H.,
_d1946-
_9131543
910 _aอ.จักรี
_bซีเอ็ด
_c031106/181206
910 _aคณะสารสนเทศศาสตร์
_bThomson Brooks/Cole
_c071204
942 _cGEN
998 _anip 0701
_bvip 0701
998 _aDonlaya 1207
_bDonlaya 1207
999 _c107777