Refine your search

Your search returned 2465 results.

Sort
Results
1541.
Introduction to PL/I programming for library and information science / Thomas H. Mott, Jr., Susan Artandi [and] Leny Struminger by Series: Library and information science
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New York : Academic Press, 1972
Availability: Items available for loan: National Library of India (1)Call number: E 025.078 M 858.

1542.
Schaum's Outline of theory and problems of programming with BASIC : including expanded microcomputer BASIC section / byron S. Gottfried by Series: Schaum's outline series
Edition: 3rd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New Delhi : Tata McGraw-Hill Education, 1991
Availability: Items available for loan: National Library of India (1)Call number: E/O 005.362 G 713.

1543.
Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection [electronic resource] : 21st International Conference, PAAMS 2023, Guimarães, Portugal, July 12-14, 2023, Proceedings / edited by Philippe Mathieu, Frank Dignum, Paulo Novais, Fernando De la Prieta. 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: 006.3.

1544.
1545.
Software Technologies [electronic resource] : 17th International Conference, ICSOFT 2022, Lisbon, Portugal, July 11-13, 2022, Revised Selected Papers / edited by Hans-Georg Fill, Marten van Sinderen, Leszek A. Maciaszek. 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.

1546.
Service-Oriented Computing [electronic resource] : 17th Symposium and Summer School, SummerSOC 2023, Heraklion, Crete, Greece, June 25 - July 1, 2023, Revised Selected Papers / edited by Marco Aiello, Johanna Barzen, Schahram Dustdar, Frank Leymann. 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.

1547.
Microsoft visual C# : step by step / John Sharp by
Edition: 8th 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 005.133 Sh 23 (8th).

1548.
Software Engineering [electronic resource] : International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures / edited by Andrea De Lucia, Filomena Ferrucci. by Series: Lecture Notes in Computer Science ; 7171
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
Online resources:
Availability: Items available for loan: National Library of India (1).

1549.
Formal Aspects of Component Software [electronic resource] : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers / edited by Corina S. Păsăreanu, Gwen Salaün. by Series: Lecture Notes in Computer Science ; 7684
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
Online resources:
Availability: Items available for loan: National Library of India (1).

1550.
Tools for Practical Software Verification [electronic resource] : LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures / edited by Bertrand Meyer, Martin Nordio. by Series: Lecture Notes in Computer Science ; 7682
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).

1551.
Formal Aspects of Component Software [electronic resource] : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers / edited by Farhad Arbab, Peter Csaba Ölveczky. by Series: Lecture Notes in Computer Science ; 7253
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).

1552.
Software Engineering and Formal Methods [electronic resource] : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings / edited by Radu Calinescu, Bernhard Rumpe. by Series: Lecture Notes in Computer Science ; 9276
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2015
Online resources:
Availability: Items available for loan: National Library of India (1).

1553.
Software Engineering and Formal Methods [electronic resource] : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings / edited by Dimitra Giannakopoulou, Gwen Salaün. by Series: Lecture Notes in Computer Science ; 8702
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).

1554.
Schaum's outline of theory and problems of programming with C / Byron S. Gottfried by
Edition: 2nd ed.
Publication details: Chennai : McGraw Hill Education , 2022
Availability: Items available for loan: National Library of India (1)Call number: E/O 005.133 G 713 (2nd ed.).

1555.
O Level, simple basics of os, unix and shell programming : according to A8-R3 syllabus for DOEACC 'A' lavel examination / by Vinneta Pillai [and] Satish Jain by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New Delhi : BPB Publications, 2003
Availability: Items available for loan: National Library of India (1)Call number: E/O 005.1 P 644.

1556.
Assembly language programming and the IBM 360 and 370 computers / Walter G. Rudd by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Englewood Cliffs, N.J. : Prentice-Hall, c1976
Availability: Items available for loan: National Library of India (1)Call number: E 001.642 R 831.

1557.
Object-oriented programming with C++ ; MCA 1st year 2nd semester : in accordance with WBUT syllabus / Anindya Jyoti Pal by Series: Matrix reference series
Edition: 5th rev. ed.
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Publication details: Kolkata : Matrix Educare, 2010
Availability: Items available for loan: National Library of India (1)Call number: E 005.117 P 17 MCA1/2.

1558.
System programming and operating system ; B.Tech 4th year 1st semester : in accordance with WBUT syllabus / Mrinal Kanti Chakraborty by Series: Matrix reference series
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: General;
Language: English
Publication details: Kolkata : Matrix Educare, 2010
Availability: Items available for loan: National Library of India (1)Call number: E 005.42 C 349 [B.Tech. 4/1 (EC)].

1559.
Frontiers in Software Engineering Education [electronic resource] : Second International Workshop, FISEE 2023, Villebrumier, France, January 23-25, 2023, Invited Papers / edited by Alfredo Capozucca, Sophie Ebersold, Jean-Michel Bruel, Bertrand Meyer. 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.

1560.
Tools for Practical Software Verification [electronic resource] : LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures / edited by Bertrand Meyer, Martin Nordio. by Series: Lecture Notes in Computer Science ; 7682
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).

                                                                           
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