|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Advances in Petri Nets 1993 by Rozenberg, Grzegorz. Ed. Series: Lecture notes in computer science ; 00674Material 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: 14 Call number: 681 LNCS.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Automata, Languages and Programming Proceedings,20th Int.Colloquium, ICALP 93, Lund,Sweden,1993 by Lingas, Andrzej | Monien, B | Rodriguez, M. Series: Lecture notes in computer science ; 00700Material 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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
CSL 87 by Borger, E. Series: Lecture notes in computer science ; 00329Material 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: 7 Call number: 681 LNCS.
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
