|
|
|
Security and Cryptography for Networks [electronic resource] : 5th International Conference, SCN 2006, Maiori, Italy, September 6-8, 2006. Proceedings / edited by Roberto Prisco, Moti Yung. by Prisco, Roberto [editor.] | Yung, Moti [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4116Source: 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): .
|
|
|
|
Ubiquitous Intelligence and Computing [electronic resource] : Third International Conference, UIC 2006, Wuhan, China, September 3-6, 2006. Proceedings / edited by Jianhua Ma, Hai Jin, Laurence T. Yang, Jeffrey J.-P. Tsai. by Ma, Jianhua [editor.] | Jin, Hai [editor.] | Yang, Laurence T [editor.] | Tsai, Jeffrey J.-P [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4159Source: 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): .
|
|
|
|
Software Engineering and Middleware [electronic resource] : Third International Workshop, SEM 2002 Orlando, FL, USA, May 20–21, 2002 Revised Papers / edited by Alberto Coen-Porisini, André Hoek. by Coen-Porisini, Alberto [editor.] | Hoek, André [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2596Source: 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): .
|
|
|
|
The Semantic Web – ASWC 2006 [electronic resource] : First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006. Proceedings / edited by Riichiro Mizoguchi, Zhongzhi Shi, Fausto Giunchiglia. by Mizoguchi, Riichiro [editor.] | Shi, Zhongzhi [editor.] | Giunchiglia, Fausto [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4185Source: 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 Security [electronic resource] : 9th International Conference, ISC 2006, Samos Island, Greece, August 30 - September 2, 2006. Proceedings / edited by Sokratis K. Katsikas, Javier López, Michael Backes, Stefanos Gritzalis, Bart Preneel. by Katsikas, Sokratis K [editor.] | López, Javier [editor.] | Backes, Michael [editor.] | Gritzalis, Stefanos [editor.] | Preneel, Bart [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4176Source: 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): .
|
|
|
|
Computer-Aided Verification [electronic resource] : 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings / edited by Edmund M. Clarke, Robert P. Kurshan. by Clarke, Edmund M [editor.] | Kurshan, Robert P [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 531Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Reasoning Web [electronic resource] : Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures / edited by Pedro Barahona, François Bry, Enrico Franconi, Nicola Henze, Ulrike Sattler. by Barahona, Pedro [editor.] | Bry, François [editor.] | Franconi, Enrico [editor.] | Henze, Nicola [editor.] | Sattler, Ulrike [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4126Source: 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): .
|
|
|
|
Ant Colony Optimization and Swarm Intelligence [electronic resource] : 5th International Workshop, ANTS 2006, Brussels, Belgium, September 4-7, 2006. Proceedings / edited by Marco Dorigo, Luca Maria Gambardella, Mauro Birattari, Alcherio Martinoli, Riccardo Poli, Thomas Stützle. by Dorigo, Marco [editor.] | Gambardella, Luca Maria [editor.] | Birattari, Mauro [editor.] | Martinoli, Alcherio [editor.] | Poli, Riccardo [editor.] | Stützle, Thomas [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4150Source: 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): .
|
|
|
|
Cooperative Information Agents X [electronic resource] : 10th International Workshop, CIA 2006 Edinburgh, UK, September 11-13, 2006 Proceedings / edited by Matthias Klusch, Michael Rovatsos, Terry R. Payne. by Klusch, Matthias [editor.] | Rovatsos, Michael [editor.] | Payne, Terry R [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4149Source: 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): .
|
|
|
|
Autonomic and Trusted Computing [electronic resource] : Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006. Proceedings / edited by Laurence T. Yang, Hai Jin, Jianhua Ma, Theo Ungerer. by Yang, Laurence T [editor.] | Jin, Hai [editor.] | Ma, Jianhua [editor.] | Ungerer, Theo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4158Source: 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): .
|
|
|
|
Web Services and Formal Methods [electronic resource] : Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings / edited by Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro. by Bravetti, Mario [editor.] | Núñez, Manuel [editor.] | Zavattaro, Gianluigi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4184Source: 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 and XML Technologies [electronic resource] : 4th International XML Database Symposium, XSym 2006 Seoul, Korea, September 10-11, 2006 Proceedings / edited by Sihem Amer-Yahia, Zohra Bellahsène, Ela Hunt, Rainer Unland, Jeffrey Xu Yu. by Amer-Yahia, Sihem [editor.] | Bellahsène, Zohra [editor.] | Hunt, Ela [editor.] | Unland, Rainer [editor.] | Yu, Jeffrey Xu [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4156Source: 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): .
|
|
|
|
Secure Data Management [electronic resource] : Third VLDB Workshop, SDM 2006, Seoul, Korea, September 10-11, 2006. Proceedings / edited by Willem Jonker, Milan Petković. by Jonker, Willem [editor.] | Petković, Milan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4165Source: 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): .
|
|
|
|
Engineering Societies in the Agents World III [electronic resource] : Third International Workshop, ESAW 2002 Madrid, Spain, September 16–17, 2002 Revised Papers / edited by Paolo Petta, Robert Tolksdorf, Franco Zambonelli. by Petta, Paolo [editor.] | Tolksdorf, Robert [editor.] | Zambonelli, Franco [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2577Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Distributed Systems [electronic resource] : Methods and Tools for Specification An Advanced Course / edited by M. Paul, H. J. Siegert, M. W. Alford, J. P. Ansart, G. Hommel, L. Lamport, B. Liskov, G. P. Mullery, F. B. Schneider. by Paul, M [editor.] | Siegert, H. J [editor.] | Alford, M. W [editor.] | Ansart, J. P [editor.] | Hommel, G [editor.] | Lamport, L [editor.] | Liskov, B [editor.] | Mullery, G. P [editor.] | Schneider, F. B [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 190Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|