Refine your search

Your search returned 3990 results.

Sort
Results
401.
Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers / edited by Bernhard Beckert, Ferruccio Damiani, Dilian Gurov. by Series: Lecture Notes in Computer Science ; 7421
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).

402.
Intelligent Tutoring Systems [electronic resource] : 11th International Conference, ITS 2012, Chania, Crete, Greece, June 14-18, 2012. Proceedings / edited by Stefano A. Cerri, William J. Clancey, Giorgos Papadourakis, Kitty Panourgia. by Series: Lecture Notes in Computer Science ; 7315
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).

403.
404.
Web Technologies and Applications [electronic resource] : 15th Asia-Pacific Web Conference, APWeb 2013, Sydney, Australia, April 4-6, 2013. Proceedings / edited by Yoshiharu Ishikawa, Jianzhong Li, Wei Wang, Rui Zhang, Wenjie Zhang. by Series: Lecture Notes in Computer Science ; 7808
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).

405.
Evolutionary and Biologically Inspired Music, Sound, Art and Design [electronic resource] : Second International Conference, EvoMUSART 2013, Vienna, Austria, April 3-5, 2013. Proceedings / edited by Penousal Machado, James McDermott, Adrian Carballal. by Series: Lecture Notes in Computer Science ; 7834
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).

406.
407.
Data Analytics for Renewable Energy Integration [electronic resource] : Second ECML PKDD Workshop, DARE 2014, Nancy, France, September 19, 2014, Revised Selected Papers / edited by Wei Lee Woon, Zeyar Aung, Stuart Madnick. by Series: Lecture Notes in Computer Science ; 8817
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).

408.
Privacy Technologies and Policy [electronic resource] : First Annual Privacy Forum, APF 2012, Limassol, Cyprus, October 10-11, 2012, Revised Selected Papers / edited by Bart Preneel, Demosthenes Ikonomou. by Series: Lecture Notes in Computer Science ; 8319
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).

409.
410.
LATIN 2012: Theoretical Informatics [electronic resource] : 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012. Proceedings / edited by David Fernández-Baca. by Series: Lecture Notes in Computer Science ; 7256
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).

411.
Transactions on Large-Scale Data- and Knowledge-Centered Systems V [electronic resource] / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner. by Series: Lecture Notes in Computer Science ; 7100
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).

412.
Algebraic and Numeric Biology [electronic resource] : 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers / edited by Katsuhisa Horimoto, Masahiko Nakatsui, Nikolaj Popov. by Series: Lecture Notes in Computer Science ; 6479
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).

413.
414.
415.
Languages Alive [electronic resource] : Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday / edited by Henning Bordihn, Martin Kutrib, Bianca Truthe. by Series: Lecture Notes in Computer Science ; 7300
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).

416.
How the World Computes [electronic resource] : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings / edited by S. Barry Cooper, Anuj Dawar, Benedikt Löwe. by Series: Lecture Notes in Computer Science ; 7318
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).

417.
Experimental Algorithms [electronic resource] : 11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012. Proceedings / edited by Ralf Klasing. by Series: Lecture Notes in Computer Science ; 7276
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).

418.
Business Process Models. Change Management [electronic resource] / by Christian Gerth. by Series: Lecture Notes in Computer Science ; 7849
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).

419.
Computational Linguistics and Intelligent Text Processing [electronic resource] : 14th International Conference, CICLing 2013, Samos, Greece, March 24-30, 2013, Proceedings, Part II / edited by Alexander Gelbukh. by Series: Lecture Notes in Computer Science ; 7817
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).

420.
Social Computing, Behavioral-Cultural Modeling and Prediction [electronic resource] : 6th International Conference, SBP 2013, Washington, DC, USA, April 2-5, 2013. Proceedings / edited by Ariel M. Greenberg, William G. Kennedy, Nathan D. Bos. by Series: Lecture Notes in Computer Science ; 7812
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).

                                                                           
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