Aprendiendo a traducir con los ejemplos de traducciones humanas.
De traductores profesionales, empresas, páginas web y repositorios de traducción de libre uso.
züchter: c. hoare (rsa)
breeder: c. hoare (rsa),south africa
Última actualización: 2018-02-13
Frecuencia de uso: 1
Calidad:
hoare, japan library, 1999.
japan library (1999).
Última actualización: 2016-03-03
Frecuencia de uso: 2
Calidad:
the jewelry is made in homer, alaska, by larry hoare.
the jewelry is made in homer, alaska, by larry hoare.
Última actualización: 2018-02-13
Frecuencia de uso: 1
Calidad:
hoare wurde in harrow und im new college in oxford ausgebildet.
hoare was educated at harrow school and new college, oxford, where he graduated b.a.
Última actualización: 2016-03-03
Frecuencia de uso: 2
Calidad:
von philip hoare, the telegraph, 08.10.2012 ( international )
von marilyn stasio, the new york times, 03.09.2012 ( international )
Última actualización: 2018-02-13
Frecuencia de uso: 1
Calidad:
hoare ernannte müller zu einem der drei offiziere der neu formierten einheit.
at 44, müller was the oldest of mike hoare's soldiers.
Última actualización: 2016-03-03
Frecuencia de uso: 2
Calidad:
april 2014* kurzbiographie von mike hoare (englisch), abgerufen am 20.
== see also ==* bob denard* jean schramme* stanley mann== notes ==
Última actualización: 2016-03-03
Frecuencia de uso: 2
Calidad:
als die konservativen 1931 der großen koalition beitraten, wurde hoare minister für indien.
when the conservatives joined the national government in 1931, hoare became secretary of state for india in which capacity he negotiated, with great difficulty, the passage of the landmark government of india act 1935.
Última actualización: 2016-03-03
Frecuencia de uso: 2
Calidad:
nach dem tode seiner ehefrau, jane benson, erbte sein sohn henry hoare 1742 das anwesen.
his son, john meres, sold it to henry hoare i, son of wealthy banker sir richard hoare in 1717.
Última actualización: 2016-03-03
Frecuencia de uso: 2
Calidad:
hoare knüpft an frühere beiträge von robert floyd an, der ein ähnliches system für flussdiagramme veröffentlichte.
the original ideas were seeded by the work of robert floyd, who had published a similar system for flowcharts.
Última actualización: 2016-03-03
Frecuencia de uso: 2
Calidad:
henry hoare built this 5 arched palladian bridge in the great park of stourhead close to the head of the lake in 1762.
henry hoare built this 5 arched palladian bridge in the great park of stourhead close to the head of the lake in 1762.
Última actualización: 2018-02-13
Frecuencia de uso: 1
Calidad:
januar 1934 in colombo, sri lanka), besser bekannt als tony hoare oder c.a.r.
sir charles antony richard hoare frs freng (born 11 january 1934), commonly known as tony hoare or c. a. r. hoare, is a british computer scientist.
Última actualización: 2016-03-03
Frecuencia de uso: 2
Calidad:
aufbauend auf diesen semantiken werden eine hoare-logik und ein c0-kalkül für dynamische logik entwickelt.
based on both semantics a hoare logic and a c0 calculus for dynamic logic have been developed.
Última actualización: 2018-02-13
Frecuencia de uso: 1
Calidad:
der opener ,kodiak" ist ein zukünftiger klassiker, auf dem sich die gitarren von cooper und hoare gegenseitig becircen und der sofort zum mitsingen einlädt.
slinking out of the gate, the first song "kodiak" is an hummable future-classic with cooper & hoare's guitars dancing around each other with ease.
Última actualización: 2018-02-13
Frecuencia de uso: 1
Calidad:
Advertencia: contiene formato HTML invisible
in c. hoare (ed.), handbook of adult development and learning (pp. 149-166).
in c. hoare (ed.), handbook of adult development and learning (pp. 149-166).
Última actualización: 2018-02-13
Frecuencia de uso: 1
Calidad:
außerdem entwickelte hoare die prozessalgebra communicating sequential processes (csp), die zum beispiel die entwicklung der programmiersprachen ada, occam und go beeinflusst hat.
he also developed hoare logic for verifying program correctness, and the formal language communicating sequential processes (csp) to specify the interactions of concurrent processes (including the dining philosophers problem) and the inspiration for the occam programming language.
Última actualización: 2016-03-03
Frecuencia de uso: 2
Calidad:
in c. hoare (ed.), the oxford handbook of adult development and learning (pp. 149-166).
in c. hoare (ed.), the oxford handbook of adult development and learning (pp. 149-166).
Última actualización: 2018-02-13
Frecuencia de uso: 1
Calidad:
die implementierungssprache ist c0, eine untermenge von c. die verifikation wird in einer hoare-logik-basierten interaktiven software-verifikationsumgebung für den theorembeweiser isabelle durchgeführt.
the implementation language is the c-like programming language c0. the verification is done in a hoare-logic-based interactive software verification environment for the theorem proving environment isabelle.
Última actualización: 2018-02-13
Frecuencia de uso: 1
Calidad:
...," she answered in a hoarse voice.
..., jr., which was conducted in 1976.
Última actualización: 2018-02-13
Frecuencia de uso: 1
Calidad:
Advertencia: contiene formato HTML invisible