Este documento proporciona definiciones breves de más de 100 términos técnicos relacionados con la computación e Internet, incluyendo hardware, software, redes, componentes, programas, protocolos y más. Las definiciones son generalmente de una o dos palabras para proporcionar una comprensión básica de cada término.
Vocabulario del mundo tecnológico (ordenadores, internet, informática...) en español con su traducción al inglés, portugués, árabe, francés, chino, italiano, alemán, griego, japonés, turco, polaco, sueco, ruso, neerlandés y ucraniano. Creado por ProfeDeELE.es
Vocabulario del mundo tecnológico (ordenadores, internet, informática...) en español con su traducción al inglés, portugués, árabe, francés, chino, italiano, alemán, griego, japonés, turco, polaco, sueco, ruso, neerlandés y ucraniano. Creado por ProfeDeELE.es
Lo stabilimento di trasformazione possiede tre certificazioni CEE:
Bollo "P" per la produzione di insaccati freschi, come la salsiccia e i pronti a cuocere;
Bollo "L" per la lavorazione di insaccati crudi e cotti e la preparazione di gastronomia confezionata;
Bollo "S" per il sezionamento e la lavorazione carni di bovino ...e di suino.
Industrial Standards, Computer Algebra, and Formal VericationEwaryst Schulz
We develop a language for specification of engineering calculations (EnCL, previously CSL) and apply it to formalize the industrial standard EN1591 concerning gasketed circular flange connections. We furthermore present a methodology how to carry out such specified calculations using a computer algebra system. The results are verified using theorem provers connected to the Hets system. In order to do so we define an institution for EnCL.
Recopilación de posibles preguntas para un examen de Sistemas Informáticos.
Fuentes:
http://damsalesianos.mforos.com/2016948/10644788-un-test-que-encontre-por-internet-por-si-cae-manana/
http://damsalesianos.mforos.com/2016948/10644782-la-prueba-de-hoy-con-las-respuestas/
http://es.slideshare.net/carolsmithgomez/verdadero-o-falso-solucion
Lo stabilimento di trasformazione possiede tre certificazioni CEE:
Bollo "P" per la produzione di insaccati freschi, come la salsiccia e i pronti a cuocere;
Bollo "L" per la lavorazione di insaccati crudi e cotti e la preparazione di gastronomia confezionata;
Bollo "S" per il sezionamento e la lavorazione carni di bovino ...e di suino.
Industrial Standards, Computer Algebra, and Formal VericationEwaryst Schulz
We develop a language for specification of engineering calculations (EnCL, previously CSL) and apply it to formalize the industrial standard EN1591 concerning gasketed circular flange connections. We furthermore present a methodology how to carry out such specified calculations using a computer algebra system. The results are verified using theorem provers connected to the Hets system. In order to do so we define an institution for EnCL.
Recopilación de posibles preguntas para un examen de Sistemas Informáticos.
Fuentes:
http://damsalesianos.mforos.com/2016948/10644788-un-test-que-encontre-por-internet-por-si-cae-manana/
http://damsalesianos.mforos.com/2016948/10644782-la-prueba-de-hoy-con-las-respuestas/
http://es.slideshare.net/carolsmithgomez/verdadero-o-falso-solucion
1. Aire comprimidode removedorde polvo
Air
Alcohol isopropilico -
Isopropyl alcohol
Archivo- file
anti virus- antivirus
Arrastrar - drag
2. Barra de herramientas- barrade menú
Bar of tools - menúbar
Barra estándar- barra formato
Estándar bar – formatbar
Barra de tareas - Taskbar
Bluetooth - Bluetooth
Breaker- interruptor
Bus de datos – data bus
3. Cableado - wiring
Cable de modem - Cable of modem
Cache - cache
Cámara – Cam web
Cd-r _ Cd-r
Cd ROM– Cd ROM