Resultados
|
|
|
Languages and Compilers for Parallel Computing [electronic resource] : 35th International Workshop, LCPC 2022, Chicago, IL, USA, October 12-14, 2022, Revised Selected Papers / edited by Charith Mendis, Lawrence Rauchwerger. por Mendis, Charith [editor.] | Rauchwerger, Lawrence [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13829Edició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) .
|
|
|
|
High Performance Computing [electronic resource] : 38th International Conference, ISC High Performance 2023, Hamburg, Germany, May 21-25, 2023, Proceedings / edited by Abhinav Bhatele, Jeff Hammond, Marc Baboulin, Carola Kruse. por Bhatele, Abhinav [editor.] | Hammond, Jeff [editor.] | Baboulin, Marc [editor.] | Kruse, Carola [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13948Edició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) .
|
|
|
|
Model and Data Engineering [electronic resource] : 11th International Conference, MEDI 2022, Cairo, Egypt, November 21-24, 2022, Proceedings / edited by Philippe Fournier-Viger, Ahmed Hassan, Ladjel Bellatreche. por Fournier-Viger, Philippe [editor.] | Hassan, Ahmed [editor.] | Bellatreche, Ladjel [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13761Edició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) .
|
|
|
|
Information Security and Cryptology [electronic resource] : 18th International Conference, Inscrypt 2022, Beijing, China, December 11-13, 2022, Revised Selected Papers / edited by Yi Deng, Moti Yung. por Deng, Yi [editor.] | Yung, Moti [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13837Edició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) .
|
|
|
|
Practical Aspects of Declarative Languages [electronic resource] : 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings / edited by Michael Hanus, Daniela Inclezan. por Hanus, Michael [editor.] | Inclezan, Daniela [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13880Edició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) .
|
|
|
|
Next Generation Arithmetic [electronic resource] : 4th International Conference, CoNGA 2023, Singapore, March 1-2, 2023, Proceedings / edited by John Gustafson, Siew Hoon Leong, Marek Michalewicz. por Gustafson, John [editor.] | Leong, Siew Hoon [editor.] | Michalewicz, Marek [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13851Edició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) .
|
|
|
|
Innovative Security Solutions for Information Technology and Communications [electronic resource] : 15th International Conference, SecITC 2022, Virtual Event, December 8-9, 2022, Revised Selected Papers / edited by Giampaolo Bella, Mihai Doinea, Helge Janicke. por Bella, Giampaolo [editor.] | Doinea, Mihai [editor.] | Janicke, Helge [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13809Edició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) .
|
|
|
|
|
|
|
|
Machine Learning for Cyber Security [electronic resource] : 4th International Conference, ML4CS 2022, Guangzhou, China, December 2-4, 2022, Proceedings, Part I / edited by Yuan Xu, Hongyang Yan, Huang Teng, Jun Cai, Jin Li. por Xu, Yuan [editor.] | Yan, Hongyang [editor.] | Teng, Huang [editor.] | Cai, Jun [editor.] | Li, Jin [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13655Edició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) .
|
|
|
|
Machine Learning for Cyber Security [electronic resource] : 4th International Conference, ML4CS 2022, Guangzhou, China, December 2-4, 2022, Proceedings, Part III / edited by Yuan Xu, Hongyang Yan, Huang Teng, Jun Cai, Jin Li. por Xu, Yuan [editor.] | Yan, Hongyang [editor.] | Teng, Huang [editor.] | Cai, Jun [editor.] | Li, Jin [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13657Edició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) .
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings / edited by Cezara Dragoi, Michael Emmi, Jingbo Wang. por Dragoi, Cezara [editor.] | Emmi, Michael [editor.] | Wang, Jingbo [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13881Edició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) .
|
|
|
|
Graph Drawing and Network Visualization [electronic resource] : 30th International Symposium, GD 2022, Tokyo, Japan, September 13-16, 2022, Revised Selected Papers / edited by Patrizio Angelini, Reinhard von Hanxleden. por Angelini, Patrizio [editor.] | von Hanxleden, Reinhard [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13764Edició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) .
|
|
|
|
Human-Computer Interaction - INTERACT 2023 [electronic resource] : 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part I / edited by José Abdelnour Nocera, Marta Kristín Lárusdóttir, Helen Petrie, Antonio Piccinno, Marco Winckler. por Abdelnour Nocera, José [editor.] | Kristín Lárusdóttir, Marta [editor.] | Petrie, Helen [editor.] | Piccinno, Antonio [editor.] | Winckler, Marco [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14142Edició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) .
|
|
|
|
Human-Computer Interaction - INTERACT 2023 [electronic resource] : 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part III / edited by José Abdelnour Nocera, Marta Kristín Lárusdóttir, Helen Petrie, Antonio Piccinno, Marco Winckler. por Abdelnour Nocera, José [editor.] | Kristín Lárusdóttir, Marta [editor.] | Petrie, Helen [editor.] | Piccinno, Antonio [editor.] | Winckler, Marco [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14144Edició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) .
|
|
|
|
Logic, Language, Information, and Computation [electronic resource] : 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings / edited by Helle Hvid Hansen, Andre Scedrov, Ruy J.G.B. de Queiroz. por Hansen, Helle Hvid [editor.] | Scedrov, Andre [editor.] | de Queiroz, Ruy J.G.B [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13923Edició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) .
|
|
|
|
OpenMP: Advanced Task-Based, Device and Compiler Programming [electronic resource] : 19th International Workshop on OpenMP, IWOMP 2023, Bristol, UK, September 13-15, 2023, Proceedings / edited by Simon McIntosh-Smith, Michael Klemm, Bronis R. de Supinski, Tom Deakin, Jannis Klinkenberg. por McIntosh-Smith, Simon [editor.] | Klemm, Michael [editor.] | de Supinski, Bronis R [editor.] | Deakin, Tom [editor.] | Klinkenberg, Jannis [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14114Edició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) .
|
|
|
|
Logic and Its Applications [electronic resource] : 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings / edited by Mohua Banerjee, A. V. Sreejith. por Banerjee, Mohua [editor.] | Sreejith, A. V [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13963Edició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) .
|
|
|
|
Metaheuristics [electronic resource] : 14th International Conference, MIC 2022, Syracuse, Italy, July 11-14, 2022, Proceedings / edited by Luca Di Gaspero, Paola Festa, Amir Nakib, Mario Pavone. por Di Gaspero, Luca [editor.] | Festa, Paola [editor.] | Nakib, Amir [editor.] | Pavone, Mario [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13838Edició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) .
|
|
|
|
Integer Programming and Combinatorial Optimization [electronic resource] : 24th International Conference, IPCO 2023, Madison, WI, USA, June 21-23, 2023, Proceedings / edited by Alberto Del Pia, Volker Kaibel. por Del Pia, Alberto [editor.] | Kaibel, Volker [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13904Edició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) .
|
|
|
|
Integration of Constraint Programming, Artificial Intelligence, and Operations Research [electronic resource] : 20th International Conference, CPAIOR 2023, Nice, France, May 29 -June 1, 2023, Proceedings / edited by Andre A. Cire. por Cire, Andre A [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13884Edició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) .
|
