Traduction de "calculi" à espagnol

Calculi

nom

• cálculo
• aspecto cálculo

Exemples de traduction

cálculo nom

UNU/IIST research projects were carried out in the area of hybrid systems, typically control systems with embedded computers using durational calculi as the formal tools.
Se llevaron a cabo proyectos del Instituto de Nuevas Tecnologías de la UNU en la esfera de los sistemas híbridos, generalmente sistemas de control dotados de computadoras que emplean como instrumentos formales los cálculos de duración.

Such projects were also conducted in the specification and development of reactive systems. The projects addressed reactive systems using general-duration calculi and investigated other theories of reactive systems such as compositional verification and refinement calculi.
Con arreglo a esos proyectos también se abordaron los sistemas reactivos en que se emplean cálculos de duración generales y se investigaron otras teorías de los sistemas reactivos como la verificación composicional y los cálculos de refinamiento.

Formal Software Development Methods and the Duration Calculi: from Programmes on Large-scale Systems and from Untimed Reactive Discrete Systems to Real-time Hybrid Systems, in Macau.
Métodos de programas oficiales de elaboración de computación y cálculo de duración: desde los programas de sistemas en gran escala y de los sistemas reactivos discretos sin factor de tiempo a los sistemas híbridos de tiempo real, que se dictó en Macao.

101. A series of "off-shore" training workshops presented front-of-the-wave computing science research and programming methodological, design calculi- oriented theories and techniques.
101. En una serie de cursos prácticos de capacitación externos se presentaron investigaciones avanzadas sobre informática y programación de teorías y técnicas metodológicas de diseño orientadas al cálculo.

60. During the year, UNU/IIST continued work on its project on Design Calculi and Research for Telecommunication Systems (DESCARTES), which is investigating rigorous approaches to software development in telecommunications.
En el curso del año, el Instituto siguió trabajando en su proyecto sobre cálculos e investigaciones en materia de diseño de sistemas de telecomunicaciones (DESCARTES), conforme al cual se están investigando métodos rigurosos de elaboración de programas informáticos aplicables a las telecomunicaciones.

Postgraduate DESCARTES Course: Design Calculi and Research Telecommunication Systems, in China, Brazil, Indonesia, Pakistan and South Africa;
Curso de posgrado “DESCARTES”: cálculos de diseño e investigación de sistemas de telecomunicaciones en China, el Brasil, Indonesia, el Pakistán y Sudáfrica;

He gave Jack a brief summary of Don Pedro Mendizabal on renal calculi and of Ramón Gonzales on phthisis, and then went on to explain why he had not slept the night before.
A continuación ofreció a Jack un breve sumario de las teorías de don Pedro Mendizábal acerca del cálculo renal, y de la tisis explicada por Ramón González, y después pasó a justificar por qué razón no había dormido la noche anterior—.