Refine your search

Your search returned 11603 results.

Sort
Results
201.
202.
203.
In Search of Elegance in the Theory and Practice of Computation [electronic resource] : Essays Dedicated to Peter Buneman / edited by Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan, Wang-Chiew Tan, Michael Fourman. by Series: Lecture Notes in Computer Science ; 8000
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).

204.
Formal Methods and Software Engineering [electronic resource] : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings / edited by Lindsay Groves, Jing Sun. by Series: Lecture Notes in Computer Science ; 8144
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).

205.
206.
Discovery Science [electronic resource] : 16th International Conference, DS 2013, Singapore, October 6-9, 2013. Proceedings / edited by Johannes Fürnkranz, Eyke Hüllermeier, Tomoyuki Higuchi. by Series: Lecture Notes in Computer Science ; 8140
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).

207.
208.
Functional Imaging and Modeling of the Heart [electronic resource] : 7th International Conference, FIMH 2013, London, UK, June 20-22, 2013. Proceedings / edited by Sébastien Ourselin, Daniel Rueckert, Nicolas Smith. by Series: Lecture Notes in Computer Science ; 7945
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).

209.
210.
Poincaré, Philosopher of Science [electronic resource] : Problems and Perspectives / edited by María de Paz, Robert DiSalle. by Series: The Western Ontario Series in Philosophy of Science, A Series of Books in Philosophy of Science, Methodology, Epistemology, Logic, History of Science, and Related Fields ; 79
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Dordrecht : Springer Netherlands, 2014
Online resources:
Availability: Items available for loan: National Library of India (1).

211.
Poincaré, Philosopher of Science [electronic resource] : Problems and Perspectives / edited by María de Paz, Robert DiSalle. by Series: The Western Ontario Series in Philosophy of Science, A Series of Books in Philosophy of Science, Methodology, Epistemology, Logic, History of Science, and Related Fields ; 79
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Dordrecht : Springer Netherlands, 2014
Online resources:
Availability: Items available for loan: National Library of India (1).

212.
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings / edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni. by Series: Lecture Notes in Computer Science ; 7737
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).

213.
Human Behavior Understanding [electronic resource] : 4th International Workshop, HBU 2013, Barcelona, Spain, October 22, 2013. Proceedings / edited by Albert Ali Salah, Hayley Hung, Oya Aran, Hatice Gunes. by Series: Lecture Notes in Computer Science ; 8212
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2013
Online resources:
Availability: Items available for loan: National Library of India (1).

214.
215.
216.
217.
Static Analysis [electronic resource] : 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings / edited by Antoine Miné, David Schmidt. by Series: Lecture Notes in Computer Science ; 7460
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).

218.
Information Technology in Bio- and Medical Informatics [electronic resource] : Third International Conference, ITBAM 2012, Vienna, Austria, September 4-5, 2012. Proceedings / edited by Christian Böhm, Sami Khuri, Lenka Lhotská, M. Elena Renda. by Series: Lecture Notes in Computer Science ; 7451
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).

219.
Haptics: Perception, Devices, Mobility, and Communication [electronic resource] : International Conference, EuroHaptics 2012, Tampere, Finland, June 13-15, 2012 Proceedings, Part II / edited by Poika Isokoski, Jukka Springare. by Series: Lecture Notes in Computer Science ; 7283
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).

220.
Preventing Terrorism and Controlling Risk [electronic resource] : A Comparative Analysis of Control Orders in the UK and Australia / by Susan Donkin. by Series: SpringerBriefs in Criminology ; 1
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: New York, NY : Springer New York, 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