1. Communicating sequential process
پدیدآورنده : C.A.R. Hoare
موضوع : Electronic digital computers--Programming,Parallel processing (Electronic computers)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
2. Communicating sequential processes
پدیدآورنده : C. A. R. Hoare
موضوع : Electronic digital computers- Programming,Parallel processing (electronic computers)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. Communicating sequential processes
پدیدآورنده : / C.A.R. Hoare
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Electronic digital computers -- Programming,Parallel processing (Electronic computers)
رده :
QA76
.
6
.
H57
1985
4. Communicating sequential processes
پدیدآورنده : / C. A. R. Hoare
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Electronic digital computers - Programming,Parallel processing electronic
رده :
QA76
.
6
.
H57
1985
5. Communication sequential processes
پدیدآورنده : C. A. R. Hoare
موضوع : Electronic digital computers--Programming,Parallel processing (Electronic computers)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
6. Essays in computing science
پدیدآورنده : C.A.R. Hoare ; C.B. Jones, editor
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Electronic data processing,Computers
رده :
QA
،
76
،.
H56
،
1989
7. Essays in computing science /
پدیدآورنده : C.A.R. Hoare ; C.B. Jones, editor.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Hoare, C. A. R.-- Bibliography.,Computers.,Electronic data processing.,Bibliography-- Hoare, C.A.R.,Computers.,Electronic data processing.
رده :
QA76
.
5
8. Mathematical logic and programming language
پدیدآورنده : Hoare, C. A. R.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3646
1985
9. Mathematical logic and programming languages
پدیدآورنده : edited by C.A.R. Hoare and J.C. Shepherdson
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3646
1985
10. Mathematical logic and programming languages
پدیدآورنده : / Edited by C. A. R. Hoare, J. C. Shepherdson
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Programming languages (Electronic computers),Logic, symbolic and mathematical
رده :
QA76
.
6
.
M3646
1985
11. #Operating systems techniques
پدیدآورنده : #edited by C. A. R. Hoare ]and[ R. H. Perrott
کتابخانه: Central Library of Esfehan University of Technology (Esfahan)
موضوع : Operating systems )Computers( -- Congresses
رده :
#
QA
،#.
I57
،#
1971
12. Operating systems techniques; proceedings
پدیدآورنده : edited by C. A. R. Hoare )and( R. H. Perrott,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Operating systems )Computers( - Congresses
رده :
QA
.
I57
76
.
6
1971
13. Scientific applications of multiprocessors
پدیدآورنده : edited by R. Elliott, and C.A.R. Hoare
موضوع : Science- Data processing- Congresses,Multiprocessors- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
14. Structured Programming
پدیدآورنده : \ O.J. Dahl, E. W. Dijkstra, C. A. R. Hoare.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer programming.
رده :
E-Book
,
15. #Structured programming
پدیدآورنده : #]by[ O.-J. Dahl, E. W. Dijkstra ]and[ C. A. R. Hoare
کتابخانه: Central Library of Esfehan University of Technology (Esfahan)
موضوع : Structured programming
رده :
#
QA
،#.
D33
16. Structured programming
پدیدآورنده : / O.-J. Dahl, E. W. Dijkstra, C. A. R. Hoare
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Structured programming
رده :
QA76
.
6
.
D33
17. Structured programming,
پدیدآورنده : [by] O.-J. Dahl, E. W. Dijkstra [and] C. A. R. Hoare
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming
رده :
QA76
.
6
.
D33
18. Structured programming
پدیدآورنده : / O. J. Dahl, E. W. Dijkstra, C. A. R. Hoare
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Electronic digital computers - Programming
رده :
001
.
642
D131s
19. The theory of mathematical machines
پدیدآورنده : Edited by Yu. Ya. Bazilevskii. Translated from the Russian by C.A.R. Hoare. Translation edited by J.M. Jackson
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Machine theory
رده :
QA
76
.
5
.
V6213
20. Unifying theories of programming /
پدیدآورنده : C.A.R. Hoare and He Jifeng.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming.,Computer programming.,Programmierung.,Programmierung.,Software Engineering.,Software Engineering.
رده :
QA76
.
6
. .
H5735
1998