Refinar su búsqueda

Su búsqueda retornó 18192 resultados.

Ordenar
Resultados
Computational Logistics [recurso electrónico] : Second International Conference, ICCL 2011, Hamburg, Germany, September 19-22, 2011. Proceedings / edited by Jürgen W. Böse, Hao Hu, Carlos Jahn, Xiaoning Shi, Robert Stahlbock, Stefan Voß.

por Böse, Jürgen W [editor.] | Hu, Hao [editor.] | Jahn, Carlos [editor.] | Shi, Xiaoning [editor.] | Stahlbock, Robert [editor.] | Voß, Stefan [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6971Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .A43.

Computer Safety, Reliability, and Security [recurso electrónico] : 30th International Conference,SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings / edited by Francesco Flammini, Sandro Bologna, Valeria Vittorini.

por Flammini, Francesco [editor.] | Bologna, Sandro [editor.] | Vittorini, Valeria [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6894Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .A25.

Emerging Research in Web Information Systems and Mining [recurso electrónico] : International Conference, WISM 2011, Taiyuan, China, September 23-25, 2011. Proceedings / edited by Gong Zhiguo, Xiangfeng Luo, Junjie Chen, Fu Lee Wang, Jingsheng Lei.

por Zhiguo, Gong [editor.] | Luo, Xiangfeng [editor.] | Chen, Junjie [editor.] | Wang, Fu Lee [editor.] | Lei, Jingsheng [editor.] | SpringerLink (Online service).

Series Communications in Computer and Information Science ; 238Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.76 .A65.

Implementation and Application of Functional Languages [recurso electrónico] : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers / edited by Jurriaan Hage, Marco T. Morazán.

por Hage, Jurriaan [editor.] | Morazán, Marco T [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6647Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .L63.

Modeling and Using Context [recurso electrónico] : 7th International and Interdisciplinary Conference, CONTEXT 2011, Karlsruhe, Germany, September 26-30, 2011. Proceedings / edited by Michael Beigl, Henning Christiansen, Thomas R. Roth-Berghofer, Anders Kofod-Petersen, Kenny R. Coventry, Hedda R. Schmidtke.

por Beigl, Michael [editor.] | Christiansen, Henning [editor.] | Roth-Berghofer, Thomas R [editor.] | Kofod-Petersen, Anders [editor.] | Coventry, Kenny R [editor.] | Schmidtke, Hedda R [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6967Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.

Emerging Research in Artificial Intelligence and Computational Intelligence [recurso electrónico] : International Conference, AICI 2011, Taiyuan, China, September 23-25, 2011. Proceedings / edited by Hepu Deng, Duoqian Miao, Fu Lee Wang, Jingsheng Lei.

por Deng, Hepu [editor.] | Miao, Duoqian [editor.] | Wang, Fu Lee [editor.] | Lei, Jingsheng [editor.] | SpringerLink (Online service).

Series Communications in Computer and Information Science ; 237Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.

Reachability Problems [recurso electrónico] : 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings / edited by Giorgio Delzanno, Igor Potapov.

por Delzanno, Giorgio [editor.] | Potapov, Igor [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6945Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .L63.

Formal Modeling and Analysis of Timed Systems [recurso electrónico] : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings / edited by Uli Fahrenberg, Stavros Tripakis.

por Fahrenberg, Uli [editor.] | Tripakis, Stavros [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6919Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .L63.

Provable Security [recurso electrónico] : 5th International Conference, ProvSec 2011, Xi’an, China, October 16-18, 2011. Proceedings / edited by Xavier Boyen, Xiaofeng Chen.

por Boyen, Xavier [editor.] | Chen, Xiaofeng [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6980Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .A25.

Machine Learning in Medical Imaging [recurso electrónico] : Second International Workshop, MLMI 2011, Held in Conjunction with MICCAI 2011, Toronto, Canada, September 18, 2011. Proceedings / edited by Kenji Suzuki, Fei Wang, Dinggang Shen, Pingkun Yan.

por Suzuki, Kenji [editor.] | Wang, Fei [editor.] | Shen, Dinggang [editor.] | Yan, Pingkun [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 7009Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TA1637 -1638.

ENTERprise Information Systems [recurso electrónico] : International Conference, CENTERIS 2011, Vilamoura, Portugal, October 5-7, 2011, Proceedings, Part III / edited by Maria Manuela Cruz-Cunha, João Varajão, Philip Powell, Ricardo Martinho.

por Cruz-Cunha, Maria Manuela [editor.] | Varajão, João [editor.] | Powell, Philip [editor.] | Martinho, Ricardo [editor.] | SpringerLink (Online service).

Series Communications in Computer and Information Science ; 221Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.76 .A65.

ENTERprise Information Systems [recurso electrónico] : International Conference, CENTERIS 2011, Vilamoura, Portugal, October 5-7, 2011, Proceedings, Part II / edited by Maria Manuela Cruz-Cunha, João Varajão, Philip Powell, Ricardo Martinho.

por Cruz-Cunha, Maria Manuela [editor.] | Varajão, João [editor.] | Powell, Philip [editor.] | Martinho, Ricardo [editor.] | SpringerLink (Online service).

Series Communications in Computer and Information Science ; 220Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.76 .A65.

ENTERprise Information Systems [recurso electrónico] : International Conference, CENTERIS 2011, Vilamoura, Algarve, Portugal, October 5-7, 2011, Proceedings, Part I / edited by Maria Manuela Cruz-Cunha, João Varajão, Philip Powell, Ricardo Martinho.

por Cruz-Cunha, Maria Manuela [editor.] | Varajão, João [editor.] | Powell, Philip [editor.] | Martinho, Ricardo [editor.] | SpringerLink (Online service).

Series Communications in Computer and Information Science ; 219Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.76 .A65.

Frontiers of Combining Systems [recurso electrónico] : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings / edited by Cesare Tinelli, Viorica Sofronie-Stokkermans.

por Tinelli, Cesare [editor.] | Sofronie-Stokkermans, Viorica [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6989Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.

Automated Technology for Verification and Analysis [recurso electrónico] : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings / edited by Tevfik Bultan, Pao-Ann Hsiung.

por Bultan, Tevfik [editor.] | Hsiung, Pao-Ann [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6996Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.

Mapping of Parent Hamiltonians [recurso electrónico] : From Abelian and non-Abelian Quantum Hall States to Exact Models of Critical Spin Chains / by Martin Greiter.

por Greiter, Martin [author.] | SpringerLink (Online service).

Series Springer Tracts in Modern Physics ; 244Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QC173.45 -173.458.

Photogrammetric Image Analysis [recurso electrónico] : ISPRS Conference, PIA 2011, Munich, Germany, October 5-7, 2011. Proceedings / edited by Uwe Stilla, Franz Rottensteiner, Helmut Mayer, Boris Jutzi, Matthias Butenuth.

por Stilla, Uwe [editor.] | Rottensteiner, Franz [editor.] | Mayer, Helmut [editor.] | Jutzi, Boris [editor.] | Butenuth, Matthias [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6952Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TA1637 -1638.

Web Information Systems Engineering – WISE 2010 Workshops [recurso electrónico] : WISE 2010 International Symposium WISS, and International Workshops CISE, MBC, Hong Kong, China, December 12-14, 2010, Revised Selected Papers / edited by Dickson K. W. Chiu, Ladjel Bellatreche, Hideyasu Sasaki, Ho-fung Leung, Shing-Chi Cheung, Haiyang Hu, Jie Shao.

por Chiu, Dickson K. W [editor.] | Bellatreche, Ladjel [editor.] | Sasaki, Hideyasu [editor.] | Leung, Ho-fung [editor.] | Cheung, Shing-Chi [editor.] | Hu, Haiyang [editor.] | Shao, Jie [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6724Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.76 .A65.

Network and Parallel Computing [recurso electrónico] : 8th IFIP International Conference, NPC 2011, Changsha, China, October 21-23, 2011. Proceedings / edited by Erik Altman, Weisong Shi.

por Altman, Erik [editor.] | Shi, Weisong [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6985Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso 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.

Algorithmic Learning Theory [recurso electrónico] : 22nd International Conference, ALT 2011, Espoo, Finland, October 5-7, 2011. Proceedings / edited by Jyrki Kivinen, Csaba Szepesvári, Esko Ukkonen, Thomas Zeugmann.

por Kivinen, Jyrki [editor.] | Szepesvári, Csaba [editor.] | Ukkonen, Esko [editor.] | Zeugmann, Thomas [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6925Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.

Páginas

Con tecnología Koha