Refine your search

Your search returned 499 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
461.
Web Services and Formal Methods [electronic resource] : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers / edited by Maurice H. ter Beek, Niels Lohmann. by Series: Lecture Notes in Computer Science ; 7843
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
462.
Software Engineering [electronic resource] : International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures / edited by Bertrand Meyer, Martin Nordio. by Series: Lecture Notes in Computer Science ; 8987
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
463.
ECOOP 2014 - Object-Oriented Programming [electronic resource] : 28th European Conference, Uppsala, Sweden, July 28 - August 1, 2014. Proceedings / edited by Richard Jones. by Series: Lecture Notes in Computer Science ; 8586
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
464.
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.

Place hold Request article Save to lists
465.
Constraint Solving and Language Processing [electronic resource] : 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers / edited by Denys Duchier, Yannick Parmentier. by Series: Lecture Notes in Computer Science ; 8114
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
466.
467.
468.
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).

Place hold Request article Save to lists
469.
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).

Place hold Request article Save to lists
470.
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).

Place hold Request article Save to lists
471.
472.
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).

Place hold Request article Save to lists
473.
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).

Place hold Request article Save to lists
474.
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).

Place hold Request article Save to lists
475.
476.
477.
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.

Place hold Save to lists
478.
No cover image available
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.

Place hold Request article Save to lists
479.
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.

Place hold Request article Save to lists
480.
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.

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