|
1581.
|
Simply scheme
: introducing computer science
by Harvey, Brian | Wright, Matthew. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xxxii, 579p.Publisher: Cambridge Mit Press 1999Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.133 H262s2] (1).
|
|
1582.
|
Real-time object uniform design methodology with UML
by Duc, Bui Minh. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxxiii, 480p.Publisher: Netherland Springer 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.2732 D854r] (1).
|
|
1583.
|
Introduction to reliable and secure distributed programming
by Cachin, Christian | Guerraoui, Rachid. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xix, 367p.Publisher: Berlin Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.39 C113i2] (1).
|
|
1584.
|
Multiparadigm constraint programming languages
by Hofstedt, Petra. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 180 p.Publisher: Heidelberg Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.116 H677m] (1).
|
|
1585.
|
Software engineering with OBJ
: algebraic specification in action
by | Goguen, Joseph., Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxvi, 410p.Publisher: Boston Kluwer Academic 2000Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 So23] (1).
|
|
1586.
|
Microcontroller programming
: an introduction
by Rizvi, Syed R. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxv, 520p.Publisher: Boca Raton Crc Press 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.895 R529m] (1).
|
|
1587.
|
Applied evolutionary algorithms in Java
by Ghanea-Hercock, Robert. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 219p.Publisher: New York Springer 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 G341a] (1).
|
|
1588.
|
A primer on scientific programming with Python
by Langtangen, Hans Petter. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxvii, 693p.Publisher: Berlin Springer 2009Availability: No items available Checked out (1).
|
|
1589.
|
Interior-point polynomial algorithms in convex programming
by Nesterov, Yurii | Nemirovskii, Arkadii. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix, 405p.Publisher: Philadelphia Society For Industrial And Applied Mathematics 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.76 N376i] (1).
|
|
1590.
|
Fully abstract models of programming languages
by Stoughton, Allen. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 123p.Publisher: London Pitman Publishing 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.13 St76f] (1).
|
|
1591.
|
Inheritance hierarchies in knowledge representation and programming languages
by | Lenzerini, Maurizio, Ed | Nardi, Daniele, Ed | Simi, Maria, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 310p.Publisher: Chichester John Wiley & Sons 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.33 In4] (1).
|
|
1592.
|
Mixed integer nonlinear programming
by | Lee, Jon, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvii, 690p.Publisher: Berlin Springer 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.76 M699] (1).
|
|
1593.
|
Computer graphics
: theory and practice
by Gomes Jonas | Velho, Luiz. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xx, 524p.Publisher: Boca Raton Crc Press 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.6 G585c] (1).
|
|
1594.
|
Programming with higher-order logic
by Miller, Dale | Nadathur, Gopalan. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 306p.Publisher: Cambridge Cambridge University Press 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.15 M613p] (1).
|
|
1595.
|
DSP architecture design essentials
by Markovic, Dejan | Broderson, Robert W. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 351p.Publisher: New York Springer 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.3822 M342d] (1).
|
|
1596.
|
Stochastic programming
by | Ruszczynski, A., Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 688p.Publisher: Amsterdam Elsevier 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.7 St62] (1).
|
|
1597.
|
Distributed programming
: theory and practice
by Shankar, A. Udaya. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii, 383p.Publisher: New York Springer 2013Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 Sh18d] (1).
|
|
1598.
|
An introduction to modern mathematical computing with mathematica
by Borwein, Jonathan M | Skerritt, Matthew P. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi, 224p.Publisher: New York Springer 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 B81i] (1).
|
|
1599.
|
Practical foundations for programming languages
by Harper, Robert. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii, 471p.Publisher: Cambridge Cambridge University Press 2013Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.13 H231p] (1).
|
|
1600.
|
Introduction to the art of programming using scala
by Lewis, Mark C. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxxiv, 902p.Publisher: Boca Raton Crc Press 2013Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.114 L587i] (1).
|