|
|
|
|
Introduction to Foundations of Mathematics by Wilder, Raymond L. Edition: 2ndMaterial type:  Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New York John Wiley 1965Availability: Items available for loan: IMSc Library (3). Location(s): First Floor, Rack No: 28, Shelf No: 10 Call number: 510.6 WIL.
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Algebraic Foundations of Systems Specification by Astesiano, E. Ed | Kreowski, H J. Ed | Krieg-Bruckner, Ed. Series: IFIP State-of-the-Art ReportsMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 38 Call number: 681.3 AST.
|
|
|
|
|
|
|
|
|
|
Mathematical Foundations of Computer Science 1998 : LNCS 1450; Proceedings, 23rd International Symposium, Brno, 1998 by Brim, Lubos., Ed | Gruska, Jozef., Ed | Zlatuska, Jiri., Ed. Series: Lecture notes in computer science ; 01450Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 21 Call number: 681 LNCS.
|
