Resultados
|
|
Languages, Methodologies, and Development Tools for Multi-Agent Systems [recurso electrónico] : Third International Workshop, LADS 2010, Lyon, France, August 30 – September 1, 2010, Revised Selected Papers / edited by Mehdi Dastani, Amal Fallah Seghrouchni, Jomi Hübner, João Leite. por Dastani, Mehdi [editor.] | Fallah Seghrouchni, Amal [editor.] | Hübner, Jomi [editor.] | Leite, João [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6822Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; 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.
|
|
|
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; Formato:
electrónico
disponible en línea ; 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.
|
|
|
Hybrid Learning [recurso electrónico] : 4th International Conference, ICHL 2011, Hong Kong, China, August 10-12, 2011. Proceedings / edited by Reggie Kwan, Joseph Fong, Lam-for Kwok, Jeanne Lam. por Kwan, Reggie [editor.] | Fong, Joseph [editor.] | Kwok, Lam-for [editor.] | Lam, Jeanne [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6837Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; 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.
|
|
|
|
|
|
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; Formato:
electrónico
disponible en línea ; 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.
|
|
|
Smart Spaces and Next Generation Wired/Wireless Networking [recurso electrónico] : 11th International Conference, NEW2AN 2011, and 4th Conference on Smart Spaces, ruSMART 2011, St. Petersburg, Russia, August 22-25, 2011. Proceedings / edited by Sergey Balandin, Yevgeni Koucheryavy, Honglin Hu. por Balandin, Sergey [editor.] | Koucheryavy, Yevgeni [editor.] | Hu, Honglin [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6869Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; 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.
|
|
|
Trust, Privacy and Security in Digital Business [recurso electrónico] : 8th International Conference, TrustBus 2011, Toulouse, France, August 29 - September 2, 2011. Proceedings / edited by Steven Furnell, Costas Lambrinoudakis, Günther Pernul. por Furnell, Steven [editor.] | Lambrinoudakis, Costas [editor.] | Pernul, Günther [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6863Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; 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.
|
|
|
Trends in Functional Programming [recurso electrónico] : 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers / edited by Rex Page, Zoltán Horváth, Viktória Zsók. por Page, Rex [editor.] | Horváth, Zoltán [editor.] | Zsók, Viktória [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6546Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; 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.7 -76.73.
|
|
|
Haptic and Audio Interaction Design [recurso electrónico] : 6th International Workshop, HAID 2011, Kusatsu, Japan, August 25-26, 2011. Proceedings / edited by Eric W. Cooper, Victor V. Kryssanov, Hitoshi Ogawa, Stephen Brewster. por Cooper, Eric W [editor.] | Kryssanov, Victor V [editor.] | Ogawa, Hitoshi [editor.] | Brewster, Stephen [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6851Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; 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 .U83.
|
|
|
Mathematical Foundations of Computer Science 2011 [recurso electrónico] : 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings / edited by Filip Murlak, Piotr Sankowski. por Murlak, Filip [editor.] | Sankowski, Piotr [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6907Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; 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.
|
|
|
Semantic Multimedia [recurso electrónico] : 5th International Conference on Semantic and Digital Media Technologies, SAMT 2010. Saarbrücken, Germany, December 1-3, 2010. Revised Selected Papers / edited by Thierry Declerck, Michael Granitzer, Marcin Grzegorzek, Massimo Romanelli, Stefan Rüger, Michael Sintek. por Declerck, Thierry [editor.] | Granitzer, Michael [editor.] | Grzegorzek, Marcin [editor.] | Romanelli, Massimo [editor.] | Rüger, Stefan [editor.] | Sintek, Michael [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6725Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; 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.
|
|
|
Reasoning Web. Semantic Technologies for the Web of Data [recurso electrónico] : 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011, Tutorial Lectures / edited by Axel Polleres, Claudia d’Amato, Marcelo Arenas, Siegfried Handschuh, Paula Kroner, Sascha Ossowski, Peter Patel-Schneider. por Polleres, Axel [editor.] | d’Amato, Claudia [editor.] | Arenas, Marcelo [editor.] | Handschuh, Siegfried [editor.] | Kroner, Paula [editor.] | Ossowski, Sascha [editor.] | Patel-Schneider, Peter [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6848Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; 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.
|
|
|
NETWORKING 2011 Workshops [recurso electrónico] : International IFIP TC 6 Workshops, PE-CRN, NC-Pro, WCNS, and SUNSET 2011, Held at NETWORKING 2011, Valencia, Spain, May 13, 2011, Revised Selected Papers / edited by Vicente Casares-Giner, Pietro Manzoni, Ana Pont. por Casares-Giner, Vicente [editor.] | Manzoni, Pietro [editor.] | Pont, Ana [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6827Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; 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.
|
|
|
|
|
|
|
|
|
|
|
|
Holonic and Multi-Agent Systems for Manufacturing [recurso electrónico] : 5th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2011, Toulouse, France, August 29-31, 2011. Proceedings / edited by Vladimír Marík, Pavel Vrba, Paulo Leitão. por Marík, Vladimír [editor.] | Vrba, Pavel [editor.] | Leitão, Paulo [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6867Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; 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.
|
|
|
Spatial Information Theory [recurso electrónico] : 10th International Conference, COSIT 2011, Belfast, ME, USA, September 12-16, 2011. Proceedings / edited by Max Egenhofer, Nicholas Giudice, Reinhard Moratz, Michael Worboys. por Egenhofer, Max [editor.] | Giudice, Nicholas [editor.] | Moratz, Reinhard [editor.] | Worboys, Michael [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6899Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; 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 .D35.
|
|
|
|
|
|
Information Technology in Bio- and Medical Informatics [recurso electrónico] : Second International Conference, ITBAM 2011, Toulouse, France, August 31 - September 1, 2011. Proceedings / edited by Christian Böhm, Sami Khuri, Lenka Lhotská, Nadia Pisanti. por Böhm, Christian [editor.] | Khuri, Sami [editor.] | Lhotská, Lenka [editor.] | Pisanti, Nadia [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6865Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; 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.
|