Resultados
|
|
|
|
|
Tools for Teaching Logic [recurso electrónico] : Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings / edited by Patrick Blackburn, Hans Ditmarsch, María Manzano, Fernando Soler-Toscano. por Blackburn, Patrick [editor.] | Ditmarsch, Hans [editor.] | Manzano, María [editor.] | Soler-Toscano, Fernando [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6680Origen: 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.
|
|
|
Multidisciplinary Information Retrieval [recurso electrónico] : Second Information Retrieval Facility Conference, IRFC 2011, Vienna, Austria, June 6, 2011. Proceedings / edited by Allan Hanbury, Andreas Rauber, Arjen P. Vries. por Hanbury, Allan [editor.] | Rauber, Andreas [editor.] | Vries, Arjen P [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6653Origen: 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 .D343.
|
|
|
|
|
|
Researching the Future in Information Systems [recurso electrónico] : IFIP WG 8.2 Working Conference, Turku, Finland, June 6-8, 2011. Proceedings / edited by Mike Chiasson, Ola Henfridsson, Helena Karsten, Janice I. DeGross. por Chiasson, Mike [editor.] | Henfridsson, Ola [editor.] | Karsten, Helena [editor.] | DeGross, Janice I [editor.] | SpringerLink (Online service). Series IFIP Advances in Information and Communication Technology ; 356Origen: 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 .M3.
|
|
|
|
|
|
|
|
|
Distributed Applications and Interoperable Systems [recurso electrónico] : 11th IFIP WG 6.1 International Conference, DAIS 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings / edited by Pascal Felber, Romain Rouvoy. por Felber, Pascal [editor.] | Rouvoy, Romain [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6723Origen: 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.
|
|
|
|
|
|
Dependable Computer Systems [recurso electrónico] / edited by Wojciech Zamojski, Janusz Kacprzyk, Jacek Mazurkiewicz, Jaroslaw Sugier, Tomasz Walkowiak. por Zamojski, Wojciech [editor.] | Kacprzyk, Janusz [editor.] | Mazurkiewicz, Jacek [editor.] | Sugier, Jaroslaw [editor.] | Walkowiak, Tomasz [editor.] | SpringerLink (Online service). Series Advances in Intelligent and Soft Computing ; 97Origen: 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: Q342.
|
|
|
|
|
|
|
|
|
|
|
|
Future Challenges in Security and Privacy for Academia and Industry [recurso electrónico] : 26th IFIP TC 11 International Information Security Conference, SEC 2011, Lucerne, Switzerland, June 7-9, 2011. Proceedings / edited by Jan Camenisch, Simone Fischer-Hübner, Yuko Murayama, Armand Portmann, Carlos Rieder. por Camenisch, Jan [editor.] | Fischer-Hübner, Simone [editor.] | Murayama, Yuko [editor.] | Portmann, Armand [editor.] | Rieder, Carlos [editor.] | SpringerLink (Online service). Series IFIP Advances in Information and Communication Technology ; 354Origen: 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.
|
|
|
|
|
|
|
|
|
Mobile Networks and Management [recurso electrónico] : Second International ICST Conference, MONAMI 2010, Santander, Spain, September 22-24, 2010, Revised Selected Papers / edited by Kostas Pentikousis, Ramón Agüero, Marta García-Arranz, Symeon Papavassiliou. por Pentikousis, Kostas [editor.] | Agüero, Ramón [editor.] | García-Arranz, Marta [editor.] | Papavassiliou, Symeon [editor.] | SpringerLink (Online service). Series Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 68Origen: 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.
|
|
|
|
|
|
|
|
|
Formal Methods for Eternal Networked Software Systems [recurso electrónico] : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures / edited by Marco Bernardo, Valérie Issarny. por Bernardo, Marco [editor.] | Issarny, Valérie [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6659Origen: 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.
|