1. A Decade of Concurrency Reflections and Perspectives :
المؤلف: edited by J.W. Bakker, W.-P. Roever, G. Rozenberg.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Operating systems (Computers),Software engineering.
2. Autonomous Systems :
المؤلف:
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Automation.,Computer science.,Engineering.,Operating systems (Computers),Software engineering.,Structural control (Engineering),Artificial intelligence.,Automation.,Automation.,Computer science.,Engineering.,Ingénierie.,Intelligent control systems.,Operating systems (Computers),Software engineering.,Structural control (Engineering)
رده :
Q334
.
A98
2008
3. Compiler Technology
المؤلف: by Derek Beng Kee Kiong.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Operating systems (Computers),Software engineering.
4. Contracts, Scenarios and Prototypes :
المؤلف: by Reinhold Plösch.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Computers.,Software engineering.
رده :
QA76
.
76
.
D47
B974
2004
5. Cooperating Heterogeneous Systems
المؤلف: by David G. Schwartz.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Operating systems (Computers),Software engineering.
6. DIANA An Intermediate Language for Ada
المؤلف: edited by Gerhard Goos, William A. Wulf, Arthur Evans, Kenneth J. Butler.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Programming languages (Electronic computers),Software engineering.
رده :
QA76
.
73
.
A35
E358
1983
7. Data structures and algorithms using Python
المؤلف: / Rance D. Necaise
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Python (Computer program language),Algorithms,Data structures (Computer science),COMPUTERS / Software Development & Engineering / General, bisacsh
رده :
QA76
.
73
.
P98
,
N43
2011
8. Data structures and algorithms using Python
پدیدآورنده : Necaise, Rance D., Rance D. Necaise
موضوع : ، Python )Computer program language(,، Algorithms,، Data structures )Computer science(,، COMPUTERS / Software Development & Engineering / General
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
9. Debugging by thinking :
المؤلف: Robert Charles Metzger.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Debugging in computer science.,COMPUTERS-- Software Development & Engineering-- Quality Assurance & Testing.,Debugging in computer science.
رده :
QA76
.
9
.
D43
M48
2004b
10. Deductive Software Verification – The KeY Book
المؤلف:
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Programming languages (Electronic computers) ,Software engineering,علوم کامپیوتر ,زبانهای برنامه‌نویسی کامپیوتر,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار
رده :
E-Book
,
11. Design problems, frames and innovative solutions /
المؤلف: Martin Dž̆bor.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Engineering design.,Software engineering.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Engineering design.,Software engineering.
رده :
QA76
.
758
.
D97
2009
12. Die 32-Bit-Expedition:
المؤلف: von Thomas Lauer.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Operating systems (Computers),Software engineering.
رده :
QA76
.
76
.
O63
V668
1993
13. Die Schnittstellen von UNIX-Programmen :
المؤلف: von Reinhard Fößmeier.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Operating systems (Computers),Software engineering.
رده :
QA76
.
8
.
U65
V667
1991
14. Die X/Motif Umgebung :
المؤلف: von Robert Barton.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Operating systems (Computers),Software engineering.
رده :
TK7874
.
6
V667
1994
15. Echtzeitaspekte bei der Koordinierung Autonomer Systeme
المؤلف: Peter Holleczek, Birgit Vogel-Heuser (Hrsg.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer networks.,Computer science.,Operating systems (Computers),Software engineering.
16. Engineering and scientific application programs available from non-IBM sources
المؤلف:
المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع: Engineering--Software--Catalogs,Science--Software--Catalogs,IBM computers--Programming,Computer software--Catalogs
رده :
TA
،
345
،.
E53
،
1983
17. Euro-Par 2011 Parallel Processing
المؤلف: edited by Emmanuel Jeannot, Raymond Namyst, Jean Roman.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Electronic data processing.,Operating systems (Computers),Software engineering.
18. Exploring the Raspberry Pi 2 with C++
المؤلف:
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Operating systems (Computers),Software engineering.,Computer Science.,Operating Systems.,Software Engineering.
رده :
QA76
.
758
19. Formal Methods and Software Development :
المؤلف: edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Programming languages (Electronic computers),Software engineering.
