21. Computer safety, reliability, and security
پدیدآورنده : Frank Ortmeier, Peter Daniel (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer security, Congresses,Computer software-- Reliability, Congresses,Computers-- Reliability, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
76
.
R44
S24
2012eb
22. Computers and Programming : Computers and Programming
پدیدآورنده : / McCoy, Lisa
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
23. Constraint Solving and Language Processing
پدیدآورنده : edited by Denys Duchier, Yannick Parmentier.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer logic.,Computer science.,Information retrieval.,Mathematical logic.,Programming languages (Electronic computers).,Software engineering.
24. Coordination Models and Languages :
پدیدآورنده : Hanne Riis Nielson, Emilio Tuosto (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic data processing-- Distributed processing, Congresses.,Software architecture, Congresses.,Computer network architectures.,Computer science.,Electronic data processing-- Distributed processing.,Operating systems (Computers),Software architecture.,Software engineering.
رده :
QA76
.
758
25. Coordination models and language
پدیدآورنده : / Dave Clarke, Gul Agha (eds.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Parallel processing (Electronic computers), Congresses,Electronic data processing, Distributed processing, Congresses
رده :
QA76
.
58
.
C695
2010
26. Coordination models and languages
پدیدآورنده : / Dave Clarke, Gul Agha (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Parallel processing (Electronic computers)--Congresses,Electronic data processing--Distributed processing--Congresses,Koordinationssprache--swd,Verteiltes System--swd,Nebenleaufigkeit--swd,Mobile Computing--swd,Amsterdam <2010>--swd
رده :
QA
,
76
.
58
,.
C695
,
2010
27. DIANA An Intermediate Language for Ada
پدیدآورنده : edited by Gerhard Goos, William A. Wulf, Arthur Evans, Kenneth J. Butler.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.
رده :
QA76
.
73
.
A35
E358
1983
28. Deductive Software Verification – The KeY Book
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science,Programming languages (Electronic computers) ,Software engineering,علوم کامپیوتر ,زبان‌های برنامه‌نویسی کامپیوتر,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار
رده :
E-Book
,
29. Distributed Programmin
پدیدآورنده : / [electronic resource]
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Electronic books,Electronic Data Processing, Distributed Processing,Computers, Systems Architecture, Distributed Systems & Computing
رده :
E-BOOK
30. Eclipse TEA revealed :
پدیدآورنده : Markus Duft.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Eclipse (Electronic resource),Eclipse (Electronic resource),Application software.,Application software.,Computer programming-- software development.,COMPUTERS-- Software Development & Engineering-- General.,Programming & scripting languages: general.
رده :
QA76
.
76
.
A65
31. Eclipse modeling project :
پدیدآورنده : Richard C. Gronback.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Eclipse (Electronic resource),Eclipse (Electronic resource),Eclipse (Electronic resource),Computer software-- Development.,Programming languages (Electronic computers),Computer Science.,Computer software-- Development.,Eclipse 3,Engineering & Applied Sciences.,Programming languages (Electronic computers)
رده :
QA76
.
76
.
D47
G785
2009
32. Embedded real-time systems
پدیدآورنده : Calvez, Jean Paul.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Electronic digital computers - Programming , Real-time data processing , Embedded computer systems - Programming
رده :
QA
76
.
6
.
C338313
1993
33. Embedded real- time systems
پدیدآورنده : Calvez, Jean Paul.
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Electronic digital computers- Programming,، Real- time data processing,، Embedded computer systems- Programming
رده :
QA
76
.
6
.
C338313
1993
34. Engineering application software )formerly microprocessor technical software(
پدیدآورنده : Derivation and Tabulation Associates, inc
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers--Programming
رده :
QA
76
.
6
.
D42
35. Enterprise information systems :
پدیدآورنده : Joaquim Filipe, José Cordeiro (Eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Management information systems, Congresses.,Affaires.,Economie de l'entreprise.,Management information systems.,Science économique.
رده :
T58
.
6
.
I58
2009
36. Formal Methods and Software Development :
پدیدآورنده : edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.
37. Foundations of software technology and theoretical computer science, Fifth Conference, New Delhi, India, Dec. 1985: Proceedings
پدیدآورنده : edited by S.N. Maheshwari
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Software engineering,Congresses ، Computer software,، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
206
38. From Point to Pixel:
پدیدآورنده : Hoy, Meredith Anne
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
39. Fundamentals of computer algorithms
پدیدآورنده : Horowitz, Ellis.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Computer algorithms
رده :
QA
76
.
6
.
H67
40. Fundamentals of computer algorithms
پدیدآورنده : / Ellis Horowitz, Sartay Sahni
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Electronic digital computers - Programming,Algorithms
رده :
QA76
.
6
.
H67
