Refine your search

Your search returned 3990 results.

Sort
Results
2021.
Automated Deduction - CADE-24 [electronic resource] : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings / edited by Maria Paola Bonacina. by Series: Lecture Notes in Computer Science ; 7898
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).

2022.
Advances on Practical Applications of Agents and Multi-Agent Systems [electronic resource] : 11th International Conference, PAAMS 2013, Salamanca, Spain, May 22-24, 2013. Proceedings / edited by Yves Demazeau, Toru Ishida, Juan M. Corchado, Javier Bajo. by Series: Lecture Notes in Computer Science ; 7879
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).

2023.
Evolutionary Computation in Combinatorial Optimization [electronic resource] : 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013. Proceedings / edited by Martin Middendorf, Christian Blum. by Series: Lecture Notes in Computer Science ; 7832
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).

2024.
Information Hiding [electronic resource] : 14th International Conference, IH 2012, Berkeley, CA, USA, May 15-18, 2012, Revised Selected Papers / edited by Matthias Kirchner, Dipak Ghosal. by Series: Lecture Notes in Computer Science ; 7692
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).

2025.
2026.
Advances in Intelligent Data Analysis XIII [electronic resource] : 13th International Symposium, IDA 2014, Leuven, Belgium, October 30 - November 1, 2014. Proceedings / edited by Hendrik Blockeel, Matthijs van Leeuwen, Veronica Vinciotti. by Series: Lecture Notes in Computer Science ; 8819
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).

2027.
Advances in Neural Networks - ISNN 2014 [electronic resource] : 11th International Symposium on Neural Networks, ISNN 2014, Hong Kong and Macao, China, November 28- December 1, 2014. Proceedings / edited by Zhigang Zeng, Yangmin Li, Irwin King. by Series: Lecture Notes in Computer Science ; 8866
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).

2028.
Advances in Bioinformatics and Computational Biology [electronic resource] : 9th Brazilian Symposium on Bioinformatics, BSB 2014, Belo Horizonte, Brazil, October 28-30, 2014, Proceedings / edited by Sérgio Campos. by Series: Lecture Notes in Computer Science ; 8826
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).

2029.
2030.
2031.
Security Standardisation Research [electronic resource] : First International Conference, SSR 2014, London, UK, December 16-17, 2014. Proceedings / edited by Liqun Chen, Chris Mitchell. by Series: Lecture Notes in Computer Science ; 8893
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).

2032.
Web Technologies and Applications [electronic resource] : 14th Asia-Pacific Web Conference, APWeb 2012, Kunming, China, April 11-13, 2012. Proceedings / edited by Quan Z. Sheng, Guoren Wang, Christian S. Jensen, Guandong Xu. by Series: Lecture Notes in Computer Science ; 7235
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).

2033.
Topics in Cryptology - CT-RSA 2012 [electronic resource] : The Cryptographers' Track at the RSA Conference 2012, San Francisco, CA, USA, February 27 - March 2, 2012. Proceedings / edited by Orr Dunkelman. by Series: Lecture Notes in Computer Science ; 7178
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).

2034.
Software Language Engineering [electronic resource] : 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers / edited by Krzysztof Czarnecki, Görel Hedin. by Series: Lecture Notes in Computer Science ; 7745
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).

2035.
Neural Information Processing [electronic resource] : 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part V / edited by Tingwen Huang, Zhigang Zeng, Chuandong Li, Chi Sing Leung. by Series: Lecture Notes in Computer Science ; 7667
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).

2036.
Multiagent System Technologies [electronic resource] : 10th German Conference, MATES 2012, Trier, Germany, October 10-12, 2012. Proceedings / edited by Ingo J. Timm, Christian Guttmann. by Series: Lecture Notes in Computer Science ; 7598
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).

2037.
Controlled Natural Language [electronic resource] : Third International Workshop, CNL 2012, Zurich, Switzerland, August 29-31, 2012. Proceedings / edited by Tobias Kuhn, Norbert E. Fuchs. by Series: Lecture Notes in Computer Science ; 7427
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).

2038.
Coordination Models and Languages [electronic resource] : 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings / edited by Marjan Sirjani. by Series: Lecture Notes in Computer Science ; 7274
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).

2039.
2040.
Image and Video Technology [electronic resource] : 6th Pacific-Rim Symposium, PSIVT 2013, Guanajuato, Mexico, October 28-November 1, 2013. Proceedings / edited by Reinhard Klette, Mariano Rivera, Shin'ichi Satoh. by Series: Lecture Notes in Computer Science ; 8333
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).

                                                                           
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