FEEDBACK Smiley face

Your search returned 383 results. Subscribe to this search

|
261. Computational Science – ICCS 2007 [electronic resource] :7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part IV /

by Shi, Yong [editor.] | Albada, Geert Dick van [editor.] | Dongarra, Jack [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, 2007.Online access: Click here to access online Availability: No items available

262. The Disappearing Computer [electronic resource] :Interaction Design, System Infrastructures and Applications for Smart Environments /

by Streitz, Norbert [editor.] | Kameas, Achilles [editor.] | Mavrommati, Irene [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, 2007.Online access: Click here to access online Availability: No items available

263. Service Availability [electronic resource] :4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007. Proceedings /

by Malek, Miroslaw [editor.] | Reitenspieß, Manfred [editor.] | Moorsel, Aad van [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, 2007.Online access: Click here to access online Availability: No items available

264. Integer Programming and Combinatorial Optimization [electronic resource] :12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007. Proceedings /

by Fischetti, Matteo [editor.] | Williamson, David 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, 2007.Online access: Click here to access online Availability: No items available

265. Petri Nets and Other Models of Concurrency – ICATPN 2007 [electronic resource] :28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings /

by Kleijn, Jetty [editor.] | Yakovlev, Alex [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, 2007.Online access: Click here to access online Availability: No items available

266. Integrated Formal Methods [electronic resource] :6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings /

by Davies, Jim [editor.] | Gibbons, Jeremy [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, 2007.Online access: Click here to access online Availability: No items available

267. Computer Aided Verification [electronic resource] :19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings /

by Damm, Werner [editor.] | Hermanns, Holger [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, 2007.Online access: Click here to access online Availability: No items available

268. Automata, Languages and Programming [electronic resource] :34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings /

by Arge, Lars [editor.] | Cachin, Christian [editor.] | Jurdziński, Tomasz [editor.] | Tarlecki, Andrzej [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, 2007.Online access: Click here to access online Availability: No items available

269. Autonomic and Trusted Computing [electronic resource] :4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007. Proceedings /

by Xiao, Bin [editor.] | Yang, Laurence T [editor.] | Ma, Jianhua [editor.] | Muller-Schloer, Christian [editor.] | Hua, Yu [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, 2007.Online access: Click here to access online Availability: No items available

270. Algebra and Coalgebra in Computer Science [electronic resource] :Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings /

by Mossakowski, Till [editor.] | Montanari, Ugo [editor.] | Haveraaen, Magne [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, 2007.Online access: Click here to access online Availability: No items available

271. Euro-Par 2007 Parallel Processing [electronic resource] :13th International Euro-Par Conference, Rennes ,France , August 28-31, 2007. Proceedings /

by Kermarrec, Anne-Marie [editor.] | Bougé, Luc [editor.] | Priol, Thierry [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, 2007.Online access: Click here to access online Availability: No items available

272. Computational Science and Its Applications – ICCSA 2007 [electronic resource] :International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part I /

by Gervasi, Osvaldo [editor.] | Gavrilova, Marina L [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, 2007.Online access: Click here to access online Availability: No items available

273. Computational Science and Its Applications – ICCSA 2007 [electronic resource] :International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II /

by Gervasi, Osvaldo [editor.] | Gavrilova, Marina L [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, 2007.Online access: Click here to access online Availability: No items available

274. Computational Science and Its Applications – ICCSA 2007 [electronic resource] :International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings. Part III /

by Gervasi, Osvaldo [editor.] | Gavrilova, Marina L [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, 2007.Online access: Click here to access online Availability: No items available

275. Theorem Proving in Higher Order Logics [electronic resource] :20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings /

by Schneider, Klaus [editor.] | Brandt, 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, 2007.Online access: Click here to access online Availability: No items available

276. Frontiers of Combining Systems [electronic resource] :6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings /

by Konev, Boris [editor.] | Wolter, Frank [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, 2007.Online access: Click here to access online Availability: No items available

277. SDL 2007: Design for Dependable Systems [electronic resource] :13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings /

by Gaudin, Emmanuel [editor.] | Najm, Elie [editor.] | Reed, Rick [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, 2007.Online access: Click here to access online Availability: No items available

278. Model Driven Engineering Languages and Systems [electronic resource] :10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedings /

by Engels, Gregor [editor.] | Opdyke, Bill [editor.] | Schmidt, Douglas C [editor.] | Weil, Frank [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, 2007.Online access: Click here to access online Availability: No items available

279. Formal Methods and Stochastic Models for Performance Evaluation [electronic resource] :Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings /

by Wolter, Katinka [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, 2007.Online access: Click here to access online Availability: No items available

280. Theoretical Aspects of Computing – ICTAC 2007 [electronic resource] :4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings /

by Jones, Cliff B [editor.] | Liu, Zhiming [editor.] | Woodcock, Jim [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, 2007.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