Refine your search

Your search returned 144 results.

Not what you expected? Check for suggestions
1.
Functional Verification of Programmable Embedded Architectures [electronic resource] : A Top-Down Approach / by Prabhat Mishra, Nikil D. Dutt.

by Mishra, Prabhat [author.] | Dutt, Nikil D [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Boston, MA : Springer US, 2005Online access: Click here to access online Availability: No items available :

2.
The Finite Element Method and Applications in Engineering Using Ansys® [electronic resource] / by Erdogan Madenci, Ibrahim Guven.

by Madenci, Erdogan [author.] | Guven, Ibrahim [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available :

3.
Design of Embedded Control Systems [electronic resource] / by Marian Andrzej Adamski, Andrei Karatkevich, Marek Wegrzyn.

by Adamski, Marian Andrzej [author.] | Karatkevich, Andrei [author.] | Wegrzyn, Marek [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Boston, MA : Springer US, 2005Online access: Click here to access online Availability: No items available :

4.
Embedded System Design [electronic resource] / by Peter Marwedel.

by Marwedel, Peter [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available :

5.
A Practical Introduction to PSL [electronic resource] / by Cindy Eisner, Dana Fisman.

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

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available :

6.
Hardware Verification with C++ [electronic resource] : A Practitioner’s Handbook / by Mike Mintz, Robert Ekendahl.

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

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available :

7.
Hardware Verification with SystemVerilog [electronic resource] : An Object-Oriented Framework / by Mike Mintz, Robert Ekendahl.

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

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Boston, MA : Springer US, 2007Online access: Click here to access online Availability: No items available :

8.
An Introduction to Meshfree Methods and Their Programming [electronic resource] / by G.R. Liu, Y.T. Gu.

by Liu, G.R [author.] | Gu, Y.T [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Dordrecht : Springer Netherlands, 2005Online access: Click here to access online Availability: No items available :

9.
A Roadmap for Formal Property Verification [electronic resource] / by Pallab DasGupta.

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

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Dordrecht : Springer Netherlands, 2006Online access: Click here to access online Availability: No items available :

10.
Design for Manufacturability and Yield for Nano-Scale CMOS [electronic resource] / by Charles C. Chiang, Jamil Kawa.

by Chiang, Charles C [author.] | Kawa, Jamil [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available :

11.
Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms [electronic resource] / edited by Zhe Ma, Pol Marchal, Daniele Paolo Scarpazza, Peng Yang, Chun Wong, José Ignacio Gómez, Stefaan Himpe, Chantal Ykman- Couvreur, Francky Catthoor.

by Ma, Zhe [editor.] | Marchal, Pol [editor.] | Scarpazza, Daniele Paolo [editor.] | Yang, Peng [editor.] | Wong, Chun [editor.] | Gómez, José Ignacio [editor.] | Himpe, Stefaan [editor.] | Couvreur, Chantal Ykman- [editor.] | Catthoor, Francky [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available :

12.
Hardware Software Co-Design of a Multimedia SOC Platform [electronic resource] / by Sao-Jie Chen, Guang-Huei Lin, Pao-Ann Hsiung, Yu-Hen Hu.

by Chen, Sao-Jie [author.] | Lin, Guang-Huei [author.] | Hsiung, Pao-Ann [author.] | Hu, Yu-Hen [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: No items available :

13.
Designing Inclusive Systems [electronic resource] : Designing Inclusion for Real-world Applications / edited by Patrick Langdon, John Clarkson, Peter Robinson, Jonathan Lazar, Ann Heylighen.

by Langdon, Patrick [editor.] | Clarkson, John [editor.] | Robinson, Peter [editor.] | Lazar, Jonathan [editor.] | Heylighen, Ann [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: London : Springer London, 2012Online access: Click here to access online Availability: No items available :

14.
Designing with video [electronic resource] : Focusing the user-centred design process / by Salu Ylirisku, Jacob Buur.

by Ylirisku, Salu [author.] | Buur, Jacob [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: London : Springer London, 2007Online access: Click here to access online Availability: No items available :

15.
Designing Inclusive Interactions [electronic resource] : Inclusive Interactions Between People and Products in Their Contexts of Use / edited by Patrick Martin Langdon, Peter John Clarkson, Peter Robinson.

by Langdon, Patrick Martin [editor.] | Clarkson, Peter John [editor.] | Robinson, Peter [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: London : Springer London, 2010Online access: Click here to access online Availability: No items available :

16.
Similarity and Modeling in Science and Engineering [electronic resource] / by Josef Kuneš.

by Kuneš, Josef [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cambridge : Cambridge International Science Publishing Ltd, 2012Online access: Click here to access online Availability: No items available :

17.
The Structure of Paintings [electronic resource] / by Michael Leyton.

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

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Vienna : Springer Vienna, 2006Online access: Click here to access online Availability: No items available :

18.
AMST’05 Advanced Manufacturing Systems and Technology [electronic resource] : Proceedings of the Seventh International Conference / edited by Elso Kuljanic.

by Kuljanic, Elso [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Vienna : Springer Vienna, 2005Online access: Click here to access online Availability: No items available :

19.
Preventive Biomechanics [electronic resource] : Optimizing Support Systems for the Human Body in the Lying and Sitting Position / by Gerhard Silber, Christophe Then.

by Silber, Gerhard [author.] | Then, Christophe [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :

20.
Collaborative Design in Virtual Environments [electronic resource] / edited by Xiangyu Wang, Jerry Jen-Hung Tsai.

by Wang, Xiangyu [editor.] | Tsai, Jerry Jen-Hung [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available :

21.
Advances on Modeling in Tissue Engineering [electronic resource] / edited by Paulo R. Fernandes, Paulo Jorge Bártolo.

by Fernandes, Paulo R [editor.] | Bártolo, Paulo Jorge [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available :

22.
Error Detection and Recovery in Robotics [electronic resource] / by Bruce R. Donald.

by Donald, Bruce R [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: New York, NY : Springer New York, 1989Online access: Click here to access online Availability: No items available :

23.
Large-Scale Scientific Computing [electronic resource] : 4th International Conference, LSSC 2003, Sozopol, Bulgaria, June 4-8, 2003. Revised Papers / edited by Ivan Lirkov, Svetozar Margenov, Jerzy Waśniewski, Plamen Yalamov.

by Lirkov, Ivan [editor.] | Margenov, Svetozar [editor.] | Waśniewski, Jerzy [editor.] | Yalamov, Plamen [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: No items available :

24.
Field Programmable Logic and Application [electronic resource] : 14th International Conference, FPL 2004, Leuven, Belgium, August 30-September 1, 2004. Proceedings / edited by Jürgen Becker, Marco Platzner, Serge Vernalde.

by Becker, Jürgen [editor.] | Platzner, Marco [editor.] | Vernalde, Serge [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: No items available :

25.
Formal Methods in Computer-Aided Design [electronic resource] : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings / edited by Alan J. Hu, Andrew K. Martin.

by Hu, Alan J [editor.] | Martin, Andrew K [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: No items available :


Implemented and Maintained by Biju Patnaik Central Library.
For any Suggestions/Query Contact to library or Email: library@nitrkl.ac.in OR bpcl-cir@nitrkl.ac.in. Ph:91+6612462103
Website/OPAC best viewed in Mozilla Browser in 1366X768 Resolution.

Powered by Koha