sort by
approximate search
1shortlisttitle datasearch history  
results search [or] ISN:0000000121467986 | 1 hits
Person
ISNI: 
0000 0001 2146 7986
Name: 
C. A. R. Hoare
C. A. R. Hoare (informático teórico del Reino Unido)
Charles Antony Richard Hoare (britisk ingeniør og informatikar)
Charles Antony Richard Hoare (britisk ingeniør og informatiker)
Charles Antony Richard Hoare (brittisk ingenjör och datavetare)
Charles Antony Richard Hoare (Computer scientist)
Charles Antony Richard Hoare (informàtic britànic)
Charles Antony Richard Hoare (informaticien britannique)
Hoar, Č.
Hoare, C. A.
Hoare, C. A. R.
Hoare, Charles Antony Richard
Hoare, Tony
Hoor, K.
Toni Hor
Tony Hoare (britischer Informatiker, Entwickler des Quicksort-Algorithmus sowie des Hoarekalküls)
Tony Hoare (Een Brits informaticus die het sorteeralgoritme quicksort heeft uitgevonden)
Tony Hoare (informatico britannico)
Сұрыптаудың хоор әдісі
Тони Хор
Тоні Гоар
Хоар, Чарльз Энтони Ричард (британский учёный)
Хоор, К
Չարլզ Անտոնի Ռիչարդ Հոար
توني هور
تونی هور (دانشمند علوم کامپیوتر و مهندس بریتانیایی)
টোনি হোর
ਟੋਨੀ ਹੋਏਰ
찰스 앤터니 리처드 호어
アントニー・ホーア (Computer scientist)
ホーア, C. A. R
東尼·霍爾
Dates: 
1934-
Creation class: 
article
Computer file
cre
Language material
Text
Creation role: 
author
contributor
editor
redactor
Related names: 
Bjørner, Dines (1937-)
Broy, M. (1949-)
Dahl, O. J. (1931-)
Dahl, Ole Johan (1931-)
Dahl, Ole-Johan (1931-)
Dijkstra, Edsger W.
Dijkstra, Edsger Wybe
Grünbauer, Johannes
Izdatel'stvo "Mir" (Moskwa)
Shepherdson, J. C.
VDM-Europe (Kiel, Germany))
Ершова, А. П
武市, 正人 (1948-)
Titles: 
classical mind, 1994:, A
Communicating sequential processes
Control flow and data flow concepts of distributed programming
Cornerstones of computing
CSPモデルの理論
Developments in concurrency and communication
Engineering theories of software construction
Essays in computing science
Kōzōka puroguramingu
Language Hierarchies and Interfaces International Summer School
Masterminds of programming : conversations with the creators of major programming languages
Mathematical logic and programming languages
mathematics of programming, The : an inaugural lecture delivered before the University of Oxford on 17th October 1985
Mechanized reasoning and hardware design
microprocessor and its application, The : an advanced course
Millennial perspectives in computer science : proceedings of the 1999 Oxford-Microsoft Symposium in honour of Sir Antony Hoare
Occam programming manual
Operating systems techniques : proceedings of a seminar held at Queen's University, Belfast 1971
Prentice-Hall international series in computer science
Processus séquentiels communicants ; traduit de l'anglais par Alain Kermarrec ; préface de E. Dijkstra, 1987
Scientific applications of multiprocessors
Shīesupī moderu no riron
Software and systems safety : specification and verification
Software system reliability and security
Structured programming
Strukturnoe programmirovanie
theory of mathematical machines, The
Unified Theories of Programming
Unifying theories of programming
VDM '90 : VDM and Z-formal methods in software development : third International symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 : proceedings
VDM ninety
VDM une méthode rigoureuse pour le développement du logiciel
Voprosy teorii matematičeskih mašin.
Vzaimodejstvuûŝie posledovatel'nye processy
Wielkie umysły programowania : jak myślą i pracują twórcy najważniejszych języków
Взаимодействующие последовательные процессы
Структурное программирование
プログラミングの統一理論
構造化プログラミング
Contributed to or performed: 
NATO ASI SERIES F COMPUTER AND SYSTEMS SCIENCES
Notes: 
Sources: 
VIAF LC LNB N6I NDL NKC NLI NLP NUKAT SELIBR SUDOC WKD
ALCS
BOWKER
NTA
TEL
ZETO