Su búsqueda retornó 2235 resultados.

Resultados
		Experimental IR Meets Multilinguality, Multimodality, and Interaction [electronic resource] : 14th International Conference of the CLEF Association, CLEF 2023, Thessaloniki, Greece, September 18-21, 2023, Proceedings / edited by Avi Arampatzis, Evangelos Kanoulas, Theodora Tsikrika, Stefanos Vrochidis, Anastasia Giachanou, Dan Li, Mohammad Aliannejadi, Michalis Vlachos, Guglielmo Faggioli, Nicola Ferro. por Arampatzis, Avi [editor.] \| Kanoulas, Evangelos [editor.] \| Tsikrika, Theodora [editor.] \| Vrochidis, Stefanos [editor.] \| Giachanou, Anastasia [editor.] \| Li, Dan [editor.] \| Aliannejadi, Mohammad [editor.] \| Vlachos, Michalis [editor.] \| Faggioli, Guglielmo [editor.] \| Ferro, Nicola [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14163Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Exploring Music Contents [recurso electrónico] : 7th International Symposium, CMMR 2010, Málaga, Spain, June 21-24, 2010. Revised Papers / edited by Sølvi Ystad, Mitsuko Aramaki, Richard Kronland-Martinet, Kristoffer Jensen. por Ystad, Sølvi [editor.] \| Aramaki, Mitsuko [editor.] \| Kronland-Martinet, Richard [editor.] \| Jensen, Kristoffer [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6684Origen: 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.
		Extended Reality [electronic resource] : International Conference, XR Salento 2023, Lecce, Italy, September 6-9, 2023, Proceedings, Part I / edited by Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco. por De Paolis, Lucio Tommaso [editor.] \| Arpaia, Pasquale [editor.] \| Sacco, Marco [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14218Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Extended Reality [electronic resource] : International Conference, XR Salento 2023, Lecce, Italy, September 6-9, 2023, Proceedings, Part II / edited by Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco. por De Paolis, Lucio Tommaso [editor.] \| Arpaia, Pasquale [editor.] \| Sacco, Marco [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14219Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Facing the Multicore-Challenge [recurso electrónico] : Aspects of New Paradigms and Technologies in Parallel Computing / edited by Rainer Keller, David Kramer, Jan-Philipp Weiss. por Keller, Rainer [editor.] \| Kramer, David [editor.] \| Weiss, Jan-Philipp [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6310Origen: 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: QA297 -299.4.
		Fast Software Encryption [recurso electrónico] : 17th International Workshop, FSE 2010, Seoul, Korea, February 7-10, 2010, Revised Selected Papers / edited by Seokhie Hong, Tetsu Iwata. por Hong, Seokhie [editor.] \| Iwata, Tetsu [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6147Origen: 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.
		Fast Software Encryption [recurso electrónico] : 18th International Workshop, FSE 2011, Lyngby, Denmark, February 13-16, 2011, Revised Selected Papers / edited by Antoine Joux. por Joux, Antoine [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6733Origen: 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.
		Fast Software Encryption [recurso electrónico] : 23rd International Conference, FSE 2016, Bochum, Germany, March 20-23, 2016, Revised Selected Papers / edited by Thomas Peyrin. por Peyrin, Thomas [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9783Origen: 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, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Fields of Logic and Computation [recurso electrónico] : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday / edited by Andreas Blass, Nachum Dershowitz, Wolfgang Reisig. por Blass, Andreas [editor.] \| Dershowitz, Nachum [editor.] \| Reisig, Wolfgang [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6300Origen: 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.
		Financial Cryptography and Data Security [recurso electrónico] : 14th International Conference, FC 2010, Tenerife, Canary Islands, January 25-28, 2010, Revised Selected Papers / edited by Radu Sion. por Sion, Radu [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6052Origen: 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.
		Financial Cryptography and Data Security [recurso electrónico] : FC 2010 Workshops, RLCPS, WECSR, and WLC 2010, Tenerife, Canary Islands, Spain, January 25-28, 2010, Revised Selected Papers / edited by Radu Sion, Reza Curtmola, Sven Dietrich, Aggelos Kiayias, Josep M. Miret, Kazue Sako, Francesc Sebé. por Sion, Radu [editor.] \| Curtmola, Reza [editor.] \| Dietrich, Sven [editor.] \| Kiayias, Aggelos [editor.] \| Miret, Josep M [editor.] \| Sako, Kazue [editor.] \| Sebé, Francesc [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6054Origen: 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.
		Financial Cryptography and Data Security [recurso electrónico] : FC 2016 International Workshops, BITCOIN, VOTING, and WAHC, Christ Church, Barbados, February 26, 2016, Revised Selected Papers / edited by Jeremy Clark, Sarah Meiklejohn, Peter Y.A. Ryan, Dan Wallach, Michael Brenner, Kurt Rohloff. por Clark, Jeremy [editor.] \| Meiklejohn, Sarah [editor.] \| Ryan, Peter Y.A [editor.] \| Wallach, Dan [editor.] \| Brenner, Michael [editor.] \| Rohloff, Kurt [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9604Origen: 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, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Financial Cryptography and Data Security. FC 2022 International Workshops [electronic resource] : CoDecFin, DeFi, Voting, WTSC, Grenada, May 6, 2022, Revised Selected Papers / edited by Shin'ichiro Matsuo, Lewis Gudgeon, Ariah Klages-Mundt, Daniel Perez Hernandez, Sam Werner, Thomas Haines, Aleksander Essex, Andrea Bracciali, Massimiliano Sala. por Matsuo, Shin'ichiro [editor.] \| Gudgeon, Lewis [editor.] \| Klages-Mundt, Ariah [editor.] \| Perez Hernandez, Daniel [editor.] \| Werner, Sam [editor.] \| Haines, Thomas [editor.] \| Essex, Aleksander [editor.] \| Bracciali, Andrea [editor.] \| Sala, Massimiliano [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13412Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Finite-State Methods and Natural Language Processing [recurso electrónico] : 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers / edited by Anssi Yli-Jyrä, András Kornai, Jacques Sakarovitch, Bruce Watson. por Yli-Jyrä, Anssi [editor.] \| Kornai, András [editor.] \| Sakarovitch, Jacques [editor.] \| Watson, Bruce [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6062Origen: 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.
		Flexible Query Answering Systems [recurso electrónico] : 9th International Conference, FQAS 2011, Ghent, Belgium, October 26-28, 2011 Proceedings / edited by Henning Christiansen, Guy Tré, Adnan Yazici, Slawomir Zadrozny, Troels Andreasen, Henrik Legind Larsen. por Christiansen, Henning [editor.] \| Tré, Guy [editor.] \| Yazici, Adnan [editor.] \| Zadrozny, Slawomir [editor.] \| Andreasen, Troels [editor.] \| Larsen, Henrik Legind [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 7022Origen: 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.
		FM 2011: Formal Methods [recurso electrónico] : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings / edited by Michael Butler, Wolfram Schulte. por Butler, Michael [editor.] \| Schulte, Wolfram [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6664Origen: 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.
		FM 2016: Formal Methods [recurso electrónico] : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings / edited by John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou. por Fitzgerald, John [editor.] \| Heitmeyer, Constance [editor.] \| Gnesi, Stefania [editor.] \| Philippou, Anna [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9995Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Focused Retrieval and Evaluation [recurso electrónico] : 8th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2009, Brisbane, Australia, December 7-9, 2009, Revised and Selected Papers / edited by Shlomo Geva, Jaap Kamps, Andrew Trotman. por Geva, Shlomo [editor.] \| Kamps, Jaap [editor.] \| Trotman, Andrew [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6203Origen: 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 .D343.
		Formal Aspects in Security and Trust [recurso electrónico] : 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers / edited by Pierpaolo Degano, Joshua D. Guttman. por Degano, Pierpaolo [editor.] \| Guttman, Joshua D [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5983Origen: 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.
		Formal Aspects of Component Software [recurso electrónico] : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers / edited by Christiano Braga, Peter Csaba Ölveczky. por Braga, Christiano [editor.] \| Ölveczky, Peter Csaba [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9539Edición: 1st ed. 2016.Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

		Experimental IR Meets Multilinguality, Multimodality, and Interaction [electronic resource] : 14th International Conference of the CLEF Association, CLEF 2023, Thessaloniki, Greece, September 18-21, 2023, Proceedings / edited by Avi Arampatzis, Evangelos Kanoulas, Theodora Tsikrika, Stefanos Vrochidis, Anastasia Giachanou, Dan Li, Mohammad Aliannejadi, Michalis Vlachos, Guglielmo Faggioli, Nicola Ferro. por Arampatzis, Avi [editor.] \| Kanoulas, Evangelos [editor.] \| Tsikrika, Theodora [editor.] \| Vrochidis, Stefanos [editor.] \| Giachanou, Anastasia [editor.] \| Li, Dan [editor.] \| Aliannejadi, Mohammad [editor.] \| Vlachos, Michalis [editor.] \| Faggioli, Guglielmo [editor.] \| Ferro, Nicola [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14163Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Exploring Music Contents [recurso electrónico] : 7th International Symposium, CMMR 2010, Málaga, Spain, June 21-24, 2010. Revised Papers / edited by Sølvi Ystad, Mitsuko Aramaki, Richard Kronland-Martinet, Kristoffer Jensen. por Ystad, Sølvi [editor.] \| Aramaki, Mitsuko [editor.] \| Kronland-Martinet, Richard [editor.] \| Jensen, Kristoffer [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6684Origen: 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.
		Extended Reality [electronic resource] : International Conference, XR Salento 2023, Lecce, Italy, September 6-9, 2023, Proceedings, Part I / edited by Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco. por De Paolis, Lucio Tommaso [editor.] \| Arpaia, Pasquale [editor.] \| Sacco, Marco [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14218Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Extended Reality [electronic resource] : International Conference, XR Salento 2023, Lecce, Italy, September 6-9, 2023, Proceedings, Part II / edited by Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco. por De Paolis, Lucio Tommaso [editor.] \| Arpaia, Pasquale [editor.] \| Sacco, Marco [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14219Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Facing the Multicore-Challenge [recurso electrónico] : Aspects of New Paradigms and Technologies in Parallel Computing / edited by Rainer Keller, David Kramer, Jan-Philipp Weiss. por Keller, Rainer [editor.] \| Kramer, David [editor.] \| Weiss, Jan-Philipp [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6310Origen: 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: QA297 -299.4.
		Fast Software Encryption [recurso electrónico] : 17th International Workshop, FSE 2010, Seoul, Korea, February 7-10, 2010, Revised Selected Papers / edited by Seokhie Hong, Tetsu Iwata. por Hong, Seokhie [editor.] \| Iwata, Tetsu [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6147Origen: 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.
		Fast Software Encryption [recurso electrónico] : 18th International Workshop, FSE 2011, Lyngby, Denmark, February 13-16, 2011, Revised Selected Papers / edited by Antoine Joux. por Joux, Antoine [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6733Origen: 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.
		Fast Software Encryption [recurso electrónico] : 23rd International Conference, FSE 2016, Bochum, Germany, March 20-23, 2016, Revised Selected Papers / edited by Thomas Peyrin. por Peyrin, Thomas [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9783Origen: 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, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Fields of Logic and Computation [recurso electrónico] : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday / edited by Andreas Blass, Nachum Dershowitz, Wolfgang Reisig. por Blass, Andreas [editor.] \| Dershowitz, Nachum [editor.] \| Reisig, Wolfgang [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6300Origen: 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.
		Financial Cryptography and Data Security [recurso electrónico] : 14th International Conference, FC 2010, Tenerife, Canary Islands, January 25-28, 2010, Revised Selected Papers / edited by Radu Sion. por Sion, Radu [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6052Origen: 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.
		Financial Cryptography and Data Security [recurso electrónico] : FC 2010 Workshops, RLCPS, WECSR, and WLC 2010, Tenerife, Canary Islands, Spain, January 25-28, 2010, Revised Selected Papers / edited by Radu Sion, Reza Curtmola, Sven Dietrich, Aggelos Kiayias, Josep M. Miret, Kazue Sako, Francesc Sebé. por Sion, Radu [editor.] \| Curtmola, Reza [editor.] \| Dietrich, Sven [editor.] \| Kiayias, Aggelos [editor.] \| Miret, Josep M [editor.] \| Sako, Kazue [editor.] \| Sebé, Francesc [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6054Origen: 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.
		Financial Cryptography and Data Security [recurso electrónico] : FC 2016 International Workshops, BITCOIN, VOTING, and WAHC, Christ Church, Barbados, February 26, 2016, Revised Selected Papers / edited by Jeremy Clark, Sarah Meiklejohn, Peter Y.A. Ryan, Dan Wallach, Michael Brenner, Kurt Rohloff. por Clark, Jeremy [editor.] \| Meiklejohn, Sarah [editor.] \| Ryan, Peter Y.A [editor.] \| Wallach, Dan [editor.] \| Brenner, Michael [editor.] \| Rohloff, Kurt [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9604Origen: 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, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Financial Cryptography and Data Security. FC 2022 International Workshops [electronic resource] : CoDecFin, DeFi, Voting, WTSC, Grenada, May 6, 2022, Revised Selected Papers / edited by Shin'ichiro Matsuo, Lewis Gudgeon, Ariah Klages-Mundt, Daniel Perez Hernandez, Sam Werner, Thomas Haines, Aleksander Essex, Andrea Bracciali, Massimiliano Sala. por Matsuo, Shin'ichiro [editor.] \| Gudgeon, Lewis [editor.] \| Klages-Mundt, Ariah [editor.] \| Perez Hernandez, Daniel [editor.] \| Werner, Sam [editor.] \| Haines, Thomas [editor.] \| Essex, Aleksander [editor.] \| Bracciali, Andrea [editor.] \| Sala, Massimiliano [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13412Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Finite-State Methods and Natural Language Processing [recurso electrónico] : 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers / edited by Anssi Yli-Jyrä, András Kornai, Jacques Sakarovitch, Bruce Watson. por Yli-Jyrä, Anssi [editor.] \| Kornai, András [editor.] \| Sakarovitch, Jacques [editor.] \| Watson, Bruce [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6062Origen: 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.
		Flexible Query Answering Systems [recurso electrónico] : 9th International Conference, FQAS 2011, Ghent, Belgium, October 26-28, 2011 Proceedings / edited by Henning Christiansen, Guy Tré, Adnan Yazici, Slawomir Zadrozny, Troels Andreasen, Henrik Legind Larsen. por Christiansen, Henning [editor.] \| Tré, Guy [editor.] \| Yazici, Adnan [editor.] \| Zadrozny, Slawomir [editor.] \| Andreasen, Troels [editor.] \| Larsen, Henrik Legind [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 7022Origen: 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.
		FM 2011: Formal Methods [recurso electrónico] : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings / edited by Michael Butler, Wolfram Schulte. por Butler, Michael [editor.] \| Schulte, Wolfram [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6664Origen: 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.
		FM 2016: Formal Methods [recurso electrónico] : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings / edited by John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou. por Fitzgerald, John [editor.] \| Heitmeyer, Constance [editor.] \| Gnesi, Stefania [editor.] \| Philippou, Anna [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9995Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Focused Retrieval and Evaluation [recurso electrónico] : 8th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2009, Brisbane, Australia, December 7-9, 2009, Revised and Selected Papers / edited by Shlomo Geva, Jaap Kamps, Andrew Trotman. por Geva, Shlomo [editor.] \| Kamps, Jaap [editor.] \| Trotman, Andrew [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6203Origen: 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 .D343.
		Formal Aspects in Security and Trust [recurso electrónico] : 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers / edited by Pierpaolo Degano, Joshua D. Guttman. por Degano, Pierpaolo [editor.] \| Guttman, Joshua D [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5983Origen: 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.
		Formal Aspects of Component Software [recurso electrónico] : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers / edited by Christiano Braga, Peter Csaba Ölveczky. por Braga, Christiano [editor.] \| Ölveczky, Peter Csaba [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9539Edición: 1st ed. 2016.Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Refinar su búsqueda

Disponibilidad

Autores

Colecciones

Bibliotecas depositarias

Tipos de ítem

Ubicaciones

Series

Tópicos

Su búsqueda retornó 2235 resultados.