Showing 2,741 - 2,760 results of 6,631 for search '"logic"', query time: 0.15s Refine Results
  1. 2741
    Part of book
    Dynamic Dispatch for Method Contracts Through Abstract Predicates
    Published in 2019
    Repositorio Expeditio: repositorio UTadeo
    “... logic and according proof obligations. We fully implemented this framework in the KeY program verifier...”
    Get full text
    Get full text
  2. 2742
    Book
    Chapter 1: Craft, Design and Nostalgia in Modern Japan
    Published in 2019
    Repositorio Expeditio: repositorio UTadeo
    “... in facing future challenges by challenging the logic of globalized production and consumption...”
    Get full text
    Get full text
  3. 2743
    Book
    Free Form Technology from Delft
    Published in 2016
    Repositorio Expeditio: repositorio UTadeo
    “... industry and the contractors in realizing these dreams. According to the author(s), the desire and logic...”
    Get full text
    Get full text
  4. 2744
    Book
    Nucleic Acid Architectures for Therapeutics, Diagnostics, Devices and Materials
    Published in 2019
    Repositorio Expeditio: repositorio UTadeo
    “..., programmable scaffolds for material organization, logic gates, and soft actuators, to name but a few...”
    Get full text
    Get full text
    Get full text
  5. 2745
    Article of investigation
    Managing oncology clinical trials during COVID - 19 pandemic
    Published in 2020
    Repositorio Expeditio: repositorio UTadeo
    “... in house stud ies in the on co logic pop u la tion. There are 242 cur rently ac tive par tic i pants...”
    Get full text
    Get full text
  6. 2746
    Elucidación del término “competitividad nacional” y análisis de su medición
    Published in 2011
    Repositorio Repositorio EdocUR - U. Rosario
    Get full text
    Get full text
  7. 2747
    Sobre la noción de biopoder en el pensamiento de la Corte Constitucional colombiana: análisis de jurisprudencia sobre el derecho a la vida
    Published in 2012
    Repositorio Repositorio EdocUR - U. Rosario
    Get full text
    Get full text
  8. 2748
    Generalización de notación asintótica vía filtros
    Published in 2022
    Repositorio Repositorio EdocUR - U. Rosario
    Get full text
    Get full text
  9. 2749
    Masters Thesis
    Herramienta web para la enseñanza de la programación en niños y jóvenes “mi superpoder es la programación”
    Por Gutiérrez Beltrán, Erika Jissel
    Published in 2023
    Repositorio Vitela

    Get full text
  10. 2750
    Trabajo de grado de pregrado
    Automatización de un canal de riego para zonas rurales: estudio de la primera sección del canal
    Por Gutiérrez García, Carlos Alberto
    Published in 2022
    Repositorio Séneca: repositorio Uniandes

    Get full text
  11. 2751
    Trabajo de grado de pregrado
    Diseño de un biomaterial tipo hidrogel basado en un biopolímero funcionalizado para su potencial aplicación en el desarrollo de biotintas con astrocitos
    Por Fernández García, Leslie
    Published in 2020
    Repositorio Repositorio U. El Bosque

    Get full text
    Get full text
  12. 2752
    Trabajo de grado de pregrado
    Diseño de un sistema de control avanzado para un péndulo invertido doble lineal
    Por Gaona Prada, Juan Manuel; Niño Sánchez, Wilson
    Published in 2022
    Repositorio Repositorio UNAB

    Get full text
  13. 2753
    Trabajo de grado de pregrado
    El enfoque sistémico en el institucionalismo histórico
    Por Hernandez Cortez, Noé
    Published in 2019
    Repositorio Repositorio UNAB

    Get full text
  14. 2754
    Trabajo de grado de pregrado
    El juego como estrategia pedagógica para promover comportamientos prosociales en niños de transición de la salita seis del Instituto Técnico Superior Dámaso Zapata sede “D”...
    Por Reyes Salas, Yurley
    Published in 2015
    Repositorio Repositorio UNAB

    Get full text
  15. 2755
    Trabajo de grado de pregrado
    Explorando la mezcla 5.1 y diseño de sonido para largometraje
    Por Saavedra Saavedra, Juan Pablo
    Published in 2019
    Repositorio Repositorio U. El Bosque

    Get full text
  16. 2756
    Trabajo de grado de pregrado
    Sistema de asignación de aulas y horarios para la UNAB
    Por Hernández Borrero, Irma Jimena; Zambrano Ávila, Martha Erika
    Published in 1997
    Repositorio Repositorio UNAB

    Get full text
  17. 2757
    Driver de comunicaciones entre un controlador lógico programable (PLC) llamado SIBAS (Siemens Bahn Automation System) y un sistema SCADA (Sistema de Control y Adquisición de Datos)...
    Por Castillo Sierra, Claudia Patricia; López Cuadrado, Wilfrido Domingo
    Published in 2012
    Repositorio Repositorio UNAB

    Get full text
  18. 2758
    Cuando la razón no lo explica todo: acciones de ciudadanías comunicativas en contextos de conflicto armado o violencia desde una mirada transnacional
    Por Tamayo Gómez, Camilo; Navarro Bohórquez, Daniela
    Published in 2018
    Repositorio Repositorio Universidad de la Sabana

    Get full text
    Get full text
    Get full text
  19. 2759
    Flow regulation at constant head in feedwater pumps in a sugar industry
    Por Gómez, Julio R.; Sousa, Vladimir; Quintana, Mario S.; Viego, Percy R.; Hernández, Hernán; Quispe, Enrique C.
    Published in 2018
    Repositorio Repositorio Digital USB

    Get full text
  20. 2760
    Trabajo de grado de pregrado
    Evaluación técnica y económica de la viabilidad de implementación de un sistema de cosechamiento de energía para el aprovechamiento del flujo vehicular
    Por Carrillo Nieto, Alonso David
    Published in 2016
    Repositorio Repositorio UNAB

    Get full text
Search Tools: Get RSS Feed — Email this Search