Su búsqueda retornó 2235 resultados.

Ordenar
Resultados
On the Move to Meaningful Internet Systems, OTM 2010 [recurso electrónico] : Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part II / edited by Robert Meersman, Tharam Dillon, Pilar Herrero.

por Meersman, Robert [editor.] | Dillon, Tharam [editor.] | Herrero, Pilar [editor.] | SpringerLink (Online service).

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

Middleware 2010 [recurso electrónico] : ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29 - December 3, 2010. Proceedings / edited by Indranil Gupta, Cecilia Mascolo.

por Gupta, Indranil [editor.] | Mascolo, Cecilia [editor.] | SpringerLink (Online service).

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

Motion in Games [recurso electrónico] : Third International Conference, MIG 2010, Utrecht, The Netherlands, November 14-16, 2010. Proceedings / edited by Ronan Boulic, Yiorgos Chrysanthou, Taku Komura.

por Boulic, Ronan [editor.] | Chrysanthou, Yiorgos [editor.] | Komura, Taku [editor.] | SpringerLink (Online service).

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

On the Move to Meaningful Internet Systems: OTM 2010 Workshops [recurso electrónico] : Confederated International Workshops and Posters: International Workshops: AVYTAT, ADI, DATAVIEW, EI2N, ISDE, MONET, OnToContent, ORM, P2P-CDVE, SeDeS, SWWS and OTMA. Hersonissos, Crete, Greece, October 25-29, 2010. Proceedings / edited by Robert Meersman, Tharam Dillon, Pilar Herrero.

por Meersman, Robert [editor.] | Dillon, Tharam [editor.] | Herrero, Pilar [editor.] | SpringerLink (Online service).

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

Smart Sensing and Context [recurso electrónico] : 5th European Conference, EuroSSC 2010, Passau, Germany, November 14-16, 2010. Proceedings / edited by Paul Lukowicz, Kai Kunze, Gerd Kortuem.

por Lukowicz, Paul [editor.] | Kunze, Kai [editor.] | Kortuem, Gerd [editor.] | SpringerLink (Online service).

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

Transactions on Computational Collective Intelligence II [recurso electrónico] / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk.

por Nguyen, Ngoc Thanh [editor.] | Kowalczyk, Ryszard [editor.] | SpringerLink (Online service).

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

Programming Languages and Systems [recurso electrónico] : 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings / edited by Kazunori Ueda.

por Ueda, Kazunori [editor.] | SpringerLink (Online service).

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

Verification, Induction, Termination Analysis [recurso electrónico] : Festschrift for Christoph Walther on the Occasion of His 60th Birthday / edited by Simon Siegler, Nathan Wasser.

por Siegler, Simon [editor.] | Wasser, Nathan [editor.] | SpringerLink (Online service).

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

Information Retrieval Technology [recurso electrónico] : 6th Asia Information Retrieval Societies Conference, AIRS 2010, Taipei, Taiwan, December 1-3, 2010. Proceedings / edited by Pu-Jen Cheng, Min-Yen Kan, Wai Lam, Preslav Nakov.

por Cheng, Pu-Jen [editor.] | Kan, Min-Yen [editor.] | Lam, Wai [editor.] | Nakov, Preslav [editor.] | SpringerLink (Online service).

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

Social Robotics [recurso electrónico] : Second International Conference on Social Robotics, ICSR 2010, Singapore, November 23-24, 2010. Proceedings / edited by Shuzhi Sam Ge, Haizhou Li, John-John Cabibihan, Yeow Kee Tan.

por Ge, Shuzhi Sam [editor.] | Li, Haizhou [editor.] | Cabibihan, John-John [editor.] | Tan, Yeow Kee [editor.] | SpringerLink (Online service).

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

Simulated Evolution and Learning [recurso electrónico] : 8th International Conference, SEAL 2010, Kanpur, India, December 1-4, 2010. Proceedings / edited by Kalyanmoy Deb, Arnab Bhattacharya, Nirupam Chakraborti, Partha Chakroborty, Swagatam Das, Joydeep Dutta, Santosh K. Gupta, Ashu Jain, Varun Aggarwal, Jürgen Branke, Sushil J. Louis, Kay Chen Tan.

por Deb, Kalyanmoy [editor.] | Bhattacharya, Arnab [editor.] | Chakraborti, Nirupam [editor.] | Chakroborty, Partha [editor.] | Das, Swagatam [editor.] | Dutta, Joydeep [editor.] | Gupta, Santosh K [editor.] | Jain, Ashu [editor.] | Aggarwal, Varun [editor.] | Branke, Jürgen [editor.] | Louis, Sushil J [editor.] | Tan, Kay Chen [editor.] | SpringerLink (Online service).

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

Simulation, Modeling, and Programming for Autonomous Robots [recurso electrónico] : Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010. Proceedings / edited by Noriaki Ando, Stephen Balakirsky, Thomas Hemker, Monica Reggiani, Oskar Stryk.

por Ando, Noriaki [editor.] | Balakirsky, Stephen [editor.] | Hemker, Thomas [editor.] | Reggiani, Monica [editor.] | Stryk, Oskar [editor.] | SpringerLink (Online service).

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

Graph Transformations and Model-Driven Engineering [recurso electrónico] : Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday / edited by Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel.

por Engels, Gregor [editor.] | Lewerentz, Claus [editor.] | Schäfer, Wilhelm [editor.] | Schürr, Andy [editor.] | Westfechtel, Bernhard [editor.] | SpringerLink (Online service).

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

Service-Oriented Computing [recurso electrónico] : 8th International Conference, ICSOC 2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings / edited by Paul P. Maglio, Mathias Weske, Jian Yang, Marcelo Fantinato.

por Maglio, Paul P [editor.] | Weske, Mathias [editor.] | Yang, Jian [editor.] | Fantinato, Marcelo [editor.] | SpringerLink (Online service).

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

Progress in Cryptology - INDOCRYPT 2010 [recurso electrónico] : 11th International Conference on Cryptology in India, Hyderabad, India, December 12-15, 2010. Proceedings / edited by Guang Gong, Kishan Chand Gupta.

por Gong, Guang [editor.] | Gupta, Kishan Chand [editor.] | SpringerLink (Online service).

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

Pairing-Based Cryptography - Pairing 2010 [recurso electrónico] : 4th International Conference, Yamanaka Hot Spring, Japan, December 2010. Proceedings / edited by Marc Joye, Atsuko Miyaji, Akira Otsuka.

por Joye, Marc [editor.] | Miyaji, Atsuko [editor.] | Otsuka, Akira [editor.] | SpringerLink (Online service).

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

Parameterized and Exact Computation [recurso electrónico] : 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings / edited by Venkatesh Raman, Saket Saurabh.

por Raman, Venkatesh [editor.] | Saurabh, Saket [editor.] | SpringerLink (Online service).

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

Transactions on Computational Science X [recurso electrónico] : Special Issue on Security in Computing, Part I / edited by Marina L. Gavrilova, C. J. Kenneth Tan, Edward David Moreno.

por Gavrilova, Marina L [editor.] | Tan, C. J. Kenneth [editor.] | Moreno, Edward David [editor.] | SpringerLink (Online service).

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

Learning Classifier Systems [recurso electrónico] : 11th International Workshop, IWLCS 2008, Atlanta, GA, USA, July 13, 2008, and 12th International Workshop, IWLCS 2009, Montreal, QC, Canada, July 9, 2009, Revised Selected Papers / edited by Jaume Bacardit, Will Browne, Jan Drugowitsch, Ester Bernadó-Mansilla, Martin V. Butz.

por Bacardit, Jaume [editor.] | Browne, Will [editor.] | Drugowitsch, Jan [editor.] | Bernadó-Mansilla, Ester [editor.] | Butz, Martin V [editor.] | SpringerLink (Online service).

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

Logic for Programming, Artificial Intelligence, and Reasoning [recurso electrónico] : 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers / edited by Edmund M. Clarke, Andrei Voronkov.

por Clarke, Edmund M [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service).

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

Páginas

Con tecnología Koha