Results of search for 'ccl=su:"Logic;"' › JRD Tata Memorial Library catalog

Results
	781.	Theorems, Corollaries, Lemmas and Methods Proof (e-book) by Rossi, Richard J Material type: Book Publication details: USA John Wiley 2011 Online access: Click here to access online Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.36 (e-Book)(MA) . Place hold
	782.	Introduction to Digital Circuits by Theodore F Bogart,Jr. by Bogart Jr, Theodore F Material type: Book Publication details: Singapore McGraw Hill Book company 1992 Availability: Items available for loan: Electrical Communication Engineering (1)Call number: 621.3815 N926;1 (ECE). Place hold
	783.	Verilog HDL Guide to Digital Design and Synthesis by Samir Palnitkar by Palnitkar, Samir Edition: 2nd ed Material type: Book Publication details: Noida Pearson Education 2003 Availability: Items available for loan: Electrical Communication Engineering (1)Call number: 621.392 P032 (ECE). Place hold
	784.	Matlab An intruduction with applications by Amos Gilat by Gilat Amos Edition: 4th Material type: Book Publication details: New Delhi Wiley 2011 Availability: Items available for loan: Centre for Nano Science and Engineering (1)Call number: 005.369 P11 (CeNSE). Place hold
	785.	Descriptive complexity by Neil Immerman by Immerman, Neil Series: Graduate texts in Computer Science Material type: Book Publication details: New York Springer 1999 Availability: Items available for loan: Computer Science and Automation (1)Call number: 511.3 N994 (CSA). Place hold
	786.	Logical foundations of proof complexity (E-BOOK) by Stephen Cook and Phuong Nguyen by Cook, Stephen Nguyen, Phuong Material type: Book Publication details: Cambridge Cambridge 2010 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.36 P101 (e-Book)(MA). Place hold
	787.	Real analysis through modern infinitesimals (E-BOOK) by Nader Vakil by Vakil, Nader Series: Encyclopedia of Mathematics and its Applications (140) ; Material type: Book Publication details: Cambridge Cambridge 2013 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 515 P134 (e-Book)(MA). Place hold
	788.	Kutz godel and the foundations of mathematics: Horizons of truth (E-BOOK) ed by Matthias Baaz., et al by Baaz, Matthias., ed Material type: Book Publication details: Cambridge Cambridge 2011 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 510.92 P11 (e-Book)(MA). Place hold
	789.	Set theory, arithmetic and foundations of mathematics : Theorems,philosophies (E-BOOK) ed by Juliette Kennedy and Roman Kossak by Kennedy, Juliette., ed Kossak, Roman., ed Series: Lecture Notes in Logic (36) ; Material type: Book Publication details: Cambridge Cambridge 2011 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 510 P112 (e-Book)(MA). Place hold
	790.	Homotopy theory of higher categories (E-BOOK) by Carlos Simpson by Simpson, Carlos Series: New Mathematical Monographs ; Material type: Book Publication details: Cambridge Cambridge 2011 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 512.62 P111 (e-Book)(MA). Place hold
	791.	Course on mathematical logic by S M Srivastava by Srivastava, S M Edition: 2nd ed Material type: Book Publication details: New York Springer 2013 Availability: Items available for loan: Computer Science and Automation (1)Call number: 511.3 P131 (CSA). Place hold
	792.	Graph structure and monadic second order logic A language theoretic approach by Courcelle, Bruno, Engelfriet, Joost Series: Encyclopedia of Mathematics and its Applications: 138 ; Material type: Book Publication details: Cambridge CUP 2012 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 P12. Place hold
	793.	Natural language understanding by Allen, James, Edition: 2nd ed Material type: Book Publication details: New Delhi Pearson 1995 Availability: Items available for loan: Supercomputer Education and Research Centre (1)Call number: 006.35 N952 (SERC). Place hold
	794.	Exploring the quantum (E-BOOK) by Serge Haroche and Jean-Michel Raimond by Haroche, Serge Raimond, Jean-Michel Material type: Book Publication details: Oxford Oxford 2010 Online access: Click here to access online Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 530.12 P1013 (e-Book)(PHY). Place hold
	795.	Fundamentals of digital logic with Verilog design by Brown, Stephen, Vranesic, Zvonko Material type: Book Publication details: New Delhi Tata McGraw-Hill 2007 Availability: Items available for loan: Electronic Systems Engineering (1)Call number: 621.392 P07 (ESE). Place hold
	796.	Verilog HDL : A guide to digital design and synthesis IEEE 1364-2001 Compliant by Palnitkar Samir, Goel Prabhu Edition: 2nd ed. Material type: Book Publication details: India Pearson Education, Inc. 2003 Availability: Items available for loan: Electronic Systems Engineering (1)Call number: 621.392 P032 (ESE). Place hold
	797.	Soft computing and Its applications, volume 2: Fuzzy reasoning and Fuzzy control by Kumar S Ray by Ray, Kumar S Material type: Book Publication details: New York CRC Press 2014 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.3 P15. Place hold
	798.	Introduction to mathematical logic by Elliot Mendelson by Mendelson, Elliott Series: Textbooks in Mathematics ; Edition: 6th ed. Material type: Book Publication details: New York CRC Press 2015 Availability: Items available for loan: Computer Science and Automation (1)Call number: 511.3 P15 (CSA). Place hold
	799.	Communication Complexity by Eyal Kushilevitz and Noam Nisan by Kushilevitz, Eyal, Nisan, Noam Material type: Book Publication details: Cambridge CUP 2006 Availability: Items available for loan: Electrical Communication Engineering (1)Call number: 004.6015113 P06 (ECE). Place hold
	800.	Quantum computation and quantum information by Michael Nielsen and Isaac L Chuang by Nielsen, Michael A Chuang, Isaac L Material type: Book Publication details: Cambridge Cambridge University Press 2000 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.8 P021;1. Place hold

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Topics

Your search returned 893 results.