|
101.
|
Standardized Functional Verification
: [electronic resource] /
by Wiemann, Alan [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 276 p. online resource.Publisher: Boston, MA : Springer US, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
102.
|
Rapid Prototyping of Digital Systems
: [electronic resource] /
by Hamblen, James O [author.] | Hall, Tyson S [author.] | Furman, Michael D [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVII, 411 p. online resource.Publisher: Boston, MA : Springer US, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
103.
|
Nanometer Technology Designs High-Quality Delay Tests
: [electronic resource] /
by Tehranipoor, Mohammad [author.] | Ahmed, Nisar [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 281 p. 140 illus. online resource.Publisher: Boston, MA : Springer US, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
104.
|
Low-Power High-Level Synthesis for Nanoscale CMOS Circuits
: [electronic resource] /
by Patra, Priyardarsan [author.] | Kougianos, Elias [author.] | Ranganathan, Nagarajan [author.] | Mohanty, Saraju P [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXXII, 302 p. 20 illus. online resource.Publisher: Boston, MA : Springer US, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
105.
|
CMOS Active Inductors and Transformers
: Principle, Implementation, and Applications /
: [electronic resource] :
by Yuan, Fei [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 292 p. online resource.Publisher: Boston, MA : Springer US, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
106.
|
System Verilog for Verification
: A Guide to Learning the Testbench Language Features /
: [electronic resource] :
by Spear, Chris [author.] | SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXXVI, 429 p. 5 illus. online resource.Publisher: Boston, MA : Springer US, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
107.
|
Functional Verification Coverage Measurement and Analysis
: [electronic resource] /
by Piziali, Andrew [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 216 p. online resource.Publisher: Boston, MA : Springer US, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
108.
|
Product Engineering
: Tools and Methods Based on Virtual Reality /
: [electronic resource] :
by Talaba, Doru [editor.] | Amditis, Angelos [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 566 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
109.
|
Reverse Engineering
: An Industrial Perspective /
: [electronic resource] :
by Raja, Vinesh [editor.] | Fernandes, Kiran J [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 242 p. online resource.Publisher: London : Springer London, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
110.
|
3D Manufacturing Innovation
: Revolutionary Change in Japanese Manufacturing with Digital Data /
: [electronic resource] :
by Toriya, Hiroshi [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 155 p. online resource.Publisher: London : Springer London, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
111.
|
Production Planning in Production Networks
: Models for Medium and Short-term Planning /
: [electronic resource] :
by Argoneto, Pierluigi [editor.] | Perrone, Giovanni [editor.] | Renna, Paolo [editor.] | Nigro, Giovanna Lo [editor.] | Bruccoleri, Manfredi [editor.] | Diega, Sergio Noto La [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 256 p. online resource.Publisher: London : Springer London, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
112.
|
Designing Inclusive Futures
: [electronic resource] /
by Langdon, Patrick [editor.] | Clarkson, John [editor.] | Robinson, Peter [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 274 p. 91 illus. online resource.Publisher: London : Springer London, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
113.
|
Global Design to Gain a Competitive Edge
: An Holistic and Collaborative Design Approach based on Computational Tools /
: [electronic resource] :
by Yan, Xiu-Tian [editor.] | Ion, William J [editor.] | Eynard, Benoit [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIX, 888 p. online resource.Publisher: London : Springer London, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
114.
|
Advanced Design and Manufacture to Gain a Competitive Edge
: New Manufacturing Techniques and their Role in Improving Enterprise Performance /
: [electronic resource] :
by Yan, Xiu-Tian [editor.] | Jiang, Chengyu [editor.] | Eynard, Benoit [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 891 p. online resource.Publisher: London : Springer London, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
115.
|
Self-Adaptive Heuristics for Evolutionary Computation
: [electronic resource] /
by Kramer, Oliver [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 182 p. 39 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
116.
|
Rough – Granular Computing in Knowledge Discovery and Data Mining
: [electronic resource] /
by Stepaniuk, Jarosław [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 162 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
117.
|
Recent Advances in Evolutionary Computation for Combinatorial Optimization
: [electronic resource] /
by Cotta, Carlos [editor.] | Hemert, Jano van [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVII, 337 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
118.
|
Soft Computing for Hybrid Intelligent Systems
: [electronic resource] /
by Castillo, Oscar [editor.] | Melin, Patricia [editor.] | Kacprzyk, Janusz [editor.] | Pedrycz, Witold [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 448 p. 385 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
119.
|
Soft Methods for Handling Variability and Imprecision
: [electronic resource] /
by Dubois, Didier [editor.] | Lubiano, M. Asunción [editor.] | Prade, Henri [editor.] | Gil, María Ángeles [editor.] | Grzegorzewski, Przemysław [editor.] | Hryniewicz, Olgierd [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXII, 436 p. 45 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
120.
|
Linkage in Evolutionary Computation
: [electronic resource] /
by Chen, Ying-ping [editor.] | Lim, Meng-Hiot [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 488 p. 227 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|