Refinar su búsqueda

Su búsqueda retornó 372 resultados.

Ordenar
Resultados
Structural Information and Communication Complexity [recurso electrónico] : 17th International Colloquium, SIROCCO 2010, Sirince, Turkey, June 7-11, 2010. Proceedings / edited by Boaz Patt-Shamir, Tinaz Ekim.

por Patt-Shamir, Boaz [editor.] | Ekim, Tinaz [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6058Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; 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 .A43.

Structural Information and Communication Complexity [recurso electrónico] : 18th International Colloquium, SIROCCO 2011, Gdansk, Poland, June 26-29, 2011. Proceedings / edited by Adrian Kosowski, Masafumi Yamashita.

por Kosowski, Adrian [editor.] | Yamashita, Masafumi [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6796Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; 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.

Structural Information and Communication Complexity [recurso electrónico] : 23rd International Colloquium, SIROCCO 2016, Helsinki, Finland, July 19-21, 2016, Revised Selected Papers / edited by Jukka Suomela.

por Suomela, Jukka [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 9988Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; 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) .

Structural Information and Communication Complexity [electronic resource] : 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers / edited by Zvi Lotker, Boaz Patt-Shamir.

por Lotker, Zvi [editor.] | Patt-Shamir, Boaz [editor.] | SpringerLink (Online service).

Series Theoretical Computer Science and General Issues ; 11085Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Structural Information and Communication Complexity [electronic resource] : 30th International Colloquium, SIROCCO 2023, Alcalá de Henares, Spain, June 6-9, 2023, Proceedings / edited by Sergio Rajsbaum, Alkida Balliu, Joshua J. Daymude, Dennis Olivetti.

por Rajsbaum, Sergio [editor.] | Balliu, Alkida [editor.] | Daymude, Joshua J [editor.] | Olivetti, Dennis [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 13892Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; 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) .

Structural, Syntactic, and Statistical Pattern Recognition [electronic resource] : Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17-19, 2018, Proceedings / edited by Xiao Bai, Edwin R. Hancock, Tin Kam Ho, Richard C. Wilson, Battista Biggio, Antonio Robles-Kelly.

por Bai, Xiao [editor.] | Hancock, Edwin R [editor.] | Ho, Tin Kam [editor.] | Wilson, Richard C [editor.] | Biggio, Battista [editor.] | Robles-Kelly, Antonio [editor.] | SpringerLink (Online service).

Series Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11004Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

A Survey on Coordinated Power Management in Multi-Tenant Data Centers [electronic resource] / by Thant Zin Oo, Nguyen H. Tran, Shaolei Ren, Choong Seon Hong.

por Oo, Thant Zin [author.] | Tran, Nguyen H [author.] | Ren, Shaolei [author.] | Hong, Choong Seon [author.] | SpringerLink (Online service).

Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Systems Programming in Unix/Linux [electronic resource] / by K.C. Wang.

por Wang, K.C [author.] | SpringerLink (Online service).

Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Theoretical and Mathematical Foundations of Computer Science [recurso electrónico] : Second International Conference, ICTMF 2011, Singapore, May 5-6, 2011. Selected Papers / edited by Qihai Zhou.

por Zhou, Qihai [editor.] | SpringerLink (Online service).

Series Communications in Computer and Information Science ; 164Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; 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 .M35.

Theory and Applications of Satisfiability Testing - SAT 2018 [electronic resource] : 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings / edited by Olaf Beyersdorff, Christoph M. Wintersteiger.

por Beyersdorff, Olaf [editor.] | Wintersteiger, Christoph M [editor.] | SpringerLink (Online service).

Series Theoretical Computer Science and General Issues ; 10929Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Theory and Applications of Satisfiability Testing - SAT 2018 [electronic resource] : 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings / edited by Olaf Beyersdorff, Christoph M. Wintersteiger.

por Beyersdorff, Olaf [editor.] | Wintersteiger, Christoph M [editor.] | SpringerLink (Online service).

Series Theoretical Computer Science and General Issues ; 10929Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Theory and Practice of Algorithms in (Computer) Systems [recurso electrónico] : First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings / edited by Alberto Marchetti-Spaccamela, Michael Segal.

por Marchetti-Spaccamela, Alberto [editor.] | Segal, Michael [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6595Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; 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.

Theory of Cryptography [electronic resource] : 21st International Conference, TCC 2023, Taipei, Taiwan, November 29 - December 2, 2023, Proceedings, Part I / edited by Guy Rothblum, Hoeteck Wee.

por Rothblum, Guy [editor.] | Wee, Hoeteck [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 14369Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; 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) .

Theory of Cryptography [electronic resource] : 21st International Conference, TCC 2023, Taipei, Taiwan, November 29 - December 2, 2023, Proceedings, Part II / edited by Guy Rothblum, Hoeteck Wee.

por Rothblum, Guy [editor.] | Wee, Hoeteck [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 14370Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; 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) .

Theory of Cryptography [electronic resource] : 21st International Conference, TCC 2023, Taipei, Taiwan, November 29-December 2, 2023, Proceedings, Part III / edited by Guy Rothblum, Hoeteck Wee.

por Rothblum, Guy [editor.] | Wee, Hoeteck [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 14371Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; 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) .

Theory of Cryptography [electronic resource] : 21st International Conference, TCC 2023, Taipei, Taiwan, November 29-December 2, 2023, Proceedings, Part IV / edited by Guy Rothblum, Hoeteck Wee.

por Rothblum, Guy [editor.] | Wee, Hoeteck [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 14372Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; 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) .

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I / edited by Dirk Beyer, Marieke Huisman.

por Beyer, Dirk [editor.] | Huisman, Marieke [editor.] | SpringerLink (Online service).

Series Theoretical Computer Science and General Issues ; 10805Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Topics in Theoretical Computer Science [recurso electrónico] : The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers / edited by Mohammad Taghi Hajiaghayi, Mohammad Reza Mousavi.

por Hajiaghayi, Mohammad Taghi [editor.] | Mousavi, Mohammad Reza [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 9541Edición: 1st ed. 2016.Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; 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) .

Towards Hardware-Intrinsic Security [recurso electrónico] : Foundations and Practice / edited by Ahmad-Reza Sadeghi, David Naccache.

por Sadeghi, Ahmad-Reza [editor.] | Naccache, David [editor.] | SpringerLink (Online service).

Series Information Security and CryptographyOrigen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; 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: QA76.9 .D35.

Transactions on Computational Science XIV [recurso electrónico] : Special Issue on Voronoi Diagrams and Delaunay Triangulation / edited by Marina L. Gavrilova, C. J. Kenneth Tan, Mir Abolfazl Mostafavi.

por Gavrilova, Marina L [editor.] | Tan, C. J. Kenneth [editor.] | Mostafavi, Mir Abolfazl [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6970Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; 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: T385.

Páginas

Con tecnología Koha