241. Runtime verification :
پدیدآورنده : Christian Colombo, Martin Leucker (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Testing, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Computer programming-- software development.,Computer software-- Testing.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
242. Scalable uncertainty management :
پدیدآورنده : Davide Ciucci, Gabriella Pasi, Barbara Vantaggi (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Uncertainty (Information theory), Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Probability and Statistics in Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.,Programming & scripting languages: general.,Uncertainty (Information theory)
رده :
Q375
243. Scientific computing in electrical engineering :
پدیدآورنده : Ulrich Langer, Wolfgang Amrhein, Walter Zulehner, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Electrical engineering-- Data processing, Congresses.,Engineering mathematics-- Data processing, Congresses.,Computational Science and Engineering.,Computer-Aided Engineering (CAD, CAE) and Design.,Electrical Engineering.,Mathematical Modeling and Industrial Mathematics.,Mathematics.,Simulation and Modeling.,Theoretical, Mathematical and Computational Physics.,Computer modelling & simulation.,Computer-aided design (CAD),Electrical engineering-- Data processing.,Electrical engineering.,Engineering mathematics-- Data processing.,Mathematical modelling.,Mathematical physics.,Maths for scientists.,TECHNOLOGY & ENGINEERING-- Mechanical.
رده :
TK5
244. Semantics and algebraic specificatio
پدیدآورنده : / Jens Palsberg (ed.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Mosses, Peter.,Programming languages (Electronic computers)--Semantics--Congresses,Computer science--Mathematics--Congresses
رده :
QA
,
76
.
7
,.
S435
,
2009
245. Semantics and algebraic specification
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mosses, Peter. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Algebraische Spezifikation ; Aufsatzsammlung. ; Formale Methode ; Aufsatzsammlung. ; Programmiersprache ; Semantik ; A
246. Semi-Infinite programming and applications : an international symposium Austin, Texas, September 8-10, 1981
پدیدآورنده : / Edited by A. V. Fiacco, K. O. Korta
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Programming (Mathematics) - Congresses,Mathematics optimization - Congresses,Daulity theory Mathematics - Congresses
رده :
QA402
.
5
.
S428
1983
247. Semi-infinite programming and applications : an international symposium, Austin, Texas, September 8-10, 1981
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Programming ]Mathematics[-- Congresses,، Mathematical optimization-- Congresses,، Duality theory ]Mathematics[-- Congresses
رده :
QA
402
.
5
.
S428
1983
248. Semi-Infinite programming
پدیدآورنده : edited by Rembert Reemtsen, Jan-J. Ruckmann
کتابخانه: کتابخانه موسسه ژئوفيزيك دانشگاه تهران (طهران)
موضوع : Mathematical optimization--congresses,Maxima and minima--congresses,Inequalities)mathematics(--congresses
رده :
QA
402
.
5
.
S43
249. Semi -infinite programming: Proceedings of a Workshop, Bad Honnef, August 30-September 1, 1978
پدیدآورنده : edited by R.Hettich
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Mathematical optimization,Congresses ، Maxima and minima,Congresses ، Inequalities )Mathematics(
رده :
QA
402
.
5
.
S43
250. Stochastic programming
پدیدآورنده : edited by M. A. H. Dempster
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Stochastic programming
رده :
T
57
.
79
.
I5
1980
251. Stochastic programming; based on proceedings of an International Conference Sponsored by the Institute of Mathematics and Its Applications, Mathematical Institute, Oxford, 15-17 July, 1974
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Stochastic programming--Congresses
رده :
T
57
.
79
.
I55
252. Structural information and communication complexity :
پدیدآورنده : Zvi Lotker, Boaz Patt-Shamir (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks, Congresses.,Digital communications, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Algorithms & data structures.,Computer networking & communications.,Computer networks.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Operating Systems-- General.,Computers-- Programming-- Algorithms.,Digital communications.,Discrete mathematics.,Electronic data processing-- Distributed processing.,Operating systems.
رده :
QA76
.
9
.
A43
253. Studies on graphs and discrete programming
پدیدآورنده : / editor, P. Hansen. -
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Network analysis (Planning)--Congresses,Graph theory--Congresses,Integer programming--Congresses
رده :
T
,
57
.
85
,.
S78
254. Supporting learning flow through integrative technologies /
پدیدآورنده : edited by Tsukasa Hirashima, Ulrich Hoppe and Shelley Shwu-Ching Young.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence-- Educational applications, Congresses.,Artificial intelligence-- Educational applications.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.
رده :
LB1028
.
43
.
I58
2007eb
255. Symbolic computation : applications to scientific computing
پدیدآورنده : edited by Robert Grossman
کتابخانه: (طهران)
موضوع : Data processing -- Congresses ، Engineering mathematics,Congresses ، Object-oriented programming )Computer science(
رده :
TA
331
.
S95
1989
256. Symposium on Semantics of Algorithmic Languages
پدیدآورنده : edited by E. Engeler
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Algorithms
رده :
QA
3
.
L28
Vol
.
188
257. Symposium on semantics of algorithmic languages
پدیدآورنده : edited by E. Engeler
کتابخانه: (طهران)
موضوع : Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Computer algorithms
رده :
QA
76
.
7
.
S9
1971
258. Symposium on semantics of algorithmic languages
پدیدآورنده : edited by E. Engeler
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Formal languages,Congresses ، Computer algorithms
رده :
QA
1
.
L4
v
.
188
259. Symposium on semantics of algorithmic languages
پدیدآورنده : edited by E.Engeler
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Algorithms
رده :
QA
3
.
L28
no
.
188
260. The sharpest cut :
پدیدآورنده : edited by Martin Grötschel.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Combinatorial optimization, Congresses.,Programming (Mathematics), Congresses.,Combinatória (congressos),Combinatorial optimization.,Kombinatorische Optimierung.,Kombinatorische Optimierung.,Otimização combinatória (congressos),Programming (Mathematics)
رده :
QA402
.
5
.
S523
2004
