FEEDBACK Smiley face

Your search returned 198 results. Subscribe to this search

|
61. Persuasive Technology [electronic resource] :First International Conference on Persuasive Technology for Human Well-Being, PERSUASIVE 2006, Eindhoven, The Netherlands, May 18-19, 2006. Proceedings /

by IJsselsteijn, Wijnand A [editor.] | Kort, Yvonne A. W. de [editor.] | Midden, Cees [editor.] | Eggen, Berry [editor.] | Hoven, Elise van den [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

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

63. Reliable Software Technologies – Ada-Europe 2006 [electronic resource] :11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006. Proceedings /

by Pinho, Luís Miguel [editor.] | González Harbour, Michael [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

64. Principles of Distributed Systems [electronic resource] :9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Papers /

by Anderson, James H [editor.] | Prencipe, Giuseppe [editor.] | Wattenhofer, Roger [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

65. Embedded and Ubiquitous Computing [electronic resource] :International Conference, EUC 2006, Seoul, Korea, August 1-4, 2006. Proceedings /

by Sha, Edwin [editor.] | Han, Sung-Kook [editor.] | Xu, Cheng-Zhong [editor.] | Kim, Moon-Hae [editor.] | Yang, Laurence T [editor.] | Xiao, Bin [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

66. Data and Applications Security XX [electronic resource] :20th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Sophia Antipolis, France, July 31-August 2, 2006. Proceedings /

by Damiani, Ernesto [editor.] | Liu, Peng [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

67. Emerging Directions in Embedded and Ubiquitous Computing [electronic resource] :EUC 2006 Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006. Proceedings /

by Zhou, Xiaobo [editor.] | Sokolsky, Oleg [editor.] | Yan, Lu [editor.] | Jung, Eun-Sun [editor.] | Shao, Zili [editor.] | Mu, Yi [editor.] | Lee, Dong Chun [editor.] | Kim, Dae Young [editor.] | Jeong, Young-Sik [editor.] | Xu, Cheng-Zhong [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

68. Information Security [electronic resource] :9th International Conference, ISC 2006, Samos Island, Greece, August 30 - September 2, 2006. Proceedings /

by Katsikas, Sokratis K [editor.] | López, Javier [editor.] | Backes, Michael [editor.] | Gritzalis, Stefanos [editor.] | Preneel, Bart [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

69. Ubiquitous Computing Systems [electronic resource] :Third International Symposium, UCS 2006, Seoul, Korea, October 11-13, 2006. Proceedings /

by Youn, Hee Yong [editor.] | Kim, Minkoo [editor.] | Morikawa, Hiroyuki [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

70. Cryptographic Hardware and Embedded Systems - CHES 2006 [electronic resource] :8th International Workshop, Yokohama, Japan, October 10-13, 2006. Proceedings /

by Goubin, Louis [editor.] | Matsui, Mitsuru [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

71. Automated Technology for Verification and Analysis [electronic resource] :4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings /

by Graf, Susanne [editor.] | Zhang, Wenhui [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

72. Technologies for Advanced Heterogeneous Networks II [electronic resource] :Second Asian Internet Engineering Conference, AINTEC 2006, Pathumthani, Thailand, November 28-30, 2006. Proceedings /

by Cho, Kenjiro [editor.] | Jacquet, Philippe [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

73. Stabilization, Safety, and Security of Distributed Systems [electronic resource] :8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006. Proceedings /

by Datta, Ajoy K [editor.] | Gradinariu, Maria [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

74. Principles of Distributed Systems [electronic resource] :10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006. Proceedings /

by Shvartsman, Mariam Momenzadeh Alexander 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, 2006.Online access: Click here to access online Availability: No items available

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

76. Wireless Sensor Networks [electronic resource] :4th European Conference, EWSN 2007, Delft, The Netherlands, January 29-31, 2007. Proceedings /

by Langendoen, Koen [editor.] | Voigt, Thiemo [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

77. Information Security Applications [electronic resource] :7th International Workshop, WISA 2006, Jeju Island, Korea, August 28-30, 2006, Revised Selected Papers /

by Lee, Jae Kwang [editor.] | Yi, Okyeon [editor.] | Yung, Moti [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

78. Ubiquitous Convergence Technology [electronic resource] :First International Conference, ICUCT 2006, Jeju Island, Korea, December 5-6, 2006, Revised Selected Papers /

by Stajano, Frank [editor.] | Kim, Hyoung Joong [editor.] | Chae, Jong-Suk [editor.] | Kim, Seong-Dong [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

79. Pervasive Computing [electronic resource] :5th International Conference, PERVASIVE 2007, Toronto, Canada, May 13-16, 2007. Proceedings /

by LaMarca, Anthony [editor.] | Langheinrich, Marc [editor.] | Truong, Khai 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, 2007.Online access: Click here to access online Availability: No items available

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


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