|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Algebraic methodology and software technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, proceedings by Johnson, Michael | Vene, Varmo Eds. Series: Lecture notes in computer science ; 04019Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New York ; Springer-Verlag ; 2006Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 31 Call number: 681 LNCS.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
