|
4461.
|
Computer network time synchronization
: the network time protocol on earth and in space
by Mills, David L. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xxvii, 466p.Publisher: Boca Raton Crc Press 2011Availability: No items available
|
|
4462.
|
Compiler design
: virtual machines
by Wilhelm, Reinhard | Seidl, Helmut. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 187p.Publisher: Berlin Springer 2010Availability: No items available
|
|
4463.
|
Documenting software architectures
: views and beyond [2nd ed.]
by Clements, Paul | Bachmann, Felix | Bass, Len | Garlan, David. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxxix, 537p.Publisher: New Jersey Addison-Wesley 2011Availability: No items available
|
|
4464.
|
Machine learning for vision-based motion analysis
: theory and techniques
by | Wang, Liang, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 372p.Publisher: London Springer-Verlag 2011Availability: No items available
|
|
4465.
|
Practical guide to computer simulations
by Hartmann, Alexander K. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 368p.Publisher: Singapore World Scientific 2009Availability: No items available
|
|
4466.
|
Discrete calculus
: applied analysis on graphs for computational science
by Grady, Leo J | Polimeni, Jonathan R. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi, 366p.Publisher: Berlin Springer 2010Availability: No items available
|
|
4467.
|
Relational mathematics
by Schmidt, Gunther. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 567p.Publisher: Cambridge Cambridge University Press 2011Availability: No items available
|
|
4468.
|
Modern computer arithmetic
by Brent, Richard P | Zimmermann, Paul. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi, 221p.Publisher: Cambridge Cambridge University Press 2011Availability: No items available
|
|
4469.
|
Computational vision and medical image processing
: recent trends
by | Tavares, Joao Manuel R. S., Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix, 349p.Publisher: Dordrecht Springer 2011Availability: No items available
|
|
4470.
|
Handbook of natural language processing
by | Indurkhya, Nitin, Ed. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xxiii, 678p.Publisher: Boca Raton Crc Press 2010Availability: No items available
|
|
4471.
|
Digital image processing and analysis
: human and computer vision applications with CVIPtools
by Umbaugh, Scott E. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xx, 955p.Publisher: Boca Raton Crc Press 2011Availability: No items available
|
|
4472.
|
Deploying IPv6 in broadband access networks
by Ahmed, Adeel | Asadullah, Salman. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii, 213p.Publisher: New Jersey John Wiley & Sons 2009Availability: No items available
|
|
4473.
|
Enterprise cloud computing
: technology, architecture, applications
by Shroff, Gautam. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi, 273p.Publisher: Cambridge Cambridge University Press 2010Availability: No items available
|
|
4474.
|
Complex intelligent systems and their applications
by | Xhafa, Fatos, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 271p.Publisher: New York Springer 2010Availability: No items available
|
|
4475.
|
Computer vision
: algorithms and applications
by Szeliski, Richard. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xx, 812p.Publisher: London Springer 2011Availability: No items available
|
|
4476.
|
Mathematica
: a problem-centered approach
by Hazrat, Roozbeh. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 188p.Publisher: London Springer 2010Availability: No items available
|
|
4477.
|
Principles of model checking
by Baier, Christel | Katoen, Joost-Pieter. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvii, 975p.Publisher: Cambridge The Mit Press 2008Availability: No items available
|
|
4478.
|
Neural-based orthogonal data fitting
: the EXIN neural networks
by Cirrincione, Giansalvo | Cirrincione, Maurizio. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii, 243p.Publisher: Hoboken John Wiley 2010Availability: No items available
|
|
4479.
|
Multi-core embedded systems
by | Karnaros, Georgios, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxix, 471p.Publisher: Boca Raton Crc Press 2010Availability: No items available
|
|
4480.
|
Modeling in event-B
: system and software engineering
by Abrial, Jean-Raymond. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxvi, 586p.Publisher: Cambridge Cambridge University Press 2010Availability: No items available
|