Refinar su búsqueda

Su búsqueda retornó 18176 resultados.

Ordenar
Resultados
Logic, Language and Meaning [recurso electrónico] : 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers / edited by Maria Aloni, Harald Bastiaanse, Tikitu Jager, Katrin Schulz.

por Aloni, Maria [editor.] | Bastiaanse, Harald [editor.] | Jager, Tikitu [editor.] | Schulz, Katrin [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6042Origen: 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 .M35.

Networked Digital Technologies [recurso electrónico] : Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010. Proceedings, Part I / edited by Filip Zavoral, Jakub Yaghob, Pit Pichappan, Eyas El-Qawasmeh.

por Zavoral, Filip [editor.] | Yaghob, Jakub [editor.] | Pichappan, Pit [editor.] | El-Qawasmeh, Eyas [editor.] | SpringerLink (Online service).

Series Communications in Computer and Information Science ; 87Origen: 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: TK5105.5 -5105.9.

Computer Aided Verification [recurso electrónico] : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings / edited by Tayssir Touili, Byron Cook, Paul Jackson.

por Touili, Tayssir [editor.] | Cook, Byron [editor.] | Jackson, Paul [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6174Origen: 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.

Transactions on Data Hiding and Multimedia Security V [recurso electrónico] / edited by Yun Q. Shi.

por Shi, Yun Q [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6010Origen: 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.

Efficient Secure Two-Party Protocols [recurso electrónico] : Techniques and Constructions / by Carmit Hazay, Yehuda Lindell.

por Hazay, Carmit [author.] | Lindell, Yehuda [author.] | SpringerLink (Online service).

Series Information Security and CryptographyOrigen: 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 .D35.

Networked Digital Technologies [recurso electrónico] : Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010. Proceedings, Part II / edited by Filip Zavoral, Jakub Yaghob, Pit Pichappan, Eyas El-Qawasmeh.

por Zavoral, Filip [editor.] | Yaghob, Jakub [editor.] | Pichappan, Pit [editor.] | El-Qawasmeh, Eyas [editor.] | SpringerLink (Online service).

Series Communications in Computer and Information Science ; 88Origen: 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: TK5105.5 -5105.9.

Organizations [recurso electrónico] : Social Systems Conducting Experiments / by Jan Achterbergh, Dirk Vriens.

por Achterbergh, Jan [author.] | Vriens, Dirk [author.] | SpringerLink (Online service).

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

Exploring Services Science [recurso electrónico] : First International Conference , IESS 2010, Geneva, Switzerland, February 17-19, 2010. Revised Papers / edited by Jean-Henry Morin, Jolita Ralyté, Mehdi Snene.

por Morin, Jean-Henry [editor.] | Ralyté, Jolita [editor.] | Snene, Mehdi [editor.] | SpringerLink (Online service).

Series Lecture Notes in Business Information Processing ; 53Origen: 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: HF54.5 -54.56.

The Mathematics of Language [recurso electrónico] : 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers / edited by Christian Ebert, Gerhard Jäger, Jens Michaelis.

por Ebert, Christian [editor.] | Jäger, Gerhard [editor.] | Michaelis, Jens [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6149Origen: 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: QA8.9 -QA10.3.

Digital Filters [recurso electrónico] : Basics and Design / by Dietrich Schlichthärle.

por Schlichthärle, Dietrich [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: TK5102.9.

Voice over IP Networks [recurso electrónico] : Quality of Service, Pricing and Security / by Pramode K. Verma, Ling Wang.

por Verma, Pramode K [author.] | Wang, Ling [author.] | SpringerLink (Online service).

Series Lecture Notes in Electrical Engineering ; 71Origen: 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: TK1 -9971.

Testing Techniques in Software Engineering [recurso electrónico] : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures / edited by Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook.

por Borba, Paulo [editor.] | Cavalcanti, Ana [editor.] | Sampaio, Augusto [editor.] | Woodcook, Jim [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6153Origen: 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.

The Silver Market Phenomenon [recurso electrónico] : Marketing and Innovation in the Aging Society / edited by Florian Kohlbacher, Cornelius Herstatt.

por Kohlbacher, Florian [editor.] | Herstatt, Cornelius [editor.] | SpringerLink (Online service).

Edición: 2.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: HD28 -70.

Balanced Automation Systems for Future Manufacturing Networks [recurso electrónico] : 9th IFIP WG 5.5 International Conference, BASYS 2010, Valencia, Spain, July 21-23, 2010. Proceedings / edited by Ángel Ortiz, Rubén Darío Franco, Pedro Gómez Gasquet.

por Ortiz, Ángel [editor.] | Franco, Rubén Darío [editor.] | Gasquet, Pedro Gómez [editor.] | SpringerLink (Online service).

Series IFIP Advances in Information and Communication Technology ; 322Origen: 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 .C65.

Towards Hybrid and Adaptive Computing [recurso electrónico] : A Perspective / by Anupam Shukla, Ritu Tiwari, Rahul Kala.

por Shukla, Anupam [author.] | Tiwari, Ritu [author.] | Kala, Rahul [author.] | SpringerLink (Online service).

Series Studies in Computational Intelligence ; 307Origen: 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: Q342.

New Modeling Concepts for Today’s Software Processes [recurso electrónico] : International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings / edited by Jürgen Münch, Ye Yang, Wilhelm Schäfer.

por Münch, Jürgen [editor.] | Yang, Ye [editor.] | Schäfer, Wilhelm [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6195Origen: 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.

Advances in Wireless Networks and Information Systems [recurso electrónico] / edited by Qi Luo.

por Luo, Qi [editor.] | SpringerLink (Online service).

Series Lecture Notes in Electrical Engineering ; 72Origen: 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: TK7876 -7876.42.

Algorithmic Aspects in Information and Management [recurso electrónico] : 6th International Conference, AAIM 2010, Weihai, China, July 19-21, 2010. Proceedings / edited by Bo Chen.

por Chen, Bo [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6124Origen: 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.

Locally Decodable Codes and Private Information Retrieval Schemes [recurso electrónico] / by Sergey Yekhanin.

por Yekhanin, Sergey [author.] | SpringerLink (Online service).

Series Information Security and CryptographyOrigen: 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 .D35.

Biomedical Image Registration [recurso electrónico] : 4th International Workshop, WBIR 2010, Lübeck, Germany, July 11-13, 2010. Proceedings / edited by Bernd Fischer, Benoît M. Dawant, Cristian Lorenz.

por Fischer, Bernd [editor.] | Dawant, Benoît M [editor.] | Lorenz, Cristian [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6204Origen: 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: TA1637 -1638.

Páginas

Con tecnología Koha