Su búsqueda obtuvo 7 resultados.

Ordenar
Resultados
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.

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, ...

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.

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.

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.

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.

Páginas

Con tecnología Koha