Resultados
|
|
|
|
|
Automata, Languages and Programming [recurso electrónico] : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part I / edited by Luca Aceto, Monika Henzinger, Jirí Sgall. por Aceto, Luca [editor.] | Henzinger, Monika [editor.] | Sgall, Jirí [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6755Origen: 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.
|
|
|
Automata, Languages and Programming [recurso electrónico] : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II / edited by Luca Aceto, Monika Henzinger, Jirí Sgall. por Aceto, Luca [editor.] | Henzinger, Monika [editor.] | Sgall, Jirí [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6756Origen: 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.
|
|
|
Virtual and Mixed Reality - New Trends [recurso electrónico] : International Conference, Virtual and Mixed Reality 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I / edited by Randall Shumaker. por Shumaker, Randall [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6773Origen: 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.
|
|
|
Virtual and Mixed Reality - Systems and Applications [recurso electrónico] : International Conference, Virtual and Mixed Reality 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part II / edited by Randall Shumaker. por Shumaker, Randall [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6774Origen: 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.
|
|
|
Digital Information and Communication Technology and Its Applications [recurso electrónico] : International Conference, DICTAP 2011, Dijon, France, June 21-23, 2011, Proceedings, Part II / edited by Hocine Cherifi, Jasni Mohamad Zain, Eyas El-Qawasmeh. por Cherifi, Hocine [editor.] | Zain, Jasni Mohamad [editor.] | El-Qawasmeh, Eyas [editor.] | SpringerLink (Online service). Series Communications in Computer and Information Science ; 167Origen: 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.
|
|
|
|
|
|
Intelligence and Security Informatics [recurso electrónico] : Pacific Asia Workshop, PAISI 2011, Beijing, China, July 9, 2011. Proceedings / edited by Michael Chau, G. Alan Wang, Xiaolong Zheng, Hsinchun Chen, Daniel Zeng, Wenji Mao. por Chau, Michael [editor.] | Wang, G. Alan [editor.] | Zheng, Xiaolong [editor.] | Chen, Hsinchun [editor.] | Zeng, Daniel [editor.] | Mao, Wenji [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6749Origen: 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.
|
|
|
Software Composition [recurso electrónico] : 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings / edited by Sven Apel, Ethan Jackson. por Apel, Sven [editor.] | Jackson, Ethan [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6708Origen: 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.
|
|
|
|
|
|
|
|
|
Information Processing in Medical Imaging [recurso electrónico] : 22nd International Conference, IPMI 2011, Kloster Irsee, Germany, July 3-8, 2011. Proceedings / edited by Gábor Székely, Horst K. Hahn. por Székely, Gábor [editor.] | Hahn, Horst K [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6801Origen: 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: TA1637 -1638.
|
|
|
HCI International 2011 – Posters’ Extended Abstracts [recurso electrónico] : International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part II / edited by Constantine Stephanidis. por Stephanidis, Constantine [editor.] | SpringerLink (Online service). Series Communications in Computer and Information Science ; 174Origen: 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.
|
|
|
HCI International 2011 – Posters’ Extended Abstracts [recurso electrónico] : International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I / edited by Constantine Stephanidis. por Stephanidis, Constantine [editor.] | SpringerLink (Online service). Series Communications in Computer and Information Science ; 173Origen: 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.
|
|
|
|
|
|
Computer Aided Verification [recurso electrónico] : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings / edited by Ganesh Gopalakrishnan, Shaz Qadeer. por Gopalakrishnan, Ganesh [editor.] | Qadeer, Shaz [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6806Origen: 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.
|
|
|
Automated Reasoning with Analytic Tableaux and Related Methods [recurso electrónico] : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings / edited by Kai Brünnler, George Metcalfe. por Brünnler, Kai [editor.] | Metcalfe, George [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6793Origen: 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.
|
|
|
|
|
|
Security Protocols XVI [recurso electrónico] : 16th International Workshop, Cambridge, UK, April 16-18, 2008. Revised Selected Papers / edited by Bruce Christianson, James A. Malcolm, Vashek Matyas, Michael Roe. por Christianson, Bruce [editor.] | Malcolm, James A [editor.] | Matyas, Vashek [editor.] | Roe, Michael [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6615Origen: 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 .A25.
|
|
|
Knowledge Processing and Data Analysis [recurso electrónico] : First International Conference, KONT 2007, Novosibirsk, Russia, September 14-16, 2007 and First International Conference, KPP 2007,Darmstadt, Germany, September 28-30, 2007. Revised Selected Papers / edited by Karl Erich Wolff, Dmitry E. Palchunov, Nikolay G. Zagoruiko, Urs Andelfinger. por Wolff, Karl Erich [editor.] | Palchunov, Dmitry E [editor.] | Zagoruiko, Nikolay G [editor.] | Andelfinger, Urs [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6581Origen: 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.
|