Refine your search

Your search returned 11603 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
2901.
2902.
2903.
Theory and Applications of Satisfiability Testing - SAT 2013 [electronic resource] : 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings / edited by Matti Järvisalo, Allen Van Gelder. by Series: Lecture Notes in Computer Science ; 7962
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
2904.
Advances in Neural Networks - ISNN 2013 [electronic resource] : 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part II / edited by Chengan Guo, Zeng-Guang Hou, Zhigang Zeng. by Series: Lecture Notes in Computer Science ; 7952
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
2905.
Perspectives on Social Sustainability and Interior Architecture [electronic resource] : Life from the Inside / edited by Dianne Smith, Marina Lommerse, Priya Metcalfe. by
Edition: 2nd ed. 2014.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Singapore : Springer Singapore, 2014
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
2906.
Perspectives on Social Ontology and Social Cognition [electronic resource] / edited by Mattia Gallotti, John Michael. by Series: Studies in the Philosophy of Sociality ; 4
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).

Place hold Request article Save to lists
2907.
2908.
The Outreach of Digital Libraries: A Globalized Resource Network [electronic resource] : 14th International Conference on Asia-Pacific Digital Libraries, ICADL 2012, Taipei, Taiwan, November 12-15, 2012, Proceedings / edited by Hsin-Hsi Chen, Gobinda Chowdhury. by Series: Lecture Notes in Computer Science ; 7634
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
2909.
2910.
Unconventional Computation and Natural Computation [electronic resource] : 11th International Conference, UCNC 2012, Orléan, France, September 3-7, 2012. Proceedings / edited by Jérôme Durand-Lose, Nataša Jonoska. by Series: Lecture Notes in Computer Science ; 7445
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
2911.
Secure Data Management [electronic resource] : 9th VLDB Workshop, SDM 2012, Istanbul, Turkey, August 27, 2012. Proceedings / edited by Willem Jonker, Milan Petković. by Series: Lecture Notes in Computer Science ; 7482
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
2912.
2913.
Inductive Logic Programming [electronic resource] : 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 - August 3, 2011, Revised Selected Papers / edited by Stephen H. Muggleton, Alireza Tamaddoni-Nezhad, Francesca A. Lisi. by Series: Lecture Notes in Computer Science ; 7207
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
2914.
2915.
2916.
2917.
Online Communities and Social Computing [electronic resource] : 5th International conference, OCSC 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013. Proceedings / edited by A. Ant Ozok, Panayiotis Zaphiris. by Series: Lecture Notes in Computer Science ; 8029
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
2918.
The Nature of Computation. Logic, Algorithms, Applications [electronic resource] : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings / edited by Paola Bonizzoni, Vasco Brattka, Benedikt Löwe. by Series: Lecture Notes in Computer Science ; 7921
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
2919.
Application and Theory of Petri Nets and Concurrency [electronic resource] : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings / edited by José-Manuel Colom, Jörg Desel. by Series: Lecture Notes in Computer Science ; 7927
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
2920.
Integer Programming and Combinatorial Optimization [electronic resource] : 16th International Conference, IPCO 2013, Valparaíso, Chile, March 18-20, 2013. Proceedings / edited by Michel Goemans, José Correa. by Series: Lecture Notes in Computer Science ; 7801
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
                                                                           
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