PKK Library

Your cart is empty.

Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Your search returned 2 results. Subscribe to this search

Unhighlight Highlight
|
1.
PROGRAMMER'S INTRODUCTION TO COMPUTABILITY AND FORMAL LANGUAGES

by Kurki-Suonio, Reino.

Material type: book Book; Format: print ; Literary form: not fiction Description: 140.Publisher: Princeton Auerbach 1971Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.381952 K965] (1).

Place hold Add to cart
2.
A Practical Theory of Reactive Systems : Incremental Modeling of Dynamic Behaviors / : [electronic resource] :

by Kurki-Suonio, Reino [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXI, 420 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart

Powered by Koha