Refine your search

Your search returned 4554 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
2521.
Quantitative Evaluation of Systems [electronic resource] : 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings / edited by Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D'Argenio. by Series: Lecture Notes in Computer Science ; 8054
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
2522.
2523.
Computer Aided Verification [electronic resource] : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings / edited by Natasha Sharygina, Helmut Veith. by Series: Lecture Notes in Computer Science ; 8044
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
2524.
Knowledge Science, Engineering and Management [electronic resource] : 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013. Proceedings / edited by Mingzheng Wang. by Series: Lecture Notes in Computer Science ; 8041
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
2525.
Engineering Psychology and Cognitive Ergonomics. Applications and Services [electronic resource] : 10th International Conference, EPCE 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II / edited by Don Harris. by Series: Lecture Notes in Computer Science ; 8020
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
2526.
Information Security and Privacy [electronic resource] : 18th Australasian Conference, ACISP 2013, Brisbane, Australia, July 1-3, 2013. Proceedings / edited by Colin Boyd, Leonie Simpson. by Series: Lecture Notes in Computer Science ; 7959
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
2527.
Web Services and Formal Methods [electronic resource] : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers / edited by Maurice H. ter Beek, Niels Lohmann. by Series: Lecture Notes in Computer Science ; 7843
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
2528.
Symbiotic Interaction [electronic resource] : Third International Workshop, Symbiotic 2014, Helsinki, Finland, October 30-31, 2014, Proceedings / edited by Giulio Jacucci, Luciano Gamberini, Jonathan Freeman, Anna Spagnolli. by Series: Lecture Notes in Computer Science ; 8820
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
2529.
Advances in Communication Networking [electronic resource] : 20th EUNICE/IFIP EG 6.2, 6.6 International Workshop, Rennes, France, September 1-5, 2014, Revised Selected Papers / edited by Yvon Kermarrec. by Series: Lecture Notes in Computer Science ; 8846
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
2530.
Models in Software Engineering [electronic resource] : Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers / edited by Jörg Kienzle. by Series: Lecture Notes in Computer Science ; 7167
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
2531.
Research in Computational Molecular Biology [electronic resource] : 16th Annual International Conference, RECOMB 2012, Barcelona, Spain, April 21-24, 2012. Proceedings / edited by Benny Chor. by Series: Lecture Notes in Computer Science ; 7262
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
2532.
Information Security Technology for Applications [electronic resource] : 16th Nordic Conference on Secure IT Systems, NordSec 2011, Tallinn, Estonia, October 26-28, 2011, Revised Selected Papers / edited by Peeter Laud. by Series: Lecture Notes in Computer Science ; 7161
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
2533.
Multi-Agent-Based Simulation XII [electronic resource] : International Workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers / edited by Daniel Villatoro, Jordi Sabater-Mir, Jaime Simão Sichman. by Series: Lecture Notes in Computer Science ; 7124
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
2534.
Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012. Proceedings / edited by Oliver C. S. Choy, Ray C. C. Cheung, Peter Athanas, Kentaro Sano. by Series: Lecture Notes in Computer Science ; 7199
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
2535.
Security Protocols XX [electronic resource] : 20th International Workshop, Cambridge, UK, April 12-13, 2012, Revised Selected Papers / edited by Bruce Christianson, James Malcolm, Frank Stajano, Jonathan Anderson. by Series: Lecture Notes in Computer Science ; 7622
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
2536.
Information Security and Cryptology [electronic resource] : 7th International Conference, Inscrypt 2011, Beijing, China, November 30 - December 3, 2011. Revised Selected Papers / edited by Chuan-Kun Wu, Moti Yung, Dongdai Lin. by Series: Lecture Notes in Computer Science ; 7537
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
2537.
2538.
Structural Information and Communication Complexity [electronic resource] : 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30-July 2, 2012, Revised Selected Papers / edited by Guy Even, Magnús M. Halldórsson. by Series: Lecture Notes in Computer Science ; 7355
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
2539.
The Internet and Democracy in Global Perspective [electronic resource] : Voters, Candidates, Parties, and Social Movements / edited by Bernard Grofman, Alexander H. Trechsel, Mark Franklin. by Series: Studies in Public Choice ; 31
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
2540.
Networking the International System [electronic resource] : Global Histories of International Organizations / edited by Madeleine Herren. by Series: Transcultural Research - Heidelberg Studies on Asia and Europe in a Global Context
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
                                                                           
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