Refine your search

Your search returned 343 results.

Not what you expected? Check for suggestions
Introduction to mathematics of satisfiability Victor W. Marek.

by Marek, W. Viktor.

Publisher: Boca Raton : CRC Press, c2009Availability: Items available for loan: Central Library (CL)Call number: 511.3 MAR (1).
Digital design with an introduction to the verilog HDL M. Morris Mano

by M. Morris Mano | Michael D. Ciletti.

Edition: 5th ed. Publisher: New York. Pearson 2013Availability: Items available for loan: Central Library (CL)Call number: 621.395 MAN (5). Checked out (3).
Introduction to VHDL Hunter, R. D. M.

by Hunter, R. D. M | Johnson, T. T.

Publisher: USA Chapman & Hall 1996Availability: Items available for loan: Central Library (CL)Call number: 621.395 HUN (1).
Handbook of practical logic and automated reasoning J. Harrison

by Harrison, J | J. Harrison.

Publisher: New York Cambridge University Press 2009Availability: Items available for loan: Central Library (CL)Call number: 006.333 HA (1).
An introduction to fuzzy logic for practical applications Kazuo Tanaka

by Tanaka, Kazuo.

Material type: Text Text Publisher: New York : Springer, 1997Availability: Items available for loan: Central Library (CL)Call number: 511.3 TAN (1).
Logic and computer design fundamentals M. Morris Mano, Charles R. Kime.

by Mano, M. Morris | Kime, Charles R.

Edition: 4th ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Upper Saddle River, NJ : Pearson/Prentice Hall, 2008Availability: Items available for loan: Central Library (CL)Call number: 621.395 MAN (3). Checked out (1).
Digital design: basic concepts and principles basic concepts and principles Mohammad A. Karim, Xinghao Chen.

by Karim, Mohammad A | Chen, Xinghao, 1957-.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Boca Raton, FL : CRC Press/Taylor & Francis, c2008Online access: Table of contents only | Publisher description Availability: Items available for loan: Central Library (CL)Call number: 621.381 KAR (1).
Digital logic circuit analysis and design Victor P. Nelson

by Nelson, Victor P. (Victor Peter), 1949- | Nagle, H. Troy, 1942-. Introduction to computer logic.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Englewood Cliffs, NJ : Prentice Hall, c1995Other title: Digital logic circuit analysis & design.Availability: Items available for loan: Central Library (CL)Call number: 621.395 NEL (1).
Digital design and computer architecture David Money Harris, Sarah L. Harris.

by Harris, David Money | Harris, Sarah L.

Edition: 2nd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New York MK Publishers 2013Availability: Items available for loan: Central Library (CL)Call number: 621.381 HAR (1).
Logic in computer science : modelling and reasoning about systems

by Huth, Michael | Mark Ryan.

Edition: 2nd ed.Material type: Text Text Publisher: New York Cambridge University Press 2004Availability: Items available for loan: Central Library (CL)Call number: 005.1015113 HUT (1).
Higher order logic and hardware verification

by Melham, T. F. (Tom F.).

Material type: Text Text Publisher: New York Cambridge University Press 1993Availability: Items available for loan: Central Library (CL)Call number: 621.392 MEL (1).
Introduction to logic.

by Copi, Irving M | 1. Cohen, Carl, 2. McMahon, K. D. (Kenneth D.).

Edition: 14th ed.Material type: Text Text Publisher: New Delhi Pearson 2011Availability: Items available for loan: Central Library (CL)Call number: 160 COP (1).
Digital Design : HDL-Based approach

by Srivastava, Manjita | Srivastava, Mahesh C. Srivastava Atul K.

Material type: Text Text Publisher: New Delhi Cengage Learning 2011Availability: Items available for loan: Central Library (CL)Call number: 621.395 SRI (1).
Fuzzy sets and fuzzy logic : theory and applications

by Klir, George J | Yuan, Bo.

Material type: Text Text Publisher: New Delhi PHI Learning 1995Availability: Items available for loan: Central Library (CL)Call number: 511.3 KLI (1).
AnIllustrative approach to Logic Design

by Sudhaker, Samuel R.D.

Material type: Text Text Publisher: New Delhi, India Pearson Education 2008Availability: Items available for loan: Central Library (CL)Call number: 621.395 SAM (1).
Fuzzy logic with engineering applications

by Ross, Timothy J.

Edition: 3rd ed.Material type: Text Text Publisher: New Delhi, India John Wiley 2010Availability: Items available for loan: Central Library (CL)Call number: 620.001511313 ROS (1).
Programming logic and design : comprehensive

by Farrell, Joyce.

Edition: 6th ed.Material type: Text Text Publisher: New Delhi, India Cengage Learning 2011Availability: Items available for loan: Central Library (CL)Call number: 005.15 FAR (1).
Digital circuits and logic design

by Lee, Samuel C.

Material type: Text Text Publisher: New Delhi, India PHI Learning 1976Availability: Items available for loan: Central Library (CL)Call number: 621.38195835 LEE (1).
Switching theory and logic design

by Kumar, A. Anand.

Material type: Text Text Publisher: New Delhi, India PHI Learning 2008Availability: Items available for loan: Central Library (CL)Call number: 621.395 KUM (1).
Introduction to logic and computer design

by Marcovitz, Alan B.

Edition: 1st ed.Material type: Text Text Publisher: New Delhi, India McGraw Hill 2008Availability: Items available for loan: Central Library (CL)Call number: 621.395 MAR (1).
Introduction to soft computing: neuro-fuzzy and genetic algorithms

by Roy, Samir | Chakraborty, Udit.

Material type: Text Text Publisher: New Delhi, India Pearson Education 2013Availability: Items available for loan: Central Library (CL)Call number: 006.3 ROY (1).
Logic Design

by Samuel, R.D. Sudhaker.

Material type: Text Text Publisher: New Delhi, India Pearson Education 2008Availability: Items available for loan: Central Library (CL)Call number: 621.395 SAM (1).
Digital electronics (Digital logic design)

by Sharma, Sanjay.

Material type: Text Text Publisher: New Delhi, India S.K. Kataria & Sons 2010Availability: Items available for loan: Central Library (CL)Call number: 621.381 SHA (1).
Advanced Digital Design with the Verilog HDL

by Ciletti, Michael D.

Material type: Text Text Publisher: New Delhi, India PHI Learning 2003Availability: Items available for loan: Central Library (CL)Call number: 621.395 CIL (1).
Tarski's world: Revised and expanded Dave Barker-Plummer, Jon Barwise, & John Etchemendy in collaboration with Albert Liu.

by Barker-Plummer, Dave | Barwise, Jon | Etchemendy, John, 1952-.

Edition: Rev. and expanded.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Stanford, Calif. : CSLI Publications, c2008Online access: Publisher description | Table of contents Availability: Items available for loan: Central Library (CL)Call number: 511.3 BAR (1).
Language, proof, and logic.

by Barker-Plummer, Dave | Barwise, Jon | Etchemendy, John, 1952- | Barwise, Jon. Language, proof, and logic.

Edition: 2nd ed. / Dave Barker-Plummer, Jon Barwise, and John Etchemendy in collaboration with Albert Liu, Michael Murray, and Emma Pease.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Stanford, Calif. : CSLI Publications, 2011Availability: Items available for loan: Central Library (CL)Call number: 160 BAR (1).
Logic and computer design fundamentals

by Mano, M. Morris | Kime, Charles R.

Material type: Text Text Publisher: USA Prentice-Hall International, Inc. 1997Availability: Items available for loan: Central Library (CL)Call number: 621.395 MAN (1).
Digital fundamentals and applications

by C. K. Chanda | Sumit Banerjee.

Material type: Text Text Publisher: New Delhi University Science Press 2011Availability: Items available for loan: Central Library (CL)Call number: 621.395 CHA (1).
Digital fundamentals

by Thomas L. Floyd.

Edition: 11thMaterial type: Text Text Publisher: New York Pearson 2015Availability: No items available : Checked out (1).
Digital circuits and design

by D. P. Kothari | J. S. Dhillon.

Material type: Text Text Publisher: New Delhi Pearson 2016Availability: Items available for loan: Central Library (CL)Call number: 621.3815 KOT (1).
Fundamentals of logic design

by Charles H. Roth.

Edition: 7th ed.Material type: Text Text Publisher: Delhi Cengage Learning 2014Availability: Items available for loan: Central Library (CL)Call number: 621.395 ROT (3).
Logic & philosophy 12th / Alan Hausman.

by Hausman, Alan.

Material type: Text Text; Format: print Publisher: [S.l.] : Wadsworth, 2007Online access: Amazon.com Availability: Items available for loan: Centre for International Peace & Stability (CIPS)Call number: 160 HUS 2007 (1).
Digital and Microoprocessor Technology O,Connor Patrick

by Patrick O Connor.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New Jersey Prentice-Hall c1983Online access: Table of Content Only Availability: Items available for loan: NUST Baluchistan Campus (NBC)Call number: 621.38OCO (1).
Fundamentals of digital logic with VHDL design / Stephen D. Brown, Zvonko G. Vranesic.

by Brown, Stephen D | Vranesic, Zvonko G.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Boston : McGraw-Hill, c2000Online access: Table of Contents Only. Availability: Items available for loan: School of Interdisciplinary Engineering and Sciences (SINES)Call number: 621.395BRO (1).
Advanced Digital Design with the VERILOG HDL Michael D. Ciletti

by Michael D. Ciletti.

Material type: Text Text; Format: print ; Literary form: Not fiction Online access: Table of contents only Availability: Items available for loan: NUST Baluchistan Campus (NBC)Call number: 621.395CIL (6).
VHDL for programmable logic / Kevin Skahill ; contributors, Jay Legenhausen ... [et al.].

by Kevin. Skahill | Legenhausen, Jay.

Publisher: Reading, Mass. : Addison-Wesley, c1996Availability: Items available for loan: NUST Baluchistan Campus (NBC)Call number: 621.39SSKA (2).
Fuzzy logic with engineering applications /

by Timothy J. Ross.

Edition: 2nd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Hoboken, NJ : John Wiley, c2004Online access: Table of Contents Only. | Publisher description | Table of contents Availability: Items available for loan: NUST Baluchistan Campus (NBC)Call number: 620.001ROS (1).
Advanced digital design with the Verilog HDL / Michael D. Ciletti

by Michael D. Ciletti.

Edition: 1st ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Upper Saddle River, NJ : Prentice Hall, 2003Online access: Table of Contents Only. Availability: Items available for loan: NUST Baluchistan Campus (NBC)Call number: 621.39CIL (1).
Logic / by John Nolt, Dennis Rohatyn, Achille Varzi.

by Nolt, John, 1950- | Rohatyn, Dennis A | Varzi, Achille C | Nolt, John, 1950-. Outline of theory and problems of logic | McAllister, Alex M.

Edition: [Abridged ed.] / abridgement editor, Alex M. McAllister.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New York : McGraw-Hill, c2006Online access: Table of contents only | Publisher description Availability: Items available for loan: School of Mechanical & Manufacturing Engineering (SMME)Call number: 160 NOL (1).
Argumentation in Multi-agent Systems : 5th International Workshop, ArgMAS 2008, Estori, Portugal, May 12, 2008 : Revised Selected and Invited Papers / Iyad Rahwan, Pavlos Moraitis (eds.).

by Rahwan, Iyad | Rahwan, Iyad | Moraitis, Pavlos.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2009Other title: ArgMAS 2008.Availability: Items available for loan: School of Mechanical & Manufacturing Engineering (SMME)Call number: 006.3 ARG (1).
Computational Logic Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski part II / Antonis C. Kakas, Fariba Sadri (eds.)

by Kakas C. Antonis | Kowalski, Robert | Kakas, Antonis C | Sadri, Fariba, 1956- | LINK (Online service).

Material type: Text Text; Format: electronic available online remote festschrift ; Literary form: Not fiction Publisher: Berlin : Hong Kong : Springer-Verlag, c2002Availability: Items available for loan: School of Mechanical & Manufacturing Engineering (SMME)Call number: 005.115 COM (2).
Digital Logic and Computer Design / M. Morris Mano.

by Mano, M. Morris, 1927-.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Englewood Cliffs, N.J. : Prentice-Hall, c1979Availability: Items available for loan: Central Library (CL)Call number: 621.395 MAN (1).
Contemporary Logic Design / Randy H. Katz, Gaetano Borriello.

by Katz, Randy H, 1955- | Borriello, Gaetano.

Edition: 2nd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Upper Saddle River, N.J. : Pearson Prentice Hall, c2005Availability: Items available for loan: School of Mechanical & Manufacturing Engineering (SMME)Call number: 621.395 KAT (1).
Fuzzy Sets and their Extensions : Representation, Aggregation, and Models : Intelligent Systems from Decision Making to Data Mining, Web Intelligence, and Computer Vision / Humberto Bustince, Francisco Herrera, Javier Montero, editors ; foreword by Didier Dubois.

by Bustince, Humberto | Bustince, Humberto | Herrera, Francisco, Dr | Montero, Javier | International Workshop of Artificial Intelligence, Fuzzy Logic and Computer Vision (2nd : 2005 : Pamplona, Spain).

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2008Other title: Intelligent systems from decision making to data mining, web intelligence, and computer vision.Availability: Items available for loan: School of Mechanical & Manufacturing Engineering (SMME)Call number: 005.3 FUZ (1).
Knowledge-based Neurocomputing : A Fuzzy Logic Approach / Eyal Kolman and Michael Margaliot.

by Kolman, Eyal | Margaliot, Michael.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer, c2009Availability: Items available for loan: School of Mechanical & Manufacturing Engineering (SMME)Call number: 006.32 KOL (1).
Fundamentals of Digital Logic with VHDL Design / Stephen Brown, Zvonko Vranesic.

by Brown, Stephen D | Vranesic, Zvonko G.

Edition: 2nd ed.Material type: Text Text; Format: print optical disc; Literary form: Not fiction Publisher: Dubuque, IA : McGraw-Hill Companies, c2005Availability: Items available for loan: School of Mechanical & Manufacturing Engineering (SMME)Call number: 621.395 BRO (1).
Proof Theory for Fuzzy Logics / by George Metcalfe, Nicola Olivetti, Dov Gabbay.

by Metcalfe, George | Olivetti, Nicola | Gabbay, Dov M, 1945-.

Source: SpringerLink ebooks - Mathematics and Statistics (2009)Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: [Dordrecht] : Springer, c2009Online access: Full text available from SpringerLink ebooks - Mathematics and Statistics (2009) Availability: Items available for loan: School of Mechanical & Manufacturing Engineering (SMME)Call number: 511.313 MET (1).
Fuzzy logic with engineering applications / Timothy J. Ross.

by Ross, Timothy J.

Edition: 3rd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Chichester, U.K. : John Wiley, 2010Availability: Items available for loan: School of Mechanical & Manufacturing Engineering (SMME)Call number: 620.001511313 ROS (1).
Fundamentals of digital logic with Verilog design / Stephen Brown & Zvonko Vranesic.

by Brown, Stephen [author.] | Vranesic, Zvonko G.

Edition: 2ndMaterial type: Text Text; Format: print ; Literary form: Not fiction Publisher: India McGraw Hill Companies 2008Availability: Items available for loan: School of Mechanical & Manufacturing Engineering (SMME)Call number: 621.395 BRO (3). Checked out (1).
Expert fuzzy information processing / Olga Poleshchuk and Evgeniy Komarov.

by Poles̆c̆huk, Olʹga | Komarov, Evgenij.

Source: SpringerLink ebooks - Engineering (2011)Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2011Online access: Full text available from SpringerLink ebooks - Engineering (2011) Availability: Items available for loan: School of Mechanical & Manufacturing Engineering (SMME)Call number: 519.82 POL (1).
© 2023 Central Library, National University of Sciences and Technology. All Rights Reserved.