PKK Library Search for 'su:{Logic design--Data processing}'

THE LOGIC OF INFORMATION STRUCTURES

By Wansing,Heinrich. Springer-Verlag, Berlin 1993 . ix,158, , Includes Bibliographical References And Index. 30540567348

Place Hold on THE LOGIC OF INFORMATION STRUCTURES

ADVANCED ASIC CHIP SYNTHESIS

By Bhatnagar,Himanshu. Kluwer Academic Publishers,Boston 1999 . 284 0792385373

Place Hold on ADVANCED ASIC CHIP SYNTHESIS

Symbolic model checking

By Mcmillan, Kenneth L.. Boston Kluwer Academic 1993 . xv, 194p 0792393805

Place Hold on Symbolic model checking

Timed boolean functions

By Lam, William K. C.. Boston Kluwer Academic Publishers 1994 . xx, 273p 0792394542

Place Hold on Timed boolean functions

ICCAD-89

Ieee Computer Society Press,Washington,D.C. 1989 . xxv,580 , Includes Index 0818619864

Place Hold on ICCAD-89

Progress in applications of Boolean functions

San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool Publishers, 2010 . 1 electronic text (xiv, 139 p. : ill.) : , Part of: Synthesis digital library of engineering and computer science. | Series from website. 9781608451821 (electronic bk.)

Place Hold on Progress in applications of Boolean functions

Datalog and logic databases /

By Greco, Sergio.,. . 1 PDF (xiii, 155 pages) , Part of: Synthesis digital library of engineering and computer science. 9781627051149

Place Hold on Datalog and logic databases /