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

Your search returned 83 results. Subscribe to this search

|
81. Institution-independent Model Theory : [electronic resource] /

by Diaconescu, Răzvan [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XI, 376 p. online resource.Publisher: Basel : Birkhäuser Basel, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

82. Introduction to automata theory, languages, and computation [3rd ed.]

by Hopcroft, John E | Motwani, Rajeev | Ullman, D. Jeffrey.

Edition: 3rd ed. Description: xvi, 487p.Publisher: New Delhi Pearson 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.35 H77i3 cop.1] (3).

83. Grammatical inference for computational linguistics /

by Heinz, Jeffrey [author.] | De la Higuera, Colin [author.] | Zaanen, Menno van 1972-, [author.].

Material type: book Book; Format: available online remote; Literary form: not fiction ; Audience: Specialized; Description: 1 PDF (xxi, 139 pages) : illustrations.Publisher: San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2016.Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Powered by Koha