|
121.
|
Embedded multiprocessors
: scheduling and synchronization
by Sriram, Sundararajan | Bhattacharyya, Shuvra S. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xxii, 361p.Publisher: Boca Raton Crc Press 2009Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.16 Sr36e2] (1).
|
|
122.
|
Embedded systems handbook [2v.]
by Zurawski, Richard [ed.]. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: 2v. (various paging).Publisher: Boca Raton CRC Press 2009Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 004.16 Em13z2] (2).
|
|
123.
|
Ambient intelligence with microsystems
: augmented materials and smart objects
by Delaney, Kieran. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 421p.Publisher: New York Springer 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.21 D373a] (1).
|
|
124.
|
Model-based design for embedded systems
by Nicolescu, Gabriela | Mosterman, Pieter J. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxiv, 739p.Publisher: Boca Raton Crc Press 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.16 N544m] (1).
|
|
125.
|
Principles of transaction processing
by Bernstein, Philip A | Newcomer, Eric. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Publisher: Amsterdam Elsevier 2009Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.434 B458p2] (1).
|
|
126.
|
Embedded system design
: modeling, synthesis and verification
by | Gajski, Daniel D. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxiv, 352p.Publisher: New York Springer Science+Media 2009Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.392 Em13] (1).
|
|
127.
|
Embedded systems design with platform FPGAs
: principles and practices
by Sass, Ron | Schmidt, Andrew G. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 389p.Publisher: Amsterdam Elsevier 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.16 Sa79e] (1).
|
|
128.
|
Remote instrumentation services on the e-infrastructure
: applications and tools
by | Davoli, Franco, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvii, 325p.Publisher: New York Springer Science 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.36 R288] (1).
|
|
129.
|
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).
|
|
130.
|
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).
|
|
131.
|
Performance modeling and engineering
by | Liu , Zhen, Ed | Xia, Cathy H., Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi, 219p.Publisher: Berlin Springer 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.24 P416] (1).
|
|
132.
|
Tangible user interfaces
: past, present and future directions
by Shaer, Orit | Hornecker, Eva. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 141p.Publisher: Boston Now Publishers 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.019 Sh12t] (1).
|
|
133.
|
Verification and validation in systems engineering
: assessing UML/SysML design models
by Debbabi, Mourad | Jarraya, Yosr | Soeanu, Andrei | Hassaine, Fawzi. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxvi, 248p.Publisher: Berlin Springer 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.24 V588] (1).
|
|
134.
|
Market-oriented grid and utility computing
by Buyya, Rajkumar, Ed | Buyya, Rajkumar, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxiv, 643p.Publisher: New York John Wiley & Sons 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.36 M341] (1).
|
|
135.
|
Guide to e science
: next generation scientific research and discovery
by Yang, Xiaoyu [ed.] | Wang, Lizhe [ed.] | Jie, Wei [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxvii, 538p.Publisher: London Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.6 G941] (1).
|
|
136.
|
Grid and cloud database management
by | Fiore, Sandro, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 353p.Publisher: Berlin Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.74 G871] (1).
|
|
137.
|
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).
|
|
138.
|
Sketch-based interfaces and modeling
by | Jorge, Joaquim, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 402p.Publisher: London Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.437 Sk2] (1).
|
|
139.
|
Brain-computer interfaces
: revolutionizing human-computer interaction
by Graimann, Bernhard [ed.] | Allison, Brendan [ed.] | Pfurtscheller, Gert [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 392p.Publisher: Berlin Springer 2010Availability: No items available Checked out (1).
|
|
140.
|
Mobile intention recognition
by Kiefer, Peter. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi, 166p.Publisher: New York Springer 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004 K542m] (1).
|