Refine your search

Your search returned 3990 results.

Sort
Results
601.
602.
Social Robotics [electronic resource] : 7th International Conference, ICSR 2015, Paris, France, October 26-30, 2015, Proceedings / edited by Adriana Tapus, Elisabeth André, Jean-Claude Martin, François Ferland, Mehdi Ammi. by Series: Lecture Notes in Computer Science ; 9388
Edition: 1st ed. 2015.
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).

603.
Automated Deduction - CADE-25 [electronic resource] : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings / edited by Amy P. Felty, Aart Middeldorp. by Series: Lecture Notes in Computer Science ; 9195
Edition: 1st ed. 2015.
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).

604.
Advances in Artificial Intelligence [electronic resource] : 28th Canadian Conference on Artificial Intelligence, Canadian AI 2015, Halifax, Nova Scotia, Canada, June 2-5, 2015, Proceedings / edited by Denilson Barbosa, Evangelos Milios. by Series: Lecture Notes in Computer Science ; 9091
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).

605.
606.
Post-Quantum Cryptography [electronic resource] : 6th International Workshop, PQCrypto 2014, Waterloo, ON, Canada, October 1-3, 2014. Proceedings / edited by Michele Mosca. by Series: Lecture Notes in Computer Science ; 8772
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).

607.
Artificial Neural Networks in Pattern Recognition [electronic resource] : 6th IAPR TC 3 International Workshop, ANNPR 2014, Montreal, QC, Canada, October 6-8, 2014. Proceedings / edited by Neamat El Gayar, Friedhelm Schwenker, Cheng Suen. by Series: Lecture Notes in Computer Science ; 8774
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).

608.
Computer Vision - ECCV 2014 [electronic resource] : 13th European Conference, Zurich, Switzerland, September 6-12, 2014, Proceedings, Part II / edited by David Fleet, Tomas Pajdla, Bernt Schiele, Tinne Tuytelaars. by Series: Lecture Notes in Computer Science ; 8690
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).

609.
Computer Vision - ECCV 2014 [electronic resource] : 13th European Conference, Zurich, Switzerland, September 6-12, 2014, Proceedings, Part I / edited by David Fleet, Tomas Pajdla, Bernt Schiele, Tinne Tuytelaars. by Series: Lecture Notes in Computer Science ; 8689
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).

610.
Theory and Applications of Satisfiability Testing - SAT 2014 [electronic resource] : 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings / edited by Carsten Sinz, Uwe Egly. by Series: Lecture Notes in Computer Science ; 8561
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).

611.
Image and Signal Processing [electronic resource] : 6th International Conference, ICISP 2014, Cherbourg, France, June 30 - July 2, 2014. Proceedings / edited by Abderrahim Elmoataz, Olivier Lezoray, Fathallah Nouboud, Driss Mammass. by Series: Lecture Notes in Computer Science ; 8509
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).

612.
613.
Formal Methods and Software Engineering [electronic resource] : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings / edited by Michael Butler, Sylvain Conchon, Fatiha Zaïdi. by Series: Lecture Notes in Computer Science ; 9407
Edition: 1st ed. 2015.
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).

614.
Human Behavior Understanding [electronic resource] : 6th International Workshop, HBU 2015, Osaka, Japan, September 8, 2015, Proceedings / edited by Albert Ali Salah, Ben J.A. Kröse, Diane J. Cook. by Series: Lecture Notes in Computer Science ; 9277
Edition: 1st ed. 2015.
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).

615.
616.
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [electronic resource] : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen. by Series: Lecture Notes in Computer Science ; 8802
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).

617.
Simulation of Urban Mobility [electronic resource] : First International Conference, SUMO 2013, Berlin, Germany, May 15-17, 2013. Revised Selected Papers / edited by Michael Behrisch, Daniel Krajzewicz, Melanie Weber. by Series: Lecture Notes in Computer Science ; 8594
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).

618.
Transactions on Computational Collective Intelligence XVII [electronic resource] / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk, Ana Fred, Filipe Joaquim. by Series: Lecture Notes in Computer Science ; 8790
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).

619.
Transactions on Computational Science XXIII [electronic resource] : Special Issue on Cyberworlds / edited by Marina L. Gavrilova, C. J. Kenneth Tan, Xiaoyang Mao, Lichan Hong. by Series: Lecture Notes in Computer Science ; 8490
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).

620.
Job Scheduling Strategies for Parallel Processing [electronic resource] : 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers / edited by Narayan Desai, Walfredo Cirne. by Series: Lecture Notes in Computer Science ; 8429
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).

                                                                           
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