FEEDBACK Smiley face

Your search returned 410 results. Subscribe to this search

|
161. Automata, Languages and Programming [electronic resource] :31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings /

by Díaz, Josep [editor.] | Karhumäki, Juhani [editor.] | Lepistö, Arto [editor.] | Sannella, Donald [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, 2004.Online access: Click here to access online Availability: No items available

162. Principles of Distributed Systems [electronic resource] :7th International Conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003, Revised Selected Papers /

by Papatriantafilou, Marina [editor.] | Hunel, Philippe [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, 2004.Online access: Click here to access online Availability: No items available

163. Euro-Par 2004 Parallel Processing [electronic resource] :10th International Euro-Par Conference, Pisa, Italy, August 31- September 3, 2004. Proceedings /

by Danelutto, Marco [editor.] | Vanneschi, Marco [editor.] | Laforenza, Domenico [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, 2004.Online access: Click here to access online Availability: No items available

164. Grid Computing [electronic resource] :Second European AcrossGrids Conference, AxGrids 2004, Nicosia, Cyprus, January 28-30, 2004. Revised Papers /

by Dikaiakos, Marios D [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, 2004.Online access: Click here to access online Availability: No items available

165. Formal Methods for the Design of Real-Time Systems [electronic resource] :International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures /

by Bernardo, Marco [editor.] | Corradini, Flavio [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, 2004.Online access: Click here to access online Availability: No items available

166. Network and Parallel Computing [electronic resource] :IFIP International Conference, NPC 2004, Wuhan, China, October 18-20, 2004. Proceedings /

by Jin, Hai [editor.] | Gao, Guang R [editor.] | Xu, Zhiwei [editor.] | Chen, Hao [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, 2004.Online access: Click here to access online Availability: No items available

167. Theorem Proving in Higher Order Logics [electronic resource] :17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings /

by Slind, Konrad [editor.] | Bunker, Annette [editor.] | Gopalakrishnan, Ganesh [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, 2004.Online access: Click here to access online Availability: No items available

168. Semantics of a Networked World. Semantics for Grid Databases [electronic resource] :First International IFIP Conference, ICSNW 2004, Paris, France, June 17-19, 2004, Revised Selected Papers /

by Bouzeghoub, Mokrane [editor.] | Goble, Carole [editor.] | Kashyap, Vipul [editor.] | Spaccapietra, Stefano [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, 2004.Online access: Click here to access online Availability: No items available

169. Applied Computing [electronic resource] :Second Asian Applied Computing Conference, AACC 2004, Kathmandu, Nepal, October 29-31, 2004. Proceedings /

by Manandhar, Suresh [editor.] | Austin, Jim [editor.] | Desai, Uday [editor.] | Oyanagi, Yoshio [editor.] | Talukder, Asoke K [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, 2004.Online access: Click here to access online Availability: No items available

170. Computer and Information Sciences - ISCIS 2004 [electronic resource] :19th International Symposium, Kemer-Antalya, Turkey, October 27-29, 2004. Proceedings /

by Aykanat, Cevdet [editor.] | Dayar, Tuǧrul [editor.] | Körpeoğlu, İbrahim [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, 2004.Online access: Click here to access online Availability: No items available

171. Utility Computing [electronic resource] :15th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2004, Davis, CA, USA, November 15-17, 2004. Proceedings /

by Sahai, Akhil [editor.] | Wu, Felix [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, 2004.Online access: Click here to access online Availability: No items available

172. Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems [electronic resource] :Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004. Proceedings /

by Lakhnech, Yassine [editor.] | Yovine, Sergio [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, 2004.Online access: Click here to access online Availability: No items available

173. Grid and Cooperative Computing - GCC 2004 [electronic resource] :Third International Conference, Wuhan, China, October 21-24, 2004. Proceedings /

by Jin, Hai [editor.] | Pan, Yi [editor.] | Xiao, Nong [editor.] | Sun, Jianhua [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, 2004.Online access: Click here to access online Availability: No items available

174. Algorithms and Models for the Web-Graph [electronic resource] :Third International Workshop, WAW 2004, Rome, Italy, October 16, 2004, Proceeedings /

by Leonardi, Stefano [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, 2004.Online access: Click here to access online Availability: No items available

175. Teaching Formal Methods [electronic resource] :CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings /

by Dean, C. Neville [editor.] | Boute, Raymond T [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, 2004.Online access: Click here to access online Availability: No items available

176. Computational and Information Science [electronic resource] :First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004. Proceedings /

by Zhang, Jun [editor.] | He, Ji-Huan [editor.] | Fu, Yuxi [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, 2005.Online access: Click here to access online Availability: No items available

177. Parallel and Distributed Computing: Applications and Technologies [electronic resource] :5th International Conference, PDCAT 2004, Singapore, December 8-10, 2004. Proceedings /

by Liew, Kim-Meow [editor.] | Shen, Hong [editor.] | See, Simon [editor.] | Cai, Wentong [editor.] | Fan, Pingzhi [editor.] | Horiguchi, Susumu [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, 2005.Online access: Click here to access online Availability: No items available

178. Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making [electronic resource] :9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Birthday. Chiang Mai, Thailand, December 8-10, 2004. Proceedings /

by Maher, Michael J [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, 2005.Online access: Click here to access online Availability: No items available

179. Distributed Computing - IWDC 2004 [electronic resource] :6th International Workshop, Kolkata, India, December 27-30, 2004. Proceedings /

by Sen, Arunabha [editor.] | Das, Nabanita [editor.] | Das, Sajal K [editor.] | Sinha, Bhabani 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, 2005.Online access: Click here to access online Availability: No items available

180. FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science [electronic resource] :24th International Conference, Chennai, India, December 16-18, 2004. Proceedings /

by Lodaya, Kamal [editor.] | Mahajan, Meena [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, 2005.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