Refinar su búsqueda

Su búsqueda retornó 555 resultados.

Ordenar
Resultados
Algorithms and Models for the Web Graph [electronic resource] : 18th International Workshop, WAW 2023, Toronto, ON, Canada, May 23-26, 2023, Proceedings / edited by Megan Dewar, Paweł Prałat, Przemysław Szufel, François Théberge, Małgorzata Wrzosek.

por Dewar, Megan [editor.] | Prałat, Paweł [editor.] | Szufel, Przemysław [editor.] | Théberge, François [editor.] | Wrzosek, Małgorzata [editor.] | SpringerLink (Online service).

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

Algorithms for Constructing Computably Enumerable Sets [electronic resource] / by Kenneth J. Supowit.

por Supowit, Kenneth J [author.] | SpringerLink (Online service).

Series Computer Science Foundations and Applied LogicEdició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 International Publishing : Imprint: Birkhäuser, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Algorithms for Sensor Systems [recurso electrónico] : 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers / edited by Christian Scheideler.

por Scheideler, Christian [editor.] | SpringerLink (Online service).

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

Algorithms in Bioinformatics [recurso electrónico] : 10th International Workshop, WABI 2010, Liverpool, UK, September 6-8, 2010. Proceedings / edited by Vincent Moulton, Mona Singh.

por Moulton, Vincent [editor.] | Singh, Mona [editor.] | SpringerLink (Online service).

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

Algorithms in Bioinformatics [recurso electrónico] : 11th International Workshop, WABI 2011, Saarbrücken, Germany, September 5-7, 2011. Proceedings / edited by Teresa M. Przytycka, Marie-France Sagot.

por Przytycka, Teresa M [editor.] | Sagot, Marie-France [editor.] | SpringerLink (Online service).

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

Analytical and Stochastic Modeling Techniques and Applications [recurso electrónico] : 18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011. Proceedings / edited by Khalid Al-Begain, Simonetta Balsamo, Dieter Fiems, Andrea Marin.

por Al-Begain, Khalid [editor.] | Balsamo, Simonetta [editor.] | Fiems, Dieter [editor.] | Marin, Andrea [editor.] | SpringerLink (Online service).

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

Apartness and Uniformity [recurso electrónico] : A Constructive Development / by Douglas S. Bridges, Luminita Simona Vîta.

por Bridges, Douglas S [author.] | Vîta, Luminita Simona [author.] | SpringerLink (Online service).

Series Theory and Applications of Computability, In cooperation with the association Computability in EuropeOrigen: 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 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 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 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 [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] : 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 Informatics and Communication [recurso electrónico] : International Conference, ICAIC 2011,Xi’an, China, August 20-21, 2011, Proceedings, Part I / edited by Dehuai Zeng.

por Zeng, Dehuai [editor.] | SpringerLink (Online service).

Series Communications in Computer and Information Science ; 224Origen: 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.

Applied Informatics and Communication [recurso electrónico] : International Conference, ICAIC 2011, Xi’an, China, August 20-21, 2011, Proceedings, Part II / edited by Dehuai Zeng.

por Zeng, Dehuai [editor.] | SpringerLink (Online service).

Series Communications in Computer and Information Science ; 225Origen: 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.

Applied Informatics and Communication [recurso electrónico] : International Conference, ICAIC 2011, Xi’an, China, August 20-21, 2011, Proceedings, Part V / edited by Jun Zhang.

por Zhang, Jun [editor.] | SpringerLink (Online service).

Series Communications in Computer and Information Science ; 228Origen: 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.

Applied Informatics and Communication [recurso electrónico] : International Conference, ICAIC 2011, Xi’an, China, August 20-21, 2011, Proceedings, Part IV / edited by Jun Zhang.

por Zhang, Jun [editor.] | SpringerLink (Online service).

Series Communications in Computer and Information Science ; 227Origen: 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.

Applied Informatics and Communication [recurso electrónico] : International Conference, ICAIC 2011, Xi’ian, China, August 20-21, 2011. Proceedings, Part III / edited by Jianwei Zhang.

por Zhang, Jianwei [editor.] | SpringerLink (Online service).

Series Communications in Computer and Information Science ; 226Origen: 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, 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.

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [recurso electrónico] : 13th International Workshop, APPROX 2010, and 14th International Workshop, RANDOM 2010, Barcelona, Spain, September 1-3, 2010. Proceedings / edited by Maria Serna, Ronen Shaltiel, Klaus Jansen, José Rolim.

por Serna, Maria [editor.] | Shaltiel, Ronen [editor.] | Jansen, Klaus [editor.] | Rolim, José [editor.] | SpringerLink (Online service).

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

Páginas

Con tecnología Koha