Su búsqueda retornó 18192 resultados.

Resultados
		Algebraic Topology of Finite Topological Spaces and Applications [recurso electrónico] / by Jonathan A. Barmak. por Barmak, Jonathan A [author.] \| SpringerLink (Online service). Series Lecture Notes in Mathematics ; 2032Origen: 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: QA612 -612.8.
		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.
		Transactions on Aspect-Oriented Software Development VIII [recurso electrónico] / edited by Shmuel Katz, Mira Mezini, Christine Schwanninger, Wouter Joosen. por Katz, Shmuel [editor.] \| Mezini, Mira [editor.] \| Schwanninger, Christine [editor.] \| Joosen, Wouter [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6580Origen: 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.
		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.
		Gossans and Leached Cappings [recurso electrónico] : Field Assessment / by Roger Taylor. por Taylor, Roger [author.] \| SpringerLink (Online service). Origen: 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: XX(376415.2).
		Parallel Genetic Algorithms [recurso electrónico] : Theory and Real World Applications / by Gabriel Luque, Enrique Alba. por Luque, Gabriel [author.] \| Alba, Enrique [author.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 367Origen: 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: TA329 -348.
		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.
		Cusped Shell-Like Structures [recurso electrónico] / by George Jaiani. por Jaiani, George [author.] \| SpringerLink (Online service). Series SpringerBriefs in Applied Sciences and TechnologyOrigen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TA405 -409.3.
		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.
		Correction Formulae for the Stress Distribution in Round Tensile Specimens at Neck Presence [recurso electrónico] / by Magdalena Gromada, Gennady Mishuris, Andreas Öchsner. por Gromada, Magdalena [author.] \| Mishuris, Gennady [author.] \| Öchsner, Andreas [author.] \| SpringerLink (Online service). Series SpringerBriefs in Applied Sciences and TechnologyOrigen: 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: TA405 -409.3.
		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.

		Algebraic Topology of Finite Topological Spaces and Applications [recurso electrónico] / by Jonathan A. Barmak. por Barmak, Jonathan A [author.] \| SpringerLink (Online service). Series Lecture Notes in Mathematics ; 2032Origen: 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: QA612 -612.8.
		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.
		Transactions on Aspect-Oriented Software Development VIII [recurso electrónico] / edited by Shmuel Katz, Mira Mezini, Christine Schwanninger, Wouter Joosen. por Katz, Shmuel [editor.] \| Mezini, Mira [editor.] \| Schwanninger, Christine [editor.] \| Joosen, Wouter [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6580Origen: 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.
		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.
		Gossans and Leached Cappings [recurso electrónico] : Field Assessment / by Roger Taylor. por Taylor, Roger [author.] \| SpringerLink (Online service). Origen: 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: XX(376415.2).
		Parallel Genetic Algorithms [recurso electrónico] : Theory and Real World Applications / by Gabriel Luque, Enrique Alba. por Luque, Gabriel [author.] \| Alba, Enrique [author.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 367Origen: 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: TA329 -348.
		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.
		Cusped Shell-Like Structures [recurso electrónico] / by George Jaiani. por Jaiani, George [author.] \| SpringerLink (Online service). Series SpringerBriefs in Applied Sciences and TechnologyOrigen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TA405 -409.3.
		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.
		Correction Formulae for the Stress Distribution in Round Tensile Specimens at Neck Presence [recurso electrónico] / by Magdalena Gromada, Gennady Mishuris, Andreas Öchsner. por Gromada, Magdalena [author.] \| Mishuris, Gennady [author.] \| Öchsner, Andreas [author.] \| SpringerLink (Online service). Series SpringerBriefs in Applied Sciences and TechnologyOrigen: 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: TA405 -409.3.
		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.

Refinar su búsqueda

Disponibilidad

Autores

Colecciones

Bibliotecas depositarias

Tipos de ítem

Ubicaciones

Series

Lugares

Tópicos

Títulos

Su búsqueda retornó 18192 resultados.