Su búsqueda retornó 9 resultados.

Resultados
		Complete Symbolic Simulation of SystemC Models [recurso electrónico] : Efficient Formal Verification of Finite Non-Terminating Programs / by Vladimir Herdt. por Herdt, Vladimir [author.] \| SpringerLink (Online service). Series BestMastersEdición: 1st ed. 2016.Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Machine Learning for Microbial Phenotype Prediction [recurso electrónico] / by Roman Feldbauer. por Feldbauer, Roman [author.] \| SpringerLink (Online service). Series BestMastersOrigen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Spektrum, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Magical Thinking in Severe Grief Reactions [electronic resource] : Theoretical Foundations and New Insights from a Grounded Theory Expert Study / by Christian Lönneker. por Lönneker, Christian [author.] \| SpringerLink (Online service). Series BestMastersEdición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Observing Homosexual and Gender Nonconformity Behaviors [electronic resource] : Changes in Men's Moral Judgment and Emotional Response / by Michael Lambertus. por Lambertus, Michael [author.] \| SpringerLink (Online service). Series BestMastersEdición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		A Polynomial Translation of Mobile Ambients into Safe Petri Nets [recurso electrónico] : Understanding a Calculus of Hierarchical Protection Domains / by Susanne Göbel. por Göbel, Susanne [author.] \| SpringerLink (Online service). Series BestMastersEdición: 1st ed. 2016.Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Social Interactions in Autism [electronic resource] : Cognitive Empathy, Egocentricity and Social Pain / by Helena Hartmann. por Hartmann, Helena [author.] \| SpringerLink (Online service). Series BestMastersEdición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Time-Optimal Trajectory Planning for Redundant Robots [recurso electrónico] : Joint Space Decomposition for Redundancy Resolution in Non-Linear Optimization / by Alexander Reiter. por Reiter, Alexander [author.] \| SpringerLink (Online service). Series BestMastersEdición: 1st ed. 2016.Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Unsteady Turbulent Flow Modelling and Applications [recurso electrónico] / by David Roos Launchbury. por Roos Launchbury, David [author.] \| SpringerLink (Online service). Series BestMastersEdición: 1st ed. 2016.Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Variation Based Dense 3D Reconstruction [recurso electrónico] : Application on Monocular Mini-Laparoscopic Sequences / by Sven Painer. por Painer, Sven [author.] \| SpringerLink (Online service). Series BestMastersEdición: 1st ed. 2016.Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Con tecnología Koha