|
|
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: No items available
|
|
|
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: No items available
|
|
|
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: No items available
|
|
|
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: No items available
|
|
|
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: No items available
|
|
|
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: No items available
|
|
|
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: No items available
|
|
|
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
|
|
|
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: No items available
|
|
|
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: No items available
|
|
|
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: No items available
|
|
|
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: No items available
|
|
|
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: No items available
|
|
|
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: No items available
|
|
|
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: No items available
|
|
|
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: No items available
|
|
|
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: No items available
|
|
|
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: No items available
|
|
|
4579.
|
Scheduling for parallel processing
by Drozdowski, Maciej. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 386p.Publisher: London Springer 2009Availability: No items available
|
|
|
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: No items available
|
