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

Your search returned 143 results. Subscribe to this search

|
101. A Practical Introduction to PSL : [electronic resource] /

by Eisner, Cindy [author.] | Fisman, Dana [author.] | SpringerLink (Online service).

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

102. 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 Book; Format: electronic available online remote; 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).

103. 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 Book; Format: electronic available online remote; 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).

104. Innovation in Life Cycle Engineering and Sustainable Development : [electronic resource] /

by Brissaud, Daniel [editor.] | Tichkiewitch, Serge [editor.] | Zwolinski, Peggy [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVIII, 448 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).

105. A Roadmap for Formal Property Verification : [electronic resource] /

by DasGupta, Pallab [author.] | SpringerLink (Online service).

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

106. 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 Book; Format: electronic available online remote; 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).

107. Innovations in Design & Decision Support Systems in Architecture and Urban Planning : [electronic resource] /

by Leeuwen, Jos P. Van [editor.] | Timmermans, Harry J. P [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXII, 502 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).

108. Design Computing and Cognition ’06 : [electronic resource] /

by GERO, JOHN S [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 714 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).

109. Assembly Line Design : The Balancing of Mixed-Model Hybrid Assembly Lines with Genetic Algorithms / : [electronic resource] :

by Rekiek, Brahim [author.] | Delchambre, Alain [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVIII, 160 p. 95 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).

110. Condition Monitoring and Control for Intelligent Manufacturing : [electronic resource] /

by Wang, Lihui [editor.] | Gao, Robert X [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XX, 400 p. 261 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).

111. Practical Grey-box Process Identification : Theory and Applications / : [electronic resource] :

by Bohlin, Torsten [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XX, 351 p. 186 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).

112. The Structure of Paintings : [electronic resource] /

by Leyton, Michael [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: VI, 237 p. With numerous illus., partly in color. 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).

113. Feature Extraction : Foundations and Applications / : [electronic resource] :

by Guyon, Isabelle [editor.1] | Nikravesh, Masoud [editor.1] | Gunn, Steve [editor.1] | Zadeh, Lotfi A [editor.2] | SpringerLink (Online service)0.

Source: Springer eBooks0Material type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXIV, 778 p. 14 illus. in color. 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).

114. Inverse Problems in Electric Circuits and Electromagnetics : [electronic resource] /

by Chechurin, V. L [author.] | Korovkin, N. V [author.] | Hayakawa, M [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 332 p. online resource.Publisher: Boston, MA : Springer US, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

115. CMOS Current-Mode Circuits for Data Communications : [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, 290 p. online resource.Publisher: Boston, MA : Springer US, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

116. Routing Congestion in VLSI Circuits: Estimation and Optimization : [electronic resource] /

by Saxena, Prashant [author.] | Shelar, Rupesh S [author.] | Sapatnekar, Sachin S [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIV, 250 p. online resource.Publisher: Boston, MA : Springer US, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

117. Dynamics of Microelectromechanical Systems : [electronic resource] /

by Lobontiu, Nicolae [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: X, 403 p. online resource.Publisher: Boston, MA : Springer US, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

118. Closing the Power Gap Between ASIC & Custom : Tools and Techniques for Low Power Design / : [electronic resource] :

by Chinnery, David [author.] | Keutzer, Kurt [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 388 p. 138 illus. online resource.Publisher: Boston, MA : Springer US, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

119. Verilog and SystemVerilog Gotchas : 101 Common Coding Errors and How to Avoid Them / : [electronic resource] :

by Sutherland, Stuart [author.] | Mills, Don [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXII, 218 p. online resource.Publisher: Boston, MA : Springer US, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

120. Hardware Verification with SystemVerilog : An Object-Oriented Framework / : [electronic resource] :

by Mintz, Mike [author.] | Ekendahl, Robert [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXII, 314 p. online resource.Publisher: Boston, MA : Springer US, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Powered by Koha