|
|
|
|
|
|
|
Computer Aided Verification : 5th International conference, CAV,93, Elounda, Greece, June/July 1993, Proceedings by Courcoubetis, Costas, Ed. Series: Lecture notes in computer science ; 00697Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS.
|
|
|
|
|
|
|
|
|
|
|
|
Computer Science Logic : 6th workshop, CSL '92, San Miniato, Italy, September/October 1992, Selected paers by Borger, E | Jager, G., Martini., Richter,M | Kleine Buning, H. Series: Lecture notes in computer science ; 00702Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS.
|
|
|
|
Computational Logic and Proof Theory : Third Kurt Godel colloquium, KGC,93, Brno, Czech Republic, August 1993, Proceedings by Gottlob, Georg | Leitsch, A | Mundici, D. Series: Lecture notes in computer science ; 00713Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS.
|
|
|
|
Combinatorial Pattern Matching : 4th Annual symposium, CPM 93, Padova, Italy, June 1993, Proceedings by Apostolico, A | Crochemore, M | Galil, Z., Manber, U. Series: Lecture notes in computer science ; 00684Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS.
|
|
|
|
|
|
|
|
STACS 88 Series: Lecture notes in computer science ; 00294Material type: Text;Language: ; Format:
print
Publication details: Berlin ; Springer-Verlag Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 5 Call number: 681 LNCS.
|
|
|
|
Mathematical Foundations of Programming Semantics 9th International conference New Orleans, LA, USA, April 93 by Brookes, S | Main, M., Schmidt, D | Melton, A., Mislove, M. Series: Lecture notes in computer science ; 00802Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Algorithms and Computation, 4th International symposium, ISAAC'93, Hong Kong, December 1993 by Raghavan, P. Ed | Balasubramanian, N.V., Ed | Chin, F Y L. Ed. Series: Lecture notes in computer science ; 00762Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer-Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS.
|
|
|
|
|
|
|
|
|