|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
MATHEON – Mathematics for Key Technologies [electronic resource] / Peter Deuflhard, Martin Grötschel, Dietmar Hömberg, Ulrich Horst, Jürg Kramer, Volker Mehrmann, Konrad Polthier, Frank Schmidt, Christof Schütte, Martin Skutella, Jürgen Sprekels by Deuflhard, Peter [author.] | Deuflhard, Peter [author.] | Grötschel, Martin [author.] | Hömberg, Dietmar [author.] | Horst, Ulrich [author.] | Kramer, Jürg [author.] | Mehrmann, Volker [author.] | Polthier, Konrad [author.] | Schmidt, Frank [author.] | Schütte, Christof [author.] | Skutella, Martin [author.] | Sprekels, Jürgen [author.]. Series: EMS Series in Industrial and Applied Mathematics (ESIAM) ; 1Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: Zuerich, Switzerland : European Mathematical Society Publishing House, 2014Online access: Click here to access online | cover image Availability: Items available for loan: IMSc Library (1). Location(s): .
|