000			00556nam a22001937a 4500
005			20150706150453.0
008			150706b xxu||||| |||| 00| 0 eng d
020			_a9780321580504
040			_aNISER LIBRARY
041			_aEnglish
100			_aKnuth, D.E.
245			_aArt of computer programming: volume 4 bitwise tricks and techniques: binary decision diagrams (the)
260			_aNew Jersey _bAddison-Wesley _c2005
300			_a262p. pbk.
650			_aMATHEMATICS
650			_aCOMPUTER PROGRAMMING
650			_aBINARY SYSTEM
942			_cC
999			_c23054 _d23054