1321. System simulation : programming styles and languages
پدیدآورنده: Kreutzer, Wolfgang.
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Digital computer simulation,، Electronic digital computers- Programming,، Programming languages )Electronic computers(
1322. System simulation:programming styles & languages
پدیدآورنده: KREUTZER,WOLFGANG
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: DIGITAL COMPUTER SIMULATION , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , PROGRAMMING LANGUAGES
رده :
QA
76
.
9
.
C65
K74
1323. Systems Programming In Parallel Logic Languages
پدیدآورنده: Ian Foster
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Systems Programming (computer science),Parallel Processing (electronic computers)
رده :
QA
،
76
.
66
،.
F67
،
1990
1324. Systems programming in parallel logic languages
پدیدآورنده: Foster, Ian
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Systems programming )Computer science(,، Parallel processing )Electronic computers(
رده :
QA
76
.
66
.
F67
1990
1325. Systems programming in parallel logic languages
پدیدآورنده: / Ian Foster
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Systems programming (Computer science),Parallel processing (Electronic computers)
رده :
QA
76
.
66
.
F67
1990
1326. Systems programming in parallellogic languages
پدیدآورنده: / Ian Foster,Foster
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Systems programming (Computer science),Parallel Processing (Electronic computers)
رده :
QA
76
.
66
.
F67
1990
1327. Systems software tools
پدیدآورنده: Ted J. Biggerstaff
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Programming languages )Electronic computers( , IBM personal computer - Programming , C )Computer program language(
رده :
QA
76
.
7
.
B52
1328. TAPSOFT'89 : proceedings of the International Joint conference on theory and practice of software development, Barcelona, Spain, March 13-17, 1989
پدیدآورنده: J. Diaz, F. Orejas )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Development,Congresses ، Software engineering,Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
351-352
1329. TEMPO : a unified treatment of binding time and parameter passing concepts in programming languages
پدیدآورنده: Jones, Neil D.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، TEMPO )Computer program language(,، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
66
1330. TEMPO : a unified treatment of binding time and parameter passing concepts in programming languages
پدیدآورنده: Jones, Neil D.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، TEMPO )Computer program language(,، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
66
1331. Taschenbuch fur Programmierer
پدیدآورنده: Mrachacz, Hans-Peter
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Handbooks, manuals, etc ، Programming languages )Electronic Computers(,Handbooks, manuals, etc ، Electronic digital computers-- Programming
رده :
QA
76
.
5
.
M72
1332. Ten years of concurrency semantics : selected papers of the Amsterdam Concurrency Group
پدیدآورنده: editors, J.W. de Bakker and J.J.M.M. Rutten
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Parallel programming )Computer science( - Congresses , Programming languages )Electronic computers( - Semantics - Congresses
رده :
QA
76
.
642
.
T45
1992
1333. The Agent Modeling Language--AML
پدیدآورنده: / Radovan Cervenka, Ivan Trencansky
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Intelligent agents (Computer software),Computer software--Development,Programming languages (Electronic computers)
رده :
QA
,
76
.
76
,.
I58
,
C47
,
2007
1334. The Art of Modelling Computational Systems :
پدیدآورنده: Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer security.,Programming languages (Electronic computers),Computer security.,Programming languages (Electronic computers)
رده :
QA76
.
7
.
A78
2019
1335. The C answer book :
پدیدآورنده: Clovis L. Tondo, Scott E. Gimpel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: C (Computer program language), Problems, exercises, etc.,Programming languages (Electronic computers)
1336. The Imperative future :principles of executable temporal logic
پدیدآورنده: edited by Howard Barringer ... ]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع: Development ، Computer software,، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
76
.
D47
I47
1996
1337. The Language of computer programming in English
پدیدآورنده: Keegel, John C.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
K44
1976
1338. The Logic of Partial Information
پدیدآورنده: by Areski Nait Abdallah.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
7
B937
1995
1339. The McGraw-Hill Computer Handbook
پدیدآورنده: Editor in chief Harry Helms , Overview by Adam Osborne ; Foreword by Thomas C . Bartee
کتابخانه: کتابخانه دانشکده تحصیلات تکمیلی محیط زیست دانشگاه تهران (تهران)
موضوع: Computers - Handbooks, manuals, etc,Programming (Electronic computers) - Handbooks, manuals, etc,Programming languages (Electronic computers) - Handbooks, manuals, etc
رده :
R
QA
76
.
M37
1983
1340. The McGraw-Hill computer handbook
پدیدآورنده: editor in chief, Harry Helms; overview by Adam Osborne; foreword by Thomas C. Bartee
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Handbooks, manuals, etc ، Computers,Handbooks, manuals, etc ، Programming )Electronic computers(,Handbooks, manuals, etc ، Progamming languages )Electronic computer(
رده :
QA
76
.
M37
1983
