|
|
|
High Performance Computing for Computational Science — VECPAR 2002 [electronic resource] : 5th International Conference Porto, Portugal, June 26–28, 2002 Selected Papers and Invited Talks / edited by José M. L. M. Palma, A. Augusto Sousa, Jack Dongarra, Vicente Hernández. by Palma, José M. L. M [editor.] | Sousa, A. Augusto [editor.] | Dongarra, Jack [editor.] | Hernández, Vicente [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2565Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 9th International Conference, TACAS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings / edited by Hubert Garavel, John Hatcliff. by Garavel, Hubert [editor.] | Hatcliff, John [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2619Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Computer Vision Systems [electronic resource] : Third International Conference, ICVS 2003, Graz, Austria, April 1–3, 2003. Proceedings / edited by James L. Crowley, Justus H. Piater, Markus Vincze, Lucas Paletta. by Crowley, James L [editor.] | Piater, Justus H [editor.] | Vincze, Markus [editor.] | Paletta, Lucas [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2626Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Embedded and Ubiquitous Computing [electronic resource] : International Conference, EUC 2006, Seoul, Korea, August 1-4, 2006. Proceedings / edited by Edwin Sha, Sung-Kook Han, Cheng-Zhong Xu, Moon-Hae Kim, Laurence T. Yang, Bin Xiao. 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). Series: Lecture Notes in Computer Science ; 4096Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Formal Methods for Components and Objects [electronic resource] : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever. by Boer, Frank S [editor.] | Bonsangue, Marcello M [editor.] | Graf, Susanne [editor.] | Roever, Willem-Paul [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4111Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
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 / edited by Xiaobo Zhou, Oleg Sokolsky, Lu Yan, Eun-Sun Jung, Zili Shao, Yi Mu, Dong Chun Lee, Dae Young Kim, Young-Sik Jeong, Cheng-Zhong Xu. 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). Series: Lecture Notes in Computer Science ; 4097Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Agent Computing and Multi-Agent Systems [electronic resource] : 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006. Proceedings / edited by Zhong-Zhi Shi, Ramakoti Sadananda. by Shi, Zhong-Zhi [editor.] | Sadananda, Ramakoti [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4088Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Information Processing in Sensor Networks [electronic resource] : Second International Workshop, IPSN 2003, Palo Alto, CA, USA, April 22–23, 2003 Proceedings / edited by Feng Zhao, Leonidas Guibas. by Zhao, Feng [editor.] | Guibas, Leonidas [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2634Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Advanced Data Mining and Applications [electronic resource] : Second International Conference, ADMA 2006, Xi’an, China, August 14-16, 2006 Proceedings / edited by Xue Li, Osmar R. Zaïane, Zhanhuai Li. by Li, Xue [editor.] | Zaïane, Osmar R [editor.] | Li, Zhanhuai [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4093Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Automated Reasoning [electronic resource] : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings / edited by Ulrich Furbach, Natarajan Shankar. by Furbach, Ulrich [editor.] | Shankar, Natarajan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4130Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|