Refine your search

Your search returned 2465 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
1381.
Correct Reasoning [electronic resource] : Essays on Logic-Based AI in Honour of Vladimir Lifschitz / edited by Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce. by Series: Lecture Notes in Computer Science ; 7265
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
1382.
Verified Software: Theories, Tools, Experiments [electronic resource] : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings / edited by Rajeev Joshi, Peter Müller, Andreas Podelski. by Series: Lecture Notes in Computer Science ; 7152
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
1383.
Formal Methods and Software Engineering [electronic resource] : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings / edited by Toshiaki Aoki, Kenji Taguchi. by Series: Lecture Notes in Computer Science ; 7635
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
1384.
Verified Software: Theories, Tools, Experiments [electronic resource] : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers / edited by Ernie Cohen, Andrey Rybalchenko. by Series: Lecture Notes in Computer Science ; 8164
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2014
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
1385.
1386.
Emerging Technologies for Developing Countries [electronic resource] : 5th EAI International Conference, AFRICATEK 2022, Bloemfontein, South Africa, December 5-7, 2022, Proceedings / edited by Muthoni Masinde, Antoine Bagula. by Series:
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 004.6.

Place hold Save to lists
1387.
Euro-Par 2023: Parallel Processing [electronic resource] : 29th International Conference on Parallel and Distributed Computing, Limassol, Cyprus, August 28 - September 1, 2023, Proceedings / edited by José Cano, Marios D. Dikaiakos, George A. Papadopoulos, Miquel Pericàs, Rizos Sakellariou. by Series:
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 005.1.

Place hold Save to lists
1388.
Parallel and Distributed Computing, Applications and Technologies [electronic resource] : 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7-9, 2022, Proceedings / edited by Hiroyuki Takizawa, Hong Shen, Toshihiro Hanawa, Jong Hyuk Park, Hui Tian, Ryusuke Egawa. by Series:
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 004.0151.

Place hold Save to lists
1389.
Engineering Multi-Agent Systems [electronic resource] : 9th International Workshop, EMAS 2021, Virtual Event, May 3-4, 2021, Revised Selected Papers / edited by Natasha Alechina, Matteo Baldoni, Brian Logan. by Series: Lecture Notes in Artificial Intelligence ; 13190
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
Online resources:
Availability: Items available for loan: (1)Call number: 006.3.

Place hold Save to lists
1390.
Data Structures and Algorithms in C and Python/ Chandan Banerjee and Atanu Das by
Language: English
Publication details: Hyderabad: Universities Press, 2023
Availability: Items available for loan: National Library of India (1)Call number: E/O 005.133 B 223 d.

Place hold Request article Save to lists
1391.
Ṭinamik memari: kampyūṭṭar kōrs டைனமிக் மெமரி: கம்பியூட்டர் கோர்ஸ் தொகுப்பாளர் தவீந்தர் சிஹ் மின்ஹாஸ் Tavīntar Ciṅ Minhāl com. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Tamil
Publication details: புது டெல்லி: ஃபியூஷன் புக்ஸ், 2010
Availability: Items available for loan: National Library of India (1)Call number: Ta 005.2 Ti 614 t.

Place hold Request article Save to lists
1392.
Succeeding with objects : decision frameworks for project management / Adele Goldberg and Kenneth S. Rubin by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Reading, Mass. : Addison-Wesley, c1995
Availability: Items available for loan: National Library of India (1)Call number: E 001.642 G 564.

Place hold Request article Save to lists
1393.
No cover image available
Introduction to computers and data processing / Daniel D. Benice by Series: Prentice-Hall series in applied mathematics
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Englewood Cliffs, N.J. : Prentice-Hall, 1970
Availability: Items available for loan: National Library of India (1)Call number: E/O 510.7834 B 437.

Place hold Request article Save to lists
1394.
No cover image available
FORTRAN IV : programming and computing / James T. Golden by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Englewood Cliffs. : Prentice-Hall, c1965
Availability: Items available for loan: National Library of India (1)Call number: E/O 519.92 G 565.

Place hold Request article Save to lists
1395.
No cover image available
An Introduction to computing / by R. Wooldridge by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: London : Oxford University Press, 1962
Availability: Items available for loan: National Library of India (1)Call number: E510.78 W882.

Place hold Request article Save to lists
1396.
Foundations of object-oriented languages : types and semantics/ Kim B. Bruce by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Publication details: New Delhi : Prentice-Hall, 2004
Availability: Items available for loan: National Library of India (1)Call number: E 005.117 B 83.

Place hold Request article Save to lists
1397.
Guide to BPO and IT jobs : question and answer for written test and interview/ by Satish Jain
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: New Delhi : BPB Pub., 2006
Availability: Items available for loan: National Library of India (1)Call number: E 005 J 199.

Place hold Request article Save to lists
1398.
No cover image available
Computer program for economic evaluations of underground bituminous coal mines / by Robert A. Miller by Series: Information circular bureau of mines ; 8513
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Washington, D. C. : United States Government Printing Office, 1971
Availability: Items available for loan: National Library of India (1)Call number: U.S 001.64 M 617.

Place hold Request article Save to lists
1399.
No cover image available
Advanced compiler design and implementation / Steven S.Muchnick by
Material type: Text Text; Format: print ; Audience: Adult;
Language: English
Publication details: Gurgaon : Elsevier , 2014
Availability: Items available for loan: National Library of India (1)Call number: E 005.453 M 881.

Place hold Request article Save to lists
1400.
No cover image available
Implementation of the Helsinki Accord / United States, Department of State by Series: Special report
Material type: Text Text; Format: print
Language: English
Publication details: Washington, D.C. : The Department, 1980
Other title:
  • Implementation of Helsinki Accord
Availability: Items available for loan: National Library of India (1)Call number: U.S 001.6 Un 3.

Place hold 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