|
|
5501.
|
Adaptive Techniques for Mixed Signal System on Chip
: [electronic resource] /
by Fayed, Ayman [author.] | Ismail, Mohammed [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
not fiction
Description: XIII, 178 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).
|
|
|
5502.
|
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).
|
|
|
5503.
|
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).
|
|
|
5504.
|
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; Format:
electronic
available online
; 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).
|
|
|
5505.
|
High-Performance Energy-Efficient Microprocessor Design
: [electronic resource] /
by Oklobdzija, Vojin G [editor.] | Krishnamurthy, Ram K [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 338 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).
|
|
|
5506.
|
Broadband Fixed Wireless Access
: A System Perspective /
: [electronic resource] :
by Engels, Marc [author.] | Petr�, Frederik [author.2 ] | SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 212 p. online resource.Boston, MA : Springer US, 2006. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
5507.
|
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).
|
|
|
5508.
|
The Core Test Wrapper Handbook
: Rationale and Application of IEEE Std. 1500™ /
: [electronic resource] :
by Silva, Francisco da [author.] | McLaurin, Teresa [author.] | Waayers, Tom [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXIX, 276 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).
|
|
|
5509.
|
Feedforward Amplifiers for Wideband Communication Systems
: [electronic resource] /
by Legarda, Jon [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 178 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).
|
|
|
5510.
|
A Practical Introduction to PSL
: [electronic resource] /
by Eisner, Cindy [author.] | Fisman, Dana [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 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).
|
|
|
5511.
|
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).
|
|
|
5512.
|
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).
|
|
|
5513.
|
Fundamentals of Multibody Dynamics
: Theory and Applications /
: [electronic resource] :
by Amirouche, Farid M. L [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 684 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).
|
|
|
5514.
|
Linear Systems
: [electronic resource] /
by Antsaklis, Panos J [author.] | Michel, Anthony N [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 672 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).
|
|
|
5515.
|
Neural Networks and Sea Time Series
: Reconstruction and Extreme-Event Analysis /
: [electronic resource] :
by Tirozzi, Brunello [author.] | Puca, Silvia [author.] | Pittalis, Stefano [author.] | Bruschi, Antonello [author.] | Morucci, Sara [author.] | Ferraro, Enrico [author.] | Corsini, Stefano [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 180 p. 64 illus. 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).
|
|
|
5516.
|
Supervisory Control of Concurrent Systems
: A Petri Net Structural Approach /
: [electronic resource] :
by Iordache, Marian V [author.] | Antsaklis, Panos J [author.2] | SpringerLink (Online service)0. Source: Springer eBooks0Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 286 p. 100 illus. 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).
|
|
|
5517.
|
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).
|
|
|
5518.
|
Analog Circuit Design
: RF Circuits: Wide band, Front-Ends, DAC's, Design Methodology and Verification for RF and Mixed-Signal Systems, Low Power and Low Voltage /
: [electronic resource] :
by Steyaert, Michiel [editor.] | Huijsing, Johan H [editor.] | van Roermund, Arthur H.M [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).
|
|
|
5519.
|
Human Interaction with Machines
: Proceedings of the 6th International Workshop held at the Shanghai Jiao Tong University, March 15–16, 2005 /
: [electronic resource] :
by Hommel, G [editor.] | Huanye, Sheng [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 188 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).
|
|
|
5520.
|
Human-Like Biomechanics
: A Unified Mathematical Approach to Human Biomechanics and Humanoid Robotics /
: [electronic resource] :
by Ivancevic, Vladimir G [author.] | Ivancevic, Tijana T [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 470 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).
|
