221. Programming languages: design and implementation
پدیدآورنده : Pratt, Terrence W.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
P73
2008
222. Programming languages: desing and implementation
پدیدآورنده : Pratt, Terrence W
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
P7
1984
223. Programming languages for industrial robots
پدیدآورنده : Blume, Christian
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Robots, Industrial,، Programming languages )Electronic computers(
رده :
TS
191
.
8
.
B5613
1986
224. Programming languages: paradigm and practice
پدیدآورنده : Appleby, Doris.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
A67
1997
225. Programming languages: principles and practice
پدیدآورنده : Louden, Kenneth C.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
L68
1993
226. Programming languages with applications to biology and security.
پدیدآورنده : \ Chiara Bodei , Gian-Luigi Ferrari, Corrado Priami (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Programming languages (Electronic computers),Computer science,Computer networks,زبان‌های برنامه‌نویسی کامپیوتر,کامپیوتر,شبکه‌های کامپیوتری,a03,a04,a05,a03,a04,a05
رده :
QA
76
.
7
.
P76
2015
E-Book
,
227. Programming the impossible challenge
پدیدآورنده : Bob Walraet
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Electronic digital computers- Programming,Programming languages (Electronic computers)
رده :
QA
،
76
.
6
،.
W3297
،
1989
228. Query optimization by semantic veasoning
پدیدآورنده : / by Jonathan J. King
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Data base management,Information storage and retreval systems,Programming languages (Electronic computers) semantics
رده :
QA76
.
9
.
D3K55
1984
229. Real- Time systems and their programming languages
پدیدآورنده : Alan Burns, Andy Wellings
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Real time- Data processing,Real time programming,programming languages (Electronic computers)
رده :
QA
،
76
.
54
،.
B87
،
1990
230. Real-time systems and their programming languages
پدیدآورنده : Burns, Alan, 3591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Real-time data processing,، Real-time programming,، Programming languages )Electronic computers(
رده :
QA
76
.
54
.
B87R4
231. Realistic compiler generation
پدیدآورنده : Lee, Peter
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Compilers )Computer programs(,، Programming languages )Electronic computers(--Semantics
رده :
QA
76
.
76
.
C65
.
L44
1989
232. Semantics of programming languages by R. D tennent
پدیدآورنده :
کتابخانه: Library of Faculty Literature of University of Tehran (Tehran)
موضوع : Programming languages (Electronic Computers) - semanties
233. Semantics of the probabilistic typed lambda calculus : Markov Chain semantics, termination behavior, and denotational semantics
پدیدآورنده : Draheim, Dirk, 9691-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers( -- Semantics,Mathematics ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
D72S4
234. Semantics of type theory : correctness, Completeness and independence results
پدیدآورنده : Streicher, Thomas, 8591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Functional programming )Computer science(,، Type theory
رده :
QA
76
.
7
.
S85
235. Simple program schemes and formal languages
پدیدآورنده : Engelfriet, Joost.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Formal languages,، Programming )Electronic computers(
رده :
QA
267
.
3
.
E53
236. Simple program schemes and formal languages
پدیدآورنده : Engelfriet, Joost
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Formal languages,، Programming )Electronic computers(
رده :
QA
267
.
3
.
E53
237. Simulation programming languages. Proceedings of the IFIP Working Conference on Simulation Programming Languages
پدیدآورنده : Edited by J. N. Buxton
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Simulation methods
رده :
QA
76
.
5
.
I3
1967
238. Simulation programming languages. Proceedings of the IFIP Working Conference on Simulation Programming Languages
پدیدآورنده : IFIP Working Conference on Simulation Programming Languages, )7691, Oslo, Norway(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming languages )Electronic computers(-- Congresses,، Simulation methods-- Congresses
رده :
QA
76
.
5
.
I3
1967
239. Software engineering: developments
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming-- Addresses, essays, lectures,، Computer programs-- Addresses, essays, lectures,، Programming languages )Electronic computers(-- Addresses, essays, lectures
رده :
QA
76
.
6
.
S7
240. Study and compilation of computer languages
پدیدآورنده : Wallach, Yehuda
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Programming languages )Electronic computers(,، Compiling )Electronic computers(
رده :
QA
76
.
7
.
W34
