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

Your search returned 3 results. Subscribe to this search

|
1. Theory of recursive functions and effective computability

by Rogers, Hartley.

Material type: book Book Description: xix, 482p.Publisher: New York Mcgraw-Hill Book Company 1967Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 517.5 R632t] (1).

2. Enumerability decidability computability : an introduction to the theory of recursive functions

by Hermes, Hans | Herman, G. T. [Tr.] | Plassmann, O. [Tr.].

Material type: book Book Description: 245p.Publisher: Berlin Springer Verlag 1965Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 H42en] (1).

3. Distributed computing by oblivious mobile robots : [electronic resource] /

by Flocchini, Paola | Prencipe, Giuseppe 1972- | Santoro, N. (Nicola) 1951-.

Material type: book Book; Format: available online remote; Literary form: not fiction ; Audience: Specialized; Description: 1 electronic text (xiii, 171 p.) : ill., digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2012Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Powered by Koha