Ajustar la búsqueda

Su búsqueda obtuvo 19 resultados.

Ordenar
Resultados
Advances in case-based reasoning : 5th European workshop, EWCBR 2000, Trento, Italy, September 6-9, 2000 : proceedings / Enrico Blanzieri, Luigi Portinale (eds.).

por European Workshop on Case-Based Reasoning ( 2000. Trento, Italy) | Blanzieri, Enrico [] | Portinale, Luigi [].

Series Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence; ; 1898Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Berlin [etc.] : Springer, 2000Disponibilidad: Ítems disponibles para préstamo: 00. BIBLIOTECA CAMPUS DE ALGECIRAS (1)Ubicación, signatura topográfica: Depósito-681.31.069/EUR.

Hybrid systems III : verification and control / Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag (eds.)

por Alur, Rajeev, 1966- [editor literario] | Henziger, Thomas A [editor literario] | Sontag, Eduardo D [editor literario].

Series Lecture Notes in Computer Science ; 1066Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Heidelberg : Springer, 1996Otro título: Hybrid systems 3 | Hybrid systems three.Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 681.5/HYB.

Cryptography, policy and algorithms : international conference, Brisbane, Queensland, Australia, July 3-5, 1995 : proceedings / Ed Dawson, Jovan Golic (Eds.)

por Cryptography, Policy and Algorithms Conference (1995. Queensland University of Technology, Brisbane, Australia) | Dawson, Edward [editor literario] | Golic, Jovan [editor literario].

Series Lecture notes in computer science, 0302-9743 ; ; 1029.Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Berlin ; New York : Springer, cop.1996Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 510.5/CRY.

Compiler specification and verification

por Polak, Wolfgang.

Series Lecture notes in computer science ; 124Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Berlin [etc.] : Springer-Verlag, 1981Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-681.3.068/POL/com.

Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 proceedings / K.H. Bläsius, U. Hedstück, C.-R. Rollinger (Eds.)

por Bläsius, K. H | Hedstück, U | Rollinger, C.-R.

Series Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 418Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Berlin ; London : Springer, 1990Disponibilidad: Ítems disponibles para referencia: 07. BIBLIOTECA CIENCIAS SOCIALES Y JURÍDICAS: Not for loan (1)Ubicación, signatura topográfica: 681.31/SOR Ficha-Selva, M.

Adaptive hypermedia and adaptive Web-based systems : International Conference, AH 2000, Trento, Italy, August 28-30, 2000 : proceedings / Peter Brusilovsky, Oliviero Stock, Carlo Strapparava (Eds.)

por International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems ( 2000. Trento, Italy) | Brusilovsky, Peter | Stock, Oliviero | Strapparava, Peter.

Series Lecture notes in computer science ; 1892.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Berlín [etc.] : Springer, cop. 2000Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (2)Ubicación, signatura topográfica: 681.3/INT/ada, ...

Attribute grammars and their applications : international conference WAGA, Paris, France, September 19-21, 1990 : proceedings / P. Deransart, M. Jourdan (eds.)

por Deransart, Pierre | Jourdan, Martin, 1959- | Institut national de recherche en informatique et en automatique | Association française pour la cybernétique économique et technique | International Workshop on Attribute Grammars and Their Applications (1990. Paris, France).

Series Lecture notes in computer science ; 461Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Berlin ; New York : Springer-Verlag, c1990Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-681.3.06/ATR.

3. Jahrestagung [electronic resource] : Hamburg, 8.-10. Oktober 1973 / GI, Gesellschaft für Informatik ; herausgegeben im Auftrag der Gesellschaft für Informatik von Wilfried Brauer.

por GI-Jahrestagung (3rd : 1973 : Hamburg, Germany) | Brauer, Wilfried | Gesellschaft für Informatik.

Series Lecture notes in computer science ; 1Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Berlin ; New York : Springer-Verlag, 1973Otro título: Dritte Jahrestagung.Disponibilidad: Ítems disponibles para préstamo: 04. BIBLIOTECA CIENCIAS DE LA SALUD (1)Ubicación, signatura topográfica: 2.866/D";"1203/GLJ.

Logical aspects of computational linguistics : first international conference, LACL '96, Nancy, France, April 1996 selected papers / Christian Retore (ed.)

por LACL '96 (1996 : Nancy, Francia).

Series Lecture notes in computer science ; 1328Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Berlin [etc.] : Springer, 1997Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: Sótano-45/2-084.

Research and advanced technology for digital libraries : First European Conference, ECDL '97, Pisa, Italy, September 1-3, 1997, proceedings / Carol Peters, Costantino Thanos, (eds.)

por European Conference on Digital Libraries (1a. 1997. Pisa) | Peters, Carol | Thanos, C., Costantino.

Series Lecture notes in computer science ; 1324Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Berlin ; London : Springer, c1997Disponibilidad: Ítems disponibles para préstamo: 11. BCA.HISTÓRICA - CÁDIZ (1)Ubicación, signatura topográfica: 781/B.

Open hypermedia systems and structural computing : 6th international workshop, OHS-6, 2nd international workshop, SC-2, San Antonio, Texas, USA, May 30-June 3, 2000 : proceedings / Siegfried Reich, Kenneth M. Anderson (eds.)

por Open Hypermedia Systems ( 6ª. 2000. San Antonio, Texas) | Reich, Siegfried | Anderson, Kenneth M | Structural Computing ( 2º. 2000. San Antonio, Texas).

Series Lecture notes in computer science ; 1903Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Berlin : Springer, 2000Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 681.3(063)/OPE/ope.

Evolution of parallel cellular machines : the cellular programming approach / Moshe Sipper.

por Sipper, Moshe.

Series Lecture notes in computer science ; 1194Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Berlin [etc.] : Springer, cop. 1997Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-681.3/SIP/evo.

Memory management : international workshop IWMM 92, st.Malo, France, september 17 - 19, 1992 proceedings / Y. Bekkers, J. Cohen (Eds.)

por Bekkers, Y [editor literario] | Cohen, J [editor literario].

Series Lecture notes in computer science ; 637Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Heidelberg : Springer, 1992Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.3/MEM.

Modern cryptology : a tutorial / Gilles Brassard

por Brassard, Gilles.

Series Lecture notes in computer science ; 325Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: New York ; London : Springer, 1988Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (2)Ubicación, signatura topográfica: Depósito - 003.23/BRA/mod, ... Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: Matemáticas - 003.23/BRA/mod.

Software Process: Principles, Methodology, and Technology/ by Jean-Claude Derniame, Badara A. Kaba, David Wastell.

por Derniame, Jean-Claude | Kaba, Badara A | Wastell, David.

Series Lecture Notes in Computer ScienceTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.3.06/DER/sof. No disponible:03. BIBLIOTECA INGENIERÍA PUERTO REAL: Prestado (1).

Combinatorial and algorithmic aspects of networking : 4th Workshop, CAAN 2007 Halifax, Canada, August 14, 2007 : revised papers / Jeannette Janssen, Pawel Pralat (eds.)

por Workshop on Combinatorial and Algorithmic Aspects of Networking (4. 2007. Halifax, Canada) | Pralat, Pawel [editor literario].

Series Lecture notes in computer science, 0302-9743 ; ; 4852.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Berlin [etc.] : Springer, cop. 2007Otro título: CAAN 2007..Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 510.5/WOR/com.

Dynamic brain - from neural spikes to behaviors : 12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007, Revised Lectures / Maria Marinaro, Silvia Scarpetta, Yoko Yamaguchi (eds.)

por International Summer School on Neural Networks (12th. 2007. Erice, Italy) | Marinaro, Maria [editor literario] | Scarpetta, Silvia [editor literario] | Yamaguchi, Yoko [editor literario].

Series Lecture notes in computer science ; 5286Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Berlin [etc.] : Springer, 2008Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.3/INT/dyn.

Concrete and Abstract Voronoi Diagrams / Rolf Klein.

por Klein, Rolf.

Series Lecture Notes in Computer Science Series, 400Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: New York : Springer, 1990Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 311.16/KLE/con.

Design and implementation of symbolic computation systems : International Symposium DISCO '90, Capri, Italy, April 10-12, 1990, proceedings / A. Miola (Ed.)

por Miola, A | Goos, G | Hartmanis, J.V | International Symposium DISCO'90 (1o. 1990. Capri).

Series Lecture notes in computer science, edited by G. Goos and J. Hartmanis ; 429Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Berlin ; New York : Springer-Verlag, 1990Disponibilidad: Ítems disponibles para préstamo: 07. BIBLIOTECA CIENCIAS SOCIALES Y JURÍDICAS (1)Ubicación, signatura topográfica: 681.31/DES Estante cerrado.

Páginas

Con tecnología Koha