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

Your search returned 215 results. Subscribe to this search

|
101. Standardized Functional Verification : [electronic resource] /

by Wiemann, Alan [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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).

Powered by Koha