|
|
|
|
Journal on Data Semantics V [electronic resource] / edited by Stefano Spaccapietra, Paolo Atzeni, Wesley W. Chu, Tiziana Catarci, Katia P. Sycara. by Spaccapietra, Stefano [editor.] | Atzeni, Paolo [editor.] | Chu, Wesley W [editor.] | Catarci, Tiziana [editor.] | Sycara, Katia P [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3870Source: 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): .
|
|
|
|
|
Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers / edited by Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner. by Filliâtre, Jean-Christophe [editor.] | Paulin-Mohring, Christine [editor.] | Werner, Benjamin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3839Source: 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): .
|
|
|
|
|
|
|
|
|
|
Database Programming Languages [electronic resource] : 10th International Workshop, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers / edited by Gavin Bierman, Christoph Koch. by Bierman, Gavin [editor.] | Koch, Christoph [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3774Source: 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 Hiding [electronic resource] : 7th International Workshop, IH 2005, Barcelona, Spain, June 6-8, 2005. Revised Selected Papers / edited by Mauro Barni, Jordi Herrera-Joancomartí, Stefan Katzenbeisser, Fernando Pérez-González. by Barni, Mauro [editor.] | Herrera-Joancomartí, Jordi [editor.] | Katzenbeisser, Stefan [editor.] | Pérez-González, Fernando [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3727Source: 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): .
|
|
|
|
|
Unconventional Programming Paradigms [electronic resource] : International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers / edited by Jean-Pierre Banâtre, Pascal Fradet, Jean-Louis Giavitto, Olivier Michel. by Banâtre, Jean-Pierre [editor.] | Fradet, Pascal [editor.] | Giavitto, Jean-Louis [editor.] | Michel, Olivier [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3566Source: 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): .
|
|
|
|
|
Trustworthy Global Computing [electronic resource] : International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers / edited by Rocco Nicola, Davide Sangiorgi. by Nicola, Rocco [editor.] | Sangiorgi, Davide [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3705Source: 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): .
|
|
|
|
|
Web Engineering [electronic resource] : 5th International Conference, ICWE 2005, Sydney, Australia, July 27-29, 2005. Proceedings / edited by David Lowe, Martin Gaedke. by Lowe, David [editor.] | Gaedke, Martin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3579Source: 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): .
|
|
|
|
|
Power-Aware Computer Systems [electronic resource] : 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers / edited by Babak Falsafi, T. N. VijayKumar. by Falsafi, Babak [editor.] | VijayKumar, T. N [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3471Source: 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): .
|
|
|
|
|
Extreme Programming and Agile Processes in Software Engineering [electronic resource] : 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005. Proceedings / edited by Hubert Baumeister, Michele Marchesi, Mike Holcombe. by Baumeister, Hubert [editor.] | Marchesi, Michele [editor.] | Holcombe, Mike [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3556Source: 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): .
|
|
|
|
|
SDL 2005: Model Driven [electronic resource] : 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005. Proceedings / edited by Andreas Prinz, Rick Reed, Jeanne Reed. by Prinz, Andreas [editor.] | Reed, Rick [editor.] | Reed, Jeanne [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3530Source: 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): .
|
|
|
|
|
Applied Cryptography and Network Security [electronic resource] : Third International Conference, ACNS 2005, New York, NY, USA, June 7-10, 2005. Proceedings / edited by John Ioannidis, Angelos Keromytis, Moti Yung. by Ioannidis, John [editor.] | Keromytis, Angelos [editor.] | Yung, Moti [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3531Source: 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): .
|
|
|
|
|
The Semantic Web: Research and Applications [electronic resource] : Second European Semantic Web Conference, ESWC 2005, Heraklion, Crete, Greece, May 29–June 1, 2005. Proceedings / edited by Asunción Gómez-Pérez, Jérôme Euzenat. by Gómez-Pérez, Asunción [editor.] | Euzenat, Jérôme [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3532Source: 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 Open Object-Based Distributed Systems [electronic resource] : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings / edited by Martin Steffen, Gianluigi Zavattaro. by Steffen, Martin [editor.] | Zavattaro, Gianluigi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3535Source: 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): .
|
|
|
|
|
Applications and Theory of Petri Nets 2005 [electronic resource] : 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings / edited by Gianfranco Ciardo, Philippe Darondeau. by Ciardo, Gianfranco [editor.] | Darondeau, Philippe [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3536Source: 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): .
|
|
|
|
|
Combinatorial Pattern Matching [electronic resource] : 16th Annual Symposium, CPM 2005, Jeju Island, Korea, June 19-22, 2005. Proceedings / edited by Alberto Apostolico, Maxime Crochemore, Kunsoo Park. by Apostolico, Alberto [editor.] | Crochemore, Maxime [editor.] | Park, Kunsoo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3537Source: 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): .
|
