Refine your search

Your search returned 19 results. Subscribe to this search

|
1. HDL chip design : a practical guide for designing, synthesizing, and simulating ASICs and FPGAs using VHDL or Verilog Douglas J. Smith ; foreword by Alex Zamfirescu

Smith, Douglas J | Zamfirescu, Alex.

Edition: 9th printingMaterial type: book Book Publisher: Madison, AL : Doone Publications, 2001Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1). Location(s): 681.3.06/SMI/hdl.

Place hold Log in to add tags. Add to cart
2. Applications of Evolutionary Computing (vol. # 3449) [Recurso electrónico] / Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC edited by JÃơrgen BrankeStefano Cagnoni, David W. Corne, Rolf Drechsler et al.

Branke, JÃơrgen | Cagnoni, Stefano | Corne, David W | Drechsler, Rolf | Jin, Yaochu | Machado, Penousal | Marchiori, Elena | Romero, Juan | Rothlauf, Franz | Smith, George D | Squillero, Giovanni | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

3. Dependable Computing - EDCC 2005 [Recurso electrónico] / 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings edited by Mario Dal Cin, Mohamed KaÃØniche, András Pataricza.

Dal Cin, Mario | KaÃØniche, Mohamed | Pataricza, András | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

4. Embedded Computer Systems: Architectures, Modeling, and Simulation (vol. # 3553) [Recurso electrónico] / 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings edited by Timo D. HÃÞmÃÞlÃÞinen, Andy D. Pimentel, Jarmo Taka

HÃÞmÃÞlÃÞinen, Timo D | Pimentel, Andy D | Takala, Jarmo | Vassiliadis, Stamatis | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

5. Correct Hardware Design and Verification Methods [Recurso electrónico] / 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, SaarbrÃơcken, Germany, October 3-6, 2005, Proceedings edited by Dominique Borrione, Wolfgang Paul.

Borrione, Dominique | Paul, Wolfgang | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

6. Advanced Parallel Processing Technologies [Recurso electrónico] / 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005, Proceedings edited by Jiannong Cao, Wolfgang Nejdl, Ming Xu.

Cao, Jiannong | Nejdl, Wolfgang | Xu, Ming | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

7. Power-Aware Computer Systems (vol. # 3471) [Recurso electrónico] / 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers edited by Babak Falsafi, T.N. Vijaykumar.

Falsafi, Babak | Vijaykumar, T.N | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

8. Applications of Evolutionary Computing (vol. # 3907) [Recurso electrónico] / EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006, Proceedings edited by Franz Roth

Rothlauf, Franz | Branke, JÃơrgen | Cagnoni, Stefano | Costa, Ernesto | Cotta, Carlos | Drechsler, Rolf | Lutton, Evelyne | Machado, Penousal | Moore, Jason H | Romero, Juan | Smith, George D | Squillero, Giovanni | Takagi, Hideyuki | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

9. Embedded Computer Systems: Architectures, Modeling, and Simulation (vol. # 4017) [Recurso electrónico] / 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings edited by Stamatis Vassiliadis, Stephan Wong, Timo D

Vassiliadis, Stamatis | HÃÞmÃÞlÃÞinen, Timo D | Wong, Stephan | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

10. Reconfigurable Computing: Architectures and Applications [Recurso electrónico] / Second International Workshop, ARC 2006, Delft, The Netherlands, March 1-3, 2006 Revised Selected Papers edited by Koen Bertels, João M.P. Cardoso, Stamatis Vas

Bertels, Koen | Cardoso, João M.P | Vassiliadis, Stamatis | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

11. Embedded Computer Systems: Architectures, Modeling, and Simulation [Recurso electrónico] : 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007. Proceedings. Stamatis Vassiliadis, Mladen Berekovic, Timo D. HÃÞmÃÞlÃÞinen.

Vassiliadis, Stamatis | Berekovic, Mladen | HÃÞmÃÞlÃÞinen, Timo D | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

12. Power Electronics and Instrumentation Engineering [Recurso electrónico] : International Conference, PEIE 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings / edited by Vinu V Das, Janahanlal Stephen, Nessy Thankachan.

Das, Vinu V | Stephen, Janahanlal | Thankachan, Nessy | SpringerLink (Online service).

Source: Springer eBooksMaterial type: computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Texto completo Availability: No items available

13. Advances in Power Electronics and Instrumentation Engineering [Recurso electrónico] : Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings / edited by Vinu V Das, Nessy Thankachan, Narayan C. Debnath.

Das, Vinu V | Thankachan, Nessy | Debnath, Narayan C | SpringerLink (Online service).

Source: Springer eBooksMaterial type: computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Texto completo Availability: No items available

14. Bio-Inspired Technologies for the Hardware of Adaptive Systems [Recurso electrónico] : Real-World Implementations and Applications / by Mircea Gh. Negoita, Sorin Hintea.

Negoita, Mircea Gh | Hintea, Sorin | SpringerLink (Online service).

Source: Springer eBooksMaterial type: computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Texto completo Availability: No items available

15. Information Technology [Recurso electrónico] : Selected Tutorials / edited by Ricardo Reis.

Reis, Ricardo | SpringerLink (Online service).

Source: Springer eBooksMaterial type: computer file Computer file; Format: electronic Publisher: Boston, MA : Springer Science + Business Media, Inc., 2004Online access: Texto completo Availability: No items available

16. Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management [Recurso electrónico] : Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 15â€{u1DEC} 2006, Shanghai, China / edited by Kesheng Wang, George L. Kovacs, Michael Wozny, Minglun Fang.

Wang, Kesheng | Kovacs, George L | Wozny, Michael | Fang, Minglun | SpringerLink (Online service).

Source: Springer eBooksMaterial type: computer file Computer file; Format: electronic Publisher: Boston, MA : International Federation for Information Processing, 2006Online access: Texto completo Availability: No items available

17. Quantum Communication and Quantum Networking [Recurso electrónico] : First International Conference, QuantumComm 2009, Naples, Italy, October 26-30, 2009, Revised Selected Papers / edited by Alexander Sergienko, Saverio Pascazio, Paolo Villoresi.

Sergienko, Alexander | Pascazio, Saverio | Villoresi, Paolo | SpringerLink (Online service).

Source: Springer eBooksMaterial type: computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010Online access: Texto completo Availability: No items available

18. Architecture Description Languages [Recurso electrónico] : IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22â€{u2DEC} 2004, Toulouse, France / edited by Pierre Dissaux, Mamoun Filali-Amine, Pierre Michel, FranÃ{u00A7}ois Vernadat.

Dissaux, Pierre | Filali-Amine, Mamoun | Michel, Pierre | Vernadat, FranÃ{u00A7}ois | SpringerLink (Online service).

Source: Springer eBooksMaterial type: computer file Computer file; Format: electronic Publisher: Boston, MA : International Federation for Information Processing, 2005Online access: Texto completo Availability: No items available

19. Computer Aided Verification [Recurso electrónico] : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings / edited by P. Madhusudan, Sanjit A. Seshia.

Madhusudan, P | Seshia, Sanjit A.

Material type: book Book; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

Powered by Koha