Su búsqueda retornó 11 resultados.

Resultados
		Error-Correction Coding and Decoding [electronic resource] : Bounds, Codes, Decoders, Analysis and Applications / by Martin Tomlinson, Cen Jung Tjhai, Marcel A. Ambroze, Mohammed Ahmed, Mubarak Jibril. por Tomlinson, Martin [author.] Tjhai, Cen Jung [author.] Ambroze, Marcel A [author.] Ahmed, Mohammed [author.] Jibril, Mubarak [author.] SpringerLink (Online service) Series Signals and Communication Technology Edición: 1st ed. 2017. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2017 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		The Amazing Journey of Reason [electronic resource] : from DNA to Artificial Intelligence / by Mario Alemi. por Alemi, Mario [author.] SpringerLink (Online service) Series SpringerBriefs in Computer Science Edición: 1st ed. 2020. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2020 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 25th International Conference, TACAS 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, Part II / edited by Tomáš Vojnar, Lijun Zhang. por Vojnar, Tomáš [editor.] Zhang, Lijun [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 11428 Edición: 1st ed. 2019. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2019 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Forecasting and Assessing Risk of Individual Electricity Peaks [electronic resource] / by Maria Jacob, Cláudia Neves, Danica Vukadinović Greetham. por Jacob, Maria [author.] Neves, Cláudia [author.] Vukadinović Greetham, Danica [author.] SpringerLink (Online service) Series SpringerBriefs in Mathematics of Planet Earth, Weather, Climate, Oceans Edición: 1st ed. 2020. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2020 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Computer Aided Verification [electronic resource] : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II / edited by Hana Chockler, Georg Weissenbacher. por Chockler, Hana [editor.] Weissenbacher, Georg [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 10982 Edición: 1st ed. 2018. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Pro TBB [electronic resource] : C++ Parallel Programming with Threading Building Blocks / by Michael Voss, Rafael Asenjo, James Reinders. por Voss, Michael [author.] Asenjo, Rafael [author.] Reinders, James [author.] SpringerLink (Online service) Edición: 1st ed. 2019. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berkeley, CA : Apress : Imprint: Apress, 2019 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Computer Aided Verification [electronic resource] : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I / edited by Hana Chockler, Georg Weissenbacher. por Chockler, Hana [editor.] Weissenbacher, Georg [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 10981 Edición: 1st ed. 2018. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Foundations of Trusted Autonomy [electronic resource] / edited by Hussein A. Abbass, Jason Scholz, Darryn J. Reid. por Abbass, Hussein A [editor.] Scholz, Jason [editor.] Reid, Darryn J [editor.] SpringerLink (Online service) Series Studies in Systems, Decision and Control ; 117 Edición: 1st ed. 2018. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Sublinear Computation Paradigm [electronic resource] : Algorithmic Revolution in the Big Data Era / edited by Naoki Katoh, Yuya Higashikawa, Hiro Ito, Atsuki Nagao, Tetsuo Shibuya, Adnan Sljoka, Kazuyuki Tanaka, Yushi Uno. por Katoh, Naoki [editor.] Higashikawa, Yuya [editor.] Ito, Hiro [editor.] Nagao, Atsuki [editor.] Shibuya, Tetsuo [editor.] Sljoka, Adnan [editor.] Tanaka, Kazuyuki [editor.] Uno, Yushi [editor.] SpringerLink (Online service) Edición: 1st ed. 2022. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Elements of Robotics [electronic resource] / by Mordechai Ben-Ari, Francesco Mondada. por Ben-Ari, Mordechai [author.] Mondada, Francesco [author.] SpringerLink (Online service) Edición: 1st ed. 2018. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Solving PDEs in Python [electronic resource] : The FEniCS Tutorial I / by Hans Petter Langtangen, Anders Logg. por Langtangen, Hans Petter [author.] Logg, Anders [author.] SpringerLink (Online service) Series Simula SpringerBriefs on Computing ; 3 Edición: 1st ed. 2016. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)

Con tecnología Koha