Refine your search

Your search returned 2465 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
1821.
1822.
Model Checking Software [electronic resource] : 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings / edited by Alastair Donaldson, David Parker. by Series: Lecture Notes in Computer Science ; 7385
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
1823.
Application and Theory of Petri Nets and Concurrency [electronic resource] : 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings / edited by Raymond Devillers, Antti Valmari. by Series: Lecture Notes in Computer Science ; 9115
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).

Place hold Request article Save to lists
1824.
Representations of Poverty in Videogames [electronic resource] / by Adam Crowley. by
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Palgrave Macmillan, 2022
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Save to lists
1825.
Decision Optimization with IBM ILOG CPLEX Optimization Studio [electronic resource] : A Hands-On Introduction to Modeling with the Optimization Programming Language (OPL) / by Stefan Nickel, Claudius Steinhardt, Hans Schlenker, Wolfgang Burkart. by Series: Graduate Texts in Operations Research
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 658.403.

Place hold Save to lists
1826.
In Search of Elegance in the Theory and Practice of Computation [electronic resource] : Essays Dedicated to Peter Buneman / edited by Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan, Wang-Chiew Tan, Michael Fourman. by Series: Lecture Notes in Computer Science ; 8000
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).

Place hold Request article Save to lists
1827.
Computer Architecture [electronic resource] : ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papers / edited by Ana Lucia Varbanescu, Anca Molnos, Rob van Nieuwpoort. by Series: Lecture Notes in Computer Science ; 6161
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
1828.
Software Engineering and Formal Methods [electronic resource] : SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers / edited by Steve Counsell, Manuel Núñez. by Series: Lecture Notes in Computer Science ; 8368
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
1829.
Digital signal processing system design : labVIEW-based hybrid programming/ by Nasser Kehtarnavaz ; with laboratory contributions by Namjin Kim and Qingzhong Peng by
Material type: Text Text; Format: print ; Audience: Adult;
Language: English
Publication details: New Delhi : Elsevier , 2013
Availability: Items available for loan: National Library of India (1)Call number: E 621.3822 K 262.

Place hold Request article Save to lists
1830.
Formal language and automata theory / P. Santosh Kumar Patra . . . [et.al.] by
Publication details: Hyderabad : Spectrum Publishing House, 2022
Availability: Items available for loan: National Library of India (1)Call number: E 004.0151 F 765.

Place hold Request article Save to lists
1831.
No cover image available
Data structures and program design / Robert L. Kruse by
Edition: 3rd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New Delhi : Prentice-Hall of India, c1994
Availability: Items available for loan: National Library of India (1)Call number: E 001.6 K 945.

Place hold Request article Save to lists
1832.
No cover image available
Simplified techniques for preparing visual instructional materials / Ed Minor by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New York : McGraw-Hill, c1962
Other title:
  • Techniques for producing visual instructional media
Availability: Items available for loan: National Library of India (1)Call number: E/O 371.335 M 666.

Place hold Request article Save to lists
1833.
Dreamweaver MX / fireworks MX/ Christian Crumlish by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: General;
Publication details: New Delhi : BPB Pub., 2003
Availability: Items available for loan: National Library of India (1)Call number: E005.262 C 888 d.

Place hold Request article Save to lists
1834.
Ventura tips & tricks / Tea Nace with Daniel Will-Harris by
Edition: 3rd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Calcutta : Jaico Pub. House, 1993
Availability: Items available for loan: National Library of India (1)Call number: E 005.3 N 113.

Place hold Request article Save to lists
1835.
Concurrent PASCAL compiler for minicomputers Alfred C. Hartmann by Series: Lecture notes in computer science ; 50
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1977
Availability: Items available for loan: National Library of India (1)Call number: E/O 001.6 L 497.

Place hold Request article Save to lists
1836.
Build AI-enhanced audio plugins with C++ / Matthew John Yee-King. by
Material type: Text Text; Literary form: Not fiction
Publication details: London : Routledge, Taylor & Francis Group, 2024
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 780.285.

Place hold Save to lists
1837.
Foundations of Information and Knowledge Systems [electronic resource] : 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings / edited by Ivan Varzinczak. by Series: Lecture Notes in Computer Science
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: National Library of India (1)Call number: 005.131.

Place hold Save to lists
1838.
1839.
Schaum's outline of theory and problems of data structure with C++/ John R. Hubbard. by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: New Delhi : Tata McGraw-Hill Education, 2004
Availability: Items available for loan: National Library of India (1)Call number: E/O 005.13 H 861.

Place hold Request article Save to lists
1840.
Mukammal Computer training guide Shafaqat Ali
Edition: 1st ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Urdu
Publication details: Delhi : Educational Publishing House , 2013
Availability: Items available for loan: National Library of India (1)Call number: U 005.102 Sh 598 mct.

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