كتابخانه پژوهشگاه نیرو

كتابخانه پژوهشگاه نیرو

استان: تهران ـ شهر: تهران

رایانامه : library@nri.ac.ir

وبسایت : nri.ac.ir

تلفن تماس : 9-88079401-021

تعداد عناوین : 13703

نوع مدارک : انواع منابع اطلاعاتي (چاپي و غير چاپي)

آخرین بروزرسانی : 24 بهمن 1403

نام مدیر : خانم عباسی

نوع کتابخانه : تخصصی

تاریخ تاسیس : 1362

شابکا : IR-400880058

نوع رده بندی : کنگره

نشانی : تهران - شهرك قدس - انتهاي بلوار شهيد دادمان - پژوهشگاه نیرو .

تخصص : مهندسي برق و الكترونيك, مهندسي مكانيك, مهندسي شيمى, مهندسي راه و ساختمان, مهندسي كامپيوتر, فيزيك

لطفا چند لحظه صبر کنید

علوم

موضوع قبلی: زبان شناسی، زبان و ادبیات موضوع بعدی: علوم پزشکی

An introduction to low level programming for microprocessors

Robust-control toolbox for use with MATLAB:user's guide

Operating systems theory

Proceedings: COMPSAC 92 the Sixteenth Annual International Computer Softwre & Applications Conference, September 21- 25, 1992 Chicago, Illinois

Concurrent programming

Computing funamentals dbase III plus

A method of programming

Systems programming

Program derivation : the development of programs from specifications

embedded world 2003 conference: Grundlagen, Architekturen, Werkzeuge and Losungen 18 - 20 ,Februar

FasTape version 4.xx: software user manual

MS- DOS user's guide

Software engineering concepts

Formal development of programs and proofs

The art of programming embedded systems

Computer organization and programming : with an emphasis on the personal computer

Microcomputer applications : a hands- on approach to problem solving

Introduction to the design and analysis of algorithms

Mastering computer programming

1 2 3 4 ...124 125 126 127 128 129 130 ...672 673 674 675

Q

3198

QA

2258

Formal development of programs and proofs

پدیدآورنده: edited by Edsger W. Dijkstra

کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)

موضوع: ، Electronic digital computers- Programming- Congresses

رده :

QA

76

.

6

.

F657

1990

این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است