Your search returned 4 results.

Not what you expected? Check for suggestions
BOOKS
Principles of Program Analysis

by Nielson, Flemming | Nielson, Hanne Riis | Hankin, Chris.

Material type: Text 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: 49 Shelf No: 13 Call number: 681.3 NIE.

BOOKS
ML with concurrency design, analysis, implementation, and application

by Nielson, Flemming Ed.

Series: Monographs in computer scienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; c1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 46 Call number: 681.3.06 NIE.

BOOKS
Two-level functional languages

by Nielson, Flemming | Nielson, Hanne Riis.

Series: Cambridge tracts in theoretical computer science; 34Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; CUP ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 46 Call number: 681.3.06 NIE.

E-BOOKS
Trustworthy Global Computing [electronic resource] : 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers / edited by Christos Kaklamanis, Flemming Nielson.

by Kaklamanis, Christos [editor.] | Nielson, Flemming [editor.] | SpringerLink (Online service).

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha