Homepage der hbz-Verbunddatenbank hbz-Verbundkatalog - Gesamtkatalog Datenschutzerklärung
Standardsuche   Expertensuche   Indexsuche   Ergebnisliste Hilfe
Einstellungen   Suchverlauf   Korb   Kataloge   Feedback Neustart
 
Ergebnisliste für GND-ID= "DE-588 119103265"; Sortiert nach: Jahr, dann Urheber

  Vollanzeige Speichern/Senden Auswahlliste In den Korb Modifizieren Hilfe zur Ergebnisliste


Titel 1 - 20 von 31  
 
 
Vorige Seite   Nächste Seite

# Urheber Titel Jahr Bestand
1
Apt, Krzysztof R., 1949- [Herausgeber] Edsger Wybe Dijkstra / Krzysztof R. Apt, editor (CWI, Amsterstam and University of Warsaw), Tony Hoare, editor (University of Cambridge and Microsoft Research Ltd). - First edition. - (ACM books ; #45) 



2022 
     
2
Apt, Krzysztof R., 1949- [Herausgeber] Edsger Wybe Dijkstra [Online-Ressource] / Krzysztof R. Apt, editor (CWI, Amsterstam and University of Warsaw), Tony Hoare, editor (University of Cambridge and Microsoft Research Ltd). - (ACM books ; #45) 

URL: https://doi.org/10.1145/3544585 ; Hinw.: Resolving-System ; Bemk.: lizenzpflichtig

 2022 
     
3
Roscoe, A.W. Reflections on the Work of C.A.R. Hoare [Elektronische Ressource] / edited by A.W. Roscoe, Cliff B. Jones, Kenneth R. Wood. - (History of Computing) 

URL: http://dx.doi.org/10.1007/978-1-84882-912-1 ; Hinw.: Resolving-System

 2010 
     
4
Jones, Cliff B., 1944- [Herausgeber] Reflections on the work of C. A. R. Hoare / Cliff B. Jones ... eds.

URL: http://digitale-objekte.hbz-nrw.de/storage/2011/06/16/file_9/4192228.pdf
URL: http://digitale-objekte.hbz-nrw.de/storage/2011/06/16/file_10/4192229.pdf
Weitere externe Links

2010 
     
5
Roscoe, A. W. [Herausgeber] A classical mind / ed. by A. W. Roscoe. - (Prentice Hall International series in computer science) 



1994 
     
6
Hoare, Charles A. R., 1934- [Hrsg.] Mechanized reasoning and hardware design / ed. by C. A. R. Hoare .... - 1. [Dr.]. - (Prentice-Hall international series in computer science) 

URL: http://digitale-objekte.hbz-nrw.de/storage2/2019/07/13/file_61/8511930.pdf
Inhaltsverzeichnis

 1992 
     
7
Hoare, Charles A. R., 1934- [Hrsg.] Mechanized reasoning and hardware design / organized and ed. by C. A. R. Hoare ... David May .... - (Philosophical transactions : Series A, Physical sciences and engineering ; 1652 : Vol. 339) 



1992 
     
8
Dahl, Ole-Johan Structured programming / O.-J. Dahl ; E. W. Dijkstra ; C. A. R. Hoare. - 11. print.. - (Computer science classics) 



1990 
     
9
Hoare, Charles A. R., 1934- [Herausgeber] Developments in concurrency and communication / ed. by C. A. R. Hoare. - (The UT year of programming series) 



1990 
     
10
Hoare, Charles A. R., 1934- Essays in computing science / C.A.R. Hoare. C.B. Jones (ed.). - 2. [Dr.]. - (Prentice Hall international series in computer science) 



1989 
     
11
Hoare, Charles A. R., 1934- Essays in computing science / C. A. R. Hoare ; C. B. Jones (editor). - (Prentice-Hall International series in computer science) 



1989 
     
12
Hoare, Charles A. R., 1934- Essays in computing science / C. A. R. Hoare. C. B. Jones (ed.). - 1. [Dr.]. - (Prentice Hall international series in computer science) 



1989 
     
13
Hoare, Charles A. R., 1934- [Hrsg.] Solving scientific problems on multiprocessors / organized and ed. by C. A. R. Hoare .... - (Philosophical transactions of the Royal Society of London : A ; 1591 : Vol. 326) 



1988 
     
14
Hoare, Charles A. R., 1934- The mathematics of programming / by C. A. R. Hoare



1986 
     
15
Roscoe, A. W. The laws of Occam programming / by A. W. Roscoe and C. A. R. Hoare. - (Technical monograph / Computing Laboratory <Oxford> / Programming Research Group ; 53) 



1986 
     
16
Hoare, Charles A. R., 1934- [Herausgeber] Mathematical logic and programming languages / ed. by C[harles] A. R. Hoare ... - 2. [Dr.]. - (Prentice-Hall International series in computer science) 



1986 
     
17
Dahl, Ole-Johan Structured programming / O.-J. Dahl ; E. W. Dijkstra ; C. A. R. Hoare. - 10. [Dr.]. - (APIC studies in data processing ; 8) 



1985 
     
18
Hoare, Charles A. R., 1934- Communicating sequential processes / C. A. R. Hoare. - 6. print. - (Prentice-Hall International series in computer science) 



1985 
     
19
Hoare, Charles A. R., 1934- Communicating sequential processes / C. A. R. Hoare. - 3. [Dr.]. - (Prentice-Hall international series in computer science) 



1985 
     
20
Hoare, Charles A. R., 1934- Communicating sequential processes / C. A. R. Hoare. - (Prentice-Hall international series in computer science) 



1985 
     


Vorige Seite   Nächste Seite