FEEDBACK Smiley face

Your search returned 200 results. Subscribe to this search

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

162. Practical Aspects of Declarative Languages [electronic resource] :12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings /

by Carro, Manuel [editor.] | Peña, Ricardo [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

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

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

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

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

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

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

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

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

171. Theory and Applications of Models of Computation [electronic resource] :7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings /

by Kratochvíl, Jan [editor.] | Li, Angsheng [editor.] | Fiala, Jiří [editor.] | Kolman, Petr [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. Time for Verification [electronic resource] :Essays in Memory of Amir Pnueli /

by Manna, Zohar [editor.] | Peled, Doron 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 : Imprint: Springer, 2010.Online access: Click here to access online Availability: No items available

173. Logic, Language, Information and Computation [electronic resource] :17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings /

by Dawar, Anuj [editor.] | Queiroz, Ruy de [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. Programs, Proofs, Processes [electronic resource] :6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings /

by Ferreira, Fernando [editor.] | Löwe, Benedikt [editor.] | Mayordomo, Elvira [editor.] | Mendes Gomes, Luís [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. A 25-Year Perspective on Logic Programming [electronic resource] :Achievements of the Italian Association for Logic Programming, GULP /

by Dovier, Agostino [editor.] | Pontelli, Enrico [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. The Mathematics of Language [electronic resource] :10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers /

by Ebert, Christian [editor.] | Jäger, Gerhard [editor.] | Michaelis, Jens [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. Algorithmic Aspects in Information and Management [electronic resource] :6th International Conference, AAIM 2010, Weihai, China, July 19-21, 2010. Proceedings /

by Chen, Bo [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. Developments in Language Theory [electronic resource] :14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings /

by Gao, Yuan [editor.] | Lu, Hanlin [editor.] | Seki, Shinnosuke [editor.] | Yu, Sheng [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. Transactions on Rough Sets XII [electronic resource] /

by Peters, James F [editor.] | Skowron, Andrzej [editor.] | Słowiński, Roman [editor.] | Lingras, Pawan [editor.] | Miao, Duoqian [editor.] | Tsumoto, Shusaku [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. Wireless Algorithms, Systems, and Applications [electronic resource] :5th International Conference, WASA 2010, Beijing, China, August 15-17, 2010. Proceedings /

by Pandurangan, Gopal [editor.] | Anil Kumar, V. S [editor.] | Ming, Gu [editor.] | Liu, Yunhao [editor.] | Li, Yingshu [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