|
|
|
|
Applications of Declarative Programming and Knowledge Management [electronic resource] : 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers / edited by Dietmar Seipel, Michael Hanus, Armin Wolf. by Seipel, Dietmar [editor.] | Hanus, Michael [editor.] | Wolf, Armin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5437Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Compiler Construction [electronic resource] : 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / edited by Oege Moor, Michael I. Schwartzbach. by Moor, Oege [editor.] | Schwartzbach, Michael I [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5501Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Information Security and Cryptology – ICISC 2008 [electronic resource] : 11th International Conference, Seoul, Korea, December 3-5, 2008, Revised Selected Papers / edited by Pil Joong Lee, Jung Hee Cheon. by Lee, Pil Joong [editor.] | Cheon, Jung Hee [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5461Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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] : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / edited by Stefan Kowalewski, Anna Philippou. by Kowalewski, Stefan [editor.] | Philippou, Anna [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5505Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Quantum Interaction [electronic resource] : Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009. Proceedings / edited by Peter Bruza, Donald Sofge, William Lawless, Keith Rijsbergen, Matthias Klusch. by Bruza, Peter [editor.] | Sofge, Donald [editor.] | Lawless, William [editor.] | Rijsbergen, Keith [editor.] | Klusch, Matthias [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5494Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Information Security Practice and Experience [electronic resource] : 5th International Conference, ISPEC 2009 Xi’an, China, April 13-15, 2009 Proceedings / edited by Feng Bao, Hui Li, Guilin Wang. by Bao, Feng [editor.] | Li, Hui [editor.] | Wang, Guilin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5451Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Methods, Models and Tools for Fault Tolerance [electronic resource] / edited by Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna. by Butler, Michael [editor.] | Jones, Cliff [editor.] | Romanovsky, Alexander [editor.] | Troubitsyna, Elena [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5454Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Database Systems for Advanced Applications [electronic resource] : 14th International Conference, DASFAA 2009, Brisbane, Australia, April 21-23, 2009. Proceedings / edited by Xiaofang Zhou, Haruo Yokota, Ke Deng, Qing Liu. by Zhou, Xiaofang [editor.] | Yokota, Haruo [editor.] | Deng, Ke [editor.] | Liu, Qing [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5463Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Trustworthy Global Computing [electronic resource] : 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers / edited by Christos Kaklamanis, Flemming Nielson. by Kaklamanis, Christos [editor.] | Nielson, Flemming [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5474Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Euro-Par 2008 Workshops - Parallel Processing [electronic resource] : VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers / edited by Eduardo César, Michael Alexander, Achim Streit, Jesper Larsson Träff, Christophe Cérin, Andreas Knüpfer, Dieter Kranzlmüller, Shantenu Jha. by César, Eduardo [editor.] | Alexander, Michael [editor.] | Streit, Achim [editor.] | Träff, Jesper Larsson [editor.] | Cérin, Christophe [editor.] | Knüpfer, Andreas [editor.] | Kranzlmüller, Dieter [editor.] | Jha, Shantenu [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5415Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in Information Retrieval [electronic resource] : 31th European Conference on IR Research, ECIR 2009, Toulouse, France, April 6-9, 2009. Proceedings / edited by Mohand Boughanem, Catherine Berrut, Josiane Mothe, Chantal Soule-Dupuy. by Boughanem, Mohand [editor.] | Berrut, Catherine [editor.] | Mothe, Josiane [editor.] | Soule-Dupuy, Chantal [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5478Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Active and Programmable Networks [electronic resource] : IFIP TC6 7th International Working Conference, IWAN 2005, Sophia Antipolis, France, November 21-23, 2005. Revised Papers / edited by David Hutchison, Spyros Denazis, Laurent Lefevre, Gary J. Minden. by Hutchison, David [editor.] | Denazis, Spyros [editor.] | Lefevre, Laurent [editor.] | Minden, Gary J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4388Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Passive and Active Network Measurement [electronic resource] : 10th International Conference, PAM 2009, Seoul, Korea, April 1-3, 2009. Proceedings / edited by Sue B. Moon, Renata Teixeira, Steve Uhlig. by Moon, Sue B [editor.] | Teixeira, Renata [editor.] | Uhlig, Steve [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5448Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
