|
|
4561.
|
Specification of software systems
by Alagar, V.S | Periyasamy, K. Edition: 2ndMaterial type:  Book; Format:
print
; Literary form:
not fiction
Description: xxv, 644p.Publisher: London Springer-Verlag 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 Al11s2] (1).
|
|
|
4562.
|
Rigorous software development
: an introduction to program verification
by Almeida, Jose Bacelar | Frade, Maria João | Pinto, Jorge Sousa | Melo de Sousa, Simão. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 263p.Publisher: London Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.14 R449] (1).
|
|
|
4563.
|
Applications of pulse-coupled neural networks
by Ma, Yide | Zhan, Kun. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 199p.Publisher: Berlin Springer-Verlag 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.32 M11a] (1).
|
|
|
4564.
|
Agile software development
: the cooperative game
by Cockburn, Alistair. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xxxiv, 467p.Publisher: New Jersey Addison-Wesley 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 C64a2] (1).
|
|
|
4565.
|
Intelligence-based systems engineering
by | Tolk, Andreas, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxiii, 342p.Publisher: Berlin Springer-Verlag 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 620.001171 In8] (1).
|
|
|
4566.
|
Sport materials, modelling and simulation
: selected peer reviewed papers from the 2011
by | International Conference on Sport Material, Modelling and Simulation Shenzhen, China 2011 | Wu, Yanwen, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi, 840p.Publisher: Switzerland Trans Tech Publications 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 688.7 In8s] (1).
|
|
|
4567.
|
Experimental design from user studies to psychophysics
by Cunningham, Douglas W | Wallraven, Christian. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 393p.Publisher: Boca Raton Crc Press 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.57 C917e] (1).
|
|
|
4568.
|
Solving numerical PDEs
: problems, applications, exercises
by Formaggia, Luca | Saleri, Fausto. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 434p.Publisher: Italia Springer 2012Availability: No items available Checked out (1).
|
|
|
4569.
|
Statistics and data analysis for microarrays using R and bioconductor
by Draghici, Sorin. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xlviii, 1042p.Publisher: Boca Raton Crc Press 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 572.8626 D875s2] (1).
|
|
|
4570.
|
Scheduling in distributed computing systems
: analysis, design and models (a research monograph)
by | Vidyarthi, Deo Prakash. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 295p.Publisher: New York Springer 2009Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.36 Sch22] (1).
|
|
|
4571.
|
Advanced topics in bisimulation and coinduction
by | Sangiorgi, Davide, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 326p.Publisher: Cambridge Cambridge University Press 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.015113 Ad95] (1).
|
|
|
4572.
|
Topics in discrete mathematics
: dedicated to Jarik Nesetril on the occasion of his 60th birthday
by | Klazar, Martin, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 627p.Publisher: Berlin Springer 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.1 T624] (1).
|
|
|
4573.
|
An R companion to linear statistical models
by Hay-Jahans, Christopher. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvii, 354p.Publisher: Boca Raton Crc Press 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.502855133 H322r] (1).
|
|
|
4574.
|
Modern Fortran
: style and usage
by Clerman, Norman S | Spector, Walter. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 334p.Publisher: Cambridge Cambridge University Press 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.133 C597m] (1).
|
|
|
4575.
|
Real-time 3D character animation with visual C++
by Lever, Nik. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii, 471p.Publisher: Oxford Focal Press 2002Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.6633 L576r] (1).
|
|
|
4576.
|
Animating with flash MX
: professional creative animation techniques
by Michael, Alex. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 433p.Publisher: Oxford Focal Press 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.696 M582a] (1).
|
|
|
4577.
|
Metaheuristics for scheduling in industrial and manufacturing applications
by | Xhafa, Fatos, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxiii, 346 p.Publisher: Berlin Springer 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 M564] (1).
|
|
|
4578.
|
OpenCV 2 computer vision application programming cookbook
: over 50 recipes to master this library of programming functions for real-time computer vision
by Laganiere, Robert. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 287p.Publisher: Birmingham Packt Publishing 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.37 L135o] (1).
|
|
|
4579.
|
Scheduling for parallel processing
by Drozdowski, Maciej. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 386p.Publisher: London Springer 2009Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.35 D839s] (1).
|
|
|
4580.
|
Practical software testing
: a process-oriented appoach
by Burnstein, Ilene. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxi, 709p.Publisher: New Delhi Springer 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.14 B937p] (1).
|
