Your search returned 9 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
1.
Computation engineering : applied automata theory and logic / Ganesh Gopalakrishnan by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New York, NY : Springer, c2006
Availability: Items available for loan: National Library of India (1)Call number: E/O 004.0151 G 646.

Place hold Request article Save to lists
2.
No cover image available
Computer logic : the functional design of digital computers / Ivan Flores by Series: Prentice-Hall electrical engineering series
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Englewood Cliffs, N.J. : Prentice-Hall, c1960
Availability: Items available for loan: National Library of India (1)Call number: E510.7834 F663.

Place hold Request article Save to lists
3.
Computation engineering : applied automata theory and locic/ Ganesh Gopalakrishnan by
Material type: Continuing resource Continuing resource; Format: print
Language: English
Publication details: New York : Springer, c2006
Availability: Items available for loan: National Library of India (1)Call number: E/O 004.0151 G 646.

Place hold Request article Save to lists
4.
Advanced methods for inconsistent knowledge management/ Ngoc Thanh Nguyen by Series: Advanced informantion and knowledge processing
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: Berlin : Springer, c2008
Availability: Items available for loan: National Library of India (1)Call number: E 658.4038 N 499.

Place hold Request article Save to lists
5.
No cover image available
Electronic digital computers / Charles V. L. Smith by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New York : McGraw-Hill, 1959
Availability: Items available for loan: National Library of India (2)Call number: E510.7834 Sm53, ...

Place hold Request article Save to lists
6.
Propositional logic : deduction and algorithms / Hans Kleine Buning [and] Theodor Lettman by Series: Cambridge tracts in theoretical computer science ; v. 48
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Cambridge : The University Press, 1999
Availability: Items available for loan: National Library of India (1)Call number: E160 B883.

Place hold Request article Save to lists
7.
Dynamic logic/ David Harel, Dexter Kozen, Jerzy Tiuryn by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: New Delhi : Prentice-Hall, 2007
Availability: Items available for loan: National Library of India (1)Call number: E 004.015113 H 222.

Place hold Request article Save to lists
8.
Logics for computer science/ Arindama Singh by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New Delhi: Prentice-Hall, c2003
Availability: Items available for loan: National Library of India (1)Call number: E 621.395 Si 64.

Place hold Request article Save to lists
9.
Formal Techniques for Distributed Systems [electronic resource] : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings / edited by Holger Giese, Grigore Rosu. by Series: Lecture Notes in Computer Science ; 7273
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
                                                                           
web counter

Copyright ©2020 The National Library of India, Govt. of India ↔ Hosted by NVLI, MOC ↔ Technology and Design by National Library of India, Ministry of Culture, Govt. of India