|
101.
|
Gizopoulos / Advances in ElectronicTesting
: [electronic resource] /
by Gizopoulos, Dimitris [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXV, 412 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).
|
|
102.
|
Scalable Hardware Verification with Symbolic Simulation
: [electronic resource] /
by Bertacco, Valeria [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; 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).
|
|
103.
|
Constraint-Based Verification
: [electronic resource] /
by Yuan, Jun [author.] | Pixley, Carl [author.] | Aziz, Adnan [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 254 p. 72 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).
|
|
104.
|
Fault-Tolerance Techniques for SRAM-based FPGAs
: [electronic resource] /
by Kastensmidt, Fernanda Lima [author.] | Carro, Luigi [author.] | Reis, Ricardo [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 184 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).
|
|
105.
|
Digital Timing Measurements
: From Scopes and Probes to Timing and Jitter /
: [electronic resource] :
by Maichen, Wolfgang [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 240 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).
|
|
106.
|
Effective Functional Verification
: Principles and Processes /
: [electronic resource] :
by Vasudevan, Srivatsa [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXIV, 256 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).
|
|
107.
|
Digital Phase Lock Loops
: Architectures and Applications /
: [electronic resource] :
by Al-araji, Saleh R [author.] | Hussain, Zahir M [author.] | Al-qutayri, Mahmoud A [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 192 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).
|
|
108.
|
Abstraction Refinement for Large Scale Model Checking
: [electronic resource] /
by Wang, Chao [author.] | Hachtel, Gary D [author.] | Somenzi, Fabio [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 179 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).
|
|
109.
|
Hardware Verification with C++
: A Practitioner’s Handbook /
: [electronic resource] :
by Mintz, Mike [author.] | Ekendahl, Robert [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXI, 341 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).
|
|
110.
|
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; Format:
electronic
available online
; 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).
|
|
111.
|
Fuzzy Modeling and Fuzzy Control
: [electronic resource] /
by Zhang, Huaguang [author.] | Liu, Derong [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 416 p. online resource.Publisher: Boston, MA : Birkhäuser Boston, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
112.
|
Coordinated Multiuser Communications
: [electronic resource] /
by Schlegel, Christian [author.] | Grant, Alex [author.2] | SpringerLink (Online service)0. Source: Springer eBooks0Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 270 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).
|
|
113.
|
Recent Developments of Electrical Drives
: Best papers from the International Conference on Electrical Machines ICEM’04 /
: [electronic resource] :
by Wiak, S [editor.] | Dems, M [editor.] | Komęza, K [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 460 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).
|
|
114.
|
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).
|
|
115.
|
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).
|
|
116.
|
Autotuning of PID Controllers
: A Relay Feedback Approach /
: [electronic resource] :
by Yu, Cheng-Ching [author.] | SpringerLink (Online service). Edition: 2nd Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 261 p. 140 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).
|
|
117.
|
Digital Control Systems
: Design, Identification and Implementation /
: [electronic resource] :
by Landau, Ioan D [author.] | Gianluca, Zito [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXIV, 484 p. 238 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).
|
|
118.
|
Blind Equalization and System Identification
: Batch Processing Algorithms, Performance and Applications /
: [electronic resource] :
by Chi, Chong-Yung [author.] | Chen, Chii-Horng [author.] | Feng, Chih-Chun [author.] | Chen, Ching-Yung [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 469 p. 112 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).
|
|
119.
|
Measurement, Control, and Communication Using IEEE 1588
: [electronic resource] /
by Eidson, John C [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 284 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).
|
|
120.
|
Robust Control of Time-delay Systems
: [electronic resource] /
by Zhong, Qing-Chang [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXII, 231 p. 79 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).
|