|
|
|
Digital Principles and Design
by Givone, Donald D. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi Tata McGraw Hill 2012Availability: Items available for loan:
[Call number: 621.381 G539D]
(1).
|
|
|
|
COMPUTER FUNDAMENTALS ARCHITECTURE AND ORGANISATION
by RAM,B. Edition: 4Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: NEW DELHI NEW AGE INTERNATIONAL 2007Availability: Items available for loan:
[Call number: 621.381952 R165C]
(1).
|
|
|
|
Discrete Mathematical Structures
by Kolman, Bernard | Busby, Robert C | Ross, Sharon. Edition: 3Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi PHI 1996Availability: Items available for loan:
[Call number: 512 K811D]
(1).
|
|
|
|
Computer Organization and Architecture: Designing for Performance
by Stallings, William. Edition: 11 Publisher: Noida Pearson 2023Availability: Items available for loan:
[Call number: 621.381952 S775C]
(20). Checked out (5).
|
|
|
|
Digital Design: Principles and Practices
by Wakerly,John F. Edition: 4Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Delhi Pearson 2002Availability: Items available for loan:
[Call number: 621.38173 W146]
(1).
|
|
|
|
Microelectronic Circuits: Theory and Applications
by Sedra, Adel S | Smith, Kenneth C. Edition: 7th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi Oxford University Press 2016Availability: No items available Checked out (1).
|
|
|
|
Digital Design: Introduction to the Verilog HDL, VHDL and SystemVerilog
by MANO, M.M | Ciletti, Michael D. Edition: 6Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Chennai Pearson 2020Availability: No items available Checked out (1).
|
|
|
|
Digital Design
by Mano,M.Morris | Ciletti,Michael.D. Edition: 6Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi Pearson 2020Availability: No items available
|
|
|
|
Digital Logic and Computer Design
by Mano, M.M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Noida Pearson 2013Availability: No items available Checked out (1).
|
|
|
|
Digital Design: Introduction to the Verilog HDL
by Mano, M.M | Ciletti, Michael D. Edition: 5Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Chennai Pearson 2015Availability: No items available Checked out (1).
|
|
|
|
Computational logic and human thinking : how to be artificially intelligent / Robert Kowalski.
by Kowalski, Robert [author.]. Material type: Book; Format:
available online
 ; Literary form:
Not fiction
Publisher: Cambridge : Cambridge University Press, 2011Other title: Computational Logic & Human Thinking.Online access: Click here to access online Availability: No items available
|
|
|
|
Robust design of digital circuits on foil / Kris Myny, Jan Genoe, Wim Dehaene.
by Myny, Kris, 1980- [author.] | Genoe, Jan, 1965- [author.] | Dehaene, Wim [author.]. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Cambridge : Cambridge University Press, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Dynamic Fuzzy Machine Learning / Fanzhang Li, Li Zhang, Zhao Zhang.
by Li, Fanzhang [author.] | Fanzhang, Li [contributor.] | Zhang, Li [author.] | Zhang, Zhao [author.]. Source: DG Plus eBook-Package 2018Source: EBOOK PACKAGE COMPLETE 2017Source: EBOOK PACKAGE COMPLETE ENGLISH 2017Source: EBOOK PACKAGE Engineering, Computer Sciences 2017Material type: Book; Format:
available online
; Audience:
Specialized;
Publisher: Berlin ; Boston : De Gruyter, [2017]Copyright date: ©2018Online access: Click here to access online | Click here to access online | Cover Availability: No items available
|
|
|
|
Intensional First-Order Logic : From AI to New SQL Big Data / Zoran Majkic.
by Majkic, Zoran [author.]. Source: DG Plus DeG Package 2022 Part 1Source: EBOOK PACKAGE COMPLETE 2022 EnglishSource: EBOOK PACKAGE COMPLETE 2022Source: EBOOK PACKAGE Engineering, Computer Sciences 2022 EnglishSource: EBOOK PACKAGE Engineering, Computer Sciences 2022Material type: Book; Format:
available online
; Audience:
Specialized;
Publisher: Berlin ; Boston : De Gruyter, [2022]Copyright date: ©2022Online access: Click here to access online | Click here to access online | Cover Availability: No items available
|
|
|
|
Toward Robots That Reason: Logic, Probability & Causal Laws [electronic resource] / by Vaishak Belle.
by Belle, Vaishak [author.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Pristine Perspectives on Logic, Language and Computation [electronic resource] : ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers / edited by Margot Colinet, Sophia Katrenko, Rasmus K. Rendsvig.
by Colinet, Margot [editor.] | Katrenko, Sophia [editor.] | Rendsvig, Rasmus K [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Descriptive Set Theoretic Methods in Automata Theory [electronic resource] : Decidability and Topological Complexity / by Michał Skrzypczak.
by Skrzypczak, Michał [author.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Software Engineering [electronic resource] : International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures / edited by Bertrand Meyer, Martin Nordio.
by Meyer, Bertrand [editor.] | Nordio, Martin [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings / edited by Parosh Aziz Abdulla, K. Rustan M. Leino.
by Abdulla, Parosh Aziz [editor.] | Leino, K. Rustan M [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
ECOOP 2005 - Object-Oriented Programming [electronic resource] : 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings / edited by Andrew Black.
by Black, Andrew [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
