|
|
1.
|
Logical design of digital systems / Arthur D. Friedman by Friedman, Arthur Daniel. Material type:  Text 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.
|
Theorem Proving in Higher Order Logics [Recurso electrónico] : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings / edited by Klaus Schneider, Jens Brandt. by Schneider, Klaus | Brandt, Jens | SpringerLink (Online service). Source: Springer e-booksMaterial type:  Computer file; Format:
electronic
available online
 Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available
|
|
|
3.
|
Job Scheduling Strategies for Parallel Processing (vol. # 3277) [Recurso electrónico] / 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, Revised Selected Papers edited by Dror Feitelson, Larry Rudolph, Uwe Schwiegels by Feitelson, Dror | Rudolph, Larry | Schwiegelshohn, Uwe | 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
|
|
|
4.
|
Theorem Proving in Higher Order Logics [Recurso electrónico] / 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings edited by Joe Hurd, Tom Melham. by Hurd, Joe | Melham, Tom | 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
|
|
|
5.
|
Computer Aided Verification (vol. # 4144) [Recurso electrónico] / 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings edited by Thomas Ball, Robert B. Jones. by Ball, Thomas | Jones, Robert B | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available
|
|
|
6.
|
Computer Aided Verification (vol. # 3576) [Recurso electrónico] / 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings edited by Kousha Etessami, Sriram K. Rajamani. by Etessami, Kousha | Rajamani, Sriram K | 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.
|
Computer Aided Verification [Recurso electrónico] : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings / edited by Werner Damm, Holger Hermanns. by Damm, Werner | Hermanns, Holger | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available
|
|
|
8.
|
Job Scheduling Strategies for Parallel Processing (vol. # 3834) [Recurso electrónico] / 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers edited by Dror Feitelson, Eitan Frachtenberg, Larry Ru by Feitelson, Dror | Frachtenberg, Eitan | Rudolph, Larry | Schwiegelshohn, Uwe | 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.
|
|
|
|
10.
|
Evolvable Systems: From Biology to Hardware [Recurso electrónico] / 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005, Proceedings edited by Jordi Cosp, Jordi Madrenas, J. Manuel Moreno. by Cosp, Jordi | Madrenas, Jordi | Moreno, J. 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
|
|
|
11.
|
Progress in VLSI Design and Test [Recurso electrónico] : 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings / edited by Hafizur Rahaman, Sanatan Chattopadhyay, Santanu Chattopadhyay. by Rahaman, Hafizur | Chattopadhyay, Sanatan | Chattopadhyay, Santanu. Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available
|
|
|
12.
|
Evolvable Systems: From Biology to Hardware [Recurso electrónico] : 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007 Proceedings / edited by Lishan Kang, Yong Liu, Sanyou Zeng. by Kang, Lishan | Liu, Yong | Zeng, Sanyou | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available
|
|
|
13.
|
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. by Das, Vinu V | Stephen, Janahanlal | Thankachan, Nessy | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Texto completo Availability: No items available
|
|
|
14.
|
Dependable Computing [Recurso electrónico] : Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings / edited by Andrea Bondavalli, Francisco Brasileiro, Sergio Rajsbaum. by Bondavalli, Andrea | Brasileiro, Francisco | Rajsbaum, Sergio | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available
|
|
|
15.
|
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (vol. # 4148) [Recurso electrónico] / 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006, Proceedings edited by Joh by Vounckx, Johan | Azemard, Nadine | Maurine, Philippe | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available
|
|
|
16.
|
Advances in Computer Systems Architecture (vol. # 4186) [Recurso electrónico] / 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006, Proceedings edited by Chris Jesshope, Colin Egan. by Jesshope, Chris | Egan, Colin | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available
|
|
|
17.
|
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. by Das, Vinu V | Thankachan, Nessy | Debnath, Narayan C | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Texto completo Availability: No items available
|
|
|
18.
|
|
|
|
19.
|
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (vol. # 3728) [Recurso electrónico] / 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings edited by Vassili by Paliouras, Vassilis | Verkest, Diederik | Vounckx, Johan | 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.
|
Dependable Computing [Recurso electrónico] / Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings edited by Aline Maria Santos Andrade, Flávio Morais de Assis Silva, Carlos Alberto Maziero, João Gabri by Andrade, Aline Maria Santos | Assis Silva, Flávio Morais de | Maziero, Carlos Alberto | Silva, João Gabriel | 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
|