Refine your search

Your search returned 3990 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
1281.
KI 2012: Advances in Artificial Intelligence [electronic resource] : 35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012. Proceedings / edited by Birte Glimm, Antonio Krüger. by Series: Lecture Notes in Computer Science ; 7526
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
1282.
Bisociative Knowledge Discovery [electronic resource] : An Introduction to Concept, Algorithms, Tools, and Applications / edited by Michael R. Berthold. by Series: Lecture Notes in Computer Science ; 7250
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
1283.
Combinatorial Optimization and Applications [electronic resource] : 6th International Conference, COCOA 2012, Banff, AB, Canada, August 5-9, 2012. Proceedings / edited by Guohui Lin. by Series: Lecture Notes in Computer Science ; 7402
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
1284.
1285.
1286.
Transactions on Aspect-Oriented Software Development X [electronic resource] / edited by Gary T. Leavens, Shigeru Chiba, Éric Tanter. by Series: Lecture Notes in Computer Science ; 7800
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
1287.
Aliasing in Object-Oriented Programming. Types, Analysis and Verification [electronic resource] / edited by Dave Clarke, James Noble, Tobias Wrigstad. by Series: Lecture Notes in Computer Science ; 7850
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
1288.
1289.
Architecture of Computing Systems - ARCS 2013 [electronic resource] : 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings / edited by Hana Kubátová, Christian Hochberger, Martin Daněk, Bernhard Sick. by Series: Lecture Notes in Computer Science ; 7767
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
1290.
Hardware and Software: Verification and Testing [electronic resource] : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings / edited by Eran Yahav. by Series: Lecture Notes in Computer Science ; 8855
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
1291.
Discrete and Computational Geometry and Graphs [electronic resource] : 16th Japanese Conference, JCDCGG 2013, Tokyo, Japan, September 17-19, 2013, Revised Selected Papers / edited by Jin Akiyama, Hiro Ito, Toshinori Sakai. by Series: Lecture Notes in Computer Science ; 8845
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
1292.
Wired/Wireless Internet Communications [electronic resource] : 12th International Conference, WWIC 2014, Paris, France, May 26-28, 2014. Proceedings / edited by Abdelhamid Mellouk, Scott Fowler, Saïd Hoceini, Boubaker Daachi. by Series: Lecture Notes in Computer Science ; 8458
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
1293.
Radio Frequency Identification: Security and Privacy Issues [electronic resource] : 10th International Workshop, RFIDSec 2014, Oxford, UK, July 21-23, 2014, Revised Selected Papers / edited by Nitesh Saxena, Ahmad-Reza Sadeghi. by Series: Lecture Notes in Computer Science ; 8651
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
1294.
Emotion Modeling [electronic resource] : Towards Pragmatic Computational Models of Affective Processes / edited by Tibor Bosse, Joost Broekens, João Dias, Janneke van der Zwaan. by Series: Lecture Notes in Computer Science ; 8750
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
1295.
Swarm Intelligence Based Optimization [electronic resource] : First International Conference, ICSIBO 2014, Mulhouse, France, May 13-14, 2014. Revised Selected Papers / edited by Patrick Siarry, Lhassane Idoumghar, Julien Lepagnot. by Series: Lecture Notes in Computer Science ; 8472
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
1296.
Rewriting Logic and Its Applications [electronic resource] : 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers / edited by Santiago Escobar. by Series: Lecture Notes in Computer Science ; 8663
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
1297.
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings / edited by Kenneth L. McMillan, Xavier Rival. by Series: Lecture Notes in Computer Science ; 8318
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
1298.
Public Key Infrastructures, Services and Applications [electronic resource] : 10th European Workshop, EuroPKI 2013, Egham, UK, September 12-13, 2013, Revised Selected Papers / edited by Sokratis Katsikas, Isaac Agudo. by Series: Lecture Notes in Computer Science ; 8341
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
1299.
1300.
Applied Parallel and Scientific Computing [electronic resource] : 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part II / edited by Kristján Jónasson. by Series: Lecture Notes in Computer Science ; 7134
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