Refinar su búsqueda

Su búsqueda retornó 7749 resultados.

Ordenar
Resultados
Rule-Based Reasoning, Programming, and Applications [recurso electrónico] : 5th International Symposium, RuleML 2011 – Europe, Barcelona, Spain, July 19-21, 2011. Proceedings / edited by Nick Bassiliades, Guido Governatori, Adrian Paschke.

por Bassiliades, Nick [editor.] | Governatori, Guido [editor.] | Paschke, Adrian [editor.] | SpringerLink (Online service).

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

A Perspective on Stereophonic Acoustic Echo Cancellation [recurso electrónico] / by Jacob Benesty, Constantin Paleologu, Tomas Gänsler, Silviu Ciochina.

por Benesty, Jacob [author.] | Paleologu, Constantin [author.] | Gänsler, Tomas [author.] | Ciochina, Silviu [author.] | SpringerLink (Online service).

Series Springer Topics in Signal Processing ; 4Origen: 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.

High Performance Architecture and Grid Computing [recurso electrónico] : International Conference, HPAGC 2011, Chandigarh, India, July 19-20, 2011. Proceedings / edited by Archana Mantri, Suman Nandi, Gaurav Kumar, Sandeep Kumar.

por Mantri, Archana [editor.] | Nandi, Suman [editor.] | Kumar, Gaurav [editor.] | Kumar, Sandeep [editor.] | SpringerLink (Online service).

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

A Hybrid Deliberative Layer for Robotic Agents [recurso electrónico] : Fusing DL Reasoning with HTN Planning in Autonomous Robots / by Ronny Hartanto.

por Hartanto, Ronny [author.] | SpringerLink (Online service).

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

International Conference on Advancements of Medicine and Health Care through Technology [recurso electrónico] : 29th August – 2nd September 2011, Cluj-Napoca, Romania / edited by Simona Vlad, Radu V. Ciupa.

por Vlad, Simona [editor.] | Ciupa, Radu V [editor.] | SpringerLink (Online service).

Series IFMBE Proceedings ; 36Origen: 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: R856 -857.

Descriptional Complexity of Formal Systems [recurso electrónico] : 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings / edited by Markus Holzer, Martin Kutrib, Giovanni Pighizzini.

por Holzer, Markus [editor.] | Kutrib, Martin [editor.] | Pighizzini, Giovanni [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6808Origen: 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: QA75.5 -76.95.

Possibility for Decision [recurso electrónico] : A Possibilistic Approach to Real Life Decisions / by Christer Carlsson, Robert Fullér.

por Carlsson, Christer [author.] | Fullér, Robert [author.] | SpringerLink (Online service).

Series Studies in Fuzziness and Soft Computing ; 270Origen: 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.

ECOOP 2011 – Object-Oriented Programming [recurso electrónico] : 25th European Conference, Lancaster, Uk, July 25-29, 2011 Proceedings / edited by Mira Mezini.

por Mezini, Mira [editor.] | SpringerLink (Online service).

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

Intelligent Open Learning Systems [recurso electrónico] : Concepts, Models and Algorithms / by Przemyslaw Rózewski, Emma Kusztina, Ryszard Tadeusiewicz, Oleg Zaikin.

por Rózewski, Przemyslaw [author.] | Kusztina, Emma [author.] | Tadeusiewicz, Ryszard [author.] | Zaikin, Oleg [author.] | SpringerLink (Online service).

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

Parallel and Distributed Computing and Networks [recurso electrónico] : International Conference, PDCN 2010, Chongqing, China, December 13-14, 2010. Revised Selected Papers / edited by Luo Qi.

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

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

e-Technologies and Networks for Development [recurso electrónico] : First International Conference, ICeND 2011, Dar-es-Salaam, Tanzania, August 3-5, 2011. Proceedings / edited by Jim James Yonazi, Eliamani Sedoyeka, Ezendu Ariwa, Eyas El-Qawasmeh.

por Yonazi, Jim James [editor.] | Sedoyeka, Eliamani [editor.] | Ariwa, Ezendu [editor.] | El-Qawasmeh, Eyas [editor.] | SpringerLink (Online service).

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

Emerging Intelligent Technologies in Industry [recurso electrónico] / edited by Dominik Ryzko, Henryk Rybinski, Piotr Gawrysiak, Marzena Kryszkiewicz.

por Ryzko, Dominik [editor.] | Rybinski, Henryk [editor.] | Gawrysiak, Piotr [editor.] | Kryszkiewicz, Marzena [editor.] | SpringerLink (Online service).

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

Nonlinear Dynamical Systems in Engineering [recurso electrónico] : Some Approximate Approaches / by Vasile Marinca, Nicolae Herisanu.

por Marinca, Vasile [author.] | Herisanu, Nicolae [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: QA76.9 .M35.

Towards a Service-Based Internet. ServiceWave 2010 Workshops [recurso electrónico] : International Workshops, OCS, EMSOA, SMART, and EDBPM 2010, Ghent, Belgium, December 13-15, 2010, Revised Selected Papers / edited by Michel Cezon, Yaron Wolfsthal.

por Cezon, Michel [editor.] | Wolfsthal, Yaron [editor.] | SpringerLink (Online service).

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

Web Information Systems and Technologies [recurso electrónico] : 6th International Conference, WEBIST 2010, Valencia, Spain, April 7-10, 2010, Revised Selected Papers / edited by Joaquim Filipe, José Cordeiro.

por Filipe, Joaquim [editor.] | Cordeiro, José [editor.] | SpringerLink (Online service).

Series Lecture Notes in Business Information Processing ; 75Origen: 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.

Perspectives on Soviet and Russian Computing [recurso electrónico] : First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006, Revised Selected Papers / edited by John Impagliazzo, Eduard Proydakov.

por Impagliazzo, John [editor.] | Proydakov, Eduard [editor.] | SpringerLink (Online service).

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

Emotional Cognitive Neural Algorithms with Engineering Applications [recurso electrónico] : Dynamic Logic: FromVague to Crisp / by Leonid Perlovsky, Ross Deming, Roman Ilin.

por Perlovsky, Leonid [author.] | Deming, Ross [author.] | Ilin, Roman [author.] | SpringerLink (Online service).

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

Nonlinear Mathematics for Uncertainty and its Applications [recurso electrónico] / edited by Shoumei Li, Xia Wang, Yoshiaki Okazaki, Jun Kawabe, Toshiaki Murofushi, Li Guan.

por Li, Shoumei [editor.] | Wang, Xia [editor.] | Okazaki, Yoshiaki [editor.] | Kawabe, Jun [editor.] | Murofushi, Toshiaki [editor.] | Guan, Li [editor.] | SpringerLink (Online service).

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

Robotic Sailing [recurso electrónico] : Proceedings of the 4th International Robotic Sailing Conference / edited by Alexander Schlaefer, Ole Blaurock.

por Schlaefer, Alexander [editor.] | Blaurock, Ole [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: TJ210.2 -211.495.

Interactive Theorem Proving [recurso electrónico] : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings / edited by Marko Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk.

por Eekelen, Marko [editor.] | Geuvers, Herman [editor.] | Schmaltz, Julien [editor.] | Wiedijk, Freek [editor.] | SpringerLink (Online service).

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

Páginas

Con tecnología Koha