FEEDBACK Smiley face

Your search returned 383 results. Subscribe to this search

|
221. Computational Science and Its Applications - ICCSA 2006 [electronic resource] :International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part V /

by Gavrilova, Marina L [editor.] | Gervasi, Osvaldo [editor.] | Kumar, Vipin [editor.] | Tan, C. J. Kenneth [editor.] | Taniar, David [editor.] | Laganá, Antonio [editor.] | Mun, Youngsong [editor.] | Choo, Hyunseung [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, 2006.Online access: Click here to access online Availability: No items available

222. Interactive Systems. Design, Specification, and Verification [electronic resource] :12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers /

by Gilroy, Stephen W [editor.] | Harrison, Michael 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, 2006.Online access: Click here to access online Availability: No items available

223. Formal Methods for Hardware Verification [electronic resource] :6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures /

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

224. Computational Science – ICCS 2006 [electronic resource] :6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part I /

by Alexandrov, Vassil N [editor.] | Albada, Geert Dick van [editor.] | Sloot, Peter M. A [editor.] | Dongarra, Jack [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, 2006.Online access: Click here to access online Availability: No items available

225. Computational Science – ICCS 2006 [electronic resource] :6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part II /

by Alexandrov, Vassil N [editor.] | Albada, Geert Dick van [editor.] | Sloot, Peter M. A [editor.] | Dongarra, Jack [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, 2006.Online access: Click here to access online Availability: No items available

226. Computational Science – ICCS 2006 [electronic resource] :6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part III /

by Alexandrov, Vassil N [editor.] | Albada, Geert Dick van [editor.] | Sloot, Peter M. A [editor.] | Dongarra, Jack [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, 2006.Online access: Click here to access online Availability: No items available

227. Computational Science – ICCS 2006 [electronic resource] :6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part IV /

by Alexandrov, Vassil N [editor.] | Albada, Geert Dick van [editor.] | Sloot, Peter M. A [editor.] | Dongarra, Jack [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, 2006.Online access: Click here to access online Availability: No items available

228. Petri Nets and Other Models of Concurrency - ICATPN 2006 [electronic resource] :27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings /

by Donatelli, Susanna [editor.] | Thiagarajan, P. 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, 2006.Online access: Click here to access online Availability: No items available

229. Formal Methods and Stochastic Models for Performance Evaluation [electronic resource] :Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedings /

by Horváth, András [editor.] | Telek, Mikló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, 2006.Online access: Click here to access online Availability: No items available

230. Automata, Languages and Programming [electronic resource] :33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I /

by Bugliesi, Michele [editor.] | Preneel, Bart [editor.] | Sassone, Vladimiro [editor.] | Wegener, Ingo [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, 2006.Online access: Click here to access online Availability: No items available

231. Automata, Languages and Programming [electronic resource] :33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II /

by Bugliesi, Michele [editor.] | Preneel, Bart [editor.] | Sassone, Vladimiro [editor.] | Wegener, Ingo [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, 2006.Online access: Click here to access online Availability: No items available

232. Formal Methods for Components and Objects [electronic resource] :4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures /

by Boer, Frank S. de [editor.] | Bonsangue, Marcello M [editor.] | Graf, Susanne [editor.] | Roever, Willem-Paul 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, 2006.Online access: Click here to access online Availability: No items available

233. Computer Aided Verification [electronic resource] :18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings /

by Ball, Thomas [editor.] | Jones, Robert B [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, 2006.Online access: Click here to access online Availability: No items available

234. Euro-Par 2006 Parallel Processing [electronic resource] :12th International Euro-Par Conference, Dresden, Germany, August 28 – September 1, 2006. Proceedings /

by Nagel, Wolfgang E [editor.] | Walter, Wolfgang V [editor.] | Lehner, 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, 2006.Online access: Click here to access online Availability: No items available

235. Autonomic and Trusted Computing [electronic resource] :Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006. Proceedings /

by Yang, Laurence T [editor.] | Jin, Hai [editor.] | Ma, Jianhua [editor.] | Ungerer, Theo [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, 2006.Online access: Click here to access online Availability: No items available

236. Web Services and Formal Methods [electronic resource] :Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings /

by Bravetti, Mario [editor.] | Núñez, Manuel [editor.] | Zavattaro, Gianluigi [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, 2006.Online access: Click here to access online Availability: No items available

237. High Performance Computing and Communications [electronic resource] :Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006. Proceedings /

by Gerndt, Michael [editor.] | Kranzlmüller, Dieter [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, 2006.Online access: Click here to access online Availability: No items available

238. Modular Programming Languages [electronic resource] :7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings /

by Lightfoot, David E [editor.] | Szyperski, Clemens [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, 2006.Online access: Click here to access online Availability: No items available

239. Cooperative Design, Visualization, and Engineering [electronic resource] :Third International Conference, CDVE 2006, Mallorca, Spain, September 17-20, 2006. Proceedings /

by Luo, Yuhua [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, 2006.Online access: Click here to access online Availability: No items available

240. Variations on Constants [electronic resource] :Flow Analysis of Sequential and Parallel Programs /

by Müller-Olm, Markus [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.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