|
1541.
|
Steps in scala
: an introduction to object-functional programming
by Loverdos, Christos K. K | Syropoulos, Apostolos. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvii, 485p.Publisher: Cambridge Cambridge University Press 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.13 L945s] (2).
|
|
1542.
|
Pearls of functional algorithm design
by Bird, Richard. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 277p.Publisher: Cambridge Cambridge University Press 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.31 B532p] (1).
|
|
1543.
|
Computational semantics with functional programming
by Eijck, Jan Van | Unger, Christina. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 405p.Publisher: Cambridge Cambridge University Press 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.131 Ei47c] (1).
|
|
1544.
|
OSF/Motif
: programmer's guide revision 1.2
by Open Software Foundation | Open Software Foundation. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 1v.(various pagings).Publisher: New Jersey Ptr Printice Hall 1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.13 Op21o] (1).
|
|
1545.
|
Mathematical aspects of logic programming semantics
by Hitzler, Pascal | Seda, Anthony. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxx, 274p.Publisher: Boca Raton CRC 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.115 H639m] (1).
|
|
1546.
|
An introduction to linear programming and game theory
by Thie, Paul R | Keough, G. E. Edition: 3rdMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 460p.Publisher: New Jersey Wiley 2008Availability: No items available Checked out (1).
|
|
1547.
|
Eigenvalues of non-linear problems
: lectures given at a summer school of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, June 16-25, 1974
by | Prodi, G., Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 329p.Publisher: Berlin Springer 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 515.9 C738] (1).
|
|
1548.
|
Stochastic programming
: the state of the art in honor of George B. Dantzig
by Infanger, Gerd, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxiii, 362p.Publisher: New York Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.7 St62] (1).
|
|
1549.
|
Stochastic linear programming
: models, theory, and computation
by Kall, Peter | Mayer, Janos. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xx, 426p.Publisher: New York Springer 2011Availability: No items available Checked out (1).
|
|
1550.
|
Logical analysis of hybrid systems
: providing theorems for complex dynamics
by Platzer, Andre. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxx, 426p.Publisher: Heidelberg Springer 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.39 P698l] (1).
|
|
1551.
|
Programming in C
: a complete introduction to the C programming language [3rd ed.]
by Kochan, Stephen G. Edition: 3rd edMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xvi, 543p.Publisher: New Delhi Pearson 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 K811p3 cop.1] (34). Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 K811p3 cop.29] (2). Checked out (3).
|
|
1552.
|
Pearson's crystal data
: crystal structure database for inorganic compounds: user manual
by Villars, Pierre, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vi, 95p With CD-ROM.Publisher: Switzerland Asm International 2010Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 546.0285 P319] (1).
|
|
1553.
|
Multi-armed bandit allocation indices
by Gittins, John | Glazebrook, Kevin | Weber, Richard. Edition: 2nd edMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xvi,293p.Publisher: Chichester Wiley 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.5 G447m2] (1).
|
|
1554.
|
Mechanism design
: a linear programming approach
by Vohra, Rakesh V. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 172p.Publisher: Cambridge Cambridge University Press 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 658.4033 V869m] (1).
|
|
1555.
|
Linear and nonlinear optimization
by Griva, Igor | Nash, Stephen G | Sofer, Ariela. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxii, 742p.Publisher: Philadelphia SIAM 2009Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.72 G889l2 cop.2] (1). Checked out (1).
|
|
1556.
|
SQL report writer reference manual
by Denchfield-Masterson, Karen. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 1 v. (various pagings).Publisher: Ireland Oracle Corporation 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.13 D411s] (1).
|
|
1557.
|
Assembly language programmer's guide
by . Material type: Book; Format:
print
; Literary form:
not fiction
Description: 1 v (various pagings).Publisher: Massachusetts Digital Equipment Corporation 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.13 As73] (1).
|
|
1558.
|
Modern Fortran explained
by Metcalf, Michael | Reid, John. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xx, 488p.Publisher: New York Oxford University Press 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.133 M565m] (1).
|
|
1559.
|
Logic and its applications
: proceedings...
by Banerjee, Mohua, Ed | 4th Indian Conference on Logic and its Applications Delhi 2011 | Banerjee, Mohua, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 218p.Publisher: Berlin Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 In24] (1).
|
|
1560.
|
Introduction to stochastic programming
by Birge, John R | Louveaux, Francois. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xxv, 485p.Publisher: New York Springer 2011Availability: No items available Checked out (1).
|