|
|
|
|
|
|
|
|
|
|
|
Software security: theories and systems by Futatsugi, Kokichi | Mizoguchi, Fumio | Yonezaki, Naoki Eds. Series: Lecture notes in computer science ; 03233Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 30 Call number: 681 LNCS.
|
|
|
|
Algorithms and models for the web-graph: third international workshop, WAW 2004, Rome, Italy, October 16, 2004, proceeedings by Leonardi, Stefano Ed. Series: Lecture notes in computer science ; 03243Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New York, NY ; Springer ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 30 Call number: 681 LNCS.
|
|
|
|
Automated technology for verification and analysis: second international conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004, proceedings by Wang, Farn Ed. Series: Lecture notes in computer science ; 03299Edition: 1st ed.Material type: Text;Language: ; Format:
print
Publication details: New York, NY ; Springer ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 30 Call number: 681 LNCS.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Algebraic and coalgebraic methods in the mathematics of program construction international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures by Backhouse, Roland C., 1948- | Crole, Roy L | Gibbons, Jeremy,, 1966-. Series: Lecture notes in computer science ; 02297Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin, New York : ; Springer ; c2002Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 27 Call number: 681 LNCS.
|
|
|
|
|
|
|
|
|
|
|
|
Fundamentals of computation theory 15th International Symposium, FCT 2005, Luebeck, Germany, August 17-20, 2005, Proceedings by Liskiewicz, Maciej, Ed | Reischuk, Rudiger, Ed. Series: Lecture notes in computer science ; 03623Material type: Text;Language: ; Format:
print
Publication details: New York ; Springer ; 2005Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 30 Call number: 681 LNCS.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|