1. ANNA, a language for annotating Ada programs :
المؤلف: David C. Luckham ... [et al.].
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Ada (Computer program language),ANNA (Computer program language)
رده :
QA76
.
73
.
A54
A56
1987
2. ANNA, a language for annotating Ada programs : reference manual
المؤلف: David C. Luckham ... )et al.(
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، ANNA )Computer program language(,، Ada )Computer program language(
رده :
QA
76
.
L4
v
.
260
3. ANNA : a language for annotating Ada programs : reference manual
المؤلف: David C. Luckham...]et al.[
المکتبة: (طهران)
موضوع: ، Anna )Computer program language(,، Ada )Computer program language(
رده :
QA
76
.
L28
Vol
.
260
4. Advances in Cryptology -- EUROCRYPT '88 :
المؤلف: edited by D. Barstow, W. Brauer, P. Brinch Hansen, D. Gries, D. Luckham, C. Moler, A. Pnueli, G. Seegmüller, J. Stoer, N. Wirth, Christoph G. Günther.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Data encryption (Computer science)
5. Can democracy be designed?: the politics of institutional choice in conflict -torn societies
المؤلف: / edited by Sunil Bastian and Robin Luckham
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: دم‍وک‍راس‍ی,دم‍وک‍رات‍ی‍ک ش‍دن,م‍ن‍اق‍ش‍ات ق‍وم‍ی,خ‍ش‍ون‍ت س‍ی‍اس‍ی
رده :
JC
۴۲۱
J
۱۳۸۲
6. Governing insecurity: democratic control of military and security establishments in transitional democracies
المؤلف: edited by Gavin Cawthra and Robin Luckham
المکتبة: كتابخانه وزارت امور خارجه (طهران)
موضوع: Civil supremacy over the military,Civil-military relations,Democratization
رده :
{
1648
},
a5379acfdc46650d9f95eaa2e1ceab6c
7. Programming with specifications : an introduction to ANNA, a language for specifying Ada programs
المؤلف: David Luckham,Title
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: ANNA )Computer program language(,Ada )Computer program language(
رده :
QA
.
A54L83
76
.
73
1990
8. Programming with specifications : an introduction to ANNA, a language for specifying Ada programs
المؤلف: Luckham, David C.
المکتبة: (طهران)
موضوع: ، Anna )Computer program language(,، Ada )Computer program language(
رده :
QA
76
.
73
.
A54L83
1990
9. The library in society
المؤلف: by Bryan Luckham
المکتبة: کتابخانه دانشکده روانشناسی و علوم تربیتی دانشگاه تهران (طهران)
موضوع: Public libraries-Great Britain,Library use studios
رده :
Z
,
791
,.
A1
,
L8
10. The library in society: a study of the public library in an urban setting
المؤلف: / Bryan Luckham.
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: کتابخانه‌های عمومی,کتابخانه‌ها, -- استفاده‌پژوهی, -- انگلستان
رده :
Z
۷۹۱
/
آ
۱
ل
۲ ۱۳۵۰
11. Time Enterprise-Event Processing for Business: Organizing the Real
المؤلف: / Luckham
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: ELECTRONIC&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ENGINEERING, ELECTRICAL
رده :
E-BOOK
