Su búsqueda obtuvo 371 resultados.

Ordenar
Resultados
Advances in Verification of Time Petri Nets and Timed Automata [Recurso electrónico] : A Temporal Logic Approach / by Wojciech Penczek, Agata Pólrola.

por Penczek, Wojciech | Pólrola, Agata | SpringerLink (Online service).

Series Studies in Computational Intelligence, 1860-949X ; ; 20Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Disponibilidad: No hay ítems disponibles.

Intelligent Techniques and Tools for Novel System Architectures [Recurso electrónico] / edited by Panagiotis Chountas, Ilias Petrounias, Janusz Kacprzyk.

por Chountas, Panagiotis | Petrounias, Ilias | Kacprzyk, Janusz | SpringerLink (Online service).

Series Studies in Computational Intelligence, 1860-949X ; ; 109Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Disponibilidad: No hay ítems disponibles.

Intelligent Networking, Collaborative Systems and Applications [Recurso electrónico] / edited by Santi Caballé, Fatos Xhafa, Ajith Abraham.

por Caballé, Santi | Xhafa, Fatos | Abraham, Ajith | SpringerLink (Online service).

Series Studies in Computational Intelligence, 1860-949X ; ; 329Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011Disponibilidad: No hay ítems disponibles.

Intelligent Distributed Computing V [Recurso electrónico] : Proceedings of the 5th International Symposium on Intelligent Distributed Computing Ì{u1498}£ IDC 2011, Delft, The Netherlands Ì{u1498}£ October 2011 / edited by F. M. T. Brazier, Kees Nieuwenhuis, Gregor Pavlin, Martijn Warnier, Costin Badica.

por Brazier, F. M. T | Nieuwenhuis, Kees | Pavlin, Gregor | Warnier, Martijn | Badica, Costin.

Series Studies in Computational Intelligence, 1860-949X ; ; 382Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Disponibilidad: No hay ítems disponibles.

Autonomous Systems: Developments and Trends [Recurso electrónico] / edited by Herwig Unger, Kyandoghere Kyamaky, Janusz Kacprzyk.

por Unger, Herwig | Kyamaky, Kyandoghere | Kacprzyk, Janusz.

Series Studies in Computational Intelligence, 1860-949X ; ; 391Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Disponibilidad: No hay ítems disponibles.

Complex-Valued Neural Networks [Recurso electrónico] / by Akira Hirose.

por Hirose, Akira.

Series Studies in Computational Intelligence, 1860-949X ; ; 400Edición: 2nd ed. 2012.Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Disponibilidad: No hay ítems disponibles.

Intelligent Adaptation and Personalization Techniques in Computer-Supported Collaborative Learning [Recurso electrónico] / edited by Thanasis Daradoumis, Stavros N. Demetriadis, Fatos Xhafa.

por Daradoumis, Thanasis | Demetriadis, Stavros N | Xhafa, Fatos.

Series Studies in Computational Intelligence, 1860-949X ; ; 408Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Disponibilidad: No hay ítems disponibles.

Intelligent and Evolutionary Systems [Recurso electrónico] / edited by Mitsuo Gen, David Green, Osamu Katai, Bob McKay, Akira Namatame, Ruhul A. Sarker, Byoung-Tak Zhang.

por Gen, Mitsuo | Green, David | Katai, Osamu | McKay, Bob | Namatame, Akira | Sarker, Ruhul A | Zhang, Byoung-Tak | SpringerLink (Online service).

Series Studies in Computational Intelligence, 1860-949X ; ; 187Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Disponibilidad: No hay ítems disponibles.

Innovations in Defence Support Systems â€{u0CDF}h[electronic resource] : [Recurso electrónico] : Intelligent Paradigms in Security / edited by Paolo Remagnino, Dorothy N. Monekosso, Lakhmi C. Jain.

por Remagnino, Paolo | Monekosso, Dorothy N | Jain, Lakhmi C | SpringerLink (Online service).

Series Studies in Computational Intelligence, 1860-949X ; ; 336Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Disponibilidad: No hay ítems disponibles.

Advances in Machine Learning II [Recurso electrónico] : Dedicated to the Memory of Professor Ryszard S.Michalski / edited by Jacek Koronacki, Zbigniew W. RaÅ{uC813}Å{u1DEF}mir T. WierzchoÅ{uC80A}anusz Kacprzyk.

por Koronacki, Jacek | RaÅ{uC81A}bigniew W | WierzchoÅ{uC813}Å{u1DEF}mir T | Kacprzyk, Janusz | SpringerLink (Online service).

Series Studies in Computational Intelligence, 1860-949X ; ; 263Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010Disponibilidad: No hay ítems disponibles.

Conceptual Graphs and Fuzzy Logic [Recurso electrónico] : A Fusion for Representing and Reasoning with Linguistic Information / by Tru Hoang Cao.

por Cao, Tru Hoang | SpringerLink (Online service).

Series Studies in Computational Intelligence, 1860-949X ; ; 306Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010Disponibilidad: No hay ítems disponibles.

Interactive Collaborative Information Systems [Recurso electrónico] / edited by Robert BabuÅ¡ka, Frans C. A. Groen.

por Babuška, Robert | Groen, Frans C. A | SpringerLink (Online service).

Series Studies in Computational Intelligence, 1860-949X ; ; 281Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010Disponibilidad: No hay ítems disponibles.

Transfer in Reinforcement Learning Domains [Recurso electrónico] / by Matthew E. Taylor.

por Taylor, Matthew E | SpringerLink (Online service).

Series Studies in Computational Intelligence, 1860-949X ; ; 216Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Disponibilidad: No hay ítems disponibles.

Mobile Hybrid Intrusion Detection [Recurso electrónico] : The MOVICAB-IDS System / by Ã{uCDA1}ro Herrero, Emilio Corchado.

por Herrero, Ã{uCDA1}ro | Corchado, Emilio | SpringerLink (Online service).

Series Studies in Computational Intelligence, 1860-949X ; ; 334Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Disponibilidad: No hay ítems disponibles.

Advances in Knowledge Discovery and Management [Recurso electrónico] / edited by Fabrice Guillet, Gilbert Ritschard, Djamel Abdelkader Zighed, Henri Briand.

por Guillet, Fabrice | Ritschard, Gilbert | Zighed, Djamel Abdelkader | Briand, Henri | SpringerLink (Online service).

Series Studies in Computational Intelligence, 1860-949X ; ; 292Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010Disponibilidad: No hay ítems disponibles.

New Directions in Web Data Management 1 [Recurso electrónico] / edited by Athena Vakali, Lakhmi C. Jain.

por Vakali, Athena | Jain, Lakhmi C | SpringerLink (Online service).

Series Studies in Computational Intelligence, 1860-949X ; ; 331Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011Disponibilidad: No hay ítems disponibles.

Computational Intelligence in Medical Informatics [Recurso electrónico] / edited by Arpad Kelemen, Ajith Abraham, Yulan Liang.

por Kelemen, Arpad | Abraham, Ajith | Liang, Yulan | SpringerLink (Online service).

Series Studies in Computational Intelligence, 1860-949X ; ; 85Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Disponibilidad: No hay ítems disponibles.

Successful Case-based Reasoning Applications - I [Recurso electrónico] / edited by Stefania Montani, Lakhmi C. Jain.

por Montani, Stefania | Jain, Lakhmi C | SpringerLink (Online service).

Series Studies in Computational Intelligence, 1860-949X ; ; 305Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010Disponibilidad: No hay ítems disponibles.

Computational Intelligence in Bioinformatics [Recurso electrónico] / edited by Arpad Kelemen, Ajith Abraham, Yuehui Chen.

por Kelemen, Arpad | Abraham, Ajith | Chen, Yuehui | SpringerLink (Online service).

Series Studies in Computational Intelligence, 1860-949X ; ; 94Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Disponibilidad: No hay ítems disponibles.

Advanced Techniques in Web Intelligence - I [Recurso electrónico] / edited by Juan D. Velásquez, Lakhmi C. Jain.

por Velásquez, Juan D | Jain, Lakhmi C | SpringerLink (Online service).

Series Studies in Computational Intelligence, 1860-949X ; ; 311Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010Disponibilidad: No hay ítems disponibles.

Páginas

Con tecnología Koha