FEEDBACK Smiley face

Your search returned 288 results. Subscribe to this search

|
61. ECOOP 2004 – Object-Oriented Programming [electronic resource] :18th European Conference, Oslo, Norway, June 14-18, 2004. Proceedings /

by Odersky, Martin [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

62. Objects, Agents, and Features [electronic resource] :International Seminar, Dagstuhl Castle, Germany, February 16-21, 2003, Revised and Invited Papers /

by Ryan, Mark D [editor.] | Meyer, John-Jules Ch [editor.] | Ehrich, Hans-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, 2004.Online access: Click here to access online Availability: No items available

63. Declarative Agent Languages and Technologies [electronic resource] :First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers /

by Leite, João [editor.] | Omicini, Andrea [editor.] | Sterling, Leon [editor.] | Torroni, Paolo [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

64. Programming Multi-Agent Systems [electronic resource] :First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited papers /

by Dastani, Mehdi M [editor.] | Dix, Jürgen [editor.] | El Fallah-Seghrouchni, Amal [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

65. CONCUR 2004 - Concurrency Theory [electronic resource] :15th International Conference, London, UK, August 31 - September 3, 2004. Proceedings /

by Gardner, Philippa [editor.] | Yoshida, Nobuko [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, 2004.Online access: Click here to access online Availability: No items available

66. Formal Methods for the Design of Real-Time Systems [electronic resource] :International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures /

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

67. Software and Compilers for Embedded Systems [electronic resource] :8th International Workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004. Proceedings /

by Schepers, Henk [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

68. Middleware 2004 [electronic resource] :ACM/IFIP/USENIX International Middleware Conference, Toronto, Canada, October 18-22, 2004. Proceedings /

by Jacobsen, Hans-Arno [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, 2004.Online access: Click here to access online Availability: No items available

69. Software Security - Theories and Systems [electronic resource] :Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003. Revised Papers /

by Futatsugi, Kokichi [editor.] | Mizoguchi, Fumio [editor.] | Yonezaki, Naoki [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

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

71. Trustworthy Global Computing [electronic resource] :International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers /

by Nicola, Rocco De [editor.] | Sangiorgi, Davide [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

72. Formal Methods for Open Object-Based Distributed Systems [electronic resource] :7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings /

by Steffen, Martin [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 : Imprint: Springer, 2005.Online access: Click here to access online Availability: No items available

73. Distributed Applications and Interoperable Systems [electronic resource] :5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005. Proceedings /

by Kutvonen, Lea [editor.] | Alonistioti, Nancy [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

74. Languages and Compilers for Parallel Computing [electronic resource] :15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002. Revised Papers /

by Pugh, Bill [editor.] | Tseng, Chau-Wen [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

75. Reliable Software Technology – Ada-Europe 2005 [electronic resource] :10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005. Proceedings /

by Vardanega, Tullio [editor.] | Wellings, Andy [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

76. ECOOP 2005 - Object-Oriented Programming [electronic resource] :19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings /

by Black, Andrew 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

77. Languages and Compilers for High Performance Computing [electronic resource] :17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers /

by Eigenmann, Rudolf [editor.] | Li, Zhiyuan [editor.] | Midkiff, Samuel 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

78. Declarative Agent Languages and Technologies II [electronic resource] :Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers /

by Leite, João [editor.] | Omicini, Andrea [editor.] | Torroni, Paolo [editor.] | Yolum, pInar [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

79. Automated Technology for Verification and Analysis [electronic resource] :Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings /

by Peled, Doron A [editor.] | Tsay, Yih-Kuen [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

80. Embedded Systems Design [electronic resource] :The ARTIST Roadmap for Research and Development /

by Bouyssounouse, Bruno [author.] | Sifakis, Joseph [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, 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