Refinar su búsqueda

Su búsqueda retornó 362 resultados.

Ordenar
Resultados
Automated Technology for Verification and Analysis [electronic resource] : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II / edited by Étienne André, Jun Sun.

por André, Étienne [editor.] | Sun, Jun [editor.] | SpringerLink (Online service).

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

Automated Technology for Verification and Analysis [electronic resource] : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I / edited by Étienne André, Jun Sun.

por André, Étienne [editor.] | Sun, Jun [editor.] | SpringerLink (Online service).

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

Basic Semiconductor Physics [recurso electrónico] / by Chihiro Hamaguchi.

por Hamaguchi, Chihiro [author.] | SpringerLink (Online service).

Origen: 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: QC173.45 -173.458.

Big Data and Security [electronic resource] : 4th International Conference, ICBDS 2022, Xiamen, China, December 8-12, 2022, Proceedings / edited by Yuan Tian, Tinghuai Ma, Qingshan Jiang, Qi Liu, Muhammad Khurram Khan.

por Tian, Yuan [editor.] | Ma, Tinghuai [editor.] | Jiang, Qingshan [editor.] | Liu, Qi [editor.] | Khan, Muhammad Khurram [editor.] | SpringerLink (Online service).

Series Communications in Computer and Information Science ; 1796Edició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: Singapore : Springer Nature Singapore : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Big Data and Social Computing [electronic resource] : 8th China National Conference, BDSC 2023, Urumqi, China, July 15-17, 2023, Proceedings / edited by Xiaofeng Meng, Yang Chen, Liming Suo, Qi Xuan, Zi-Ke Zhang.

por Meng, Xiaofeng [editor.] | Chen, Yang [editor.] | Suo, Liming [editor.] | Xuan, Qi [editor.] | Zhang, Zi-Ke [editor.] | SpringerLink (Online service).

Series Communications in Computer and Information Science ; 1846Edició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: Singapore : Springer Nature Singapore : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Big Data - BigData 2023 [electronic resource] : 12th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Honolulu, HI, USA, September 23-26, 2023, Proceedings / edited by Shunli Zhang, Bo Hu, Liang-Jie Zhang.

por Zhang, Shunli [editor.] | Hu, Bo [editor.] | Zhang, Liang-Jie [editor.] | SpringerLink (Online service).

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

Bio-inspired Information and Communications Technologies [electronic resource] : 14th EAI International Conference, BICT 2023, Okinawa, Japan, April 11-12, 2023, Proceedings / edited by Yifan Chen, Dezhong Yao, Tadashi Nakano.

por Chen, Yifan [editor.] | Yao, Dezhong [editor.] | Nakano, Tadashi [editor.] | SpringerLink (Online service).

Series Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 512Edició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) .

Bioinformatics Research and Applications [electronic resource] : 19th International Symposium, ISBRA 2023, Wrocław, Poland, October 9-12, 2023, Proceedings / edited by Xuan Guo, Serghei Mangul, Murray Patterson, Alexander Zelikovsky.

por Guo, Xuan [editor.] | Mangul, Serghei [editor.] | Patterson, Murray [editor.] | Zelikovsky, Alexander [editor.] | SpringerLink (Online service).

Series Lecture Notes in Bioinformatics ; 14248Edició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: Singapore : Springer Nature Singapore : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Biomedical Engineering [recurso electrónico] : Health Care Systems, Technology and Techniques / edited by Sang C. Suh, Varadraj P. Gurupur, Murat M. Tanik.

por Suh, Sang C [editor.] | Gurupur, Varadraj P [editor.] | Tanik, Murat M [editor.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: New York, NY : Springer New York : Imprint: Springer, 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.

Blockchain - ICBC 2023 [electronic resource] : 6th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Honolulu, HI, USA, September 23-26, 2023, Proceedings / edited by Qin Wang, Jun Feng, Liang-Jie Zhang.

por Wang, Qin [editor.] | Feng, Jun [editor.] | Zhang, Liang-Jie [editor.] | SpringerLink (Online service).

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

Brain Informatics [electronic resource] : 16th International Conference, BI 2023, Hoboken, NJ, USA, August 1-3, 2023, Proceedings / edited by Feng Liu, Yu Zhang, Hongzhi Kuai, Emily P. Stephen, Hongjun Wang.

por Liu, Feng [editor.] | Zhang, Yu [editor.] | Kuai, Hongzhi [editor.] | Stephen, Emily P [editor.] | Wang, Hongjun [editor.] | SpringerLink (Online service).

Series Lecture Notes in Artificial Intelligence ; 13974Edició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) .

Broadband Communications, Networks, and Systems [electronic resource] : 13th EAI International Conference, BROADNETS 2022, Virtual Event, March 12-13, 2023 Proceedings / edited by Wei Wang, Jun Wu.

por Wang, Wei [editor.] | Wu, Jun [editor.] | SpringerLink (Online service).

Series Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 511Edició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) .

Cartesian Genetic Programming [recurso electrónico] / edited by Julian F. Miller.

por Miller, Julian F [editor.] | SpringerLink (Online service).

Series Natural Computing SeriesOrigen: 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.

Case-Based Reasoning Research and Development [electronic resource] : 31st International Conference, ICCBR 2023, Aberdeen, UK, July 17-20, 2023, Proceedings / edited by Stewart Massie, Sutanu Chakraborti.

por Massie, Stewart [editor.] | Chakraborti, Sutanu [editor.] | SpringerLink (Online service).

Series Lecture Notes in Artificial Intelligence ; 14141Edició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) .

Cellular neural networks, multi-scroll chaos and synchronization / Mustak E. Yalçin, Johan A.K. Suykens, Joos P.L. Vandewalle.

por Yalcin, Mustak E | Suykens, Johan A. K | Vandewalle, J. (Joos), 1948-.

Series World Scientific series on nonlinear science. Series A, Monographs and treatises ; 50Tipo de material: Texto Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: New Jersey ; London : World Scientific, 2005Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada (1) Signatura topográfica: QA76.87 Y35 2005.

Chinese Computational Linguistics [electronic resource] : 22nd China National Conference, CCL 2023, Harbin, China, August 3-5, 2023, Proceedings / edited by Maosong Sun, Bing Qin, Xipeng Qiu, Jiang Jing, Xianpei Han, Gaoqi Rao, Yubo Chen.

por Sun, Maosong [editor.] | Qin, Bing [editor.] | Qiu, Xipeng [editor.] | Jing, Jiang [editor.] | Han, Xianpei [editor.] | Rao, Gaoqi [editor.] | Chen, Yubo [editor.] | SpringerLink (Online service).

Series Lecture Notes in Artificial Intelligence ; 14232Edició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: Singapore : Springer Nature Singapore : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Cloud Computing, Big Data & Emerging Topics [electronic resource] : 11th Conference, JCC-BD&ET 2023, La Plata, Argentina, June 27-29, 2023, Proceedings / edited by Marcelo Naiouf, Enzo Rucci, Franco Chichizola, Laura De Giusti.

por Naiouf, Marcelo [editor.] | Rucci, Enzo [editor.] | Chichizola, Franco [editor.] | De Giusti, Laura [editor.] | SpringerLink (Online service).

Series Communications in Computer and Information Science ; 1828Edició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) .

Cognitive Systems and Information Processing [electronic resource] : 7th International Conference, ICCSIP 2022, Fuzhou, China, December 17-18, 2022, Revised Selected Papers / edited by Fuchun Sun, Angelo Cangelosi, Jianwei Zhang, Yuanlong Yu, Huaping Liu, Bin Fang.

por Sun, Fuchun [editor.] | Cangelosi, Angelo [editor.] | Zhang, Jianwei [editor.] | Yu, Yuanlong [editor.] | Liu, Huaping [editor.] | Fang, Bin [editor.] | SpringerLink (Online service).

Series Communications in Computer and Information Science ; 1787Edició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: Singapore : Springer Nature Singapore : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Collaborative Networks in Digitalization and Society 5.0 [electronic resource] : 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, Valencia, Spain, September 27-29, 2023, Proceedings / edited by Luis M. Camarinha-Matos, Xavier Boucher, Angel Ortiz.

por Camarinha-Matos, Luis M [editor.] | Boucher, Xavier [editor.] | Ortiz, Angel [editor.] | SpringerLink (Online service).

Series IFIP Advances in Information and Communication Technology ; 688Edició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) .

Combinatorial Algorithms [electronic resource] : 34th International Workshop, IWOCA 2023, Tainan, Taiwan, June 7-10, 2023, Proceedings / edited by Sun-Yuan Hsieh, Ling-Ju Hung, Chia-Wei Lee.

por Hsieh, Sun-Yuan [editor.] | Hung, Ling-Ju [editor.] | Lee, Chia-Wei [editor.] | SpringerLink (Online service).

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