Search for 'su:" Logic" and su-to:Logic'

Indian dialectics : methods of philosophical discussion. vol. 1

By Solomon, Esther A.. Ahmedabad: B.J. Institute of Learning and Research, 1976 . 511 p.; 25 cm..

Place Hold on Indian dialectics : methods of philosophical discussion. vol. 1

Indian dialectics : methods of philosophical discussion. vol. 2

By Solomon, Esther A.. Ahmedabad: B.J. Institute of Learning and Research, 1978 . 519-950 p.; 25 cm..

Place Hold on Indian dialectics : methods of philosophical discussion. vol. 2

Symbolic logic and mechanical theorem proving

By Chang, Chin-Liang. San Diego: Academic Press, 1973 . xiii, 331 p.; 24 cm.. 0121703509

Place Hold on Symbolic logic and mechanical theorem proving

Fuzzy modeling and genetic algorithms for data mining and exploration

By Cox, Earl. San Francisco: Morgan Kaufmann, 2005 . xxi, 530 p.; 24 cm.. 0121942759

Place Hold on Fuzzy modeling and genetic algorithms for data mining and exploration

Mathematical thinking and writing

By Maddox, Randall B.. London: Harcourt, 2002 . 304 p.; 24 cm.. 0124649769

Place Hold on Mathematical thinking and writing

Engineering digital design

By Tinder, Richard F.. San Diego: Academic Press, 2000 . xxvi, 884 p.; 26 cm.. 0126912955

Place Hold on Engineering digital design

68HC12 Microcontroller : theory and applications

By Pack, Daniel J.. New Jersey: Prentice Hall, 2002 . 509 p.; 24 cm.. 0130337765

Place Hold on 68HC12 Microcontroller : theory and applications

Problem Solving and Programming Concepts

By Sprankle, Maureen. New Jersey: Prentice Hall, 2006 . xi, 504 p.; 28 cm.. 0131194593

Place Hold on Problem Solving and Programming Concepts

Essentials of computer architecture

By Comer, Douglas E.. New Jersey: Pearson Education, 2005 . xxiii, 369 p.; 25 cm.. 0131491792

Place Hold on Essentials of computer architecture

Logic for mathematics and computer science

By Burris, Stanley N.. New Jersey: Prentice Hall, 1998 . 420 p.; 24 cm.. 0132859742

Place Hold on Logic for mathematics and computer science

Principles of digital design

By Gajski, Daniel D.. New Jersey: Prentice Hall, 1997 . 447 p.; 24 cm.. 0133011445

Place Hold on Principles of digital design

Logic design principles : with emphasis on testable semicustom circuits

By McCluskey, Edward J.. New Jersey: Prentice Hall, 1986 . xix, 549 p.; 25 cm.. 0135397847

Place Hold on Logic design principles : with emphasis on testable semicustom circuits

Essence of Digital Design

By Wilkinson, Barry. New Delhi: Prentice Hall of India, 1998 . 227 p.; 23 cm.. 0135701104

Place Hold on Essence of Digital Design

Six thinking hats

By De Bono, Edward. London: Penguin Books, 1999 . xiii, 177 p.; 20 cm.. 0140296662

Place Hold on Six thinking hats

Liar : an essay on truth and circularity

By Barwise, Jon. New York: Oxford University Press, 1995 . xii, 194 p.; 22 cm.. 0195059441

Place Hold on Liar : an essay on truth and circularity

In the light of logic

By Feferman, Solomon. New York: Oxford University Press, 1998 . 340 p.; 24 cm.. 0195080300

Place Hold on In the light of logic

Digital logic and state machine design

By Comer, David J.. New Delhi: Oxford University Press, 1995 . xv, 573 p.; 25 cm.. 0195107233

Place Hold on Digital logic and state machine design

Software and Hardware Engineering

By Cady, Fredrick M.. New York: Oxford University Press, 1997 . 315 p.; 23 cm.. 0195110463

Place Hold on Software and Hardware Engineering

Mathematical logic : a course with exercises

By Cori, Rene. Oxford Oxford University Press 2001 . 331 p. 23 cm.. 9780198500483

Place Hold on Mathematical logic : a course with exercises

Principles of computer hardware

By Clements, Alan. New York: Oxford University Press, 2000 . 716 p.; 24 cm.. 0198564538

Place Hold on Principles of computer hardware

Principles of computer architecture

By Murdocca, Miles J.. New Jersey: Prentice Hall, 2000 . 553 p.; 23 cm.. 0201436647

Place Hold on Principles of computer architecture

Computer systems architecture : networking approach

By Williams, Rob. Harlow: Addison-Wesley, 2001 . 660 p.; 24 cm.. 0201648598

Place Hold on Computer systems architecture : networking approach

Database Solution

By Connolly, Thomas M.. New York: Addison-Wesley, 2000 . 426 p.; 23 cm.. 0201674769

Place Hold on Database Solution

VHDL for programmable logic

By Skahill, Kevin. Reading: Addison-Wesley, 1996 . 593 p.; 24 cm.. 0201895862

Place Hold on VHDL for programmable logic

Ramus, method, and the decay of dialogue : from the art of discourse to the art of reason

By Ong, Walter J.. Chicago: University of Chicago Press, 1983 . xxvii, 408 p.; 23 cm.. 0226629767

Place Hold on Ramus, method, and the decay of dialogue : from the art of discourse to the art of reason

Reasoning about uncertainty

By Halpern, Joseph Y.. Cambridge: MIT Press, 2003 . xiv, 483 p.; 23 cm.. 0262083205

Place Hold on Reasoning about uncertainty

Programming with constraints : an introduction

By Stuckey, Peter J.. Cambridge: MIT Press, 1999 . 467 p.; 26 cm.. 0262133415

Place Hold on Programming with constraints : an introduction

Word and object

By Quine, Willard Van Orman. Cambridge: MIT Press, 1960 . xv, 294 p.; 21 cm.. 0262670011

Place Hold on Word and object

Electronic logic circuits

By Gibson, J. R.. Oxford: Newnes, 1992 . 146 p.; 24 cm.. 0340543779

Place Hold on Electronic logic circuits

Adapting proofs-as-programs : the Curry-Howard protocol

By Crossley, John N.. New York: Springer, 2005 . xi, 420 p.; 24 cm.. 0387237593

Place Hold on Adapting proofs-as-programs : the Curry-Howard protocol

Computation engineering : applied automata theory and logic

By Gopalakrishnan, Ganesh. New York: Springer, 2006 . xxxv, 471 p.; 24 cm.. 0387244182

Place Hold on Computation engineering : applied automata theory and logic

Fundamentals of switching theory and logic design : a hands on approach

By Astola, Jaakko T.. New York: Springer, 2006 . xii, 342 p.; 24 cm.. 0387285938

Place Hold on Fundamentals of switching theory and logic design : a hands on approach

Logic synthesis and verification algorithms

By Hachtel, Gary D.. New York: Springer, 2006 . xxiii, 562 p.; 24 cm.. 0387310045

Place Hold on Logic synthesis and verification algorithms

Introduction to default logic

By Besnard, Philippe. Berlin: Springer, 1989 . xi, 208 p.; 26 cm.. 0387515666

Place Hold on Introduction to default logic

Automated theorem proving : theory and practice

By Newborn, Monty. New York: Springer, 2001 . xiii, 231 p.; 24 cm.. 0387950753

Place Hold on Automated theorem proving : theory and practice

Computer Logic : design principles and applications

By Hsu, John Y.. New York: Springer-Verlag, 2002 . 198 p.; 24 cm.. 0387953043

Place Hold on Computer Logic : design principles and applications

Introduction to Hilbert space and quantum logic

By Cohen, David W.. New York: Springer-Verlag, 1989 . xii, 149 p.; 24 cm.. 0387968709

Place Hold on Introduction to Hilbert space and quantum logic

Temporal Logic of Reactive and Concurrent Systems

By Manna, Zohar. New York: Springer-Verlag, 1992 . xiv, 427 p.; 25 cm.. 0387976647

Place Hold on Temporal Logic of Reactive and Concurrent Systems

Refinement calculus

By Back, Ralph-Johan. New York: Springer-Verlag, 1998 . xv, 519 p.; 24 cm.. 0387984178

Place Hold on Refinement calculus

Descriptive complexity

By Immerman, Neil. New York: Springer, 1999 . xvi, 268 p.; 25 cm.. 0387986006

Place Hold on Descriptive complexity

Modal and temporal properties of processes

By Stirling, Colin. New York: Springer-Verlag, 2001 . xii, 190 p.; 24 cm.. 0387987177

Place Hold on Modal and temporal properties of processes

Introduction to mathematical logic

By Mendelson, Elliot. U.S.A.: Chapman & Hall, 1997 . x, 440 p.; 24 cm.. 0412808307

Place Hold on Introduction to mathematical logic

Many-dimensional modal logics theory and applications

By Gabbay, Dov M.. Amsterdam: Elsevier, 2003 . xviii, 747 p.; 24 cm.. 0444508260

Place Hold on Many-dimensional modal logics theory and applications

Introduction to VLSI Circuits and Systems

By Uyemura, John P.. New York: John Wiley & Sons, 2002 . 642 p.; 25 cm.. 0471127043

Place Hold on Introduction to VLSI Circuits and Systems

Digital design

By Vahid, Frank. New Jersey: John Wiley & Sons, 2006 . xii, 540 p.; 24 cm.. 0471467847

Place Hold on Digital design

Arithmetic and logic in computer systems

By Lu, Mi. New Jersey: John Wiley & Sons, 2004 . xxi, 246 p.; 25 cm.. 0471469459

Place Hold on Arithmetic and logic in computer systems

Discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and games

By Ensley, Douglas E.. New Jersey: John Wiley & Sons, 2005 . xii, 691 p.; 26 cm.. 0471476021

Place Hold on Discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and games

How to read and do proofs : an introduction to mathematical throught processes

By Solow, Daniel. New york: John Wiley & Sons, 1990 . 242 p.; 23 cm.. 0471510041

Place Hold on How to read and do proofs : an introduction to mathematical throught processes

Field-Programmable Gate Arrays: Reconfigurable Logic for Rapid Prototyping and Implementation of Digital Systems

By Oldfield, John V.. New York: John Wiley & Sons, 1995 . xxxii, 327 p.; 24 cm.. 0471556653

Place Hold on Field-Programmable Gate Arrays: Reconfigurable Logic for Rapid Prototyping and Implementation of Digital Systems

Logically determined design : clockless system design with NULL convention logic

By Fant, Karl M.. New Jersey: John Wiley & Sons, 2005 . xvi, 292 p.; 25 cm.. 0471684783

Place Hold on Logically determined design : clockless system design with NULL convention logic