Su búsqueda retornó 22171 resultados.

Resultados
		Hilbert Functions of Filtered Modules [recurso electrónico] / by Giuseppe Valla, Maria Evelina Rossi. por Valla, Giuseppe [author.] \| Rossi, Maria Evelina [author.] \| SpringerLink (Online service). Series Lecture Notes of the Unione Matematica Italiana ; 9Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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: QA150 -272.
		New Results in Numerical and Experimental Fluid Mechanics VII [recurso electrónico] : Contributions to the 16th STAB/DGLR Symposium Aachen, Germany 2008 / edited by Andreas Dillmann, Gerd Heller, Michael Klaas, Hans-Peter Kreplin, Wolfgang Nitsche, Wolfgang Schröder. por Dillmann, Andreas [editor.] \| Heller, Gerd [editor.] \| Klaas, Michael [editor.] \| Kreplin, Hans-Peter [editor.] \| Nitsche, Wolfgang [editor.] \| Schröder, Wolfgang [editor.] \| SpringerLink (Online service). Series Notes on Numerical Fluid Mechanics and Multidisciplinary Design ; 112Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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: TA357 -359.
		Web-Age Information Management [recurso electrónico] : 11th International Conference, WAIM 2010, Jiuzhaigou, China, July 15-17, 2010. Proceedings / edited by Lei Chen, Changjie Tang, Jun Yang, Yunjun Gao. por Chen, Lei [editor.] \| Tang, Changjie [editor.] \| Yang, Jun [editor.] \| Gao, Yunjun [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6184Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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.
		Wild Crop Relatives: Genomic and Breeding Resources [recurso electrónico] : Millets and Grasses / edited by Chittaranjan Kole. por Kole, Chittaranjan [editor.] \| 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: SB123 -123.5.
		Geometric Theory of Discrete Nonautonomous Dynamical Systems [recurso electrónico] / by Christian Pötzsche. por Pötzsche, Christian [author.] \| SpringerLink (Online service). Series Lecture Notes in Mathematics ; 2002Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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: QA313.
		FORMS/FORMAT 2010 [recurso electrónico] : Formal Methods for Automation and Safety in Railway and Automotive Systems / edited by Eckehard Schnieder, Geza Tarnai. por Schnieder, Eckehard [editor.] \| Tarnai, Geza [editor.] \| 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: TA169.7.
		Current Topics in Artificial Intelligence [recurso electrónico] : 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009, Seville, Spain, November 9-13, 2009. Selected Papers / edited by Pedro Meseguer, Lawrence Mandow, Rafael M. Gasca. por Meseguer, Pedro [editor.] \| Mandow, Lawrence [editor.] \| Gasca, Rafael M [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5988Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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.
		Learning to Rank for Information Retrieval [recurso electrónico] / by Tie-Yan Liu. por Liu, Tie-Yan [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 : Imprint: Springer, 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.
		The Pursuit of Quantum Gravity [recurso electrónico] : Memoirs of Bryce DeWitt from 1946 to 2004 / by Cécile DeWitt-Morette. por DeWitt-Morette, Cécile [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: QC178.
		Case-Based Reasoning. Research and Development [recurso electrónico] : 18th International Conference on Case-Based Reasoning, ICCBR 2010, Alessandria, Italy, July 19-22, 2010. Proceedings / edited by Isabelle Bichindaritz, Stefania Montani. por Bichindaritz, Isabelle [editor.] \| Montani, Stefania [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6176Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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.
		Privacy and Identity Management for Life [recurso electrónico] : 5th IFIP WG 9.2, 9.6/11.4, 11.6, 11.7/PrimeLife International Summer School, Nice, France, September 7-11, 2009, Revised Selected Papers / edited by Michele Bezzi, Penny Duquenoy, Simone Fischer-Hübner, Marit Hansen, Ge Zhang. por Bezzi, Michele [editor.] \| Duquenoy, Penny [editor.] \| Fischer-Hübner, Simone [editor.] \| Hansen, Marit [editor.] \| Zhang, Ge [editor.] \| SpringerLink (Online service). Series IFIP Advances in Information and Communication Technology ; 320Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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.
		Logic, Language and Meaning [recurso electrónico] : 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers / edited by Maria Aloni, Harald Bastiaanse, Tikitu Jager, Katrin Schulz. por Aloni, Maria [editor.] \| Bastiaanse, Harald [editor.] \| Jager, Tikitu [editor.] \| Schulz, Katrin [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6042Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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 .M35.
		Networked Digital Technologies [recurso electrónico] : Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010. Proceedings, Part I / edited by Filip Zavoral, Jakub Yaghob, Pit Pichappan, Eyas El-Qawasmeh. por Zavoral, Filip [editor.] \| Yaghob, Jakub [editor.] \| Pichappan, Pit [editor.] \| El-Qawasmeh, Eyas [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 87Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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.
		Computer Aided Verification [recurso electrónico] : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings / edited by Tayssir Touili, Byron Cook, Paul Jackson. por Touili, Tayssir [editor.] \| Cook, Byron [editor.] \| Jackson, Paul [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6174Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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 .L63.
		Transactions on Data Hiding and Multimedia Security V [recurso electrónico] / edited by Yun Q. Shi. por Shi, Yun Q [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6010Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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.
		Efficient Secure Two-Party Protocols [recurso electrónico] : Techniques and Constructions / by Carmit Hazay, Yehuda Lindell. por Hazay, Carmit [author.] \| Lindell, Yehuda [author.] \| SpringerLink (Online service). Series Information Security and CryptographyOrigen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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 .D35.
		Networked Digital Technologies [recurso electrónico] : Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010. Proceedings, Part II / edited by Filip Zavoral, Jakub Yaghob, Pit Pichappan, Eyas El-Qawasmeh. por Zavoral, Filip [editor.] \| Yaghob, Jakub [editor.] \| Pichappan, Pit [editor.] \| El-Qawasmeh, Eyas [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 88Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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.
		Organizations [recurso electrónico] : Social Systems Conducting Experiments / by Jan Achterbergh, Dirk Vriens. por Achterbergh, Jan [author.] \| Vriens, Dirk [author.] \| SpringerLink (Online service). Edición: 2.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 : Imprint: Springer, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: HD28 -70.
		Exploring Services Science [recurso electrónico] : First International Conference , IESS 2010, Geneva, Switzerland, February 17-19, 2010. Revised Papers / edited by Jean-Henry Morin, Jolita Ralyté, Mehdi Snene. por Morin, Jean-Henry [editor.] \| Ralyté, Jolita [editor.] \| Snene, Mehdi [editor.] \| SpringerLink (Online service). Series Lecture Notes in Business Information Processing ; 53Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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: HF54.5 -54.56.
		The Mathematics of Language [recurso electrónico] : 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers / edited by Christian Ebert, Gerhard Jäger, Jens Michaelis. por Ebert, Christian [editor.] \| Jäger, Gerhard [editor.] \| Michaelis, Jens [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6149Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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: QA8.9 -QA10.3.

		Hilbert Functions of Filtered Modules [recurso electrónico] / by Giuseppe Valla, Maria Evelina Rossi. por Valla, Giuseppe [author.] \| Rossi, Maria Evelina [author.] \| SpringerLink (Online service). Series Lecture Notes of the Unione Matematica Italiana ; 9Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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: QA150 -272.
		New Results in Numerical and Experimental Fluid Mechanics VII [recurso electrónico] : Contributions to the 16th STAB/DGLR Symposium Aachen, Germany 2008 / edited by Andreas Dillmann, Gerd Heller, Michael Klaas, Hans-Peter Kreplin, Wolfgang Nitsche, Wolfgang Schröder. por Dillmann, Andreas [editor.] \| Heller, Gerd [editor.] \| Klaas, Michael [editor.] \| Kreplin, Hans-Peter [editor.] \| Nitsche, Wolfgang [editor.] \| Schröder, Wolfgang [editor.] \| SpringerLink (Online service). Series Notes on Numerical Fluid Mechanics and Multidisciplinary Design ; 112Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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: TA357 -359.
		Web-Age Information Management [recurso electrónico] : 11th International Conference, WAIM 2010, Jiuzhaigou, China, July 15-17, 2010. Proceedings / edited by Lei Chen, Changjie Tang, Jun Yang, Yunjun Gao. por Chen, Lei [editor.] \| Tang, Changjie [editor.] \| Yang, Jun [editor.] \| Gao, Yunjun [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6184Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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.
		Wild Crop Relatives: Genomic and Breeding Resources [recurso electrónico] : Millets and Grasses / edited by Chittaranjan Kole. por Kole, Chittaranjan [editor.] \| 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: SB123 -123.5.
		Geometric Theory of Discrete Nonautonomous Dynamical Systems [recurso electrónico] / by Christian Pötzsche. por Pötzsche, Christian [author.] \| SpringerLink (Online service). Series Lecture Notes in Mathematics ; 2002Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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: QA313.
		FORMS/FORMAT 2010 [recurso electrónico] : Formal Methods for Automation and Safety in Railway and Automotive Systems / edited by Eckehard Schnieder, Geza Tarnai. por Schnieder, Eckehard [editor.] \| Tarnai, Geza [editor.] \| 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: TA169.7.
		Current Topics in Artificial Intelligence [recurso electrónico] : 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009, Seville, Spain, November 9-13, 2009. Selected Papers / edited by Pedro Meseguer, Lawrence Mandow, Rafael M. Gasca. por Meseguer, Pedro [editor.] \| Mandow, Lawrence [editor.] \| Gasca, Rafael M [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5988Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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.
		Learning to Rank for Information Retrieval [recurso electrónico] / by Tie-Yan Liu. por Liu, Tie-Yan [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 : Imprint: Springer, 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.
		The Pursuit of Quantum Gravity [recurso electrónico] : Memoirs of Bryce DeWitt from 1946 to 2004 / by Cécile DeWitt-Morette. por DeWitt-Morette, Cécile [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: QC178.
		Case-Based Reasoning. Research and Development [recurso electrónico] : 18th International Conference on Case-Based Reasoning, ICCBR 2010, Alessandria, Italy, July 19-22, 2010. Proceedings / edited by Isabelle Bichindaritz, Stefania Montani. por Bichindaritz, Isabelle [editor.] \| Montani, Stefania [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6176Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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.
		Privacy and Identity Management for Life [recurso electrónico] : 5th IFIP WG 9.2, 9.6/11.4, 11.6, 11.7/PrimeLife International Summer School, Nice, France, September 7-11, 2009, Revised Selected Papers / edited by Michele Bezzi, Penny Duquenoy, Simone Fischer-Hübner, Marit Hansen, Ge Zhang. por Bezzi, Michele [editor.] \| Duquenoy, Penny [editor.] \| Fischer-Hübner, Simone [editor.] \| Hansen, Marit [editor.] \| Zhang, Ge [editor.] \| SpringerLink (Online service). Series IFIP Advances in Information and Communication Technology ; 320Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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.
		Logic, Language and Meaning [recurso electrónico] : 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers / edited by Maria Aloni, Harald Bastiaanse, Tikitu Jager, Katrin Schulz. por Aloni, Maria [editor.] \| Bastiaanse, Harald [editor.] \| Jager, Tikitu [editor.] \| Schulz, Katrin [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6042Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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 .M35.
		Networked Digital Technologies [recurso electrónico] : Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010. Proceedings, Part I / edited by Filip Zavoral, Jakub Yaghob, Pit Pichappan, Eyas El-Qawasmeh. por Zavoral, Filip [editor.] \| Yaghob, Jakub [editor.] \| Pichappan, Pit [editor.] \| El-Qawasmeh, Eyas [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 87Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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.
		Computer Aided Verification [recurso electrónico] : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings / edited by Tayssir Touili, Byron Cook, Paul Jackson. por Touili, Tayssir [editor.] \| Cook, Byron [editor.] \| Jackson, Paul [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6174Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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 .L63.
		Transactions on Data Hiding and Multimedia Security V [recurso electrónico] / edited by Yun Q. Shi. por Shi, Yun Q [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6010Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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.
		Efficient Secure Two-Party Protocols [recurso electrónico] : Techniques and Constructions / by Carmit Hazay, Yehuda Lindell. por Hazay, Carmit [author.] \| Lindell, Yehuda [author.] \| SpringerLink (Online service). Series Information Security and CryptographyOrigen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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 .D35.
		Networked Digital Technologies [recurso electrónico] : Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010. Proceedings, Part II / edited by Filip Zavoral, Jakub Yaghob, Pit Pichappan, Eyas El-Qawasmeh. por Zavoral, Filip [editor.] \| Yaghob, Jakub [editor.] \| Pichappan, Pit [editor.] \| El-Qawasmeh, Eyas [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 88Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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.
		Organizations [recurso electrónico] : Social Systems Conducting Experiments / by Jan Achterbergh, Dirk Vriens. por Achterbergh, Jan [author.] \| Vriens, Dirk [author.] \| SpringerLink (Online service). Edición: 2.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 : Imprint: Springer, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: HD28 -70.
		Exploring Services Science [recurso electrónico] : First International Conference , IESS 2010, Geneva, Switzerland, February 17-19, 2010. Revised Papers / edited by Jean-Henry Morin, Jolita Ralyté, Mehdi Snene. por Morin, Jean-Henry [editor.] \| Ralyté, Jolita [editor.] \| Snene, Mehdi [editor.] \| SpringerLink (Online service). Series Lecture Notes in Business Information Processing ; 53Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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: HF54.5 -54.56.
		The Mathematics of Language [recurso electrónico] : 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers / edited by Christian Ebert, Gerhard Jäger, Jens Michaelis. por Ebert, Christian [editor.] \| Jäger, Gerhard [editor.] \| Michaelis, Jens [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6149Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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: QA8.9 -QA10.3.

Refinar su búsqueda

Disponibilidad

Autores

Colecciones

Bibliotecas depositarias

Tipos de ítem

Ubicaciones

Series

Tópicos

Títulos

Su búsqueda retornó 22171 resultados.