FEEDBACK Smiley face

Your search returned 279 results. Subscribe to this search

|
161. 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

162. 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

163. 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

164. 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

165. 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

166. 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

167. 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

168. 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

169. 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

170. 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

171. 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

172. 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

173. 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

174. 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

175. 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

176. 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

177. Language and Automata Theory and Applications [electronic resource] :4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings /

by Dediu, Adrian-Horia [editor.] | Fernau, Henning [editor.] | Martín-Vide, Carlos [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. Fun with Algorithms [electronic resource] :5th International Conference, FUN 2010, Ischia, Italy, June 2-4, 2010. Proceedings /

by Boldi, Paolo [editor.] | Gargano, Luisa [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. Structural Information and Communication Complexity [electronic resource] :17th International Colloquium, SIROCCO 2010, Şirince, Turkey, June 7-11, 2010. Proceedings /

by Patt-Shamir, Boaz [editor.] | Ekim, Tınaz [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. Advances in Geometric Modeling and Processing [electronic resource] :6th International Conference, GMP 2010, Castro Urdiales, Spain, June 16-18, 2010. Proceedings /

by Mourrain, Bernard [editor.] | Schaefer, Scott [editor.] | Xu, Guoliang [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