News Help Institutional access

Search academic resources

Explore institutional catalogs, electronic resources, open-access journals, available collections, and academic access links.

Advanced search
What NODOVOX Discovery brings together: Institutional catalogs, electronic resources, open-access journals, available collections, and academic access links.
forensic medicine law journals Open Access full text

Results

The search reached the operational limit; the most relevant results are shown.

Resource types: Print book E-book Article Journal Thesis Chapter
Academic search
Programming Languages and Systems : 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Book
Book
Programming Languages and Systems : 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Springer Nature · ISSN 10.1007/978-3-030-17184-1
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
Programming Languages and Systems : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
Book
Book
Programming Languages and Systems : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
Springer Nature · ISSN 10.1007/978-3-030-44914-8
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
Programming Languages and Systems : 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
Book
Book
Programming Languages and Systems : 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
Springer Nature · ISBN 9783030720193
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
Book
Book
Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
Springer Nature · ISBN 9783030993368
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
Programming Languages and Systems : 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings
Book
Book
Programming Languages and Systems : 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings
Springer Nature · ISBN 9783031300448;9783031300431
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II
Book
Book
Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II
Springer Nature · ISBN 9783031572678;9783031572661
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Book
Book
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Amal Ahmed · Springer Nature · ISBN 9783319898841;9783319898834
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Book
Book
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Ahmed, Amal · Springer Nature · ISBN 9783319898841
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
fastp: an ultra-fast all-in-one FASTQ preprocessor
Article
Article
fastp: an ultra-fast all-in-one FASTQ preprocessor
Shifu Chen; Yanqing Zhou; Yaru Chen; Jia Gu · Bioinformatics · 2018
Motivation: Quality control and preprocessing of FASTQ files are essential to providing clean data for downstream analysis. Traditionally, a different tool is used for each operation, such as quality control, adapter tri...
Idioma English
Página del recurso disponiblePágina de referencia del recurso. El texto completo no está confirmado automáticamente.
Página del recurso
Ver opciones de acceso Bibliographic record
Intelligent agents: theory and practice
Article
Article
Intelligent agents: theory and practice
Michael Wooldridge; Nicholas R. Jennings · The Knowledge Engineering Review · 1995
Abstract The concept of an agent has become important in both artificial intelligence (AT) and mainstream computer science. Our aim in this paper is to point the reader at what we perceive to be the most important theore...
Idioma English
Página del recurso disponiblePágina de referencia del recurso. El texto completo no está confirmado automáticamente.
Página del recurso
Ver opciones de acceso Bibliographic record
Numerical optimization
Chapter
Chapter
Numerical optimization
W. John Braun; Duncan J. Murdoch · Cambridge University Press eBooks · 2021
This third edition of Braun and Murdoch's bestselling textbook now includes discussion of the use and design principles of the tidyverse packages in R, including expanded coverage of ggplot2, and R Markdown. The expanded...
Idioma English
Texto completo disponibleTexto completo detectado por patrón de enlace o metadatos.
Texto completo
Ver opciones de acceso Bibliographic record
Open Babel: An open chemical toolbox
Article
Article
Open Babel: An open chemical toolbox
Noel M. O’Boyle; Michael Banck; Craig A. James; Chris Morley; Tim Vandermeersch; Geoffrey Hutchison · Journal of Cheminformatics · 2011
BACKGROUND: A frequent problem in computational modeling is the interconversion of chemical structures between different formats. While standard interchange formats exist (for example, Chemical Markup Language) and de fa...
Idioma English
Página del recurso disponiblePágina de referencia del recurso. El texto completo no está confirmado automáticamente.
Página del recurso
Ver opciones de acceso Bibliographic record
Análisis cuantitativo con R :
Book
Book
Análisis cuantitativo con R :
Liviano Solís, Daniel · Editorial UOC · 2017 · ISBN 9788491168041
Subjects / keywords: Programming languages (Electronic computers); R (Computer program language); Statistics; Data processing; Electronic books
Acceso institucional disponibleEl acceso puede requerir institución, suscripción, proxy, VPN o autenticación.
Institucional
Ver opciones de acceso Bibliographic record
Análisis de datos con R en estudios internacionales /
Book
Book
Análisis de datos con R en estudios internacionales /
Mas Elias, Jordi · Editorial UOC · 2020 · ISBN 9788491807582
Subjects / keywords: Programming languages (Electronic computers); R (Computer program language); Social sciences; Data processing; Electronic books
Acceso institucional disponibleEl acceso puede requerir institución, suscripción, proxy, VPN o autenticación.
Institucional
Ver opciones de acceso Bibliographic record
Guía del programador competitivo :
Book
Book
Guía del programador competitivo :
Rodríguez Castañeda, Diego Fernando · Editorial Universidad ECCI · 2021 · ISBN 9789588817446
Subjects / keywords: Programming languages (Computers); Data processing
Acceso institucional disponibleEl acceso puede requerir institución, suscripción, proxy, VPN o autenticación.
Institucional
Ver opciones de acceso Bibliographic record
Teoría de lenguajes, gramáticas y autómatas para informáticos /
Book
Book
Teoría de lenguajes, gramáticas y autómatas para informáticos /
Carrasco, Rafael C · Publicaciones de la Universidad de Alicante · 2000 · ISBN 9788479085742
Subjects / keywords: Programming languages (Electronic computers); Electronic books
Acceso institucional disponibleEl acceso puede requerir institución, suscripción, proxy, VPN o autenticación.
Institucional
Ver opciones de acceso Bibliographic record
Aplicaciones gráficas con Python 3 /
Book
Book
Aplicaciones gráficas con Python 3 /
Cuevas Álvarez, Alberto · Ra-Ma · 2018 · ISBN 9788499647074
Subjects / keywords: Python (Computer program language); Object-oriented programming languages; Electronic books
Acceso institucional disponibleEl acceso puede requerir institución, suscripción, proxy, VPN o autenticación.
Institucional
Ver opciones de acceso Bibliographic record
Aprendiendo a programar a partir de cero /
Book
Book
Aprendiendo a programar a partir de cero /
Salazar Perdomo, Patricia · Escuela Colombiana de Ingeniería Julio Garavito Editorial · 2019 · ISBN 9789588726342
Subjects / keywords: Computer programming; Programming languages (Electronic computers); Computer algorithms; Electronic data processing
Acceso institucional disponibleEl acceso puede requerir institución, suscripción, proxy, VPN o autenticación.
Institucional
Ver opciones de acceso Bibliographic record
Bases de datos en SQL server /
Book
Book
Bases de datos en SQL server /
Wanumen Silva, Luis Felipe · Ecoe Ediciones · 2018 · ISBN 9789587715712
Subjects / keywords: SQL (Computer program language); Programming languages (Electronic computers); Electronic books
Acceso institucional disponibleEl acceso puede requerir institución, suscripción, proxy, VPN o autenticación.
Institucional
Ver opciones de acceso Bibliographic record
Creación de contratos inteligentes en la red blockchain de ethereum con solidity /
Book
Book
Creación de contratos inteligentes en la red blockchain de ethereum con solidity /
Ramírez Gil, Wilmar Alonso · Ra-Ma · 2022 · ISBN 9788419444530
Subjects / keywords: Blockchains (Databases); Contracts; Programming languages (Electronic computers)
Acceso institucional disponibleEl acceso puede requerir institución, suscripción, proxy, VPN o autenticación.
Institucional
Ver opciones de acceso Bibliographic record
Diseño, implementación y corrección de GraPiCO :
Book
Book
Diseño, implementación y corrección de GraPiCO :
Tavera Romero, Carlos Andrés · Editorial Bonaventuriana · 2010 · ISBN 9789588436357
Subjects / keywords: Visual programming languages (Computer science); Programming languages (Electronic computers); Compilers (Computer programs)
Acceso institucional disponibleEl acceso puede requerir institución, suscripción, proxy, VPN o autenticación.
Institucional
Ver opciones de acceso Bibliographic record
El fantasma de la máquina de lenguaje :
Book
Book
El fantasma de la máquina de lenguaje :
Alonso-Cortés, Angel · Biblioteca Nueva · 2005 · ISBN 8497423364
Subjects / keywords: Language and languages; Linguistics; Philosophy; Programming languages (Electronic computers); Artificial intelligence; Natural language processing (Computer science); Electronic books
Acceso institucional disponibleEl acceso puede requerir institución, suscripción, proxy, VPN o autenticación.
Institucional
Ver opciones de acceso Bibliographic record
Empezando a programar en Phyton /
Book
Book
Empezando a programar en Phyton /
Salazar Perdomo, Patricia · Escuela Colombiana de Ingeniería Julio Garavito Editorial · 2019 · ISBN 9789588726359
Subjects / keywords: Python (Computer program language); Programming languages (Electronic computers); Computer programming
Acceso institucional disponibleEl acceso puede requerir institución, suscripción, proxy, VPN o autenticación.
Institucional
Ver opciones de acceso Bibliographic record
NODITO
Asistencia de búsqueda académica
Te ayudo a buscar, encontrar y acceder a recursos académicos.
Consultar con NODITO
¿Qué necesitás hacer?
Consultas rápidas
NODITO Asistencia contextual NDX