33. Compstat :
پدیدآورنده : edited by Konstantin Momirović, Vesna Mildner.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematical statistics -- Data processing.,Mathematical statistics.,Probabilities -- Data processing.
رده :
QA276
.
4
E358
1990
34. Computer Aided Systems Theory - EUROCAST '91 :
پدیدآورنده : by Franz Pichler, Roberto Moreno Diaz.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Biology_xData processing.,Computer-aided design.
35. Computer Science and Statistics: Proceedings of the 13th Symposium on the Interface
پدیدآورنده : edited by William F. Eddy.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Distribution (Probability theory).,Mathematics.,Statistics.
36. Cybernetics and systems '86 :
پدیدآورنده : organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
رده :
Q300
.
O743
1986
37. Leveraging applications of formal methods, verification and validation :
پدیدآورنده : Tiziana Margaria, Bernhard Steffen (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Machine learning, Congresses.,Robots-- Programming, Congresses.,Computer networking & communications.,Computer science.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Machine learning.,Program concepts-- learning to program.,Programming & scripting languages: general.,Robots-- Programming.,Software Engineering.
رده :
QA76
.
9
.
F67