1. FME 2003 :
پدیدآورنده : Keijiro Araki, Stefania Gnesi, Dino Mandrioli
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses
رده :
QA76
.
76
.
D47
I593
2003
2. FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
پدیدآورنده : Keijiro Araki, Stefania Gnesi, Dino Mandrioli )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Mathematics -- Congresses ، System design
رده :
QA
76
.
L28
Vol
.
2805
3. Formal methods for real-time computing
پدیدآورنده : edited by Constance Heitmeyer and Dino Mandrioli
موضوع : Real-time data processing
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
4. Fundamentals of software engineering
پدیدآورنده : / Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Software engineering
رده :
QA76
.
7
.
G47
5. Fundamentals of software engineering
پدیدآورنده : / Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli
موضوع : ن‍رم‌اف‍زار -- م‍ه‍ن‍دس‍ی
۴ نسخه از این کتاب در ۳ کتابخانه موجود است.
6. Fundamentals of software engineering
پدیدآورنده : / Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering
رده :
QA76
.
758
.
G47
1991
7. Informatica teorica
پدیدآورنده : Dino Mandrioli, Paola Spoletini.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Informatica.
8. Modeling Time in Computing
پدیدآورنده : / Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS|ENGINEERING, MULTIDISCIPLINARY& ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY &COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
