401. Declarative systems
پدیدآورنده: / edited by G. David, R. T. Boute, Boute, B. D. Shriver
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Electronic data processign - Distributed processing -- Congresses,Parallel Processing (Electronic computers) -- Congresses,Programming languages ( Electronic computer) --Semantics -- Congresses
رده :
QA
76
.
9
.
D5I343
1988
402. Deductive Software Verification – The KeY Book
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Programming languages (Electronic computers) ,Software engineering,علوم کامپیوتر ,زبانهای برنامه‌نویسی کامپیوتر,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار
رده :
E-Book
,
403. Definition du language algorithmique algol 68
پدیدآورنده: Buffet, J
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Algorithms,، Algol )Computer program language(,، Programming languages )Electronic computers(
رده :
QA
76
.
5
.
B8
404. Definition of programming languages by interpreting automata
پدیدآورنده: Ollongren, Alexander.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(,، Formal languages,، Sequential machine theory
رده :
QA
76
.
7
.
O39
405. Definition of programming languages by interpreting automata
پدیدآورنده: / Alexander Ollongren
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Programming languages (Electronic computers),Formal languages,Sequential machine theory
رده :
QA
76
.
7
.
O39
406. Denotational semantics
پدیدآورنده: / by Joseph E. Stoy
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Programming languages (Electronic computers) -- Semantics
رده :
QA
76
.
7
.
S74
407. Denotational semantics :
پدیدآورنده: David A. Schmidt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Programming languages (Electronic computers)-- Semantics.,Langages de programmation-- Sémantique.,Programmiersprache,Programming languages (Electronic computers)-- Semantics.,Semantik
رده :
QA76
.
7
.
S34
1986
408. Design and implementation of programming languages
پدیدآورنده: / edited by John H. Williams and David A. Fisher
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Programming languages (Electronic computers) -- Congresses
رده :
QA
76
.
7
.
D47
409. Design and implementation of programming languages : proceedings of a DoD Sponsored Workshop, Ithaca, October 1976
پدیدآورنده: edited by John H. Williams and David A. Fisher
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
54
410. Design and implementation of programming languages : proceedings of a DoD sponsored workshop, October, 1976, Ithaca
پدیدآورنده: edited by John H. Williams and David A. Fisher
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
54
411. Design and implementation of programming languages : proceedings of a DoD sponsored workshop, October, 1976, Ithaca
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
7
.
D47
412. Design concepts in programming languages
پدیدآورنده: / Franklyn Turbak and David Gifford
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Programming languages (Electronic computers)
رده :
QA
,
76
.
7
,.
T845
,
2008
413. Design concepts in programming languages
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Programming languages (Electronic computers) ;
414. Design of very high-level computer languages: a user-oriented approach
پدیدآورنده: Klerer, Melvin
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
K58
1991
415. Designing embedded systems with the SIGNAL programming language
پدیدآورنده: / by Abdoulaye Gamatiae
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Embedded computer systems, Programming,Embedded computer systems, Programming, Problems, exercises, etc,Programming languages (Electronic computers),Programming languages (Electronic computers), Problems, exercises, etc,SIGNAL programming language, synchronous languages, Polychrony
رده :
E-BOOK
416. Designing embedded systems with the SIGNAL programming language
پدیدآورنده: by Abdoulaye Gamatiae
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Embedded computer systems, Programming,Embedded computer systems, Programming, Problems, exercises, etc,Programming languages (Electronic computers),Programming languages (Electronic computers), Problems, exercises, etc,SIGNAL programming language, synchronous languages, Polychrony
رده :
TK
،
7895
،.
E42
,
G35
،
2010
417. Designing systems programs
پدیدآورنده: GAUTHIER,RICHARD L
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , LANGUAGE & LANGUAGES-DATA PROCESSING , COMPILING )ELECTRONIC COMPUTER
رده :
QA
76
.
5
.
G35
418. Desing of very high- level computer languages
پدیدآورنده: / melvin Klerer,Klerer Melvin
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Programming language (Electronic Computers)
رده :
QA
76
.
7
.
K58
1991
419. Digital simulation of continuous systems
پدیدآورنده: Chu, Yaohan
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Digital Computer simulation,، Programming languages )Electronic computers(
رده :
QA
76
.
5
.
C49
420. Distributed Programmin
پدیدآورنده: / [electronic resource]
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Electronic books,Electronic Data Processing, Distributed Processing,Computers, Systems Architecture, Distributed Systems & Computing
رده :
E-BOOK
