Your search returned 75 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
The development of modern logic edited by Leila Haaparanta. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Oxford New York Oxford University Press 2009
Availability: Items available for loan: S. R. Ranganathan Learning Hub (1)Call number: 160.9 H112D.
Log in to add tags
2.
Fuzzy logic with engineering applications Timothy J. Ross. by
Edition: 2nd ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Hoboken, NJ Wiley-India Pvt. Ltd. c2005
Online access:
Availability: Items available for loan: S. R. Ranganathan Learning Hub (1)Call number: 620.001 511 313 R71F.
Log in to add tags
3.
No cover image available
Elements of the theory of computation Harry R. Lewis, Christos H. Papadimitriou. by Series: Prentice-Hall software series
Material type: Text Text; Literary form: Not fiction
Publication details: Englewood Cliffs, N.J. Prentice-Hall c1981
Availability: Items available for loan: S. R. Ranganathan Learning Hub (5)Call number: 511.35 L586E, ... Items available for reference: S. R. Ranganathan Learning Hub: Not For Loan (2)Call number: 511.35 L586E, ...
Log in to add tags
4.
Human reasoning and cognitive science by Keith Stenning and Michiel van Lambalgen. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge, Mass. MIT Press c2008
Online access:
Availability: Items available for loan: S. R. Ranganathan Learning Hub (1)Call number: 153.4 St42H.
Log in to add tags
5.
My best mathematical and logic puzzles by Martin Gardner. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York Dover Publications Inc. 1994
Availability: Items available for loan: S. R. Ranganathan Learning Hub (1)Call number: 793.74 G167M.
Log in to add tags
6.
No cover image available
Digital Design and Computer Architecture by David Money Harris, Sarah L. Harris. by
Edition: Second edition.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Amsterdam Elsevier/ Morgan Kaufmann 2013
Availability: Items available for loan: S. R. Ranganathan Learning Hub (3)Call number: 621.381 H24D, ... Items available for reference: S. R. Ranganathan Learning Hub: Not For Loan (2)Call number: 621.381 H24D, ... Not available: S. R. Ranganathan Learning Hub: Checked out (1).
Log in to add tags
7.
Digital design M. Morris Mano. by
Edition: 4th ed.
Material type: Text Text; Literary form: Not fiction
Publication details: New Delhi Dorling Kindersley India Pvt. Ltd. c2007
Online access:
Availability: Items available for loan: S. R. Ranganathan Learning Hub (37)Call number: 621.395 M312D, ... Items available for reference: S. R. Ranganathan Learning Hub: Not For Loan (2)Call number: 621.395 M312D, ...
Lists:
Log in to add tags
8.
Logic and Philosophy A modern introduction by Alan Hausman, Howard Kahane, Paul Tidman by
Edition: 11th ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Boston, MA Thomson Wadsworth/ Cengage Learning c2010
Availability: Items available for loan: S. R. Ranganathan Learning Hub (1)Call number: 160 H295L.
Log in to add tags
9.
Digital Fundamentals by Thomas L. Floyd. by
Edition: 11th Ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Boston Pearson Education 2015
Availability: Items available for loan: S. R. Ranganathan Learning Hub (12)Call number: 621.381 5 F65D, ... Items available for reference: S. R. Ranganathan Learning Hub: Not For Loan (1)Call number: 621.381 5 F65D. Not available: S. R. Ranganathan Learning Hub: Checked out (1).
Log in to add tags
10.
GATE 2016 Computer Science & IT Made Easy Publications
Edition: 9th ed.
Material type: Text Text; Format: print
Publication details: New Delhi Made Easy Publications 2015
Availability: Items available for loan: S. R. Ranganathan Learning Hub (1)Call number: 004.076 M264M.
Log in to add tags
11.
Logic Informal, symbolic and inductive by Chhanda Chakraborti by
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi Prentice Hall 2022
Availability: Items available for loan: S. R. Ranganathan Learning Hub (2)Call number: 160 C35L, ...
Lists:
Log in to add tags
12.
Digital Design / by M. M. Mano and M. Ciletti. [Electronic Resource] by
Edition: 4th Ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Harlow : Dorling Kindersley, 2018
Online access:
Availability: Items available for loan: S. R. Ranganathan Learning Hub (1)Call number: 621.395 M312D.
Log in to add tags
13.
The Development of Modern Logic / by L. Haaparanta. [Electronic Resource] by
Material type: Computer file Computer file; Format: electronic
Publication details: New York : Oxford University Press, 2009
Online access:
Availability: Items available for loan: S. R. Ranganathan Learning Hub (1)Call number: 160.9 H112D.
Log in to add tags
14.
Logical Foundations of Cyber-Physical Systems [electronic resource] / by André Platzer. by
Edition: 1st ed. 2018.
Material type: Computer file Computer file; Format: electronic
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2018
Online access:
Availability: Items available for loan: S. R. Ranganathan Learning Hub (1)Call number: 005.131.
Log in to add tags
15.
Ideals, Varieties, and Algorithms [electronic resource] : An Introduction to Computational Algebraic Geometry and Commutative Algebra / by David A. Cox, John Little, Donal O'Shea. by
Edition: 4th ed. 2015.
Material type: Computer file Computer file; Format: electronic
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015
Online access:
Availability: Items available for loan: S. R. Ranganathan Learning Hub (1)Call number: 516.35.
Log in to add tags
16.
Fuzzy logic-based material selection and synthesis [electronic resource] / Mustafa B. Babanli. by
Material type: Computer file Computer file; Format: electronic
Publication details: Singapore : World Scientific Publishing Co. Pte Ltd., ©2019
Online access:
Availability: Items available for loan: S. R. Ranganathan Learning Hub (1)Call number: 511.3/13.
Log in to add tags
17.
Digital Logic and Computer Design/ M. Morris Mano. by
Material type: Text Text
Publication details: New Delhi: Pearson Education, 2006
Availability: Items available for loan: S. R. Ranganathan Learning Hub (1)Call number: 621.392 M317D.
Log in to add tags
18.
Job Scheduling Strategies for Parallel Processing edited by Dalibor Klusáček, Corbalán Julita, Gonzalo P. Rodrigo. [electronic resource] by
Edition: 1st ed. 2023.
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Cham Springer Nature Switzerland 2023
Online access:
Availability: Items available for loan: S. R. Ranganathan Learning Hub (1).
Log in to add tags
19.
Verified Software. Theories, Tools and Experiments. edited by Akash Lal, Stefano Tonetta. [electronic resource] by
Edition: 1st ed. 2023.
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Cham Springer International Publishing 2023
Online access:
Availability: Items available for loan: S. R. Ranganathan Learning Hub (1).
Log in to add tags
20.
Chatbot Research and Design edited by Asbjørn Følstad, Theo Araujo, Symeon Papadopoulos, Effie L.-C. Law, Ewa Luger, Morten Goodwin, Petter Bae Brandtzaeg. [electronic resource] by
Edition: 1st ed. 2023.
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Cham Springer International Publishing 2023
Online access:
Availability: Items available for loan: S. R. Ranganathan Learning Hub (1).
Log in to add tags
21.
Introduzione al Progetto di Sistemi Digitali by Giuliano Donzellini, Luca Oneto, Domenico Ponta, Davide Anguita. [electronic resource] / by
Edition: 2nd ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Milano Springer Milan 2023
Online access:
Availability: Items available for loan: S. R. Ranganathan Learning Hub (1).
Log in to add tags
22.
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems edited by Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi. [electronic resource] : by
Edition: 1st ed. 2023.
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Cham Springer Nature Switzerland 2023
Online access:
Availability: Items available for loan: S. R. Ranganathan Learning Hub (1).
Log in to add tags
23.
Developments in Language Theory edited by Frank Drewes, Mikhail Volkov. [electronic resource] : by
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Cham Springer Nature Switzerland 2023
Online access:
Availability: Items available for loan: S. R. Ranganathan Learning Hub (1).
Log in to add tags
24.
PRIMA 2022: Principles and Practice of Multi-Agent Systems edited by Reyhan Aydoğan, Natalia Criado, Jérôme Lang, Victor Sanchez-Anguix, Marc Serramia. [electronic resource] : by
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Cham Springer International Publishing 2023
Online access:
Availability: Items available for loan: S. R. Ranganathan Learning Hub (1).
Log in to add tags
25.
Simple Type Theory by William M. Farmer. [electronic resource] : by
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Cham Springer International Publishing 2023
Online access:
Availability: Items available for loan: S. R. Ranganathan Learning Hub (1).
Log in to add tags
26.
Practical Aspects of Declarative Languages edited by Michael Hanus, Daniela Inclezan. [electronic resource] : by
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Cham Springer Nature Switzerland 2023
Online access:
Availability: Items available for loan: S. R. Ranganathan Learning Hub (1).
Log in to add tags
27.
Verification, Model Checking, and Abstract Interpretation edited by Cezara Dragoi, Michael Emmi, Jingbo Wang. [electronic resource] : by
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Cham Springer Nature Switzerland 2023
Online access:
Availability: Items available for loan: S. R. Ranganathan Learning Hub (1).
Log in to add tags
28.
Formal Analysis for Natural Language Processing: A Handbook by Zhiwei Feng. [electronic resource] / by
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Singapore Springer Nature Singapore 2023
Online access:
Availability: Items available for loan: S. R. Ranganathan Learning Hub (1).
Log in to add tags
29.
Next Generation Arithmetic edited by John Gustafson, Siew Hoon Leong, Marek Michalewicz. [electronic resource] : by
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Cham Springer Nature Switzerland 2023
Online access:
Availability: Items available for loan: S. R. Ranganathan Learning Hub (1).
Log in to add tags
30.
Logic, Language, Information, and Computation edited by Helle Hvid Hansen, Andre Scedrov, Ruy J.G.B. de Queiroz. [electronic resource] : by
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Cham Springer Nature Switzerland 2023
Online access:
Availability: Items available for loan: S. R. Ranganathan Learning Hub (1).
Log in to add tags
Pages