|
|
|
|
|
|
|
|
|
Recent advances in intrusion detection: 7th international symposium, RAID 2004, Sophia Antipolis, France, September 15 - 17, 2004, proceedings by Jonsson, Erland | Valdes, Alfonso | Almgren, Magnus Eds. Series: Lecture notes in computer science ; 03224Edition: 1st ed.Material type:  Text;Language: ; Format:
print
Publication details: New York ; Springer ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 30 Call number: 681 LNCS.
|
|
|
|
|
|
|
|
|
|
Formal methods for the design of real-time systems: international school on formal methods for the design of computer, communication, and software systems, Bertinora, Italy, September 13-18, 2004, revised lectures by Bernardo, Marco | Corradini, Flavio Eds. Series: Lecture notes in computer science ; 03185Edition: 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: 29 Call number: 681 LNCS.
|
|
|
|
|
Mathematical foundations of computer science 2004: 20th international symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004. proceedings by Fiala, Jiri | Koubek, Vaclav | Kratochvil, Jan Eds. Series: Lecture notes in computer science ; 03153Edition: 1st ed.Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New York ; Springer-Verlag Berlin Heidelberg ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 29 Call number: 681 LNCS.
|
|
|
|
|
Parameterized and exact computation: First international workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004, proceedings by Downey, Rod | Fellows, Michael | Dehne, Frank. Series: Lecture notes in computer science ; 03162Edition: .Material type: Text;Language: ; Format:
print
Language: English Publication details: New York ; Springer ; 2004Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 29 Call number: 681 LNCS.
|
|
|
|
|
Principles and practice of semantic web reasoning: second international workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004, proceedings by Ohlbach, Hans Jurgen | Schaffert, Sebastian Eds. Series: Lecture notes in computer science ; 03208Edition: 1st ed.Material type: Text;Language: ; Format:
print
Publication details: New York ; Springer ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 29 Call number: 681 LNCS.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Automata, languages and programming: 31st international colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, proceedings by Diaz, Josep [et al] Eds. Series: Lecture notes in computer science ; 03142Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New York ; Springer ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 29 Call number: 681 LNCS.
|
|
|
|
|
Computer science logic:18th international workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings by Marcinkowski, Jerzy | Tarlecki, Andrzej Eds. Series: Lecture notes in computer science ; 03210Material 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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
