Refine your search

Your search returned 322 results. Subscribe to this search

|
1. Logical design of digital systems / Arthur D. Friedman

Friedman, Arthur Daniel.

Material type: book Book Publisher: London : Pitman, 1977Availability: Items available for reference: 02. BIBLIOTECA CAMPUS PUERTO REAL [Call number: Matemáticas - 519.68/FRI/log] (1). Location(s): Matemáticas - 519.68/FRI/log.

Log in to add tags. Add to cart
2. 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.

3. Digital logic and microprocessor design with VHDL / Enoch O. Hwang.

Hwang, Enoch O.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Toronto, Ont. : Thomson/Nelson, c2006Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (5). Items available for reference: 03. BIBLIOTECA INGENIERÍA PUERTO REAL [Call number: 681.3.06VHDL/HWA/dig] (1).
Location(s): 681.3.06VHDL/HWA/dig.

4. Lógica digital y diseño de computadores / M. Morris Mano ; traducción de Jaime Alberto Valbuena Z.

Mano, M. Morris.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: México : Prentice-Hall Hispanoamericana, c1982Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1). Location(s): Depósito-681.32/MOR/log.

5. Object-Oriented Technology. ECOOP 2004 Workshop Reader [Recurso electrónico] / ECOOP 2004 Workshop, Oslo, Norway, June 14-18, 2004, Final Reports edited by Jacques Malenfant, Bjarte M. Ãs̃tvold.

Malenfant, Jacques | Ãs̃tvold, Bjarte M | 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. Global Computing [Recurso electrónico] / IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers edited by Corrado Priami, Paola Quaglia.

Priami, Corrado | Quaglia, Paola | 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. Inconsistency Tolerance [Recurso electrónico] / edited by Leopoldo Bertossi, Anthony Hunter, Torsten Schaub.

Bertossi, Leopoldo | Hunter, Anthony | Schaub, Torsten | 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. Agent-Oriented Software Engineering V [Recurso electrónico] / 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers edited by Paolo Giorgini, JÃœrg, P. MÃơller, James Odell.

Giorgini, Paolo | MÃơller, JÃœrg, P | Odell, James | 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

9. Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3362) [Recurso electrónico] / International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers edited by Gilles BartheLilian

Barthe, Gilles | Burdy, Lilian | Huisman, Marieke | Lanet, Jean-Louis | Muntean, Traian | 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

10. Verification, Model Checking, and Abstract Interpretation (vol. # 3385) [Recurso electrónico] / 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings edited by Radhia Cousot.

Cousot, Radhia | 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

11. Practical Aspects of Declarative Languages (vol. # 3350) [Recurso electrónico] / 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings edited by Daniel Cabeza, Manuel Hermenegildo.

Cabeza, Daniel | Hermenegildo, Manuel | 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

12. Programming Multi-Agent Systems (vol. # 3346) [Recurso electrónico] / Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers edited by Rafael H. Bordini, Mehdi Dastani, JÃơrgen Dix, Amal El

Bordini, Rafael H | Dastani, Mehdi | Dix, JÃơrgen | Seghrouchni, Amal El Fallah | 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

13. Formal Methods in Software and Systems Modeling [Recurso electrónico] / Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday edited by Hans-JÃœrg KreowskiUgo Montanari, Fernando Orejas, Grzegorz Rozenberg et al.

Kreowski, Hans-JÃœrg | Montanari, Ugo | Orejas, Fernando | Rozenberg, Grzegorz | Taentzer, Gabriele | 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

14. Agent Communication [Recurso electrónico] / International Workshop on Agent Communication, AC 2004, New York, NY, July 19, 2004 edited by Frank Dignum, Marc-Philippe Huget, Rogier M. van Eijk.

Dignum, Frank | Huget, Marc-Philippe | van Eijk, Rogier M | 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

15. Multiparadigm Programming in Mozart [Recurso electrónico] / Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers edited by Peter Van Roy.

Van Roy, Peter | 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

16. Hybrid Systems: Computation and Control (vol. # 3414) [Recurso electrónico] / 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings edited by Manfred Morari, Francesca Rossi, Lothar Thiele.

Morari, Manfred | Rossi, Francesca | Thiele, Lothar | 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

17. Formal Approaches to Software Testing (vol. # 3395) [Recurso electrónico] / 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers edited by Jens Grabowski, Brian Nielsen.

Grabowski, Jens | Nielsen, Brian | 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

18. Recent Advances in Constraints (vol. # 3419) [Recurso electrónico] / Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and

Fages, FranÃ{u00A7}ois | Faltings, Boi | Petcu, Adrian | Rossi, Francesca | 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

19. Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452) [Recurso electrónico] / 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings edited by Franz Baader, Andrei Voronkov.

Baader, Franz | Voronkov, Andrei | 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

20. Adaptive Agents and Multi-Agent Systems II [Recurso electrónico] / Adaptation and Multi-Agent Learning edited by Eduardo Alonso, Dimitar Kazakov, Daniel Kudenko.

Alonso, Eduardo | Kazakov, Dimitar | Kudenko, Daniel | 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

Powered by Koha