Refine your search

Your search returned 65 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.
Embedded Systems – Modeling, Technology, and Applications [electronic resource] / edited by Günter Hommel, Sheng Huanye.

by Hommel, Günter [editor.] | Huanye, Sheng [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, 2006Online access: Click here to access online Availability: No items available :

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

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

5.
From scientific instrument to industrial machine [electronic resource] : Coping with architectural stress in embedded systems / edited by Richard Doornbos, Sjir van Loo.

by Doornbos, Richard [editor.] | van Loo, Sjir [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, 2012Online access: Click here to access online Availability: No items available :

6.
Hybrid Systems: Computation and Control [electronic resource] : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004. Proceedings / edited by Rajeev Alur, George J. Pappas.

by Alur, Rajeev [editor.] | Pappas, George J [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 :

7.
Dependable Computing EDCC-4 [electronic resource] : 4th European Dependable Computing Conference Toulouse, France, October 23–25, 2002 Proceedings / edited by Andrea Bondavalli, Pascale Thevenod-Fosse.

by Bondavalli, Andrea [editor.] | Thevenod-Fosse, Pascale [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, 2002Online access: Click here to access online Availability: No items available :

8.
Parallel Computing Technologies [electronic resource] : Third International Conference, PaCT-95 St. Petersburg, Russia, September 12–25, 1995 Proceedings / edited by Victor Malyshkin.

by Malyshkin, Victor [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, 1995Online access: Click here to access online Availability: No items available :

9.
Dependable Computing [electronic resource] : First Latin-American Symposium, LADC 2003, São Paulo, Brazil, October 21-24, 2003. Proceedings / edited by Rogério Lemos, Taisy Silva Weber, João Batista Camargo.

by Lemos, Rogério [editor.] | Weber, Taisy Silva [editor.] | Camargo, João Batista [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 :

10.
On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors [electronic resource] / edited by Matthias Pflanz.

by Pflanz, Matthias [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, 2002Online access: Click here to access online Availability: No items available :

11.
Embedded Processor Design Challenges [electronic resource] : Systems, Architectures, Modeling, and Simulation — SAMOS / edited by Ed F. Deprettere, Jürgen Teich, Stamatis Vassiliadis.

by Deprettere, Ed F [editor.] | Teich, Jürgen [editor.] | Vassiliadis, Stamatis [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, 2002Online access: Click here to access online Availability: No items available :

12.
PARLE '89 Parallel Architectures and Languages Europe [electronic resource] : Volume I: Parallel Architectures Eindhoven, The Netherlands, June 12–16, 1989 Proceedings / edited by Eddy Odijk, Martin Rem, Jean-Claude Syre.

by Odijk, Eddy [editor.] | Rem, Martin [editor.] | Syre, Jean-Claude [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, 1989Online access: Click here to access online Availability: No items available :

13.
PARLE '91 Parallel Architectures and Languages Europe [electronic resource] : Volume I: Parallel Architectures and Algorithms Eindhoven, The Netherlands, June 10–13, 1991 Proceedings / edited by Emile H. L. Aarts, Jan Leeuwen, Martin Rem.

by Aarts, Emile H. L [editor.] | Leeuwen, Jan [editor.] | Rem, Martin [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, 1991Online access: Click here to access online Availability: No items available :

14.
PARLE '91 Parallel Architectures and Languages Europe [electronic resource] : Volume II: Parallel Languages Eindhoven, The Netherlands, June 10–13, 1991 Proceedings / edited by Emile H. L. Aarts, Jan Leeuwen, Martin Rem.

by Aarts, Emile H. L [editor.] | Leeuwen, Jan [editor.] | Rem, Martin [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, 1991Online access: Click here to access online Availability: No items available :

15.
PARLE '93 Parallel Architectures and Languages Europe [electronic resource] : 5th International PARLE Conference Munich, Germany, June 14–17, 1993 Proceedings / edited by Arndt Bode, Mike Reeve, Gottfried Wolf.

by Bode, Arndt [editor.] | Reeve, Mike [editor.] | Wolf, Gottfried [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, 1993Online access: Click here to access online Availability: No items available :

16.
Dependable Computing — EDCC-3 [electronic resource] : Third European Dependable Computing Conference Prague, Czech Republic, September 15–17, 1999 Proceedings / edited by Jan Hlavička, Erik Maehle, András Pataricza.

by Hlavička, Jan [editor.] | Maehle, Erik [editor.] | Pataricza, András [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, 1999Online access: Click here to access online Availability: No items available :

17.
High-Performance Computing and Networking [electronic resource] : International Conference and Exhibition Munich, Germany, April 18–20, 1994 Proceedings, Volume I: Applications / edited by Wolfgang Gentzsch, Uwe Harms.

by Gentzsch, Wolfgang [editor.] | Harms, Uwe [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, 1994Online access: Click here to access online Availability: No items available :

18.
High-Performance Computing and Networking [electronic resource] : International Conference and Exhibition Munich, Germany, April 18–20, 1994 Proceedings Volume II: Networking and Tools / edited by Wolfgang Gentzsch, Uwe Harms.

by Gentzsch, Wolfgang [editor.] | Harms, Uwe [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, 1994Online access: Click here to access online Availability: No items available :

19.
PARLE'94 Parallel Architectures and Languages Europe [electronic resource] : 6th International PARLE Conference Athens, Greece, July 4–8, 1994 Proceedings / edited by Costas Halatsis, Dimitrios Maritsas, George Philokyprou, Sergios Theodoridis.

by Halatsis, Costas [editor.] | Maritsas, Dimitrios [editor.] | Philokyprou, George [editor.] | Theodoridis, Sergios [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, 1994Online access: Click here to access online Availability: No items available :

20.
Dependable Computing — EDCC-1 [electronic resource] : First European Dependable Computing Conference Berlin, Germany, October 4–6, 1994 Proceedings / edited by Klaus Echtle, Dieter Hammer, David Powell.

by Echtle, Klaus [editor.] | Hammer, Dieter [editor.] | Powell, David [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, 1994Online access: Click here to access online Availability: No items available :

21.
Dependable Computing — EDCC-2 [electronic resource] : Second European Dependable Computing Conference Taormina, Italy, October 2–4, 1996 Proceedings / edited by Andrzej Hlawiczka, João Gabriel Silva, Luca Simoncini.

by Hlawiczka, Andrzej [editor.] | Silva, João Gabriel [editor.] | Simoncini, Luca [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, 1996Online access: Click here to access online Availability: No items available :

22.
Parallel Computer Architectures [electronic resource] : Theory, Hardware, Software, Applications / edited by Arndt Bode, Mario Cin.

by Bode, Arndt [editor.] | Cin, Mario [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 : Imprint: Springer, 1993Online access: Click here to access online Availability: No items available :

23.
Embedded Software and Systems [electronic resource] : First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers / edited by Zhaohui Wu, Chun Chen, Minyi Guo, Jiajun Bu.

by Wu, Zhaohui [editor.] | Chen, Chun [editor.] | Guo, Minyi [editor.] | Bu, Jiajun [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, 2005Online access: Click here to access online Availability: No items available :

24.
Dependable Computing - EDCC 5 [electronic resource] : 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005. Proceedings / edited by Mario Cin, Mohamed Kaâniche, András Pataricza.

by Cin, Mario [editor.] | Kaâniche, Mohamed [editor.] | Pataricza, András [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, 2005Online access: Click here to access online Availability: No items available :

25.
Dependable Computing [electronic resource] : Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings / edited by Carlos Alberto Maziero, João Gabriel Silva, Aline Maria Santos Andrade, Flávio Morais Assis Silva.

by Maziero, Carlos Alberto [editor.] | Gabriel Silva, João [editor.] | Andrade, Aline Maria Santos [editor.] | Assis Silva, Flávio Morais [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, 2005Online 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