|
1.
|
CONSTRAINT REASONING FOR DIFFERENTIAL MODELS
by Cruz,Jorge. Material type: 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).
|
|
2.
|
Fundamentals of physical design and query compilation
: [electronic resource] /
by Toman, David | Weddell, Grant E. (Grant Edwin) 1954-. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (xii, 110 p.) : ill., digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2011Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
3.
|
Database repairing and consistent query answering
: [electronic resource] /
by Bertossi, Leopoldo. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (xiv, 105 p.) : ill., digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2011Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
4.
|
Energy-efficient scheduling under delay constraints for wireless networks
: [electronic resource] /
by Berry, Randall | Modiano, Eytan | Zafer, Murtaza. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (xi, 84 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).
|
|
5.
|
An introduction to constraint-based temporal reasoning /
by Barták, Roman [author.] | Morris, Robert A [author.] | Venable, Kristen Brent [author.]. Material type: Book; Format:
available online
; 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).
|
|
6.
|
Querying graphs /
by Bonifati, Angela [author.] | Fletcher, George [author.] | Voigt, Hannes 1980-, [author.] | Yakovets, Nikolay [author.]. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xvii, 166 pages) : illustrations.Publisher: [San Rafael, California] : Morgan & Claypool, 2018.Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
7.
|
Structural control considering time-rate of control forces and control rate constraints
by Cheng, F. Y | Pantelides, C. P. Material type: Book; Format:
print
; Literary form:
not fiction
Description: various pagings.Publisher: Buffalo, New York National Center for Earthquake Engineering Research, State University of New York at Buffalo 1989Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 624.1762 NCEER-89-0020] (1).
|