Refine your search

Your search returned 3990 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
3441.
Artificial Intelligence in Education [electronic resource] : 17th International Conference, AIED 2015, Madrid, Spain, June 22-26, 2015. Proceedings / edited by Cristina Conati, Neil Heffernan, Antonija Mitrovic, M. Felisa Verdejo. by Series: Lecture Notes in Computer Science ; 9112
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
3442.
Accountability and Security in the Cloud [electronic resource] : First Summer School, Cloud Accountability Project, A4Cloud, Malaga, Spain, June 2-6, 2014, Revised Selected Papers and Lectures / edited by Massimo Felici, Carmen Fernández-Gago. by Series: Lecture Notes in Computer Science ; 8937
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
3443.
Performance Characterization and Benchmarking. Traditional to Big Data [electronic resource] : 6th TPC Technology Conference, TPCTC 2014, Hangzhou, China, September 1--5, 2014. Revised Selected Papers / edited by Raghunath Nambiar, Meikel Poess. by Series: Lecture Notes in Computer Science ; 8904
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
3444.
Algorithmic Game Theory [electronic resource] : 7th International Symposium, SAGT 2014, Haifa, Israel, September 30 - October 2, 2014. Proceedings / edited by Ron Lavi. by Series: Lecture Notes in Computer Science ; 8768
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
3445.
3446.
Research in Attacks, Intrusions and Defenses [electronic resource] : 17th International Symposium, RAID 2014, Gothenburg, Sweden, September 17-19, 2014. Proceedings / edited by Angelos Stavrou, Herbert Bos, Georgios Portokalidis. by Series: Lecture Notes in Computer Science ; 8688
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
3447.
Combinatorial Pattern Matching [electronic resource] : 25th Annual Symposium, CPM 2014, Moscow, Russia, June 16-18, 2014. Proceedings / edited by Alexander S. Kulikov, Sergei O. Kuznetsov, Pavel Pevzner. by Series: Lecture Notes in Computer Science ; 8486
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
3448.
Neural Information Processing [electronic resource] : 22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings, Part I / edited by Sabri Arik, Tingwen Huang, Weng Kin Lai, Qingshan Liu. by Series: Lecture Notes in Computer Science ; 9489
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).

Place hold Request article Save to lists
3449.
Automated Technology for Verification and Analysis [electronic resource] : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings / edited by Bernd Finkbeiner, Geguang Pu, Lijun Zhang. by Series: Lecture Notes in Computer Science ; 9364
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).

Place hold Request article Save to lists
3450.
Quantitative Evaluation of Systems [electronic resource] : 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings / edited by Javier Campos, Boudewijn R. Haverkort. by Series: Lecture Notes in Computer Science ; 9259
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).

Place hold Request article Save to lists
3451.
Transactions on Aspect-Oriented Software Development XI [electronic resource] / edited by Shigeru Chiba, Éric Tanter, Eric Bodden, Shahar Maoz, Jörg Kienzle. by Series: Lecture Notes in Computer Science ; 8400
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
3452.
Software Engineering for Resilient Systems [electronic resource] : 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings / edited by István Majzik, Marco Vieira. by Series: Lecture Notes in Computer Science ; 8785
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
3453.
Integrated Formal Methods [electronic resource] : 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings / edited by Elvira Albert, Emil Sekerinski. by Series: Lecture Notes in Computer Science ; 8739
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
3454.
Models@run.time [electronic resource] : Foundations, Applications, and Roadmaps / edited by Nelly Bencomo, Robert France, Betty H. C. Cheng, Uwe Aßmann. by Series: Lecture Notes in Computer Science ; 8378
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
3455.
Engineering Psychology and Cognitive Ergonomics [electronic resource] : 11th International Conference, EPCE 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014. Proceedings / edited by Don Harris. by Series: Lecture Notes in Computer Science ; 8532
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
3456.
3457.
Fields of Logic and Computation II [electronic resource] : Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday / edited by Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte. by Series: Lecture Notes in Computer Science ; 9300
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).

Place hold Request article Save to lists
3458.
Search-Based Software Engineering [electronic resource] : 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings / edited by Márcio Barros, Yvan Labiche. by Series: Lecture Notes in Computer Science ; 9275
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).

Place hold Request article Save to lists
3459.
Data and Applications Security and Privacy XXIX [electronic resource] : 29th Annual IFIP WG 11.3 Working Conference, DBSec 2015, Fairfax, VA, USA, July 13-15, 2015, Proceedings / edited by Pierangela Samarati. by Series: Lecture Notes in Computer Science ; 9149
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
3460.
Databases Theory and Applications [electronic resource] : 26th Australasian Database Conference, ADC 2015, Melbourne, VIC, Australia, June 4-7, 2015. Proceedings / edited by Mohamed A. Sharaf, Muhammad Aamir Cheema, Jianzhong Qi. by Series: Lecture Notes in Computer Science ; 9093
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
                                                                           
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