FEEDBACK Smiley face

Your search returned 2811 results. Subscribe to this search

|
741. Security in Pervasive Computing [electronic resource] :First International Conference, Boppard, Germany, March 12-14, 2003. Revised Papers /

by Hutter, Dieter [editor.] | Müller, Günter [editor.] | Stephan, Werner [editor.] | Ullmann, Markus [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

742. From Object-Orientation to Formal Methods [electronic resource] :Essays in Memory of Ole-Johan Dahl /

by Owe, Olaf [editor.] | Krogdahl, Stein [editor.] | Lyche, 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, 2004.Online access: Click here to access online Availability: No items available

743. Formal Modeling and Analysis of Timed Systems [electronic resource] :First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers /

by Larsen, Kim Guldstrand [editor.] | Niebert, Peter [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

744. CASL User Manual [electronic resource] :Introduction to Using the Common Algebraic Specification Language /

by Bidoit, Michel [editor.] | Mosses, Peter 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

745. Computational Methods in Systems Biology [electronic resource] :International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers /

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

746. Multiagent System Technologies [electronic resource] :Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005. Proceedings /

by Eymann, Torsten [editor.] | Klügl, Franziska [editor.] | Lamersdorf, Winfried [editor.] | Klusch, Matthias [editor.] | Huhns, Michael 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

747. Software Composition [electronic resource] :4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005. Revised Selected Papers /

by Gschwind, Thomas [editor.] | Aßmann, Uwe [editor.] | Nierstrasz, Oscar [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, 2005.Online access: Click here to access online Availability: No items available

748. Peer-to-Peer Systems III [electronic resource] :Third International Workshop, IPTPS 2004, La Jolla, CA, USA, February 26-27, 2004, Revised Selected Papers /

by Voelker, Geoffrey M [editor.] | Shenker, Scott [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

749. Ubiquitous Mobile Information and Collaboration Systems [electronic resource] :Second CAiSE Workshop, UMICS 2004, Riga, Latvia, June 7-8, 2004, Revised Selected Papers /

by Baresi, Luciano [editor.] | Dustdar, Schahram [editor.] | Gall, Harald C [editor.] | Matera, Maristella [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, 2005.Online access: Click here to access online Availability: No items available

750. Service Availability [electronic resource] :First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004, Revised Selected Papers /

by Malek, Miroslaw [editor.] | Reitenspieß, Manfred [editor.] | Kaiser, Jörg [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

751. High Performance Computing - HiPC 2004 [electronic resource] :11th International Conference, Bangalore, India, December 19-22, 2004. Proceedings /

by Bougé, Luc [editor.] | Prasanna, Viktor 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, 2005.Online access: Click here to access online Availability: No items available

752. 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

753. 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

754. 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

755. 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

756. 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

757. Object-Oriented Technology. ECOOP 2004 Workshop Reader [electronic resource] :ECOOP 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports /

by Malenfant, Jacques [editor.] | Østvold, Bjarte 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

758. Distributed Computing and Internet Technology [electronic resource] :First International Conference, ICDCIT 2004, Bhubaneswar, India, December 22-24, 2004. Proceedings /

by Ghosh, R. K [editor.] | Mohanty, Hrushikesha [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

759. Practical Aspects of Declarative Languages [electronic resource] :7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings /

by Hermenegildo, Manuel V [editor.] | Cabeza, Daniel [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

760. Intelligent Information Technology [electronic resource] :7th International Conference on Information Technology, CIT 2004, Hyderabad, India, December 20-23, 2004. Proceedings /

by Das, Gautam [editor.] | Gulati, Ved Prakash [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