|
|
1.
|
Logical design of digital systems / Arthur D. Friedman Friedman, Arthur Daniel. Material type:  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.
|
|
|
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 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; 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; 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; Format:
electronic
available online
 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; Format:
electronic
available online
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; Format:
electronic
available online
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; Format:
electronic
available online
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; Format:
electronic
available online
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; Format:
electronic
available online
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; Format:
electronic
available online
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; Format:
electronic
available online
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; Format:
electronic
available online
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; Format:
electronic
available online
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; Format:
electronic
available online
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; Format:
electronic
available online
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; Format:
electronic
available online
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; Format:
electronic
available online
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; Format:
electronic
available online
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; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available
|
