Your search returned 2 results.

Not what you expected? Check for suggestions
E-BOOKS
FME 2002:Formal Methods—Getting IT Right [electronic resource] : International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22–24, 2002 Proceedings / edited by Lars-Henrik Eriksson, Peter Alexander Lindsay.

by Eriksson, Lars-Henrik [editor.] | Lindsay, Peter Alexander [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2391Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Statistical inference from stochastic processes : [electronic resource] proceedings of the AMS-IMS-SIAM joint summer research conference held August 9-15, 1987, with support from the National Science Foundation and the Army Research Office / N.U. Prabhu, editor.

by AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Statistical Inference from Stochastic Processes (1987 : Cornell University) | Prabhu, N. U. (Narahari Umanath), 1924- | American Mathematical Society | Institute of Mathematical Statistics | Society for Industrial and Applied Mathematics.

Series: Contemporary mathematics (American Mathematical Society) ; v. 80.Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c1988Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha