Resultados
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Automated theorem proving : theory and practice / Monty Newborn por Newborn, Monty. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Detalles de publicación: New York : Springer, 2000Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (2)Ubicación, signatura topográfica: Depósito-681.3/NEW/aut, ...
|
|
|
Metadata and Semantics Research [Recurso electrónico] : 6th Research Conference, MTSR 2012, Cádiz, Spain, November 28-30, 2012. Proceedings / edited by Juan Manuel Dodero, Manuel Palomo-Duarte, Pythagoras Karampiperis. por Dodero, Juan Manuel | Palomo-Duarte, Manuel | Karampiperis, Pythagoras. Series Communications in Computer and Information Science ; 343Tipo de material: Texto; Formato:
electrónico ; Forma literaria:
No es ficción Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.324/DOD/met.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Creating artificial lif : self-organization / Edward Rietman por Rietman, Edward. Tipo de material: Texto; Formato:
impreso Detalles de publicación: New York [etc.] : Windcrest, McGraw-Hill, 1993Disponibilidad: Ítems disponibles para préstamo: 07. BIBLIOTECA CIENCIAS SOCIALES Y JURÍDICAS (1)Ubicación, signatura topográfica: 681.31/RIE/cre Estante cerrado. Ítems disponibles para referencia: 07. BIBLIOTECA CIENCIAS SOCIALES Y JURÍDICAS: Not for loan (1)Ubicación, signatura topográfica: 681.31/RIE/cre.
|