Ajustar la búsqueda

Su búsqueda obtuvo 177 resultados.

Ordenar
Resultados
Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten

por Dijkstra, Edsger W | Scholten, Carel S.

Series Texts and monographs in computer scienceTipo de material: Texto Texto; Formato: impreso Detalles de publicación: New York [etc.] : Springer-Verlag, cop. 1990Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-681.3.06/DIJ/pre.

Fixed point theory / edited by E. Fadell and G. Fournier

por Conference on Fixed Point Theory (1980. Sherbrooke, Quebec) | Fadell, E | Fournier, G.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: New York ; Berlin ; Heidelberg : Springer-Verlag, 1981Disponibilidad: Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: Matemáticas - 515.126.4/FIX.

Projective geometry / H.S.M. Coxeter

por Coxeter, Harold Scott Macdonald.

Edición: 2nd edTipo de material: Texto Texto; Formato: impreso Detalles de publicación: New York : Springer-Verlag, 1974 (1987 reprint.)Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: Depósito - 51/ 28.818.

Manufacturing systems : theory and practice / George Chryssolouris

por Chryssolouris, George.

Series Springer texts in mechanical engineeringTipo de material: Texto Texto; Formato: impreso Detalles de publicación: New York [etc.] : Springer-Verlag, cop. 1992Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-621.7/.9/CHR/man. Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: Const. Navales - 621.7/CHR/man.

The design of well-structured and correct programs / Suad Alagic, Michael A. Arbib

por Alagic, Suad | Arbib, Michael A.

Series Texts and monographs in computer scienceTipo de material: Texto Texto; Formato: impreso Detalles de publicación: New York [etc.] : Springer-Verlag, cop. 1978Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Deposito-681.3.06/ALA/des.

Second year calculus : from celestial mechanics to spatial relativity / [by] David M. Bressoud

por Bressoud, David M.

Series Undergraduate texts in mathematics. Readings in mathematicsTipo de material: Texto Texto; Formato: impreso Detalles de publicación: New York : Springer-Verlag, 1991 (1996 imp.)Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (2)Ubicación, signatura topográfica: Matemáticas - 517.1./9/BRE/sec, ...

Algebraic geometry / Robin Hartshorne

por Hartshorne, Robin.

Series Graduate texts in mathematics ; 52Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: New York[etc.] : Springer-Verlag, cop. 1977Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (2)Ubicación, signatura topográfica: 512.7/HAR/alg, ... 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-512.7/HAR/alg.

New directions in two-year college mathematics : proceedings of the Sloan Foundation Conference on two-year College Mathematics, held July11-14 at Menlo College in Atherton, California / edited by Donald J. Albers, Stephen B. Rodi, Ann E. Watkins

por Sloan Foundation Conference on Two-year College Mathematics (1984. Menlo College) | Albers, Donald J, 1941- | Rodi, Stephen B | Watkins, A. E., Ann E | Alfred P. Sloan Foundation.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: New York : Springer-Verlag, c1985Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 51.371.3(73)(061.3)/SLO/new. Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: Fís. Aplicada - 51:371.3(73)(061.3)/SLO/new.

The definitive guide to grails / Graeme Rocher and Jeff Brown

por Rocher, Graeme | Brown, Jeff.

Series The expert's voice in Web developmentEdición: 2nd ed.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Berkeley, Calif. : Apress ; New York : Distributed to the book trade worldwide by Springer-Verlag, c2009Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.324/ROC/def.

Beginning Java ME platform / Ray Rischpater

por Rischpater, Ray.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Berkeley, CA : New York : Apress ; Distributed to the Book trade worldwide by Springer-Verlag, cop. 2008Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (2)Ubicación, signatura topográfica: 681.3.06JAV/RIS/beg, ...

Genes involved in microbe-plant interactions / edited by D.P.S. Verma and Th. Hohn

por Verma, D. P. S, Desh Pal S, 1944- | Hohn, Thomas, 1938-.

Series Plant gene research : basic knowledge and applicationTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Wien ; New York : Springer-Verlag, 1984Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 631.523/GEN.

Biomimetic and bioorganic chemistry / with contributions by K. Cammann ... [et al.]

por Cammann, Karl | Vögtle, F | Weber, E.

Series Topics in current chemistry = ; 128, <132 >Tipo de material: Texto Texto Detalles de publicación: Berlin ; New York : Springer-Verlag, 1985-<c1986 >Disponibilidad: Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: Quím. Orgánica - 577.1/BIO.

Drug-induced headache / edited by H.-C. Diener and M. Wilkinson

por Diener, H.-C., Hans-Christoph | Wilkinson, Marcia.

Series Advances in applied neurological sciences ; 5Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Berlin : Springer-Verlag, 1988Disponibilidad: Ítems disponibles para préstamo: 04. BIBLIOTECA CIENCIAS DE LA SALUD (1)Ubicación, signatura topográfica: 19.113/D.

Structure and bonding

por Dobiáš, B | Clarke, M. J.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Berlin ; New York : Springer-Verlag, 1987Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (2)Ubicación, signatura topográfica: Depósito 544.1/STR, ...

Structure and bonding

por Dobiáš, B | Clarke, M. J.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Berlin ; New York : Springer-Verlag, 198-?Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (5)Ubicación, signatura topográfica: Depósito 544.1/STR, ...

Global solutions for reaction-diffusion systems / Franz Rothe

por Rothe, Franz, 1947-.

Series Lecture notes in mathematics ; 1072Tipo de material: Texto Texto Detalles de publicación: Berlin ; New York : Springer-Verlag, 1984Disponibilidad: Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: Matemáticas - 517.95/ROT/glo.

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.

Absolute age determination : physical and chemical dating methods and their application / Mebus A. Geyh, Helmut Schleicher

por Geyh, Mebus A | Schleicher, Helmut, 1947-.

Tipo de material: Texto Texto Detalles de publicación: Berlin ; London : Springer-Verlag, c1990Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 550.93/GEY/abs.

The Heart in hypertension / edited by B. E. Strauer.

por Strauer, B. E. (Bodo-Eckehard).

Series International Boehringer Mannheim symposiaTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Berlin ; New York : Springer-Verlag, c1981Disponibilidad: Ítems disponibles para préstamo: 04. BIBLIOTECA CIENCIAS DE LA SALUD (1)Ubicación, signatura topográfica: 8.131/D";"3207/20/HEA.

Forensic histopathology / W. Janssen ; translated by S. Forster.

por Janssen, Werner.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Berlin ; New York : Springer-Verlag, 1984Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (6)Ubicación, signatura topográfica: CR-313, ... 04. BIBLIOTECA CIENCIAS DE LA SALUD (1)Ubicación, signatura topográfica: 838/D";"3203/JAN.

Páginas

Con tecnología Koha