Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Your search returned 475 results. Subscribe to this search

|
121. Embedded multiprocessors : scheduling and synchronization

by Sriram, Sundararajan | Bhattacharyya, Shuvra S.

Edition: 2ndMaterial type: book 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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).

Powered by Koha