Resultados
|
|
|
|
|
|
|
|
Objects, Models, Components, Patterns [recurso electrónico] : 48th International Conference, TOOLS 2010, Málaga, Spain, June 28–July 2, 2010. Proceedings / edited by Jan Vitek. por Vitek, Jan [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6141Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
|
|
|
Metallurgical Process Engineering [recurso electrónico] / by Ruiyu Yin. por Yin, Ruiyu [author.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: T55.4 -60.8.
|
|
|
|
|
|
Programs, Proofs, Processes [recurso electrónico] : 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings / edited by Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes. por Ferreira, Fernando [editor.] | Löwe, Benedikt [editor.] | Mayordomo, Elvira [editor.] | Mendes Gomes, Luís [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6158Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .A43.
|
|
|
|
|
|
|
|
|
Networked Services and Applications - Engineering, Control and Management [recurso electrónico] : 16th EUNICE/IFIP WG 6.6 Workshop, EUNICE 2010, Trondheim, Norway, June 28-30, 2010. Proceedings / edited by Finn Arve Aagesen, Svein Johan Knapskog. por Aagesen, Finn Arve [editor.] | Knapskog, Svein Johan [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6164Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TK5105.5 -5105.9.
|
|
|
|
|
|
Tests and Proofs [recurso electrónico] : 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings / edited by Gordon Fraser, Angelo Gargantini. por Fraser, Gordon [editor.] | Gargantini, Angelo [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6143Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.6 -76.66.
|
|
|
|
|
|
|
|
|
Mechanisms for Autonomous Management of Networks and Services [recurso electrónico] : 4th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2010, Zurich, Switzerland, June 23-25, 2010. Proceedings / edited by Burkhard Stiller, Filip Turck. por Stiller, Burkhard [editor.] | Turck, Filip [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6155Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TK5105.5 -5105.9.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Lévy Matters I [recurso electrónico] : Recent Progress in Theory and Applications: Foundations, Trees and Numerical Issues in Finance / by Thomas Duquesne, Oleg Reichmann, Ken-iti Sato, Christoph Schwab ; edited by Ole E Barndorff-Nielsen, Jean Bertoin, Jean Jacod, Claudia Klüppelberg. por Duquesne, Thomas [author.] | Reichmann, Oleg [author.] | Sato, Ken-iti [author.] | Schwab, Christoph [author.] | Barndorff-Nielsen, Ole E [editor.] | Bertoin, Jean [editor.] | Jacod, Jean [editor.] | Klüppelberg, Claudia [editor.] | SpringerLink (Online service). Series Lecture Notes in Mathematics ; 2001Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA273 .A1-274.9.
|
|
|
|