Refine your search

Your search returned 3990 results.

Sort
Results
121.
Formal Methods for Industrial Critical Systems [electronic resource] : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings / edited by Charles Pecheur, Michael Dierkes. by Series: Lecture Notes in Computer Science ; 8187
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).

122.
Computer Safety, Reliability, and Security [electronic resource] : 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings / edited by Friedemann Bitsch, Jérémie Guiochet, Mohamed Kaâniche. by Series: Lecture Notes in Computer Science ; 8153
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).

123.
Runtime Verification [electronic resource] : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings / edited by Axel Legay, Saddek Bensalem. by Series: Lecture Notes in Computer Science ; 8174
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).

124.
125.
Mobile Web Information Systems [electronic resource] : 10th International Conference, MobiWIS 2013, Paphos, Cyprus, August 26-29, 2013. Proceedings / edited by Florian Daniel, George A. Papadopoulos, Philippe Thiran. by Series: Lecture Notes in Computer Science ; 8093
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).

126.
The Personal Web [electronic resource] : A Research Agenda / edited by Mark Chignell, James R. Cordy, Ryan Kealey, Joanna Ng, Yelena Yesha. by Series: Lecture Notes in Computer Science ; 7855
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).

127.
Information Security and Cryptology [electronic resource] : 8th International Conference, Inscrypt 2012, Beijing, China, November 28-30, 2012, Revised Selected Papers / edited by Mirosław Kutyłowski, Moti Yung. by Series: Lecture Notes in Computer Science ; 7763
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).

128.
Databases in Networked Information Systems [electronic resource] : 8th International Workshop, DNIS 2013, Aizu-Wakamatsu, Japan, March 25-27, 2013. Proceedings / edited by Aastha Madaan, Shinji Kikuchi, Subhash Bhalla. by Series: Lecture Notes in Computer Science ; 7813
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).

129.
Formal Concept Analysis [electronic resource] : 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings / edited by Florent Domenach, Dmitry I. Ignatov, Jonas Poelmans. by Series: Lecture Notes in Computer Science ; 7278
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).

130.
Financial Cryptography and Data Security [electronic resource] : FC 2011 Workshops, RLCPS and WECSR 2011, Rodney Bay, St. Lucia, February 28 - March 4, 2011, Revised Selected Papers / edited by George Danezis, Sven Dietrich, Kazue Sako. by Series: Lecture Notes in Computer Science ; 7126
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).

131.
Passive and Active Measurement [electronic resource] : 13th International Conference, PAM 2012, Vienna, Austria, March 12-14th, 2012. Proceedings / edited by Nina Taft, Fabio Ricciato. by Series: Lecture Notes in Computer Science ; 7192
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).

132.
133.
Intelligent Robotics and Applications [electronic resource] : 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012, Proceedings, Part II / edited by Chun-Yi Su, Subhash Rakheja, Honghai Liu. by Series: Lecture Notes in Computer Science ; 7507
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).

134.
Similarity Search and Applications [electronic resource] : 5th International Conference, SISAP 2012, Toronto, ON, Canada, August 9-10, 2012. Proceedings / edited by Gonzalo Navarro, Vladimir Pestov. by Series: Lecture Notes in Computer Science ; 7404
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).

135.
Pervasive Computing [electronic resource] : 10th International Conference, Pervasive 2012, Newcastle, UK, June 18-22, 2012. Proceedings / edited by Judy Kay, Paul Lukowicz, Hideyuki Tokuda, Patrick Olivier, Antonio Krüger. by Series: Lecture Notes in Computer Science ; 7319
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).

136.
Multiagent System Technologies [electronic resource] : 11th German Conference, MATES 2013, Koblenz, Germany, September 16-20, 2013. Proceedings / edited by Matthias Klusch, Matthias Thimm, Marcin Paprzycki. by Series: Lecture Notes in Computer Science ; 8076
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).

137.
New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers / edited by Yoichi Motomura, Alastair Butler, Daisuke Bekki. by Series: Lecture Notes in Computer Science ; 7856
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).

138.
Computational Intelligence Methods for Bioinformatics and Biostatistics [electronic resource] : 9th International Meeting, CIBB 2012, Houston, TX, USA, July 12-14, 2012 Revised Selected Papers / edited by Leif E. Peterson, Francesco Masulli, Giuseppe Russo. by Series: Lecture Notes in Computer Science ; 7845
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).

139.
140.
                                                                           
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