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

Results
	141.	Logic in computer science. LICS 1993 Proceedings by IEEE Symposium on logic in computer science (8: 1993: Montreal) Material type: Book Publication details: Los Alamitos IEEE 1993 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005 N931 "SER".
	142.	Logic in computer science. LICS 1994 Proceedings by IEEE Symposium on Logic in Computer Science (1994: Paris) Material type: Book Publication details: Los Alamitos IEEE 1994 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005 N941.
	143.	Logic in computer science. LICS 1989. Proceedings by IEEE Symposium on logic in computer science (4 1989 Pacific Grove) Material type: Book Publication details: New York IEEE 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 N899 "SER".
	144.	Logic in computer science. LICS 1990. Proceedings by IEEE Symposium on logic in computer science. (5 1990 Philadelphia) Material type: Book Publication details: New York IEEE 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005 N901 "SER".
	145.	Logic at Botik '89 ed. by A. R. Meyer, M. A. Taitslin by Symposium on Logical Foundations of Computer Science Meyer, A. R., ed Taitslin, M. A., ed Series: Lecture notes in computer science V.363 Material type: Book Publication details: Berlin Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N891.
	146.	Logic at Botik '89. by Symposium on Logical Foundations of Computer Science Pereslavl-Zalessky 1989 Series: Lecture notes in computer science ; 363 Material type: Book Publication details: Berlin S-V 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.13 N89.
	147.	Foundations of logic and functional programming ed. by M. Boscarol, L Carlucci Aiello and G. Levi by Boscarol, M., ed Aiello, L Carlucci., ed Levi, G., ed Series: Lecture notes in computer science ; Material type: Book Publication details: Berlin Springer-Verlag 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.115 N881.
	148.	CSI '88. by Workshop on computer science logic. ( Duisburg, FRG : 1988 ) Series: Lecture notes in computer science ; no.385 Material type: Book Publication details: Berlin Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.0285 N89.
	149.	No cover image available Engineering approach to digital design by William I. Fletcher. by Fletcher, William I Material type: Book Publication details: Prentce Hall 1980 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 621.3815 N80;4. Place hold
	150.	No cover image available Introduction to the foundations of mathematics by Raymond L. Wilder. by Wilder, Raymond L Edition: 2nd Material type: Book Publication details: New York John Wiley & Sons Inc 1965 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 512 N6514.
	151.	Digital circuits and logic design by Samuel C. Lee. by Lee, Samuel C Material type: Book Publication details: New Jersey Prentice-Hall 1976 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 621.381537 N76;1. Place hold
	152.	Rewriting techniques and applications : 4th International conference RTA proceedings by ed by Ronald V. Book Book, Ronald V., ed Series: Lecture notes in Computer Science ,Vol.488 ; Material type: Book Publication details: Berlin Springer-Verlag 1991 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.13 N913.
	153.	Foundations of logic programming by J W Lloyd by Lloyd, J W Series: Springer Series in Symbolic Computation - Artificial Intelligence ; Edition: 2nd. Material type: Book Publication details: New York Springer-Verlag 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.115 N871.
	154.	Fundamentals of digital : with VLSI circuit applications by Douglas A Pucknell by Pucknell, Douglas A Series: Prentice Hall Silicon Systems Engineering Series ; Material type: Book Publication details: New York Prentice-Hall 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.395 N9022.
	155.	No cover image available Specilization and synthesis of synchronizers by Krithivasan Ramamritham by Ramamritham, Krithivasan Series: University of Utah, Ph.D Thesis Material type: Book Publication details: Ann Arbar UMI 1981 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005. N811.
	156.	No cover image available Design of digital systems : a self-instruction course in 6 volumes by P. C. Pittman. by Pittman, P. C Material type: Book Publication details: New Delhi Galgotia Pub. Ltd. 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.3815 N87.
	157.	No cover image available Handbook of logic in computer science Vol.3-4 ed by S. Abramsky, Dov M. Gabbay, T.S.E. Maibaum by Abramsky, S. ed Gabby, Dov M. ed Maibaum, T. S. E Material type: Book Publication details: Oxford Oxford Science Pub. 1994 Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 005.131 N95.3-4 (CSA).
	158.	Advances in inductive logic programming ed by L. De Raedt by De Raedt, L., ed Series: Frontiers in Artificial Intelligence and applications ; V.32 Material type: Book Publication details: Amsterdam IOS Press 1996 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.3 N961.
	159.	Logic synthesis for field-programmable gate arrays by Rajeev Murgai, Robert K Brayton by Murgai, Rajeev Brayton, Robert K Sangiovanni-Vincentelli, Alberto Material type: Book Publication details: Boston Kluwer 1995 Availability: Items available for reference: Electronic Systems Engineering: Not for loan (1)Call number: 621.395 N952.
	160.	Logic of Domains by Guo-Qiang Zhang by Zhang, Guo-Qiang Series: Progress in theoretical computer science Material type: Book Publication details: Boston Birkhauser 1991 Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 005.13 N912.

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Topics

Your search returned 893 results.