Ajustar la búsqueda

Su búsqueda obtuvo 85 resultados.

Ordenar
Seleccionar todo Limpiar todo
Seleccionar títulos para:
Resultados
Specification and transformation of programs : a formal approach to software development

por Partsch, Helmunt A.

Series Texts and monographs in computer scienceTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Berling : Springer-Verlag, 1990Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.3.06/PAR/spe.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Digital image processing / Bernd Jähne

por Jähne, Bernd.

Edición: 6th revised and extended editionTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Berlin : Springer-Verlag, 2005Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (2)Ubicación, signatura topográfica: 681.3/JAH/dig, ...

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Holonic and multi-agent systems for manufacturing : First International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003 Prague, Czech Republic, September 1-3, 2003 proceedings / Vladimír Marík, Duncan McFarlane, Paul Valckenaers (eds.)

por International Conference on Industrial Application (I. 2003. Prague) | McFarlane, Duncan | Valckenaers, Paul | Marik, Vladimír.

Series Lecture notes in artificial intelligence ; 2744Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Berlín : Springer Verlag, 2003Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.3/INT/hol.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Virtual distortion method / J. Holnicki-Szulc

por Holnicki-Szulc, Jan.

Series Lecture notes in engineering ; 65Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: Inglés Detalles de publicación: Berlin : Springer-Verlag, 1991Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-539.3/HOL/vir.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Algorithmics for hard problems : introduction to combinatorial optimization, randomization, approximation, and heuristics / Juraj. Hromkovic

por Hromkovic, Juraj.

Series Texts in theorical computer science. EATCSEdición: 2ª ed.Tipo de material: Texto Texto Detalles de publicación: Berlin : Springer Verlag, 2010Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 510.5/HRO/alg.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Cálculo científico : com MATLAB e Octave / Alfio Quarteroni, Fausto Saleri.

por Quarteroni, Alfio | Saleri, Fausto.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Milano : Springer-Verlag, 2007Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 519.2/QUA/cal.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Agent-based manufacturing : advances in the holonic approach / S.M. Deen (ed.)

por Deen, S.M.

Series Advanced information processingTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Berlín : Springer Verlag, 2003Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.3/AGE.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Biped locomotion : dynamics, stability, control and application / M. Vukobratovic... [et al.].

por Vukobratovic, Miomir [coautor].

Series Communications and Control Engineering Series | Scientific Fundamentals of Robotics ; 7Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Berlin [etc.] : Springer-Verlag, ; 1990Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-681.5/BIP.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Linux : Unleashing the workstation in your PC / Stefan Strobel, Thomas Uhl

por Strobel, Stefan | Uhl, Thomas.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Berlin [etc.] : Springer-Verlag, 1994Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.3.066LIN/STR/lin.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Parsing Theory. Vol. II, LR(k) and LL(k) Parsing / Seppo Sippu, Eljas Soisalon-Soininen.

por Sippu, Seppo | Soisalon-Soininen, Eljas.

Series EATCS Monographs on Theoretical computer Science ; 20.Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Berlin : Springer-Verlag, cop. 1990Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.3.06/SIP/par.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
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.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
The nurbs book / Les Piegl; Wayne Tiller

por Piegl, Les | Tiller, Wayne.

Series Monographs in Visual CommunicationEdición: 2a ed.Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Berlin : Springer-Verlag, 1997Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-681.3.06/PIE/nur. Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: 681.3.06/PIE/nur. No disponible:02. BIBLIOTECA CAMPUS PUERTO REAL: Prestado (1).

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Nonlinear dynamics of continuous elastic systems / J. Awrejcewicz, V. Krysk̉o, A.F. Vakakis.

por Awrejcewicz, J. (Jan) | Krysʹko, V. A. (Vadim Anatolʹevich), 1937- [coautor] | Vakakis, Alexander F, 1961- [coautor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: New York : Springer-Verlag, 2004Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 517.938/AWR/non.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Algebra / L. E. Sigler

por Sigler, L. E.

Series Undergraduate texts in mathematicsTipo de material: Texto Texto; Formato: impreso Detalles de publicación: New York : Springer-Verlag, c1976Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-512/SIG/alg.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Numerical algorithms for modern parallel computer architectures / Martin Schultz, editor

por Schultz, Martin H | University of Minnesota. Institute for Mathematics and Its Applications.

Series The IMA volumes in mathematics and its applications ; v. 13Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: New York : Springer-Verlag, c1988Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 510.5/NUM.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Simulation : applications in manufacturing / edited by R. D. Hurrion.

por Hurrion, R. D [].

Series International trends in manufacturingTipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Berlin [etc.] : Springer-Verlag, 1986Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-519.8/SIM.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Compiler construction : An advanced course / F.L.Bauer...[et.al.] ; Edited by F.L.Bauer and J.Eickel.

por Bauer, Friedrich Ludwig, 1924- | Eickel, J [editor literario].

Edición: 2nd. ed.Tipo de material: Texto Texto; Formato: impreso disponible en línea remoto; Forma literaria: No es ficción Detalles de publicación: Berlin[etc] : Springer-Verlag, 1976Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.3.068/COM.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Plate stability buy boundary element method / A Elzein

por Elzein, A.

Series Lecture notes in engineering ; 64Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Berlín : Springer Verlag, 1991Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-624.046/ELZpla.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Foundations of Computational Mathematics : selected Papers of a Conference Held at Rio de Janeiro, january 1997 / Felipe Cucker, Michael Shub (eds.)

por Cucker, Felipe | Shub, Michael.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Berlin : Springer-Verlag, 1997Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-519.6/FOU.

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Algorithmics for hard problems : introduction to combinatorial optimization, randomization, approximation, and heuristics / Juraj Hromkovic

por Hromkovic, Juraj.

Series Texts in theorical computer science. EATCSEdición: 2nd ed.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Berlin : Springer Verlag, 2004Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (2)Ubicación, signatura topográfica: 510.5/HRO/alg, ...

Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito
Páginas

Con tecnología Koha