FEEDBACK Smiley face

Your search returned 383 results. Subscribe to this search

|
241. Formal Techniques for Networked and Distributed Systems - FORTE 2006 [electronic resource] :26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings /

by Najm, Elie [editor.] | Pradat-Peyre, Jean-François [editor.] | Donzeau-Gouge, Véronique Viguié [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

242. Computer and Information Sciences – ISCIS 2006 [electronic resource] :21th International Symposium, Istanbul, Turkey, November 1-3, 2006. Proceedings /

by Levi, Albert [editor.] | Savaş, Erkay [editor.] | Yenigün, Hüsnü [editor.] | Balcısoy, Selim [editor.] | Saygın, Yücel [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

243. Rigorous Development of Complex Fault-Tolerant Systems [electronic resource] /

by Butler, Michael [editor.] | Jones, Cliff B [editor.] | Romanovsky, Alexander [editor.] | Troubitsyna, Elena [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

244. Theoretical Aspects of Computing - ICTAC 2006 [electronic resource] :Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings /

by Barkaoui, Kamel [editor.] | Cavalcanti, Ana [editor.] | Cerone, Antonio [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

245. System Analysis and Modeling: Language Profiles [electronic resource] :5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers /

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

246. Service Availability [electronic resource] :Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006. Revised Selected Papers /

by Penkler, Dave [editor.] | Reitenspiess, Manfred [editor.] | Tam, Francis [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

247. Grid Computing [electronic resource] :Experiment Management, Tool Integration, and Scientific Workflows /

by Prodan, Radu [author.] | Fahringer, Thomas [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, 2007.Online access: Click here to access online Availability: No items available

248. SOFSEM 2007: Theory and Practice of Computer Science [electronic resource] :33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007. Proceedings /

by Leeuwen, Jan van [editor.] | Italiano, Giuseppe F [editor.] | Hoek, Wiebe van der [editor.] | Meinel, Christoph [editor.] | Sack, Harald [editor.] | Plášil, František [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

249. Interactive Systems. Design, Specification, and Verification [electronic resource] :13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers /

by Doherty, Gavin [editor.] | Blandford, Ann [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

250. Perspectives of Systems Informatics [electronic resource] :6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers /

by Virbitskaite, Irina [editor.] | Voronkov, Andrei [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

251. Formal Methods: Applications and Technology [electronic resource] :11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers /

by Brim, Luboš [editor.] | Haverkort, Boudewijn [editor.] | Leucker, Martin [editor.] | Pol, Jaco van 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, 2007.Online access: Click here to access online Availability: No items available

252. High Performance Computing for Computational Science - VECPAR 2006 [electronic resource] :7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers /

by Daydé, Michel [editor.] | Palma, José M. L. M [editor.] | Coutinho, Álvaro L. G. A [editor.] | Pacitti, Esther [editor.] | Lopes, João Correia [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

253. Foundations of Software Science and Computational Structures [electronic resource] :10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings /

by Seidl, Helmut [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

254. Hybrid Systems: Computation and Control [electronic resource] :10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings /

by Bemporad, Alberto [editor.] | Bicchi, Antonio [editor.] | Buttazzo, Giorgio [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

255. Euro-Par 2006: Parallel Processing [electronic resource] :Workshops: CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, Germany, August 29-September 1, 2006, Revised Selected Papers /

by Lehner, Wolfgang [editor.] | Meyer, Norbert [editor.] | Streit, Achim [editor.] | Stewart, Craig [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

256. Advances in Grid and Pervasive Computing [electronic resource] :Second International Conference, GPC 2007, Paris, France, May 2-4, 2007. Proceedings /

by Cérin, Christophe [editor.] | Li, Kuan-Ching [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

257. Formal Methods for Performance Evaluation [electronic resource] :7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures /

by Bernardo, Marco [editor.] | Hillston, Jane [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

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

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

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

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

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

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


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in