Refine your search

Your search returned 1359 results.

Not what you expected? Check for suggestions
1.
System Level Design of Reconfigurable Systems-on-Chip [electronic resource] / edited by Nikolaos S. Voros, Konstantinos Masselos.

by Voros, Nikolaos S [editor.] | Masselos, Konstantinos [editor.] | 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.
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 :

3.
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 :

4.
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 :

5.
Optimized ASIP Synthesis from Architecture Description Language Models [electronic resource] / by Oliver Schliebusch, Heinrich Meyr, Rainer Leupers.

by Schliebusch, Oliver [author.] | Meyr, Heinrich [author.] | Leupers, Rainer [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 :

6.
Advanced Memory Optimization Techniques for Low-Power Embedded Processors [electronic resource] / by Manish Verma, Peter Marwedel.

by Verma, Manish [author.] | Marwedel, Peter [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 :

7.
Real-Time Object Uniform Design Methodology with UML [electronic resource] / edited by Bui Minh Duc.

by Duc, Bui Minh [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 :

8.
Exploring C for Microcontrollers [electronic resource] : A Hands on Approach / by Jivan S. Parab, Vinod G. Shelake, Rajanish K. Kamat, Gourish M. Naik.

by Parab, Jivan S [author.] | Shelake, Vinod G [author.] | Kamat, Rajanish K [author.] | Naik, Gourish M [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 :

9.
Advances in Design and Specification Languages for Embedded Systems [electronic resource] : Selected Contributions from FDL'06 / edited by Sorin A. Huss.

by Huss, Sorin A [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 :

10.
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 :

11.
Digital VLSI Design with Verilog [electronic resource] : A Textbook from Silicon Valley Technical Institute / by John Williams.

by Williams, John [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, 2008Online access: Click here to access online Availability: No items available :

12.
Generating Hardware Assertion Checkers [electronic resource] : For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring / by Marc Boulé, Zeljko Zilic.

by Boulé, Marc [author.] | Zilic, Zeljko [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, 2008Online access: Click here to access online Availability: No items available :

13.
Languages for Embedded Systems and their Applications [electronic resource] : Selected Contributions on Specification, Design, and Verification from FDL’08 / edited by Martin Radetzki.

by Radetzki, Martin [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, 2009Online access: Click here to access online Availability: No items available :

14.
Distributed Embedded Control Systems [electronic resource] : Improving Dependability with Coherent Design / by Matjaž Colnarič, Domen Verber, Wolfgang A. Halang.

by Colnarič, Matjaž [author.] | Verber, Domen [author.] | Halang, Wolfgang A [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, 2008Online access: Click here to access online Availability: No items available :

15.
Interfacing with C++ [electronic resource] : Programming Real-World Applications / by Jayantha Katupitiya, Kim Bentley.

by Katupitiya, Jayantha [author.] | Bentley, Kim [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, 2006Online access: Click here to access online Availability: No items available :

16.
Dynamically Reconfigurable Systems [electronic resource] : Architectures, Design Methods and Applications / edited by Marco Platzner, Jürgen Teich, Norbert Wehn.

by Platzner, Marco [editor.] | Teich, Jürgen [editor.] | Wehn, Norbert [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, 2010Online access: Click here to access online Availability: No items available :

17.
Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s [electronic resource] : Selected Contributions on Specification, Design, and Verification from FDL 2009 / edited by Dominique Borrione.

by Borrione, Dominique [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 : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available :

18.
Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems [electronic resource] / by Paul Lokuciejewski, Peter Marwedel.

by Lokuciejewski, Paul [author.] | Marwedel, Peter [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 : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available :

19.
Ubiquitous Information Technologies and Applications [electronic resource] : CUTE 2012 / edited by Youn-Hee Han, Doo-Soon Park, Weijia Jia, Sang-Soo Yeo.

by Han, Youn-Hee [editor.] | Park, Doo-Soon [editor.] | Jia, Weijia [editor.] | Yeo, Sang-Soo [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 : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :

20.
The Cray X-MP/Model 24 [electronic resource] : A Case Study in Pipelined Architecture and Vector Processing / by Kay A. Robbins, Steven Robbins.

by Robbins, Kay A [author.] | Robbins, Steven [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 :

21.
Computing in the 90's [electronic resource] : The First Great Lakes Computer Science Conference Kalamazoo, Michigan, USA, October 18–20, 1989 Proceedings / edited by Naveed A. Sherwani, Elise Doncker, John A. Kapenga.

by Sherwani, Naveed A [editor.] | Doncker, Elise [editor.] | Kapenga, John A [editor.] | 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, 1991Online access: Click here to access online Availability: No items available :

22.
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 23rd Conference, Mumbai, India, December 15-17, 2003. Proceedings / edited by Paritosh K. Pandya, Jaikumar Radhakrishnan.

by Pandya, Paritosh K [editor.] | Radhakrishnan, Jaikumar [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, 2003Online access: Click here to access online Availability: No items available :

23.
Logic Programming [electronic resource] : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003. Proceedings / edited by Catuscia Palamidessi.

by Palamidessi, Catuscia [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, 2003Online access: Click here to access online Availability: No items available :

24.
Formal Approaches to Software Testing [electronic resource] : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Revised Papers / edited by Alexandre Petrenko, Andreas Ulrich.

by Petrenko, Alexandre [editor.] | Ulrich, Andreas [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.
Agent-Oriented Software Engineering IV [electronic resource] : 4th InternationalWorkshop, AOSE 2003, Melbourne, Australia, July 15, 2003. Revised Papers / edited by Paolo Giorgini, Jörg P. Müller, James Odell.

by Giorgini, Paolo [editor.] | Müller, Jörg P [editor.] | Odell, James [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