Refine your search

Your search returned 11603 results.

Sort
Results
2961.
Descriptional Complexity of Formal Systems [electronic resource] : 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings / edited by Helmut Jurgensen, Rogério Reis. by Series: Lecture Notes in Computer Science ; 8031
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).

2962.
Structured Object-Oriented Formal Language and Method [electronic resource] : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers / edited by Shaoying Liu. by Series: Lecture Notes in Computer Science ; 7787
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).

2963.
Implementation and Application of Automata [electronic resource] : 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings / edited by Stavros Konstantinidis. by Series: Lecture Notes in Computer Science ; 7982
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).

2964.
Data and Applications Security and Privacy XXVII [electronic resource] : 27th Annual IFIP WG 11.3 Conference, DBSec 2013, Newark, NJ, USA, July 15-17, 2013. Proceedings / edited by Lingyu Wang, Basit Shafiq. by Series: Lecture Notes in Computer Science ; 7964
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).

2965.
Safe and Secure Software Reuse [electronic resource] : 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings / edited by John Favaro, Maurizio Morisio. by Series: Lecture Notes in Computer Science ; 7925
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).

2966.
2967.
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky [electronic resource] : Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday / edited by Bob Coecke, Luke Ong, Prakash Panangaden. by Series: Lecture Notes in Computer Science ; 7860
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).

2968.
2969.
2970.
The Language of Mathematics [electronic resource] : A Linguistic and Philosophical Investigation / by Mohan Ganesalingam. by Series: Lecture Notes in Computer Science ; 7805
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).

2971.
Technologies and Applications of Artificial Intelligence [electronic resource] : 19th International Conference, TAAI 2014, Taipei, Taiwan, November 21-23, 2014. Proceedings / edited by Shin-Ming Cheng, Min-Yuh Day. by Series: Lecture Notes in Computer Science ; 8916
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).

2972.
2973.
Augmented and Virtual Reality [electronic resource] : First International Conference, AVR 2014, Lecce, Italy, September 17-20, 2014, Revised Selected Papers / edited by Lucio Tommaso De Paolis, Antonio Mongelli. by Series: Lecture Notes in Computer Science ; 8853
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).

2974.
Big Data Analytics [electronic resource] : Third International Conference, BDA 2014, New Delhi, India, December 20-23, 2014. Proceedings / edited by Srinath Srinivasa, Sameep Mehta. by Series: Lecture Notes in Computer Science ; 8883
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).

2975.
2976.
Partially Supervised Learning [electronic resource] : First IAPR TC3 Workshop, PSL 2011, Ulm, Germany, September 15-16, 2011, Revised Selected Papers / edited by Friedhelm Schwenker, Edmondo Trentin. by Series: Lecture Notes in Computer Science ; 7081
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).

2977.
2978.
Trends and Factors in Japan's Long-Term Care Insurance System [electronic resource] : Japan's 10-year Experience / by Pedro Olivares-Tirado, Nanako Tamiya. by Series: SpringerBriefs in Aging
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Dordrecht : Springer Netherlands, 2014
Online resources:
Availability: Items available for loan: National Library of India (1).

2979.
Certified Programs and Proofs [electronic resource] : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings / edited by Georges Gonthier, Michael Norrish. by Series: Lecture Notes in Computer Science ; 8307
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).

2980.
Programming Languages and Systems [electronic resource] : 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings / edited by Chung-chieh Shan. by Series: Lecture Notes in Computer Science ; 8301
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).

                                                                           
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