Su búsqueda retornó 2235 resultados.

Ordenar
Resultados
Anaphora Processing and Applications [recurso electrónico] : 8th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2011, Faro, Portugal, October 6-7, 2011. Revised Selected Papers / edited by Iris Hendrickx, Sobha Lalitha Devi, António Branco, Ruslan Mitkov.

por Hendrickx, Iris [editor.] | Lalitha Devi, Sobha [editor.] | Branco, António [editor.] | Mitkov, Ruslan [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 7099Origen: 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: Q334 -342.

Applicable Formal Methods for Safe Industrial Products [electronic resource] : Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday / edited by Anne E. Haxthausen, Wen-ling Huang, Markus Roggenbach.

por Haxthausen, Anne E [editor.] | Huang, Wen-ling [editor.] | Roggenbach, Markus [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 14165Edició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) .

Application and Theory of Petri Nets and Concurrency [recurso electrónico] : 37th International Conference, PETRI NETS 2016, Toru?, Poland, June 19-24, 2016. Proceedings / edited by Fabrice Kordon, Daniel Moldt.

por Kordon, Fabrice [editor.] | Moldt, Daniel [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 9698Origen: 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) .

Application and Theory of Petri Nets and Concurrency [electronic resource] : 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings / edited by Luis Gomes, Robert Lorenz.

por Gomes, Luis [editor.] | Lorenz, Robert [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 13929Edició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) .

Applications and Theory of Petri Nets [recurso electrónico] : 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings / edited by Johan Lilius, Wojciech Penczek.

por Lilius, Johan [editor.] | Penczek, Wojciech [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6128Origen: 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: QA75.5 -76.95.

Applications and Theory of Petri Nets [recurso electrónico] : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings / edited by Lars M. Kristensen, Laure Petrucci.

por Kristensen, Lars M [editor.] | Petrucci, Laure [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6709Origen: 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: QA75.5 -76.95.

Applications of Declarative Programming and Knowledge Management [recurso electrónico] : 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers / edited by Salvador Abreu, Dietmar Seipel.

por Abreu, Salvador [editor.] | Seipel, Dietmar [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6547Origen: 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: Q334 -342.

Applications of Evolutionary Computation [recurso electrónico] : EvoApplicatons 2010: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part I / edited by Cecilia Chio, Stefano Cagnoni, Carlos Cotta, Marc Ebner, Anikó Ekárt, Anna I. Esparcia-Alcazar, Chi-Keong Goh, Juan J. Merelo, Ferrante Neri, Mike Preuß, Julian Togelius, Georgios N. Yannakakis.

por Chio, Cecilia [editor.] | Cagnoni, Stefano [editor.] | Cotta, Carlos [editor.] | Ebner, Marc [editor.] | Ekárt, Anikó [editor.] | Esparcia-Alcazar, Anna I [editor.] | Goh, Chi-Keong [editor.] | Merelo, Juan J [editor.] | Neri, Ferrante [editor.] | Preuß, Mike [editor.] | Togelius, Julian [editor.] | Yannakakis, Georgios N [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6024Origen: 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: QA75.5 -76.95.

Applications of Evolutionary Computation [recurso electrónico] : EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part II / edited by Cecilia Chio, Anthony Brabazon, Gianni A. Caro, Marc Ebner, Muddassar Farooq, Andreas Fink, Jörn Grahl, Gary Greenfield, Penousal Machado, Michael O’Neill, Ernesto Tarantino, Neil Urquhart.

por Chio, Cecilia [editor.] | Brabazon, Anthony [editor.] | Caro, Gianni A [editor.] | Ebner, Marc [editor.] | Farooq, Muddassar [editor.] | Fink, Andreas [editor.] | Grahl, Jörn [editor.] | Greenfield, Gary [editor.] | Machado, Penousal [editor.] | O’Neill, Michael [editor.] | Tarantino, Ernesto [editor.] | Urquhart, Neil [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6025Origen: 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: TK5105.5 -5105.9.

Applications of Evolutionary Computation [recurso electrónico] : EvoApplications 2011: EvoCOMNET, EvoFIN, EvoHOT, EvoMUSART, EvoSTIM, and EvoTRANSLOG, Torino, Italy, April 27-29, 2011, Proceedings, Part II / edited by Cecilia Chio, Anthony Brabazon, Gianni A. Caro, Rolf Drechsler, Muddassar Farooq, Jörn Grahl, Gary Greenfield, Christian Prins, Juan Romero, Giovanni Squillero, Ernesto Tarantino, Andrea G. B. Tettamanzi, Neil Urquhart, A. Sima Uyar.

por Chio, Cecilia [editor.] | Brabazon, Anthony [editor.] | Caro, Gianni A [editor.] | Drechsler, Rolf [editor.] | Farooq, Muddassar [editor.] | Grahl, Jörn [editor.] | Greenfield, Gary [editor.] | Prins, Christian [editor.] | Romero, Juan [editor.] | Squillero, Giovanni [editor.] | Tarantino, Ernesto [editor.] | Tettamanzi, Andrea G. B [editor.] | Urquhart, Neil [editor.] | Uyar, A. Sima [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6625Origen: 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: QA75.5 -76.95.

Applications of Evolutionary Computation [recurso electrónico] : EvoApplications 2011: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Torino, Italy, April 27-29, 2011, Proceedings, Part I / edited by Cecilia Chio, Stefano Cagnoni, Carlos Cotta, Marc Ebner, Anikó Ekárt, Anna I. Esparcia-Alcázar, Juan J. Merelo, Ferrante Neri, Mike Preuss, Hendrik Richter, Julian Togelius, Georgios N. Yannakakis.

por Chio, Cecilia [editor.] | Cagnoni, Stefano [editor.] | Cotta, Carlos [editor.] | Ebner, Marc [editor.] | Ekárt, Anikó [editor.] | Esparcia-Alcázar, Anna I [editor.] | Merelo, Juan J [editor.] | Neri, Ferrante [editor.] | Preuss, Mike [editor.] | Richter, Hendrik [editor.] | Togelius, Julian [editor.] | Yannakakis, Georgios N [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6624Origen: 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: QA75.5 -76.95.

Applications of Evolutionary Computation [recurso electrónico] : 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part II / edited by Giovanni Squillero, Paolo Burelli.

por Squillero, Giovanni [editor.] | Burelli, Paolo [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 9598Origen: 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) .

Applications of Evolutionary Computation [recurso electrónico] : 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part I / edited by Giovanni Squillero, Paolo Burelli.

por Squillero, Giovanni [editor.] | Burelli, Paolo [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 9597Edició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) .

Applications of Evolutionary Computation [electronic resource] : 26th European Conference, EvoApplications 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings / edited by João Correia, Stephen Smith, Raneem Qaddoura.

por Correia, João [editor.] | Smith, Stephen [editor.] | Qaddoura, Raneem [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 13989Edició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) .

Applied Cryptography and Network Security [recurso electrónico] : 8th International Conference, ACNS 2010, Beijing, China, June 22-25, 2010. Proceedings / edited by Jianying Zhou, Moti Yung.

por Zhou, Jianying [editor.] | Yung, Moti [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6123Origen: 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 .A25.

Applied Cryptography and Network Security [recurso electrónico] : 9th International Conference, ACNS 2011, Nerja, Spain, June 7-10, 2011. Proceedings / edited by Javier Lopez, Gene Tsudik.

por Lopez, Javier [editor.] | Tsudik, Gene [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6715Origen: 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 .A25.

Applied Cryptography and Network Security [recurso electrónico] : 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings / edited by Mark Manulis, Ahmad-Reza Sadeghi, Steve Schneider.

por Manulis, Mark [editor.] | Sadeghi, Ahmad-Reza [editor.] | Schneider, Steve [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 9696Origen: 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) .

Applied Cryptography and Network Security [electronic resource] : 21st International Conference, ACNS 2023, Kyoto, Japan, June 19-22, 2023, Proceedings, Part I / edited by Mehdi Tibouchi, XiaoFeng Wang.

por Tibouchi, Mehdi [editor.] | Wang, XiaoFeng [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 13905Edició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) .

Applied Cryptography and Network Security [electronic resource] : 21st International Conference, ACNS 2023, Kyoto, Japan, June 19-22, 2023, Proceedings, Part II / edited by Mehdi Tibouchi, XiaoFeng Wang.

por Tibouchi, Mehdi [editor.] | Wang, XiaoFeng [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 13906Edició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) .

Applied Cryptography and Network Security Workshops [electronic resource] : ACNS 2023 Satellite Workshops, ADSC, AIBlock, AIHWS, AIoTS, CIMSS, Cloud S&P, SCI, SecMT, SiMLA, Kyoto, Japan, June 19-22, 2023, Proceedings / edited by Jianying Zhou, Lejla Batina, Zengpeng Li, Jingqiang Lin, Eleonora Losiouk, Suryadipta Majumdar, Daisuke Mashima, Weizhi Meng, Stjepan Picek, Mohammad Ashiqur Rahman, Jun Shao, Masaki Shimaoka, Ezekiel Soremekun, Chunhua Su, Je Sen Teh, Aleksei Udovenko, Cong Wang, Leo Zhang, Yury Zhauniarovich.

por Zhou, Jianying [editor.] | Batina, Lejla [editor.] | Li, Zengpeng [editor.] | Lin, Jingqiang [editor.] | Losiouk, Eleonora [editor.] | Majumdar, Suryadipta [editor.] | Mashima, Daisuke [editor.] | Meng, Weizhi [editor.] | Picek, Stjepan [editor.] | Rahman, Mohammad Ashiqur [editor.] | Shao, Jun [editor.] | Shimaoka, Masaki [editor.] | Soremekun, Ezekiel [editor.] | Su, Chunhua [editor.] | Teh, Je Sen [editor.] | Udovenko, Aleksei [editor.] | Wang, Cong [editor.] | Zhang, Leo [editor.] | Zhauniarovich, Yury [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 13907Edició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) .

Páginas

Con tecnología Koha