Your search returned 115 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
1.
Digital logic design / V. Palaniammal by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Chennai : Ozone Books, 2008
Availability: Items available for loan: National Library of India (1)Call number: E 621.395 P 172.

Place hold Request article Save to lists
2.
Logic design / K. Venkataraju by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New Delhi: I.K.International Publishing House , 2015
Availability: Items available for loan: National Library of India (1)Call number: E 621.395 V 559.

Place hold Request article Save to lists
3.
Switching theory and logic design / A. Anand Kumar by
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: New Delhi : PHI Learning, 2014
Availability: Items available for loan: National Library of India (1)Call number: E 621.3819582 K 96 (1).

Place hold Request article Save to lists
4.
Transactions on High-Performance Embedded Architectures and Compilers [electronic resource] / edited by Per Stenström. by Series: Lecture Notes in Computer Science ; 6590 | Lecture Notes in Computer Science ; 6760
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Online resources:
Availability: Items available for loan: National Library of India (2).

Place hold Request article Save to lists
5.
NASA Formal Methods [electronic resource] : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings / edited by Mihaela Bobaru...[et.al] by Series: Lecture Notes in Computer Science ; 6617
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
6.
Generative and Transformational Techniques in Software Engineering III [electronic resource] : International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers / edited by João M. Fernandes...[et al.] by Series: Lecture Notes in Computer Science ; 6491
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
7.
Interactive Theorem Proving [electronic resource] : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings / edited by Marko Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk. by Series: Lecture Notes in Computer Science ; 6898
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
8.
Programming Languages and Systems [electronic resource] : 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings / edited by Hongseok Yang. by Series: Lecture Notes in Computer Science ; 7078
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Other title:
  • APLAS 2011
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
9.
Switching theory and logic design/ A. Anand Kumar by
Edition: 3rd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: Delhi : PHI Learning, 2016
Availability: Items available for loan: National Library of India (1)Call number: E 621.3819582 K 96 (3 ed.).

Place hold Request article Save to lists
10.
Digital logic design/ S. Salivahanan, S. Arivazhagan by Series: Vikas-Gtu Students' series
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: New Delhi : Vikas Pub. House, 2010
Availability: Items available for loan: National Library of India (1)Call number: E 621.395 Sa 34.

Place hold Request article Save to lists
11.
Digital logic design / Mansaf Alam, Bashir Alam by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: General;
Language: English
Publication details: Delhi : PHI Learning, 2016
Availability: Items available for loan: National Library of India (1)Call number: E 621.395 M 317.

Place hold Request article Save to lists
12.
Digital logic design and computer organization : with computer architecture for security / Nikrouz Faroughi by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: New Delhi : McGraw Hill Education (India) ; 2015
Availability: Items available for loan: National Library of India (2)Call number: E 004.22 F 238, ...

Place hold Request article Save to lists
13.
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings / edited by Ranjit Jhala, David Schmidt. by Series: Lecture Notes in Computer Science ; 6538
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
14.
Computer Performance Engineering [electronic resource] : 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011. Proceedings / edited by Nigel Thomas. by Series: Lecture Notes in Computer Science ; 6977
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Other title:
  • EPEW 2011
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
15.
Computational Logic in Multi-Agent Systems [electronic resource] : 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings / edited by João Leite...[et al.] by Series: Lecture Notes in Computer Science ; 6814
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
16.
Algorithmic Learning Theory [electronic resource] : 22nd International Conference, ALT 2011, Espoo, Finland, October 5-7, 2011. Proceedings / edited by Jyrki Kivinen...[et al.] by Series: Lecture Notes in Computer Science ; 6925
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Other title:
  • ALT 2011
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
17.
Hardware and Software: Verification and Testing [electronic resource] : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers / edited by Sharon Barner...[et.al] by Series: Lecture Notes in Computer Science ; 6504
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
18.
Principles and Practice of Constraint Programming – CP 2011 [electronic resource] : 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings / edited by Jimmy Lee. by Series: Lecture Notes in Computer Science ; 6876
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
19.
Johan van Benthem on Logic and Information Dynamics [electronic resource] / edited by Alexandru Baltag, Sonja Smets. by Series: Outstanding Contributions to Logic ; 5
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2014
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
20.
Frontiers of Combining Systems [electronic resource] : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings / edited by Cesare Tinelli, Viorica Sofronie-Stokkermans. by Series: Lecture Notes in Computer Science ; 6989
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
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