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.
CONSTRAINT REASONING FOR DIFFERENTIAL MODELS

by Cruz,Jorge.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxv,216.Publisher: Ios Press, Amsterdam 2005Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 C889C] (1).

Place hold Add to cart
2.
An introduction to constraint-based temporal reasoning /

by Barták, Roman [author.] | Morris, Robert A [author.] | Venable, Kristen Brent [author.].

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

Place hold Add to cart

Powered by Koha