161. Formal Methods and Software Development :
پدیدآورنده : edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.
162. Formal and natural computing : essays dedicated to Grzegorz Rozenberg
پدیدآورنده : Wilfried Brauer...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Programming languages )Electronic computers(,، Computer science -- Mathematics,، Machine theory,، Petri nets,، Graph grammars,، Rozenberg, Grzegorz
رده :
QA
76
.
L28
Vol
.
2300
163. Formal specification and software development
پدیدآورنده : Bjorner, Dines, 7391-
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Computer software -- Development,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
B575
164. Formal specification of interactive graphics programming languages
پدیدآورنده : Mallgren, William Roberts
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Computer graphics
رده :
T
385
.
M34
1983
165. Formal specification of interactive graphics programming languages
پدیدآورنده : / William R. Mallgren
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Programming languages (Electronic computers)- Computer graphics
رده :
T385
.
M34
1983
166. Formal syntax and semantics of Java
پدیدآورنده : Jim Alves-Foss )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Java )Computer program language(,، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
1523
167. Formal syntax and semantics of Java
پدیدآورنده : / Jim Alves-Foss (ed.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Java (Computer program language),Programming languages (Electronic computers)--Semantics
رده :
QA
,
76
.
73
,.
J38
,
F67
,
1999
168. Formal syntax and semantics of Java
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Java (Computer program language) ; Programming languages (Electronic computers) ; Semantics ;
169. Fortran for beginners:including fortran 77
پدیدآورنده : BALAGURUSAMY,E
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : FORTRAN )COMPUTER PROGRAM LANGUAGE(- , PROGRAMMING LANGUAGES )ELECTRONIC , FORTRAN 77 )COMPUTER PROGRAM
رده :
QA
76
.
73
.
F25
B24
1985
170. Foundations of Programming Languages /
پدیدآورنده : by Kent D. Lee.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Microprogramming.,Programming languages (Electronic computers),Computer science.,Computer Science.,Control Structures and Microprogramming.,Mathematical and Computational Engineering.,Microprogramming.,Programming languages (Electronic computers),Programming Languages, Compilers, Interpreters.,Computer science.,Microprogramming.,Programming languages (Electronic computers)
رده :
QA76
.
76
.
C65
171. Foundations of Qt development
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : (Computer program language) ; Programming languages (Electronic computers) ; ++Computer programming. ; Graphical user interfaces (Computer systems) ; C
172. Foundations of computer programming
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer programming. ; Programming languages (Electronic computers) ; Browsers (Computer programs) ;
173. Foundations of object-oriented languages
پدیدآورنده : / Kim B. Bruce
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Object-oriented programming (Computer science),Programming languages (Electronic computers)
رده :
QA
,
76
.
64
,.
B776
,
2002
174. Foundations of object-oriented languages : REX School/Workshop Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : Proceedings
پدیدآورنده : J.W. de Bakker, W.P. de Roever, G. Rozenberg, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Object-oriented programming )Computer science(,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
489
175. Foundations of object-oriented languages: REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990: Proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Object-oriented programming )Computer science(-- Congresses,، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
64
.
R49
1990
176. Fourth- Generation Languages under DOS and UNIX
پدیدآورنده : Joseph St John Bate, Dinesh B. Vadhia
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : DOS (computer operating system),UNIX (computer operating system),Programming languages (electronic computers)
رده :
QA
،
76
.
7
،.
B37
،
1987
177. Fundamental concepts of programming systems
پدیدآورنده : Ullman, Jeffrey D
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Electronic digital computer programming,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
U44
178. Fundamentals of Python :
پدیدآورنده : Kenneth A. Lambert.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Programming languages (Electronic computers),Python (Computer program language),Data structures (Computer science),Object-oriented programming (Computer science),Python (Computer program language)
رده :
QA76
.
73
.
P98
L353
2019
179. Fundamentals of Python
پدیدآورنده : Kenneth A. Lambert
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Programming languages (Electronic computers),Python (Computer program language)
رده :
QA76
.
73
.
P98
L363
2014
180. Fundamentals of embedded software
پدیدآورنده : / Daniel W. Lewis
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Embedded computer systems--Programming,C (Computer program language),Assembly languages (Electronic computers)
رده :
TK7895
F94L
2002