781. Mathematical logic and programming languages
پدیدآورنده : edited by C.A.R. Hoare and J.C. Shepherdson
کتابخانه: (طهران)
موضوع : ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3646
1985
782. Mathematical logic and programming languages
پدیدآورنده : / Edited by C. A. R. Hoare, J. C. Shepherdson
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Programming languages (Electronic computers),Logic, symbolic and mathematical
رده :
QA76
.
6
.
M3646
1985
783. Mathematical logic in computer science
پدیدآورنده : / edited by B. Domolki and T. Gergely
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (طهران)
موضوع :
رده :
QA76
،.
M352
1981
784. Mathematical models for the semantics of parallelism : Advanced School, Rome, Italy, September 24-October 1,1986: Proceedings
پدیدآورنده : Marisa Venturini Zilli )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Formal languages -- Semantics,Congresses ، Parallel programming )Computer science(,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
280
785. Mc Graw- Hill Personal computer programming encyclopedia
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Microcomputers- Programming,Programming Languages (Electronic computers),Operating System (Computers)
رده :
QA
،
76
.
6
،.
M414
،
1985
786. McGraw-Hill personal computer programming encyclepedia: languages and operating systems
پدیدآورنده : William J. Birnes, editor;Nancy Hayfield, production editor
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Microcomputers,، Programming languages )Electronic computers(,، Operating systems )Computers(
رده :
QA
76
.
6
.
M414
1989
787. McGraw-Hill personal computer programming encyclopedia
پدیدآورنده : / edited by William Birnes
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Microcomputers- Programming- Dictionaries,Programming languages (Electronic computers)- Dictionaries,Operating systems (Computer)- Dictionaries
رده :
QA76
.
6
.
M414
1989
R
788. McGraw-Hill personal computer programming encyclopedia: languages and operating systems
پدیدآورنده :
موضوع : ، Microcomputers-- Programming,، Programming languages )Electronic computers(,، Operating systems )Computers(
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
789. McGraw-Hill personal computer programming encyclopedia languages and operating systems
پدیدآورنده : William J. Birnes, editor; Nancy Hayfield, production editor
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Microcomputers -- Programming,، Programming languages )Electronic computers(,، Operating systems )Computers(
رده :
QA
76
.
6
.
M414
1985
790. McGraw- Hill personal computer programming encyclopedia : languages and operating systems
پدیدآورنده : William J. Birnes, editor ; William P. Woodall, technical editor ; Nancy Hayfield, production editor
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Microcomputers- Programming,، Programming languages )Electronic computers(,، Operating systems )Computers(
رده :
QA
76
.
6
.
M414
1989
791. McGraw-Hill personal computer programming encyclopedia : languages and operating systems
پدیدآورنده : William J. Birnes, editor ; William P. Woodall, technical editor ; Nancy Hayfield, production editor
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Microcomputers - Programming,، Programming languages )Electronic computers(,، Operating systems )Computers(
رده :
QA
76
.
6
.
M414
1989
792. Mcgraw-hill personal computer programming encyclopedia : languages and operating systems
پدیدآورنده : William J. Birnes, editor, Nancy Hayfield, production editor
کتابخانه: (طهران)
موضوع : Microcomputers Programming, Programming languages )Electronic computers( , Operating systems )Computers(
رده :
QA
76
.
6
.
M42
1985
793. Mes premieres constructions de programmes
پدیدآورنده : Gerbier, A
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Programming languages )Electronic computers(,، Algorithms
رده :
QA
76
.
G47
794. Meta - Levels Architectures and Reflection
پدیدآورنده : Edited by Patie MAES, Daniele NARDI
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Programming languages (electronic computers),Artificial Intelligence,Expert systems (computer science)
رده :
QA
،
76
.
7
،.
M48
،
1988
795. Meta-level architectures and reflection
پدیدآورنده : Meta-level architectures and reflection
کتابخانه: (کرمان)
موضوع : programming languages)electronic computers(,Artificial intelligence
رده :
QA
76
.
7
.
M44
1988
796. Meta-level architectures and reflection
پدیدآورنده : Meta-level architectures and reflection
کتابخانه: (کرمان)
موضوع : programming languages)electronic computers(,Artificial intelligence
رده :
QA
76
.
7
.
M44
1988
797. Meta-level architectures and reflection
پدیدآورنده : edited by Pattie Maes, Daniel Nardi
کتابخانه: (طهران)
موضوع : ، Programming languages )Electronic computers(,، Artificial intelligence,، Expert systems )Computer science(
رده :
QA
76
.
7
.
M48
1988
798. Meta-level architectures and reflection : Second International Conference, Reflection'99, Saint-Malo, France, July 19-21, 1999 : proceedings
پدیدآورنده : Pierre Cointe )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Artificial intelligence,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
L28
Vol
.
1616
799. MetaSoft Primer
پدیدآورنده : \ Andrzej Blikle.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Metalanguage,فرازبان,a02,a02,Programming languages (Electronic computers) -- Semantics.,زبانهای برنامه‌نویسی کامپیوتر -- م‍ع‍ن‍ی‌ش‍ن‍اس‍ی
رده :
E-Book
,
800. MetaSoft primer :
پدیدآورنده : Andrzej Blikle.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Development.,Metalanguage.,Programming languages (Electronic computers)-- Semantics.
رده :
QA76
.
7
.
B57
1987
