|
|
|
Modeling and Verification of Parallel Processes [electronic resource] : 4th Summer School, MOVEP 2000 Nantes, France, June 19–23, 2000 Revised Tutorial Lectures / edited by Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Dermot Ryan. by Cassez, Franck [editor.] | Jard, Claude [editor.] | Rozoy, Brigitte [editor.] | Ryan, Mark Dermot [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2067Source: 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): .
|
|
|
|
Networking 2000 Broadband Communications, High Performance Networking, and Performance of Communication Networks [electronic resource] : IFIP-TC6/European Commission International Conference Paris, France, May 14–19, 2000 Proceedings / edited by Guy Pujolle, Harry Perros, Serge Fdida, Ulf Körner, Ioannis Stavrakakis. by Pujolle, Guy [editor.] | Perros, Harry [editor.] | Fdida, Serge [editor.] | Körner, Ulf [editor.] | Stavrakakis, Ioannis [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1815Source: 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] : 9th International Workshop Cambridge, UK, April 25–27, 2001 Revised Papers / edited by Bruce Christianson, James A. Malcolm, Bruno Crispo, Michael Roe. by Christianson, Bruce [editor.] | Malcolm, James A [editor.] | Crispo, Bruno [editor.] | Roe, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2467Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Soft-Ware 2002: Computing in an Imperfect World [electronic resource] : First International Conference, Soft-Ware 2002 Belfast, Northern Ireland, April 8–10, 2002 Proceedings / edited by David Bustard, Weiru Liu, Roy Sterritt. by Bustard, David [editor.] | Liu, Weiru [editor.] | Sterritt, Roy [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2311Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Hybrid Systems: Computation and Control [electronic resource] : Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23–25, 2000 Proceedings / edited by Nancy Lynch, Bruce H. Krogh. by Lynch, Nancy [editor.] | Krogh, Bruce H [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1790Source: 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): .
|
|
|
|
Advances in Computing and Information — ICCI '90 [electronic resource] : International Conference on Computing and Information Niagara Falls, Canada, May 23–26, 1990 Proceedings / edited by S. G. Akl, F. Fiala, W. W. Koczkodaj. by Akl, S. G [editor.] | Fiala, F [editor.] | Koczkodaj, W. W [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 468Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Bringing Telecommunication Services to the People — IS&N '95 [electronic resource] : Third International Conference on Intelligence in Broadband Services and Networks Heraklion, Crete, Greece, October 16–19, 1995 Proceedings / edited by Anne Clarke, Mario Campolargo, Nikos Karatzas. by Clarke, Anne [editor.] | Campolargo, Mario [editor.] | Karatzas, Nikos [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 998Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Smart Sensing and Context [electronic resource] : First European Conference, EuroSSC 2006 Enschede, Netherlands, October 25-27, 2006 Proceedings / edited by Paul Havinga, Maria Lijding, Nirvana Meratnia, Maarten Wegdam. by Havinga, Paul [editor.] | Lijding, Maria [editor.] | Meratnia, Nirvana [editor.] | Wegdam, Maarten [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4272Source: 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 and Communication Security [electronic resource] : Second International Conference, ICICS’99, Sydney, Australia, November 9-11, 1999. Proceedings / edited by Vijay Varadharajan, Yi Mu. by Varadharajan, Vijay [editor.] | Mu, Yi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1726Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Network and Operating System Support for Digital Audio and Video [electronic resource] : 4th International Workshop, NOSSDAV '93 Lancaster, U.K., November 3–5, 1993 Proceedings / edited by Doug Shepherd, Gordon Blair, Geoff Coulson, Nigel Davies, Francisco Garcia. by Shepherd, Doug [editor.] | Blair, Gordon [editor.] | Coulson, Geoff [editor.] | Davies, Nigel [editor.] | Garcia, Francisco [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 846Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Multimedia Transport and Teleservices [electronic resource] : International COST 237 Workshop Vienna, Austria, November 13–15, 1994 Proceedings / edited by D. Hutchison, A. Danthine, H. Leopold, G. Coulson. by Hutchison, D [editor.] | Danthine, A [editor.] | Leopold, H [editor.] | Coulson, G [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 882Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|