|
261.
|
A Roadmap for Formal Property Verification
: [electronic resource] /
by DasGupta, Pallab [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 252 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).
|
|
262.
|
Fast, Efficient and Predictable Memory Accesses
: Optimization Algorithms for Memory Architecture Aware Compilation /
: [electronic resource] :
by Wehmeyer, Lars [author.] | Marwedel, Peter [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 258 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).
|
|
263.
|
Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms
: [electronic resource] /
by Kogel, Tim [author.] | Leupers, Rainer [author.] | Meyr, Heinrich [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 186 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).
|
|
264.
|
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; Format:
electronic
available online
; 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).
|
|
265.
|
Ad Hoc Networking Towards Seamless Communications
: [electronic resource] /
by Gavrilovska, Liljana [author.] | Prasad, Ramjee [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXVII, 284 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).
|
|
266.
|
IQ CALIBRATION TECHNIQUES FOR CMOS RADIO TRANSCEIVERS
: [electronic resource] /
by Chen, Sao-Jie [author.] | Hsieh, Yong-Hsiang [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIX, 89 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).
|
|
267.
|
RF POWER AMPLIFIERS FOR MOBILE COMMUNICATIONS
: [electronic resource] /
by Reynaert, Patrick [author.] | Steyaert, Michiel [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 250 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).
|
|
268.
|
Design Automation Methods and Tools for Microfluidics-Based Biochips
: [electronic resource] /
by Chakrabarty, Krishnendu [editor.] | Zeng, Jun [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: IX, 403 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).
|
|
269.
|
Analog Circuit Design
: High-Speed A-D Converters, Automotive Electronics and Ultra-Low Power Wireless /
: [electronic resource] :
by Van Roermund, Arthur H.M [editor.] | Casier, Herman [editor.] | Steyaert, Michiel [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 402 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).
|
|
270.
|
Adaptive Low-Power Circuits for Wireless Communications
: [electronic resource] /
by Tasić, Aleksandar [author.] | Serdijn, Wouter A [author.] | Long, John R [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XV, 221 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).
|
|
271.
|
PRECISION TEMPERATURE SENSORS IN CMOS TECHNOLOGY
: [electronic resource] /
by Pertijs, Michiel A.P [author.] | Huijsing, Johan H [author.2] | SpringerLink (Online service)0. Source: Springer eBooks0Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 292 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).
|
|
272.
|
Oscillation-Based Test in Mixed-Signal Circuits
: [electronic resource] /
by Sánchez, Gloria Huertas [author.] | García de la Vega, Diego Vázquez [author.] | Rueda, Adoración Rueda [author.] | Díaz, José Luis Huertas [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 452 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).
|
|
273.
|
Essential Issues in SOC Design
: Designing Complex Systems-on-Chip /
: [electronic resource] :
by Lin, Youn-Long Steve [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VII, 403 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).
|
|
274.
|
Integrated Circuit Test Engineering
: Modern Techniques /
: [electronic resource] :
by Grout, Ian A [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; 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).
|
|
275.
|
Piezoelectric Transducers for Vibration Control and Damping
: [electronic resource] /
by Moheimani, S. O. Reza [author.] | Fleming, Andrew J [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 271 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).
|
|
276.
|
Electronics Process Technology
: Production Modelling, Simulation and Optimisation /
: [electronic resource] :
by Sauer, Wilfried [author.] | Oppermann, Martin [author.] | Werner, Sebastian [author.] | Wohlrabe, Heinz [author.] | Zerna, Thomas [author.] | Weigert, Gerald [author.] | Wolter, Klaus-Jürgen [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 482 p. 281 illus. 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).
|
|
277.
|
Robot Motion and Control
: Recent Developments /
: [electronic resource] :
by Kozłowski, Krzysztof [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XV, 404 p. 200 illus. 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).
|
|
278.
|
Control Design Techniques in Power Electronics Devices
: [electronic resource] /
by Sira-Ramírez, Hebertt [author.] | Silva-Ortigoza, Ramón [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 424 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).
|
|
279.
|
Microsystems Mechanical Design
: [electronic resource] /
by Bona, Francesco De [editor.] | Enikov, Eniko T [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VIII, 212 p. 172 illus. online resource.Publisher: Vienna : Springer Vienna, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
280.
|
Continuous-Time Sigma-Delta A/D Conversion
: Fundamentals, Performance Limits and Robust Implementations /
: [electronic resource] :
by Ortmanns, Maurits [author.] | Gerfers, Friedel [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXII, 242 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|