1261. The logical basis for computer programming
المؤلف: Manna, Zohar
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Programming ، Electronic digital computers,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M35595
1985
1262. The logical basis for computer programming
المؤلف: Manna, Zohar
المکتبة: كتابخانه پژوهشگاه نیرو (طهران)
موضوع: ، Electronic digital computers- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M35595
1985
1263. The making of a new science :
المؤلف: Giorgio Ausiello.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science-- History.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
QA76
.
17
1264. The (new) Turing omnibus :
المؤلف: A.K. Dewdney.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computers.,Electronic data processing.,Automates mathématiques, Théorie des.,Informatique.,Ordinateurs.,Computers.,Electronic data processing.,Processamento eletronico de dados.
رده :
QA76
.
D448
1993
1265. The nonlinear workbook
المؤلف: / Willi-Hans Steeb
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Nonlinear programming,Nonlinear theories
رده :
T57
.
8
.
S74
2005
1266. The nonlinear workbook
المؤلف: / Willi-Hans Steeb
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Nonlinear programming,Nonlinear theories
رده :
T57
.
8
.
S74
2005
1267. The nonlinear workbook
المؤلف: / Willi-Hans Steeb
المکتبة: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)
موضوع: Nonlinear programming.,Nonlinear theories.
رده :
T
57
.
8
.
S74
2005
1268. <The> nonlinear workbook
المؤلف: Willi - Hans Steeb; in collaboration with Yorick Hardy, Ruedi Stoop
المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع: Nonlinear programming,Nonlinear theories
رده :
T
،
57
.
8
،.
S74
،
2002
1269. The nonlinear workbook
المؤلف: / Willi-Hans Steeb
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Nonlinear programming,Nonlinear theories
رده :
T57
.
8
.
S74
2005
1270. The nonlinear workbook
المؤلف: / Willi-Hans Steeb
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Nonlinear programming,Nonlinear theories
رده :
T57
.
8
.
S74
2005
1271. The nonlinear workbook
المؤلف: / Willi-Hans Steeb
المکتبة: مكتبة ومركز معلومات جامعة الإمام الرضا العالمية (خراسان رضوی)
موضوع: Nonlinear programming,Nonlinear theories
رده :
T57
.
8
.
S74
2011
1272. The nonlinear workbook: chaos, fractals, cellular automata, neural networks, genetic algorithms, fuzzy logic, with C++, Java, Symbolic C++ and Reduce programs
المؤلف: Steeb, Willi-Hans
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Nonlinear programming,، Nonlinear theories
رده :
T
57
.
8
.
S74
1273. The nonlinear workbook: chaos, fractals, cellular automata, neural networks, genetic algorithms, gene expression programming, support vector machine, wavelets, hidden Markov models, Fuzzy logic with C++, Java and SymbolicC++ programs
المؤلف: Steeb, W.-H.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Nonlinear programming,، Nonlinear theories
رده :
T
57
.
8
.
S74
2005
1274. The programming and proof system ATES advanced techniques integration into efficient scientific software
المؤلف: Armand Puccetti (ed.). With contrib. by D. Brocard ...
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Automatic theorem proving.,Computer programming.,Computer software -- Development.
1275. The secret life of programs :
المؤلف: by Jonathan E. Steinhart.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Browsers (Computer programs),Computer programming.,Programming languages (Electronic computers),Browsers (Computer programs),Computer programming.,COMPUTERS-- Computer Science.,Programming languages (Electronic computers)
رده :
QA76
.
6
.
S735
2019
1276. The temporal logic of reactive and concurrent systems
المؤلف: Manna, Zohar
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Computer programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3564
1991
1277. The transparent paolog machine
المؤلف: / Marc Eisenstadt, Mike Brayshaw, Jocelyn Paine,Eisenstadt
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Prolog ( Computer Program language),Logic programming ( Computer Science),Transparent prolog machine
رده :
QA
76
.
73
.
P76E48
1991
1278. Theoretical aspects of computing -- ICTAC 2018 :
المؤلف: Bernd Fischer, Tarmo Uustalu (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
L63
1279. Theoretical aspects of computing -- ICTAC 2013 :
المؤلف: Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer programming, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
1280. Theoretical computer science :
المؤلف: edited by Lian Li, Pinyan Lu, Kun He.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Image Processing and Computer Vision.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer science.,Computers-- Computer Graphics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Image processing.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA75
.
5
