Refine your search

Your search returned 3990 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
641.
NASA Formal Methods [electronic resource] : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings / edited by Klaus Havelund, Gerard Holzmann, Rajeev Joshi. by Series: Lecture Notes in Computer Science ; 9058
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2015
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
642.
Wireless Sensor Networks [electronic resource] : 12th European Conference, EWSN 2015, Porto, Portugal, February 9-11, 2015. Proceedings / edited by Tarek Abdelzaher, Nuno Pereira, Eduardo Tovar. by Series: Lecture Notes in Computer Science ; 8965
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2015
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
643.
Transactions on Computational Collective Intelligence XVI [electronic resource] / edited by Ryszard Kowalczyk, Ngoc Thanh Nguyen. by Series: Lecture Notes in Computer Science ; 8780
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
644.
Multiagent System Technologies [electronic resource] : 12th German Conference, MATES 2014, Stuttgart, Germany, September 23-25, 2014. Proceedings / edited by Jörg P. Müller, Michael Weyrich, Ana L. C. Bazzan. by Series: Lecture Notes in Computer Science ; 8732
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
645.
646.
647.
648.
Human Interface and the Management of Information. Information and Knowledge Design and Evaluation [electronic resource] : 16th International Conference, HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014. Proceedings, Part I / edited by Sakae Yamamoto. by Series: Lecture Notes in Computer Science ; 8521
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
649.
Databases in Networked Information Systems [electronic resource] : 9th International Workshop, DNIS 2014, Aizu-Wakamatsu, Japan, March 24-26, 2014. Proceedings / edited by Aastha Madaan, Shinji Kikuchi, Subhash Bhalla. by Series: Lecture Notes in Computer Science ; 8381
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
650.
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings / edited by Ken McMillan, Aart Middeldorp, Andrei Voronkov. by Series: Lecture Notes in Computer Science ; 8312
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
651.
High-performance computing and networking : international conference and exhibition Munich, Germany, April 18-20, 1994, proceedings/ eds. Wolfgang Gentzsch, Uwe Harms by Series: Lecture notes in Computer Science ; no. 79
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: Berlin : Springer-Verlag, c1994
Availability: Items available for loan: National Library of India (1)Call number: E 004.3 H 537 g.

Place hold Request article Save to lists
652.
Distributed Applications and Interoperable Systems [electronic resource] : 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings / edited by Karl Michael Göschka, Seif Haridi. by Series: Lecture Notes in Computer Science ; 7272
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
653.
Reasoning Web. Semantic Technologies for the Web of Data [electronic resource] : 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011, Tutorial Lectures / edited by Axel Polleres...[et al.] by Series: Lecture Notes in Computer Science ; 6848
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
654.
Modeling and Using Context [electronic resource] : 7th International and Interdisciplinary Conference, CONTEXT 2011, Karlsruhe, Germany, September 26-30, 2011. Proceedings / edited by Michael Beigl...[et al.] by Series: Lecture Notes in Computer Science ; 6967
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
655.
Cryptology and Network Security [electronic resource] : 10th International Conference, CANS 2011, Sanya, China, December 10-12, 2011. Proceedings / edited by Dongdai Lin, Gene Tsudik, Xiaoyun Wang. by Series: Lecture Notes in Computer Science ; 7092
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Other title:
  • CANS 2011
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
656.
Vagueness in Communication [electronic resource] : International Workshop, ViC 2009, held as part of ESSLLI 2009, Bordeaux, France, July 20-24, 2009. Revised Selected Papers / edited by Rick Nouwen...[et.al] by Series: Lecture Notes in Computer Science ; 6517
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
657.
658.
659.
660.
Frontiers of Combining Systems [electronic resource] : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings / edited by Cesare Tinelli, Viorica Sofronie-Stokkermans. by Series: Lecture Notes in Computer Science ; 6989
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
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