121. Fachtagung prozessrechner 1974, Karlsruhe, 10-11. Juni 1974
پدیدآورنده : Von Gerhard Kruger und Rudiger Friehmelt
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Data processing -- Congresses ، Process control,Congresses ، Electronic digital computers -- Programming
رده :
TS
156
.
8
.
F35
122. Fast track to Sun Certified Java Programmer (SCJP) 5.0 upgrade exam
پدیدآورنده : Kent Tong Ka Iok.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic data processing personnel -- Certification.,Java (Computer program language),Sun computers -- Programming -- Examinations -- Study guides.
123. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده : Taubner, Dirk
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Distributed processing ، Electronic data processing,، Petri nets,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
D5
.
T39
1989
124. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده : Taubner, Dirk
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Electronic data processing -- Distributed processing,، Petri nets,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
D5
T39
1989
125. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده : Taubner, Dirk, 9591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Electronic data processing -- Distributed processing,، Petri nets,، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
369
126. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Electronic data processing ; Distributed processing. ; Petri nets. ; Programming languages (Electronic computers) ;
127. Formal methods for concurrency
پدیدآورنده : Fencott, Clive
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Real-time data processing , Real-time programming , Programming Languages )Electronic computers(
رده :
QA
76
.
54
.
F46
1996
128. From problem to program
پدیدآورنده : / M. E. Wardle
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Electronic digital computers - Programming,Electronic data processing - Mathematics
رده :
001
.
642
W266
129. From problem to program
پدیدآورنده : Wardle, M E
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Electronic data processing-- Mathematics
رده :
QA
76
.
6
.
W35
130. Fundamentals of computer science
پدیدآورنده : Walker, Terry M, 8391-
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : ، Electronic data processing,، Electronic digital computers - programming
رده :
QA
76
.
W19
131. GNU Octave
پدیدآورنده : Jesper Schmidt Hansen
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Numerical analysis-- Data processing,Programming languages (Electronic computers)
رده :
QA76
.
73
.
G58
S36
2011
132. Handbook of circuit analysis languages and techniques
پدیدآورنده : editors, Randall W. Jensen, Lawrence P. McNamee
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Electronic circuit design -- Data processing,، Programming languages )Electronic computers(
رده :
TK
7867
.
J39
133. Handbook of circuit analysis languages and techniques
پدیدآورنده : Jensen, Randall W.
موضوع : ، Electronic circuit design-- Data processing,، Programming language )Electronic computers(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
134. Hardware description languages and their applications: specification, modelling, verification and synthesis of microelectronic systems: IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20-25 April 1997, Toledo, Spain
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Design and construction-- Data processing-- Congresses,، Digital electronics-- Data processing-- Congresses,، Programming language )Electronic computers(-- Congresses
رده :
TK
7888
.
3
.
I57
1997
135. How to solve it by computer
پدیدآورنده : Dromey, R G
موضوع : ، Mathematics -- Data processing,، Problem solving -- Data processing,، Electronic digital computers -- Programming
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
136. How to solve it by computer
پدیدآورنده : Dromey, R. G.
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Mathematics- Data processing,، Problem solving- Data processing,، Electronic digital computers- Programming
رده :
QA
76
.
95
.
D75
137. Information processing and computer programming: an introduction
پدیدآورنده : Hill, Harold C.
موضوع : ، Electronic data processing,، Electronic digital computers-- Programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
138. Informationsverarbeitung :
پدیدآورنده : Juergen Rasch, Angele Daalmann.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic data processing.,Programming languages (Electronic computers)
139. Intelligent and congnitive systems: Proceedings of the International Conference on Intelligent Systems Research Faculty, September 23-26, 1996, Tehran, Ira
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Cognition-- Mathematical models-- Congresses,، Cognition-- Data processing-- Congresses,، Cognition science-- Congresses,، Electronic digital computers-- Programming-- Congresses
رده :
BF
311
.
I5664
1996
140. International Computing Symposium, 1977 : proceedings of the International Computing Symposium, 1977, Li،ge, Belgium, 4-7 April 1977
پدیدآورنده : International Computing Symposium, 5th, 7791, Li،ge, Belgium
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic data processing - Congresses,، Computers - Congresses,، Programming )Electronic computers( - Congresses
رده :
QA
75
.
5
.
I57
1977
