Articles — International Languages

Ceci est le polycopié de cours du module INF424, qui fait partie la majeure Informatique de la formation d'ingénieurs de Télécom Bretagne ainsi que du Master of Science CSDS (Computer Science & Decision Systems). Il comporte trois parties : Logique du premier ordre, : systèmes formels, théorie des modèles, satisfaisabilité, normalisation, résolution. Logiques de description, et en particulier SROIQ. Sémantique et vérification des langages de programmation.

tôi không có câu hỏi nào hết

Modelo de proposta de desenvolvimento de software

En este trabajo se implementaron diferentes topologías de circuitos rectificadores, profundizando en el concepto de factor de potencia, evaluando el factor de potencia en las diferentes topologías utilizando ecuaciones matemáticas y simulaciones por software de computadora (TINA). Concluyendo que el circuito rectificador con uso del convertidor Boost, mejora la distorsión armónica total con respecto a las otras topologías evaluadas, siendo el aporte de la armónica fundamental mayor que las otras armónicas, obteniendo una corrección en el factor de potencia.

Bachelorproefvoorstel voor onderzoekstechnieken

Trabalho de Introdução à Sociologia - Engenharia da Computação - CEFET/MG

Vorlage für TH Köln Abschlussarbeiten; insbesondere für StudentInnen der Medieninformatik

In this practice, the student will implement a four-bit counter using the 74LS193 Integrated circuit (IC), and the NE555 IC as clock signal.

Created using the "ModernCV" CV and Cover Letter LaTeX Template Version 1.1 (9/12/12) This template has been downloaded from: LaTeXTemplates.comM/a> Original author: Xavier Danaux