Refine your search

Your search returned 2465 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
2161.
Hardware and Software: Verification and Testing [electronic resource] : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings / edited by Valeria Bertacco, Axel Legay. by Series: Lecture Notes in Computer Science ; 8244
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2013
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
2162.
Software Engineering and Formal Methods [electronic resource] : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings / edited by George Eleftherakis, Mike Hinchey, Mike Holcombe. by Series: Lecture Notes in Computer Science ; 7504
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
2163.
Software Language Engineering [electronic resource] : 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings / edited by Benoît Combemale, David J. Pearce, Olivier Barais, Jurgen J. Vinju. by Series: Lecture Notes in Computer Science ; 8706
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
2164.
Euro-Par 2015: Parallel Processing [electronic resource] : 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings / edited by Jesper Larsson Träff, Sascha Hunold, Francesco Versaci. by Series: Lecture Notes in Computer Science ; 9233
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2015
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
2165.
The Management of Continuous Product Development [electronic resource] : Empirical Research in the Online Game Industry / by Wei Huang. by
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 658.4062 | 658.514.

Place hold Save to lists
2166.
The game music toolbox : composition techniques and production tools from 20 iconic game soundtracks / Marios Aristopoulos. by
Material type: Text Text; Literary form: Not fiction
Language: English
Publication details: New York : Focal Press, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 781.54.

Place hold Save to lists
2167.
2168.
Higher Education Computer Science [electronic resource] : A Manual of Practical Approaches / edited by Jenny Carter, Michael O'Grady, Clive Rosen. by
Edition: 2nd 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: 371.334.

Place hold Save to lists
2169.
2170.
Java for business : using Java to win customers, cut costs and drive growth / Thomas Anderson by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Calcuta : Jaica pub., c1997
Availability: Items available for loan: National Library of India (1)Call number: E 005.133 An 24.

Place hold Request article Save to lists
2171.
Implementation and Application of Automata [electronic resource] : 26th International Conference, CIAA 2022, Rouen, France, June 28 - July 1, 2022, Proceedings / edited by Pascal Caron, Ludovic Mignot. by Series: Lecture Notes in Computer Science ; 13266
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: 006.35.

Place hold Save to lists
2172.
Reachability Problems [electronic resource] : 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022, Proceedings / edited by Anthony W. Lin, Georg Zetzsche, Igor Potapov. by Series: Lecture Notes in Computer Science ; 13608
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
2173.
Reachability Problems [electronic resource] : 17th International Conference, RP 2023, Nice, France, October 11-13, 2023, Proceedings / edited by Olivier Bournez, Enrico Formenti, Igor Potapov. 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.131.

Place hold Save to lists
2174.
Asp, ADOand XML complete / [published by] BPB Publications
Edition: 2nd,rev.ed
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New Delhi : BPB Publications, c2001
Availability: Items available for loan: National Library of India (1)Call number: E 005.262 Ac 85.

Place hold Request article Save to lists
2175.
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
2176.
2177.
Coalgebraic Methods in Computer Science [electronic resource] : 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings / edited by Helle Hvid Hansen, Fabio Zanasi. by Series: Lecture Notes in Computer Science ; 13225
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
2178.
Esports in the Asia-Pacific [electronic resource] : Ecosystem, Communities, and Identities / edited by Filippo Gilardi, Paul Martin. by Series:
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Singapore : Springer Nature Singapore : Imprint: Palgrave Macmillan, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 306,487.

Place hold Save to lists
2179.
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
2180.
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
                                                                           
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