Refine your search

Your search returned 514 results.

Sort
Results
481.
482.
483.
Generic and Indexed Programming [electronic resource] : International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures / edited by Jeremy Gibbons. by Series: Lecture Notes in Computer Science ; 7470
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).

484.
Modelling Foundations and Applications [electronic resource] : 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings / edited by Gabriele Taentzer, Francis Bordeleau. by Series: Lecture Notes in Computer Science ; 9153
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).

485.
Model Driven Engineering Languages and Systems [electronic resource] : 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30-October 5, 2012. Proceedings / edited by Robert B. France, Jürgen Kazmeier, Ruth Breu, Colin Atkinson. by Series: Lecture Notes in Computer Science ; 7590
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).

486.
487.
SDL 2011: Integrating System and Software Modeling [electronic resource] : 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers / edited by Iulian Ober, Ileana Ober. by Series: Lecture Notes in Computer Science ; 7083
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).

488.
Modelling Foundations and Applications [electronic resource] : 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings / edited by Pieter Van Gorp, Tom Ritter, Louis M. Rose. by Series: Lecture Notes in Computer Science ; 7949
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).

489.
SDL 2013: Model-Driven Dependability Engineering [electronic resource] : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings / edited by Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed. by Series: Lecture Notes in Computer Science ; 7916
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).

490.
491.
492.
Introduction to Computer Graphics [electronic resource] : Using OpenGL and Java / by Karsten Lehn, Merijam Gotzes, Frank Klawonn. by Series:
Edition: 3rd ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 006.6.

493.
Introducing Microsoft ASP.NET AJAX/ Dino Esposito by
Material type: Continuing resource Continuing resource; Format: print
Language: English
Publication details: New Delhi : Prentice-Hall, 2007
Availability: Items available for loan: National Library of India (1)Call number: E 005.262 Es 65 d.

494.
PASCAL programming Lab Workbook / R. Y. Shukla by Series: BPB Laboratory work book series
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New Delhi : BPB Publications, c1995
Availability: Items available for loan: National Library of India (1)Call number: E/O 005.262 Sh 92.

495.
From Complex Sentences to a Formal Semantic Representation using Syntactic Text Simplification and Open Information Extraction [electronic resource] / by Christina Niklaus. by
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 410.285.

496.
Formal Methods for an Informal World [electronic resource] : ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures / edited by Antonio Cerone. by Series:
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 005.1.

497.
Object oriented programming with C++/ M. T. Somashekara ... [et al.] by
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: New Delhi : PHI Learning, 2012
Availability: Items available for loan: National Library of India (1)Call number: E 005.133 Ob 3.

498.
Perfect Computer Course پرفیکٹ کمپیوٹر کورس / نییم احسن Nayeem Ashan by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Urdu
Publication details: New Delhi: Al-Ala Publications, 2015
Availability: Items available for loan: National Library of India (1)Call number: U 005.102 N 749 pe.

499.
Formal Methods [electronic resource] : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings / edited by Marsha Chechik, Joost-Pieter Katoen, Martin Leucker. by Series:
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 005.1.

500.
Design Patterns with Java [electronic resource] : An Introduction / by Olaf Musch. by
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 005.11.

                                                                           
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