PKK Library

Your cart is empty.

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

Your search returned 71 results. Subscribe to this search

Unhighlight Highlight
|
41.
SystemC Kernel Extensions for Heterogeneous System Modeling : A framework for Multi-MoC Modeling & Simulation / : [electronic resource] :

by Patel, Hiren D [author.] | Shukla, Sandeep K [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXXII, 172 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
42.
System-level Test and Validation of Hardware/Software Systems : [electronic resource] /

by Sonza Reorda, Matteo [editor.] | Peng, Zebo [editor.] | Violante, Massimo [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 179 p. online resource.Publisher: London : Springer London, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
43.
Systemverilog for Verification : A Guide to Learning the Testbench Language Features / : [electronic resource] :

by Spear, Chris [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXXIV, 302 p. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
44.
Leakage in Nanometer CMOS Technologies : [electronic resource] /

by Narendra, Siva G [author.] | Chandrakasan, Anantha [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: X, 308 p. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
45.
Fully-Depleted SOI CMOS Circuits and Technology : for Ultralow-Power Applications / : [electronic resource] :

by Sakurai, Takayasu [author.] | Matsuzawa, Akira [author.] | Douseki, Takakuni [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XV, 411 p. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
46.
Interconnect Noise Optimization in Nanometer Technologies : [electronic resource] /

by Elgamel, Mohamed A [author.] | Bayoumi, Magdy A [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIX, 137 p. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
47.
Scalable Hardware Verification with Symbolic Simulation : [electronic resource] /

by Bertacco, Valeria [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XX, 180 p. 40 illus. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
48.
Software-Implemented Hardware Fault Tolerance : [electronic resource] /

by Goloubeva, Olga [author.] | Rebaudengo, Maurizio [author.] | Reorda, Matteo Sonza [author.] | Violante, Massimo [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIV, 228 p. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
49.
SystemVerilog for Design : A Guide to Using SystemVerilog for Hardware Design and Modeling / : [electronic resource] :

by Sutherland, Stuart [author.] | Davidmann, Simon [author.] | Flake, Peter [author.] | SpringerLink (Online service).

Edition: Second Edition.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXX, 418 p. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
50.
Applications of Specification and Design Languages for SoCs : Selected papers from FDL 2005 / : [electronic resource] :

by Vachoux, A [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXII, 312 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
51.
Platform Based Design at the Electronic System Level : Industry Perspectives and Experiences / : [electronic resource] :

by Burton, Mark [author.] | Morawiec, Adam [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: X, 100 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
52.
Integrated Circuit Test Engineering : Modern Techniques / : [electronic resource] :

by Grout, Ian A [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXX, 362 p. online resource.Publisher: London : Springer London, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
53.
Hard Disk Drive Servo Systems : [electronic resource] /

by Chen, Ben M [author.] | Peng, Kemao [author.] | Lee, Tong H [author.] | Venkataramanan, Venkatakrishnan [author.] | SpringerLink (Online service).

Edition: 2nd Edition.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVIII, 310 p. online resource.Publisher: London : Springer London, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
54.
CMOS Current-Mode Circuits for Data Communications : [electronic resource] /

by Yuan, Fei [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVIII, 290 p. online resource.Publisher: Boston, MA : Springer US, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
55.
Ultra-Low Voltage Nano-Scale Memories : [electronic resource] /

by Itoh, Kiyoo [editor.] | Horiguchi, Masashi [editor.] | Tanaka, Hitoshi [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XI, 346 p. 290 illus. online resource.Publisher: Boston, MA : Springer US, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
56.
CMOS Biotechnology : [electronic resource] /

by Lee, Hakho [editor.] | Westervelt, Robert M [editor.] | Ham, Donhee [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XV, 385 p. online resource.Publisher: Boston, MA : Springer US, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
57.
Closing the Power Gap Between ASIC & Custom : Tools and Techniques for Low Power Design / : [electronic resource] :

by Chinnery, David [author.] | Keutzer, Kurt [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 388 p. 138 illus. online resource.Publisher: Boston, MA : Springer US, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
58.
Verilog and SystemVerilog Gotchas : 101 Common Coding Errors and How to Avoid Them / : [electronic resource] :

by Sutherland, Stuart [author.] | Mills, Don [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXII, 218 p. online resource.Publisher: Boston, MA : Springer US, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
59.
Hardware Verification with SystemVerilog : An Object-Oriented Framework / : [electronic resource] :

by Mintz, Mike [author.] | Ekendahl, Robert [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXII, 314 p. online resource.Publisher: Boston, MA : Springer US, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
60.
Low Power Methodology Manual : For System-on-Chip Design / : [electronic resource] :

by Keating, Michael [author.] | Flynn, David [author.] | Aitken, Robert [author.] | Gibbons, Alan [author.] | Shi, Kaijian [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVI, 300 p. online resource.Publisher: Boston, MA : Springer US, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart

Powered by Koha