|
|
|
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): .
|
|
|
|
Management of Multimedia Networks and Services [electronic resource] : 6th IFIP/IEEE International Conference, MMNS 2003, Belfast, Northern Ireland, UK, September 7-10, 2003. Proceedings / edited by Alan Marshall, Nazim Agoulmine. by Marshall, Alan [editor.] | Agoulmine, Nazim [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2839Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Information Security [electronic resource] : 6th International Conference, ISC 2003, Bristol, UK, October 1-3, 2003. Proceedings / edited by Colin Boyd, Wenbo Mao. by Boyd, Colin [editor.] | Mao, Wenbo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2851Source: 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 Applications and Interoperable Systems [electronic resource] : 4th IFIP WG6.1 International Conference, DAIS 2003, Paris, France, November 17-21, 2003. Proceedings / edited by Jean-Bernard Stefani, Isabelle Demeure, Daniel Hagimont. by Stefani, Jean-Bernard [editor.] | Demeure, Isabelle [editor.] | Hagimont, Daniel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2893Source: 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): .
|
|
|
|
≪UML≫ 2000 — The Unified Modeling Language [electronic resource] : Advancing the Standard Third International Conference York, UK, October 2–6, 2000 Proceedings / edited by Andy Evans, Stuart Kent, Bran Selic. by Evans, Andy [editor.] | Kent, Stuart [editor.] | Selic, Bran [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1939Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Security Protocols [electronic resource] : 12th International Workshop, Cambridge, UK, April 26-28, 2004. Revised Selected Papers / edited by Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe. by Christianson, Bruce [editor.] | Crispo, Bruno [editor.] | Malcolm, James A [editor.] | Roe, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3957Source: 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): .
|
|
|
|
|
|
|
|
Abstract State Machines - Theory and Applications [electronic resource] : International Workshop, ASM 2000 Monte Verità, Switzerland, March 19–24, 2000 Proceedings / edited by Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele. by Gurevich, Yuri [editor.] | Kutter, Philipp W [editor.] | Odersky, Martin [editor.] | Thiele, Lothar [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1912Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
OpenMP Shared Memory Parallel Programming [electronic resource] : International Workshop on OpenMP Applications and Tools, WOMPAT 2001 West Lafayette, IN, USA, July 30–31, 2001 Proceedings / edited by Rudolf Eigenmann, Michael J. Voss. by Eigenmann, Rudolf [editor.] | Voss, Michael J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2104Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Lectures on Formal Methods and PerformanceAnalysis [electronic resource] : First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures / edited by Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen. by Brinksma, Ed [editor.] | Hermanns, Holger [editor.] | Katoen, Joost-Pieter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2090Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Evolutionary Multi-Criterion Optimization [electronic resource] : First International Conference, EMO 2001 Zurich, Switzerland, March 7–9, 2001 Proceedings / edited by Eckart Zitzler, Lothar Thiele, Kalyanmoy Deb, Carlos Artemio Coello Coello, David Corne. by Zitzler, Eckart [editor.] | Thiele, Lothar [editor.] | Deb, Kalyanmoy [editor.] | Coello Coello, Carlos Artemio [editor.] | Corne, David [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1993Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Advances in Learning Software Organizations [electronic resource] : Third International Workshop, LSO 2001 Kaiserslautern, Germany, September 12–13, 2001 Proceedings / edited by Klaus-Dieter Althoff, Raimund L. Feldmann, Wolfgang Müller. by Althoff, Klaus-Dieter [editor.] | Feldmann, Raimund L [editor.] | Müller, Wolfgang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2176Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Web Engineering [electronic resource] : International Conference, ICWE 2003 Oviedo, Spain, July 14–18, 2003 Proceedings / edited by Juan Manuel Cueva Lovelle, Bernardo Martín González Rodríguez, Jose Emilio Labra Gayo, María Puerto Paule Ruiz, Luis Joyanes Aguilar. by Lovelle, Juan Manuel Cueva [editor.] | Rodríguez, Bernardo Martín González [editor.] | Gayo, Jose Emilio Labra [editor.] | Puerto Paule Ruiz, María [editor.] | Aguilar, Luis Joyanes [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2722Source: 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): .
|
|
|
|
High-Speed Networks and Multimedia Communications [electronic resource] : 6th IEEE International Conference, HSNMC 2003, Estoril, Portugal, July 23-25, 2003. Proceedings / edited by Mário M. Freire, Pascal Lorenz, Mike Myung-Ok Lee. by Freire, Mário M [editor.] | Lorenz, Pascal [editor.] | Lee, Mike Myung-Ok [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2720Source: 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): .
|