|
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: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.62 M624c2] (1).
|
|
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: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.453 W649c] (1).
|
|
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: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.15 D659s2 cop.1] (2).
|
|
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: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.37 M184] (1).
|
|
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: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.13 H255p] (1).
|
|
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: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 518.1 G178d] (1).
|
|
4467.
|
Relational mathematics
by Schmidt, Gunther. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 567p.Publisher: Cambridge Cambridge University Press 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.0151 Sch53r] (1).
|
|
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: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.0151 B752m] (1).
|
|
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: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.37 C739] (1).
|
|
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 Checked out (1).
|
|
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: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.37 Um1d2 with CD-ROM] (1).
|
|
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: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.38212 Ah52d] (1).
|
|
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: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.36 Sh87e] (2).
|
|
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: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.33 C738] (1).
|
|
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: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.37 Sz25c] (1).
|
|
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: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.28553 H339m] (1).
|
|
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 Checked out (1).
|
|
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: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.32 C496n] (1).
|
|
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: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.16 M919] (1).
|
|
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: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.0151 Ab87m] (1).
|