9461. Symbolic rewriting technique
پدیدآورنده : / Manuel Bronstein, Johannes Grabmeier, Volker Weispfenning, editors
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Rewriting systems (Computer science)- Congresses,Grobner bases- Congresses,Numerical analysis- Data processing- Congresses
رده :
QA267
.
S88
1998
9462. Symbolic rewriting technique
پدیدآورنده : / Manuel Bronstein, Johannes Grabmeier, Volker Weispfenning, editors
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Rewriting systems (Computer science)- Congresses,Grobner bases- Congresses,Numerical analysis- Data processing- Congresses
رده :
QA267
.
S88
1998
9463. Symbolic rewriting technique
پدیدآورنده : / Manuel Bronstein, Johannes Grabmeier, Volker Weispfenning, editors
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Rewriting systems (Computer science)- Congresses,Grobner bases- Congresses,Numerical analysis- Data processing- Congresses
رده :
QA267
.
S88
1998
9464. Symposium on Computer Augmentation of Human Reasoning; ]proceedings[
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Artificial intelligence-- Congresses,، Electronic data processing-- Congresses
رده :
Q
335
.
S9
1964
9465. Synthetic biology :
پدیدآورنده : National Academies Keck Futures Initiative.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Bioengineering, Congresses.,Biotechnology, Congresses.,Synthetic biology, Congresses.,Bioengineering.,Biotechnology.,Synthetic Biology.,Bioengineering.,Biotechnology.,SCIENCE-- Biotechnology.,Synthetic biology.
رده :
TA164
.
N38
2010eb
9466. System analysis and modeling:
پدیدآورنده : Oeystein Haugen, Rick Reed, Reinhard Gotzhein (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks -- Congresses.,Computer science -- Congresses.,Information systems -- Congresses.
9467. System analysis and modeling :
پدیدآورنده : Ferhat Khendek, Reinhard Gotzhein (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : System analysis, Congresses.,Business & Economics-- Information Management.,Computer hardware.,Computer networking & communications.,Computers-- Hardware-- General.,Computers-- Software Development & Engineering-- General.,Information architecture.,Software Engineering.,System analysis.
رده :
QA402
.
S26
2018
9468. System analysis and modeling : 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004 : revised selected papers
پدیدآورنده : Daniel Amyot, Alan W. Williams )eds.(
کتابخانه: (طهران)
موضوع : Data processing -- Congresses ، Telecommunication,Congresses ، Telecommunication -- Security measures,Congresses ، System analysis,Congresses ، Communications software,Congresses ، SDL )Computer program language(
رده :
QA
76
.
L28
Vol
.
3319
9469. System analysis and modeling: 4th international SDL and MSC workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004: revised selected papers
پدیدآورنده : Daniel Amyot, Alan W. Williams ]eds.[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Data processing - Congresses ، Telecommunication,Security measures - Congresses ، Telecommunication,Congresses ، System analysis,Congresses ، Communications software,Congresses ، SDL )Computer program language(
رده :
TK
5105
.
A1
S36
2004
9470. System and architecture :
پدیدآورنده : Sunil Kumar Muttoo, editor.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer architecture, Congresses.,Computer networks, Congresses.,Computer science, Congresses.,Computer security, Congresses.,Information technology, Congresses.,Computer architecture.,Computer networks.,Computer science.,Computer security.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information technology.
رده :
QA76
.
9
.
A73
9471. System configuration management : ECOOP'98 SCM-8 Symposium, Brussels, Belgium, July 20-21, 1998 : proceedings
پدیدآورنده : Boris Magnusson )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Software configuration management
رده :
QA
76
.
L28
Vol
.
1439
9472. System configuration management : 9th International Symposium, SCM-9, Toulouse, France, September 1999 : proceedings
پدیدآورنده : Jacky Estublier )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Software configuration management
رده :
QA
76
.
L28
Vol
.
1675
9473. System development and Ada: CRAI Workshop on Software Factories and Ada Capri, Italy, May 1986 : Proceedings
پدیدآورنده : A.N. Habermann, U. Montanari )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Ada )Computer program language(
رده :
QA
76
.
L28
Vol
.
275
9474. System reliability, quality control, safety, maintenance and management :--ICICCT 2019
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer networks ; Congresses. ;
9475. System simulation and scientific computing
پدیدآورنده : Tianyuan Xiao, Lin Zhang, Shiwei Ma (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Engineering-- Computer simulation, Congresses,Science-- Computer simulation, Congresses,Simulation methods, Congresses
رده :
T57
.
62
.
I58
2012eb
9476. System specification and design languages
پدیدآورنده : / Tom J. Kaazmierski, Adam Morawiec, editors
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Computer hardware description languages--Congresses,Integrated circuits--Very large scale integration--Design and construction--Congresses,Formal methods (Computer science)--Congresses,Software engineering--Congresses,Computer software--Verification--Congresses,Software architecture--Congresses
رده :
TK7885
.
7
.
F35
2012
9477. System specification and design languages
پدیدآورنده : Tom J. Kaźmierski, Adam Morawiec, editors
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer hardware description languages, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Integrated circuits-- Very large scale integration-- Design and construction, Congresses,Software architecture, Congresses,Software engineering, Congresses
رده :
TK7885
.
7
.
F35
2010eb
9478. Systematic organisation of information in fuzzy system
پدیدآورنده : / edited by Pedro Melo-Pinto, Horia-Nicolai Teodorescu, and Toshio Fukuda
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Soft computing, Congresses,Fuzzy systems, Congresses,Electronic books., local
9479. Systematic organisation of information in fuzzy systems
پدیدآورنده : / edited by Pedro Melo-Pinto, Horia-Nicolai Teodorescu, and Toshio Fukuda
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Soft computing Congresses,Fuzzy systems Congresses
رده :
QA76
.
9
.
S63
,
N38
2001
9480. Systems, Software and Services process Improvement.
پدیدآورنده : \ Rory V. O’Connor...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering.,Computer software -- Development -- Congresses.,Computer software -- Quality control -- Congresses,م‍ه‍ن‍دس‍ی نرم افزار ,نرم‌افزار -- تولید -- کنگره ها ,نرم افزار -- ک‍ن‍ت‍رل ک‍ی‍ف‍ی‍ت -- کنگره ها
رده :
QA
76
.
76
.
S968
2015
E-Book
,
