Refinar su búsqueda

Su búsqueda retornó 18192 resultados.

Ordenar
Resultados
Engineering of Software [recurso electrónico] : The Continuing Contributions of Leon J. Osterweil / edited by Peri L. Tarr, Alexander L. Wolf.

por Tarr, Peri L [editor.] | Wolf, Alexander L [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: QA76.758.

Towards Intelligent Modeling: Statistical Approximation Theory [recurso electrónico] / by George A. Anastassiou, Oktay Duman.

por Anastassiou, George A [author.] | Duman, Oktay [author.] | SpringerLink (Online service).

Series Intelligent Systems Reference Library ; 14Origen: 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: Q342.

Formal Methods: Foundations and Applications [recurso electrónico] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers / edited by Jim Davies, Leila Silva, Adenilso Simao.

por Davies, Jim [editor.] | Silva, Leila [editor.] | Simao, Adenilso [editor.] | SpringerLink (Online service).

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

Physics of Laser Materials Processing [recurso electrónico] : Theory and Experiment / by Gennady G. Gladush, Igor Smurov.

por Gladush, Gennady G [author.] | Smurov, Igor [author.] | SpringerLink (Online service).

Series Springer Series in Materials Science ; 146Origen: 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: TA1671 -1707.

Tools and Algorithms for the Construction and Analysis of Systems [recurso electrónico] : 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings / edited by Parosh Aziz Abdulla, K. Rustan M. Leino.

por Abdulla, Parosh Aziz [editor.] | Leino, K. Rustan M [editor.] | SpringerLink (Online service).

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

Beam-Wave Interaction in Periodic and Quasi-Periodic Structures [recurso electrónico] / by Levi Schächter.

por Schächter, Levi [author.] | SpringerLink (Online service).

Series Particle Acceleration and DetectionOrigen: 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: QC770 -798.

Information and Automation [recurso electrónico] : International Symposium, ISIA 2010, Guangzhou, China, November 10-11, 2010. Revised Selected Papers / edited by Luo Qi.

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

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

Requirements Engineering: Foundation for Software Quality [recurso electrónico] : 17th International Working Conference, REFSQ 2011, Essen, Germany, March 28-30, 2011. Proceedings / edited by Daniel Berry, Xavier Franch.

por Berry, Daniel [editor.] | Franch, Xavier [editor.] | SpringerLink (Online service).

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

Compiler Construction [recurso electrónico] : 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings / edited by Jens Knoop.

por Knoop, Jens [editor.] | SpringerLink (Online service).

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

Discrete Geometry for Computer Imagery [recurso electrónico] : 16th IAPR International Conference, DGCI 2011, Nancy, France, April 6-8, 2011. Proceedings / edited by Isabelle Debled-Rennesson, Eric Domenjoud, Bertrand Kerautret, Philippe Even.

por Debled-Rennesson, Isabelle [editor.] | Domenjoud, Eric [editor.] | Kerautret, Bertrand [editor.] | Even, Philippe [editor.] | SpringerLink (Online service).

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

Emulsion-based Free-Radical Retrograde-Precipitation Polymerization [recurso electrónico] / by Gerard Caneba, Yadunandan Dar.

por Caneba, Gerard [author.] | Dar, Yadunandan [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: QD380 -388.

Advances on Practical Applications of Agents and Multiagent Systems [recurso electrónico] : 9th International Conference on Practical Applications of Agents and Multiagent Systems / edited by Yves Demazeau, Michal Pechoucek, Juan M. Corchado, Javier Bajo Pérez.

por Demazeau, Yves [editor.] | Pechoucek, Michal [editor.] | Corchado, Juan M [editor.] | Pérez, Javier Bajo [editor.] | SpringerLink (Online service).

Series Advances in Intelligent and Soft Computing ; 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, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q342.

Agents and Artificial Intelligence [recurso electrónico] : Second International Conference, ICAART 2010, Valencia, Spain, January 22-24, 2010. Revised Selected Papers / edited by Joaquim Filipe, Ana Fred, Bernadette Sharp.

por Filipe, Joaquim [editor.] | Fred, Ana [editor.] | Sharp, Bernadette [editor.] | SpringerLink (Online service).

Series Communications in Computer and Information Science ; 129Origen: 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.

Evolutionary Multi-Criterion Optimization [recurso electrónico] : 6th International Conference, EMO 2011, Ouro Preto, Brazil, April 5-8, 2011. Proceedings / edited by Ricardo H. C. Takahashi, Kalyanmoy Deb, Elizabeth F. Wanner, Salvatore Greco.

por Takahashi, Ricardo H. C [editor.] | Deb, Kalyanmoy [editor.] | Wanner, Elizabeth F [editor.] | Greco, Salvatore [editor.] | SpringerLink (Online service).

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

Privacy and Security Issues in Data Mining and Machine Learning [recurso electrónico] : International ECML/PKDD Workshop, PSDML 2010, Barcelona, Spain, September 24, 2010. Revised Selected Papers / edited by Christos Dimitrakakis, Aris Gkoulalas-Divanis, Aikaterini Mitrokotsa, Vassilios S. Verykios, Yücel Saygin.

por Dimitrakakis, Christos [editor.] | Gkoulalas-Divanis, Aris [editor.] | Mitrokotsa, Aikaterini [editor.] | Verykios, Vassilios S [editor.] | Saygin, Yücel [editor.] | SpringerLink (Online service).

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

Self-Learning Speaker Identification [recurso electrónico] : A System for Enhanced Speech Recognition / by Tobias Herbig, Franz Gerl, Wolfgang Minker.

por Herbig, Tobias [author.] | Gerl, Franz [author.] | Minker, Wolfgang [author.] | SpringerLink (Online service).

Series Signals and Communication TechnologyOrigen: 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: TK5102.9.

Advances in the Research of Aquatic Environment [recurso electrónico] : Volume 1 / edited by Nicolaos Lambrakis, George Stournaras, Konstantina Katsanou.

por Lambrakis, Nicolaos [editor.] | Stournaras, George [editor.] | Katsanou, Konstantina [editor.] | SpringerLink (Online service).

Series Environmental Earth SciencesEdición: 1.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: GB1001 -1199.8.

User-Centric Technologies and Applications [recurso electrónico] : Proceedings of the CONTEXTS 2011 Workshop / edited by José M. Molina, José Ramón Casar Corredera, Manuel Felipe Cátedra Pérez, Javier Ortega-García, Ana M. Bernardos Barbolla.

por Molina, José M [editor.] | Corredera, José Ramón Casar [editor.] | Pérez, Manuel Felipe Cátedra [editor.] | Ortega-García, Javier [editor.] | Barbolla, Ana M. Bernardos [editor.] | SpringerLink (Online service).

Series Advances in Intelligent and Soft Computing ; 94Origen: 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: Q342.

Electronic Tap-changer for Distribution Transformers [recurso electrónico] / by Jawad Faiz, Behzad Siahkolah.

por Faiz, Jawad [author.] | Siahkolah, Behzad [author.] | SpringerLink (Online service).

Series Power Systems ; 2Origen: 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: TK7881.15.

Highlights in Practical Applications of Agents and Multiagent Systems [recurso electrónico] : 9th International Conference on Practical Applications of Agents and Multiagent Systems / edited by Javier Bajo Pérez, Juan M. Corchado, María N. Moreno, Vicente Julián, Philippe Mathieu, Joaquin Canada-Bago, Alfonso Ortega, Antonio Fernández Caballero.

por Pérez, Javier Bajo [editor.] | Corchado, Juan M [editor.] | Moreno, María N [editor.] | Julián, Vicente [editor.] | Mathieu, Philippe [editor.] | Canada-Bago, Joaquin [editor.] | Ortega, Alfonso [editor.] | Caballero, Antonio Fernández [editor.] | SpringerLink (Online service).

Series Advances in Intelligent and Soft Computing ; 89Origen: 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: Q342.

Páginas

Con tecnología Koha