FEEDBACK Smiley face

Your search returned 383 results. Subscribe to this search

|
181. SOFSEM 2005: Theory and Practice of Computer Science [electronic resource] :31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Proceedings /

by Vojtáš, Peter [editor.] | Bieliková, Mária [editor.] | Charron-Bost, Bernadette [editor.] | Sýkora, Ondrej [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

182. Applications and Theory of Petri Nets 2005 [electronic resource] :26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings /

by Ciardo, Gianfranco [editor.] | Darondeau, 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, 2005.Online access: Click here to access online Availability: No items available

183. Architecting Dependable Systems III [electronic resource] /

by Lemos, Rogério de [editor.] | Gacek, Cristina [editor.] | Romanovsky, Alexander [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

184. Advanced Distributed Systems [electronic resource] :5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers /

by Ramos, Félix F [editor.] | Larios Rosillo, Victor [editor.] | Unger, Herwig [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

185. Automata, Languages and Programming [electronic resource] :32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings /

by Caires, Luís [editor.] | Italiano, Giuseppe F [editor.] | Monteiro, Luís [editor.] | Palamidessi, Catuscia [editor.] | Yung, Moti [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

186. Frontiers of Combining Systems [electronic resource] :5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005. Proceedings /

by Gramlich, Bernhard [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

187. Theorem Proving in Higher Order Logics [electronic resource] :18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings /

by Hurd, Joe [editor.] | Melham, Tom [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

188. Shared Memory Parallel Programming with Open MP [electronic resource] :5th International Workshop on Open MP Applications and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004, Revised Selected Papers /

by Chapman, Barbara M [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

189. High Performance Computing for Computational Science - VECPAR 2004 [electronic resource] :6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers /

by Daydé, Michel [editor.] | Dongarra, Jack [editor.] | Hernández, Vicente [editor.] | Palma, José M. L. M [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

190. Theoretical Aspects of Computing - ICTAC 2004 [electronic resource] :First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers /

by Liu, Zhiming [editor.] | Araki, Keijiro [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

191. Algebra and Coalgebra in Computer Science [electronic resource] :First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings /

by Fiadeiro, José Luiz [editor.] | Harman, Neil [editor.] | Roggenbach, Markus [editor.] | Rutten, Jan [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

192. Euro-Par 2005 Parallel Processing [electronic resource] :11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005. Proceedings /

by Cunha, José C [editor.] | Medeiros, Pedro 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, 2005.Online access: Click here to access online Availability: No items available

193. Hybrid Systems: Computation and Control [electronic resource] :8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings /

by Morari, Manfred [editor.] | Thiele, Lothar [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

194. ZB 2005: Formal Specification and Development in Z and B [electronic resource] :4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings /

by Treharne, Helen [editor.] | King, Steve [editor.] | Henson, Martin [editor.] | Schneider, Steve [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

195. Correct Hardware Design and Verification Methods [electronic resource] :13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings /

by Borrione, Dominique [editor.] | Paul, Wolfgang [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

196. Computational Science and Its Applications – ICCSA 2005 [electronic resource] :International Conference, Singapore, May 9-12, 2005, Proceedings, Part I /

by Gervasi, Osvaldo [editor.] | Gavrilova, Marina L [editor.] | Kumar, Vipin [editor.] | Laganà, Antonio [editor.] | Lee, Heow Pueh [editor.] | Mun, Youngsong [editor.] | Taniar, David [editor.] | Tan, Chih Jeng Kenneth [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

197. Computational Science and Its Applications – ICCSA 2005 [electronic resource] :International Conference, Singapore, May 9-12, 2005, Proceedings, Part II /

by Gervasi, Osvaldo [editor.] | Gavrilova, Marina L [editor.] | Kumar, Vipin [editor.] | Laganà, Antonio [editor.] | Lee, Heow Pueh [editor.] | Mun, Youngsong [editor.] | Taniar, David [editor.] | Tan, Chih Jeng Kenneth [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

198. Computational Science and Its Applications – ICCSA 2005 [electronic resource] :International Conference, Singapore, May 9-12, 2005, Proceedings, Part III /

by Gervasi, Osvaldo [editor.] | Gavrilova, Marina L [editor.] | Kumar, Vipin [editor.] | Laganà, Antonio [editor.] | Lee, Heow Pueh [editor.] | Mun, Youngsong [editor.] | Taniar, David [editor.] | Tan, Chih Jeng Kenneth [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

199. Computer and Information Sciences - ISCIS 2005 [electronic resource] :20th International Symposium, Istanbul, Turkey, October 26-28, 2005. Proceedings /

by Yolum, pInar [editor.] | Güngör, Tunga [editor.] | Gürgen, Fikret [editor.] | Özturan, Can [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

200. Advances in Informatics [electronic resource] :10th Panhellenic Conference on Informatics, PCI 2005, Volas, Greece, November 11-13, 2005. Proceedings /

by Bozanis, Panayiotis [editor.] | Houstis, Elias N [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