|
|
|
|
Formal Techniques for Computer Systems and Business Processes [electronic resource] : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings / edited by Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro. by Bravetti, Mario [editor.] | Kloul, Leïla [editor.] | Zavattaro, Gianluigi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3670Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in Spatial and Temporal Databases [electronic resource] : 9th International Symposium, SSTD 2005, Angra dos Reis, Brazil, August 22-24, 2005. Proceedings / edited by Claudia Bauzer Medeiros, Max J. Egenhofer, Elisa Bertino. by Bauzer Medeiros, Claudia [editor.] | Egenhofer, Max J [editor.] | Bertino, Elisa [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3633Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Smart Graphics [electronic resource] : 5th International Symposium, SG 2005, Frauenwörth Cloister, Germany, August 22-24, 2005. Proceedings / edited by Andreas Butz, Brian Fisher, Antonio Krüger, Patrick Olivier. by Butz, Andreas [editor.] | Fisher, Brian [editor.] | Krüger, Antonio [editor.] | Olivier, Patrick [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3638Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Peer-to-Peer Systems IV [electronic resource] : 4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005. Revised Selected Papers / edited by Miguel Castro, Robbert Renesse. by Castro, Miguel [editor.] | Renesse, Robbert [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3640Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in Intelligent Computing [electronic resource] : International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings, Part II / edited by De-Shuang Huang, Xiao-Ping Zhang, Guang-Bin Huang. by Huang, De-Shuang [editor.] | Zhang, Xiao-Ping [editor.] | Huang, Guang-Bin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3645Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Advances in Intelligent Data Analysis VI [electronic resource] : 6th International Symposium on Intelligent Data Analysis, IDA 2005, Madrid, Spain, September 8-10, 2005. Proceedings / edited by A. Fazel Famili, Joost N. Kok, José M. Peña, Arno Siebes, Ad Feelders. by Famili, A. Fazel [editor.] | Kok, Joost N [editor.] | Peña, José M [editor.] | Siebes, Arno [editor.] | Feelders, Ad [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3646Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Declarative Agent Languages and Technologies II [electronic resource] : Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers / edited by João Leite, Andrea Omicini, Paolo Torroni, pInar Yolum. by Leite, João [editor.] | Omicini, Andrea [editor.] | Torroni, Paolo [editor.] | Yolum, pInar [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3476Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Constraint Solving and Language Processing [electronic resource] : First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers / edited by Henning Christiansen, Peter Rossen Skadhauge, Jørgen Villadsen. by Christiansen, Henning [editor.] | Skadhauge, Peter Rossen [editor.] | Villadsen, Jørgen [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3438Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Business Process Management [electronic resource] : 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005. Proceedings / edited by Wil M. P. Aalst, Boualem Benatallah, Fabio Casati, Francisco Curbera. by Aalst, Wil M. P [editor.] | Benatallah, Boualem [editor.] | Casati, Fabio [editor.] | Curbera, Francisco [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3649Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Information Security [electronic resource] : 8th International Conference, ISC 2005, Singapore, September 20-23, 2005. Proceedings / edited by Jianying Zhou, Javier Lopez, Robert H. Deng, Feng Bao. by Zhou, Jianying [editor.] | Lopez, Javier [editor.] | Deng, Robert H [editor.] | Bao, Feng [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3650Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Research and Advanced Technology for Digital Libraries [electronic resource] : 9th European Conference, ECDL 2005, Vienna, Austria, September 18-23, 2005. Proceedings / edited by Andreas Rauber, Stavros Christodoulakis, A Min Tjoa. by Rauber, Andreas [editor.] | Christodoulakis, Stavros [editor.] | Tjoa, A Min [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3652Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Autonomous Intelligent Systems: Agents and Data Mining [electronic resource] : International Workshop, AIS-ADM 2005, St. Petersburg, Russia, June 6-8, 2005. Proceedings / edited by Vladimir Gorodetsky, Jiming Liu, Victor A. Skormin. by Gorodetsky, Vladimir [editor.] | Liu, Jiming [editor.] | Skormin, Victor A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3505Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Active Mining [electronic resource] : Second International Workshop, AM 2003, Maebashi, Japan, October 28, 2003. Revised Selected Papers / edited by Shusaku Tsumoto, Takahira Yamaguchi, Masayuki Numao, Hiroshi Motoda. by Tsumoto, Shusaku [editor.] | Yamaguchi, Takahira [editor.] | Numao, Masayuki [editor.] | Motoda, Hiroshi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3430Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
CONCUR 2005 – Concurrency Theory [electronic resource] : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings / edited by Martín Abadi, Luca Alfaro. by Abadi, Martín [editor.] | Alfaro, Luca [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3653Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in Knowledge Discovery and Data Mining [electronic resource] : 9th Pacific-Asia Conference, PAKDD 2005, Hanoi, Vietnam, May 18-20, 2005. Proceedings / edited by Tu Bao Ho, David Cheung, Huan Liu. by Ho, Tu Bao [editor.] | Cheung, David [editor.] | Liu, Huan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3518Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Data and Applications Security XIX [electronic resource] : 19th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Storrs, CT, USA, August 7-10, 2005. Proceedings / edited by Sushil Jajodia, Duminda Wijesekera. by Jajodia, Sushil [editor.] | Wijesekera, Duminda [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3654Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Image Analysis and Recognition [electronic resource] : Second International Conference, ICIAR 2005, Toronto, Canada, September 28-30, 2005. Proceedings / edited by Mohamed Kamel, Aurélio Campilho. by Kamel, Mohamed [editor.] | Campilho, Aurélio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3656Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Formal Methods for Components and Objects [electronic resource] : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, 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 ; 3657Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
