전문 번역가, 번역 회사, 웹 페이지 및 자유롭게 사용할 수 있는 번역 저장소 등을 활용합니다.
for best results, a battery should be tested under similar conditions as used in the field. quicksort™ by cadex achieves this through a technology referred to as electrochemical dynamic response.
quicksortmc de cadex permet de le faire grâce à une technologie intitulée réponse dynamique électrochimique.
hoare's most significant work has been in the following areas: his sorting and selection algorithm (quicksort and quickselect), hoare logic, the formal language communicating sequential processes (csp) used to specify the interactions between concurrent processes, structuring computer operating systems using the monitor concept, and the axiomatic specification of programming languages.
ses contributions les plus significatives sont : le célèbre algorithme de tri quicksort et l'algorithme de sélection quickselect, la logique de hoare, le langage formel communicating sequential processes (csp) utilisé pour spécifier l’interaction entre des processus concurrents, structuration des systèmes d'exploitation d'ordinateurs par l'introduction du concept de moniteur, et la spécification formelle de langages de programmation.