Refinar su búsqueda

Su búsqueda retornó 18178 resultados.

Ordenar
Resultados
Artificial Intelligence and Computational Intelligence [recurso electrónico] : International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part II / edited by Fu Lee Wang, Hepu Deng, Yang Gao, Jingsheng Lei.

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

Series Lecture Notes in Computer Science ; 6320Origen: 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, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.

Artificial Intelligence and Computational Intelligence [recurso electrónico] : International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part I / edited by Fu Lee Wang, Hepu Deng, Yang Gao, Jingsheng Lei.

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

Series Lecture Notes in Computer Science ; 6319Origen: 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, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.

Exact Exponential Algorithms [recurso electrónico] / by Fedor V. Fomin, Dieter Kratsch.

por Fomin, Fedor V [author.] | Kratsch, Dieter [author.] | SpringerLink (Online service).

Series Texts in Theoretical Computer Science. An EATCS SeriesOrigen: 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, 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.

Remote Sensing of the Changing Oceans [recurso electrónico] / edited by DanLing Tang.

por Tang, DanLing [editor.] | SpringerLink (Online service).

Origen: 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 : Imprint: Springer, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: GA102.4 .R44.

Bioinspired Computation in Combinatorial Optimization [recurso electrónico] : Algorithms and Their Computational Complexity / by Frank Neumann, Carsten Witt.

por Neumann, Frank [author.] | Witt, Carsten [author.] | SpringerLink (Online service).

Series Natural Computing SeriesOrigen: 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, 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.

Localized States in Physics: Solitons and Patterns [recurso electrónico] / edited by Orazio Descalzi, Marcel Clerc, Stefania Residori, Gaetano Assanto.

por Descalzi, Orazio [editor.] | Clerc, Marcel [editor.] | Residori, Stefania [editor.] | Assanto, Gaetano [editor.] | SpringerLink (Online service).

Origen: 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: QC174.7 -175.36.

Metadata and Semantic Research [recurso electrónico] : 4th International Conference, MTSR 2010, Alcalá de Henares, Spain, October 20-22, 2010. Proceedings / edited by Salvador Sánchez-Alonso, Ioannis N. Athanasiadis.

por Sánchez-Alonso, Salvador [editor.] | Athanasiadis, Ioannis N [editor.] | SpringerLink (Online service).

Series Communications in Computer and Information Science ; 108Origen: 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, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.76 .A65.

The Extracellular Matrix: an Overview [recurso electrónico] / edited by Robert P. Mecham.

por Mecham, Robert P [editor.] | SpringerLink (Online service).

Series Biology of Extracellular MatrixOrigen: 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: QH573 -671.

Leveraging Applications of Formal Methods, Verification, and Validation [recurso electrónico] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen.

por Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6415Origen: 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, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .L63.

Leveraging Applications of Formal Methods, Verification, and Validation [recurso electrónico] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen.

por Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6416Origen: 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, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .L63.

The Trade Impact of European Union Preferential Policies [recurso electrónico] : An Analysis Through Gravity Models / edited by Luca De Benedictis, Luca Salvatici.

por De Benedictis, Luca [editor.] | Salvatici, Luca [editor.] | SpringerLink (Online service).

Origen: 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 : Imprint: Springer, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: HF1351 -1647.

Social Informatics [recurso electrónico] : Second International Conference, SocInfo 2010, Laxenburg, Austria, October 27-29, 2010. Proceedings / edited by Leonard Bolc, Marek Makowski, Adam Wierzbicki.

por Bolc, Leonard [editor.] | Makowski, Marek [editor.] | Wierzbicki, Adam [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6430Origen: 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, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.76 .A65.

High Speed VCSELs for Optical Interconnects [recurso electrónico] / by Alex Mutig.

por Mutig, Alex [author.] | SpringerLink (Online service).

Series Springer Theses, Recognizing Outstanding Ph.D. ResearchOrigen: 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 : Imprint: Springer, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TA1671 -1707.

Testing Software and Systems [recurso electrónico] : 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings / edited by Alexandre Petrenko, Adenilso Simão, José Carlos Maldonado.

por Petrenko, Alexandre [editor.] | Simão, Adenilso [editor.] | Maldonado, José Carlos [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6435Origen: 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, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.

Autonomic and Trusted Computing [recurso electrónico] : 7th International Conference, ATC 2010, Xi’an, China, October 26-29, 2010. Proceedings / edited by Bing Xie, Juergen Branke, S. Masoud Sadjadi, Daqing Zhang, Xingshe Zhou.

por Xie, Bing [editor.] | Branke, Juergen [editor.] | Sadjadi, S. Masoud [editor.] | Zhang, Daqing [editor.] | Zhou, Xingshe [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6407Origen: 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, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .A25.

Recent Trends and Developments in Social Software [recurso electrónico] : International Conferences on Social Software, BlogTalk 2008, Cork, Ireland, March 3-4, 2008, and BlogTalk 2009, Jeju Island, South Korea, September 15-16, 2009. Revised Selected Papers / edited by John G. Breslin, Thomas N. Burg, Hong-Gee Kim, Tom Raftery, Jan-Hinrik Schmidt.

por Breslin, John G [editor.] | Burg, Thomas N [editor.] | Kim, Hong-Gee [editor.] | Raftery, Tom [editor.] | Schmidt, Jan-Hinrik [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6045Origen: 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, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.76 .A65.

Intelligent Robotics and Applications [recurso electrónico] : Third International Conference, ICIRA 2010, Shanghai, China, November 10-12, 2010. Proceedings, Part I / edited by Honghai Liu, Han Ding, Zhenhua Xiong, Xiangyang Zhu.

por Liu, Honghai [editor.] | Ding, Han [editor.] | Xiong, Zhenhua [editor.] | Zhu, Xiangyang [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6424Origen: 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, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.

Intelligent Robotics and Applications [recurso electrónico] : Third International Conference, ICIRA 2010, Shanghai, China, November 10-12, 2010. Proceedings, Part II / edited by Honghai Liu, Han Ding, Zhenhua Xiong, Xiangyang Zhu.

por Liu, Honghai [editor.] | Ding, Han [editor.] | Xiong, Zhenhua [editor.] | Zhu, Xiangyang [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6425Origen: 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, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.

Qualitative Spatial Abstraction in Reinforcement Learning [recurso electrónico] / by Lutz Frommberger.

por Frommberger, Lutz [author.] | SpringerLink (Online service).

Series Cognitive TechnologiesOrigen: 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, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.

Challenges in Analytical Quality Assurance [recurso electrónico] / by Manfred Reichenbächer, Jürgen W. Einax.

por Reichenbächer, Manfred [author.] | Einax, Jürgen W [author.] | SpringerLink (Online service).

Origen: 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 : Imprint: Springer, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QD71 -142.

Páginas

Con tecnología Koha