Refine your search

Your search returned 19 results.

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

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

Series: Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence; ; 1898Material type: Text Text; Format: print Publication details: Berlin [etc.] : Springer, 2000Availability: Items available for loan: 00. BIBLIOTECA CAMPUS DE ALGECIRAS (1)Location, call number: Depósito-681.31.069/EUR.

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

by Alur, Rajeev, 1966- [] | Henziger, Thomas A [] | Sontag, Eduardo D [].

Series: Lecture Notes in Computer Science ; 1066Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Heidelberg : Springer, 1996Other title: Hybrid systems 3 | Hybrid systems three.Availability: Items available for loan: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Location, call number: 681.5/HYB.

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

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

Series: Lecture notes in computer science, 0302-9743 ; ; 1029.Material type: Text Text; Format: print Publication details: Berlin ; New York : Springer, cop.1996Availability: Items available for loan: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Location, call number: 510.5/CRY.

Compiler specification and verification

by Polak, Wolfgang.

Series: Lecture notes in computer science ; 124Material type: Text Text; Format: print Publication details: Berlin [etc.] : Springer-Verlag, 1981Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Location, call number: 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.)

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

Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 418Material type: Text Text; Format: print Publication details: Berlin ; London : Springer, 1990Availability: Items available for reference: 07. BIBLIOTECA CIENCIAS SOCIALES Y JURÍDICAS: Not for loan (1)Location, call number: 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.)

by 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.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Berlín [etc.] : Springer, cop. 2000Availability: Items available for loan: 02. BIBLIOTECA CAMPUS PUERTO REAL (2)Location, call number: 681.3/INT/ada, ...

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

by 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 ; 461Material type: Text Text; Format: print Publication details: Berlin ; New York : Springer-Verlag, c1990Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Location, call number: 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.

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

Series: Lecture notes in computer science ; 1Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 1973Other title: Dritte Jahrestagung.Availability: Items available for loan: 04. BIBLIOTECA CIENCIAS DE LA SALUD (1)Location, call number: 2.866/D";"1203/GLJ.

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

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

Series: Lecture notes in computer science ; 1328Material type: Text Text; Format: print Publication details: Berlin [etc.] : Springer, 1997Availability: Items available for loan: 06. BIBLIOTECA HUMANIDADES (1)Location, call number: 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.)

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

Series: Lecture notes in computer science ; 1324Material type: Text Text; Format: print Publication details: Berlin ; London : Springer, c1997Availability: Items available for loan: 11. BCA.HISTÓRICA - CÁDIZ (1)Location, call number: 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.)

by 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 ; 1903Material type: Text Text; Format: print Publication details: Berlin : Springer, 2000Availability: Items available for loan: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Location, call number: 681.3(063)/OPE/ope.

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

by Sipper, Moshe.

Series: Lecture notes in computer science ; 1194Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Berlin [etc.] : Springer, cop. 1997Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Location, call number: 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.)

by Bekkers, Y [] | Cohen, J [].

Series: Lecture notes in computer science ; 637Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Heidelberg : Springer, 1992Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Location, call number: 681.3/MEM.

Modern cryptology : a tutorial / Gilles Brassard

by Brassard, Gilles.

Series: Lecture notes in computer science ; 325Material type: Text Text; Format: print Publication details: New York ; London : Springer, 1988Availability: Items available for loan: 02. BIBLIOTECA CAMPUS PUERTO REAL (2)Location, call number: Depósito - 003.23/BRA/mod, ... Items available for reference: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Location, call number: Matemáticas - 003.23/BRA/mod.

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

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

Series: Lecture Notes in Computer ScienceMaterial type: Text Text; Format: print Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Location, call number: 681.3.06/DER/sof. Not available: 03. BIBLIOTECA INGENIERÍA PUERTO REAL: Checked out (1).

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

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

Series: Lecture notes in computer science, 0302-9743 ; ; 4852.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Berlin [etc.] : Springer, cop. 2007Other title: CAAN 2007..Availability: Items available for loan: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Location, call number: 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.)

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

Series: Lecture notes in computer science ; 5286Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Berlin [etc.] : Springer, 2008Availability: Not available: 03. BIBLIOTECA INGENIERÍA PUERTO REAL: Checked out (1).

Concrete and Abstract Voronoi Diagrams / Rolf Klein.

by Klein, Rolf.

Series: Lecture Notes in Computer Science Series, 400Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, 1990Availability: Items available for loan: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Location, call number: 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.)

by 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 ; 429Material type: Text Text; Format: print Publication details: Berlin ; New York : Springer-Verlag, 1990Availability: Items available for loan: 07. BIBLIOTECA CIENCIAS SOCIALES Y JURÍDICAS (1)Location, call number: 681.31/DES Estante cerrado.

Pages

Powered by Koha