FEEDBACK Smiley face

Your search returned 283 results. Subscribe to this search

|
161. Algorithms in Bioinformatics [electronic resource] :9th International Workshop, WABI 2009, Philadelphia, PA, USA, September 12-13, 2009. Proceedings /

by Salzberg, Steven L [editor.] | Warnow, Tandy [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.Online access: Click here to access online Availability: No items available

162. Distributed Computing [electronic resource] :23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings /

by Keidar, Idit [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.Online access: Click here to access online Availability: No items available

163. Reachability Problems [electronic resource] :3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings /

by Bournez, Olivier [editor.] | Potapov, Igor [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.Online access: Click here to access online Availability: No items available

164. Advanced Functional Programming [electronic resource] :6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures /

by Koopman, Pieter [editor.] | Plasmeijer, Rinus [editor.] | Swierstra, Doaitse [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.Online access: Click here to access online Availability: No items available

165. Automated Technology for Verification and Analysis [electronic resource] :7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings /

by Liu, Zhiming [editor.] | Ravn, Anders P [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.Online access: Click here to access online Availability: No items available

166. Combinatorial Image Analysis [electronic resource] :13th International Workshop, IWCIA 2009, Playa del Carmen, Mexico, November 24-27, 2009. Proceedings /

by Wiederhold, Petra [editor.] | Barneva, Reneta P [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.Online access: Click here to access online Availability: No items available

167. Theory of Quantum Computation, Communication, and Cryptography [electronic resource] :4th Workshop,TQC 2009, Waterloo, Canada, May 11-13, 2009, Revised Selected Papers /

by Childs, Andrew [editor.] | Mosca, Michele [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.Online access: Click here to access online Availability: No items available

168. Rigorous Methods for Software Construction and Analysis [electronic resource] :Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday /

by Abrial, Jean-Raymond [editor.] | Glässer, Uwe [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.Online access: Click here to access online Availability: No items available

169. Verification, Model Checking, and Abstract Interpretation [electronic resource] :11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings /

by Barthe, Gilles [editor.] | Hermenegildo, Manuel [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.Online access: Click here to access online Availability: No items available

170. Wireless Sensor Networks [electronic resource] :7th European Conference, EWSN 2010, Coimbra, Portugal, February 17-19, 2010. Proceedings /

by Silva, Jorge Sá [editor.] | Krishnamachari, Bhaskar [editor.] | Boavida, Fernando [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.Online access: Click here to access online Availability: No items available

171. Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] :6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010. Proceedings /

by Sirisuk, Phaophak [editor.] | Morgan, Fearghal [editor.] | El-Ghazawi, Tarek [editor.] | Amano, Hideharu [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.Online access: Click here to access online Availability: No items available

172. Genetic Programming [electronic resource] :13th European Conference, EuroGP 2010, Istanbul, Turkey, April 7-9, 2010. Proceedings /

by Esparcia-Alcázar, Anna Isabel [editor.] | Ekárt, Anikó [editor.] | Silva, Sara [editor.] | Dignum, Stephen [editor.] | Uyar, A. Şima [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.Online access: Click here to access online Availability: No items available

173. LATIN 2010: Theoretical Informatics [electronic resource] :9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010. Proceedings /

by López-Ortiz, Alejandro [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.Online access: Click here to access online Availability: No items available

174. Search Computing [electronic resource] :Challenges and Directions /

by Ceri, Stefano [editor.] | Brambilla, Marco [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.Online access: Click here to access online Availability: No items available

175. Approximation and Online Algorithms [electronic resource] :7th International Workshop,WAOA 2009, Copenhagen Denmark, September 10-11, 2009. Revised Papers /

by Bampis, Evripidis [editor.] | Jansen, Klaus [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.Online access: Click here to access online Availability: No items available

176. Large-Scale Scientific Computing [electronic resource] :7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009. Revised Papers /

by Lirkov, Ivan [editor.] | Margenov, Svetozar [editor.] | Waśniewski, Jerzy [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.Online access: Click here to access online Availability: No items available

177. Ethics and Policy of Biometrics [electronic resource] :Third International Conference on Ethics and Policy of Biometrics and International Data Sharing, ICEB 2010, Hong Kong, January 4-5, 2010. Revised Papers /

by Kumar, Ajay [editor.] | Zhang, David [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.Online access: Click here to access online Availability: No items available

178. Advances in Computer Games [electronic resource] :12th International Conference, ACG 2009, Pamplona Spain, May 11-13, 2009. Revised Papers /

by Herik, H. Jaap van den [editor.] | Spronck, Pieter [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.Online access: Click here to access online Availability: No items available

179. Advances in Grid and Pervasive Computing [electronic resource] :5th International Conference, GPC 2010, Hualien, Taiwan, May 10-13, 2010. Proceedings /

by Bellavista, Paolo [editor.] | Chang, Ruay-Shiung [editor.] | Chao, Han-Chieh [editor.] | Lin, Shin-Feng [editor.] | Sloot, Peter M. A [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.Online access: Click here to access online Availability: No items available

180. Algorithms and Complexity [electronic resource] :7th International Conference, CIAC 2010, Rome, Italy, May 26-28, 2010. Proceedings /

by Calamoneri, Tiziana [editor.] | Diaz, Josep [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.Online access: Click here to access online Availability: No items available


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in