681. Reframing humans in information systems development /
المؤلف: Hannakaisa Isomäki, Samuli Pekkola, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Human-computer interaction.,User-centered system design.,COMPUTERS-- Software Development & Engineering-- Systems Analysis & Design.,Human-computer interaction.,Informatique.,User-centered system design.
رده :
QA76
.
9
.
U83
R44
2011
682. Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. proceedings
المؤلف: ]edited by[ Harrie de Swart
المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع: ، Software engineering,، Logic design,، Algebra -- Data processing,، Computer simulation,، Mathematical Logic and Formal Languages,، Symbolic and Algebraic Manipulation,، Logics and Meanings of Programs,، Simulation and Modeling,، Artificial Intelligence )incl. Robotics(,، Computer science -- Mathematics -- Congresses,، lgebraic logic -- Congresses,، Relation algebras -- Congresses,، RAMICS
رده :
QA
76
.
9
.
R36
2011
683. Relations and Graphs :
المؤلف: by Gunther Schmidt, Thomas Ströhlein.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
9
.
M35
B948
1993
684. Research Challenges in Modeling and Simulation for Engineering Complex Systems
المؤلف: Richard Fujimoto, Conrad Bock, Wei Chen, Ernest Page, Jitesh H. Panchal
المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع: ، Computer science,، Computer simulation,، Engineering design
رده :
TA
168
.
O55
2017
685. Research Perspectives on Dynamic Translinear and Log-Domain Circuits
المؤلف: edited by Wouter A. Serdijn, Jan Mulder.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer engineering.,Computer-aided design.,Engineering.,Systems engineering.
686. Reuse Methodology Manual for System-on-a-Chip Designs
المؤلف: by Michael Keating, Pierre Bricaud.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer engineering.,Computer hardware.,Computer-aided design.,Engineering.,Systems engineering.
687. Robot development using Microsoft Robotics Developer Studio
المؤلف:
المکتبة: مكتبة حرم كيش الدولي بجامعة طهران (هرمزکان)
موضوع: Robots -- Design and construction -- Computer programs.,Robots -- Computer simulation,Microsoft Robotics studio,Engineering,Mechanical engineering
رده :
TJ
211
.
47
.
R58
2011
688. Robust Control Design with MATLAB
المؤلف: / by Da-Wei Gu, Petko H. Petkov, Mihail M Konstantinov
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Engineering,Chemical engineering,Computer aided design,Systems theory,Industrial engineering,Electronic books
رده :
TJ217
.
2
.
G8
2013
689. Runtime Verification
المؤلف: edited by Sarfraz Khurshid, Koushik Sen
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science,Computer software,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
690. SOLIDWORKS 2018 for designers /
المؤلف: contributing author, Sham Tickoo.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: SolidWorks.,SolidWorks.,Computer graphics.,Computer-aided design.,Engineering models.,Computer graphics.,Computer-aided design.,Engineering models.
رده :
T385
.
T5295
2018
691. SPS-Programmierung mit IEC 61131-3 :
المؤلف: Karl Heinz John, Michael Tiegelkamp.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: SPS (Computer file),SPS (Computer file),Automation.,Computer-aided design.,Programmable controllers.,Software engineering.,Automation.,Computer-aided design.,Programmable controllers.,Software engineering.,TECHNOLOGY & ENGINEERING-- Industrial Engineering.
رده :
T59
.
5
.
J6413
2009eb
692. Scalable Techniques for Formal Verification
المؤلف: by Sandip Ray.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer-aided design.,Engineering.,Systems engineering.
693. Second international conference on computer-aided production engineering: Edinburgh, April 1986
المؤلف: editor, J. A. McGeough; Organised by University of Edinburgh, Department of Mechanical Engineering; Cosponsors, Institution of Mechanical Engineers...)et al.(
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Data processing - Congresses ، Production engineering,Congresses ، Computer-aided design
رده :
TS
176
.
I58
1987
694. Secure integrated circuits and system
المؤلف: / edited by Ingrid M.R. Verbauwhede
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Integrated circuits, Design and construction,Computer security,Systems on a chip,Electronic books,Engineering,Engineering: Electrical
رده :
TK7874
.
S43
2010
695. Semantics:
المؤلف: edited by J.W. Bakker, W.-P. Roever, G. Rozenberg.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
696. Sensitivity of functionals with applications to engineering sciences : Proceedings
المؤلف: V. Komkov )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Engineering mathematics,Congresses ، Computer-aided design,Congresses ، Functionals
رده :
QA
3
.
L28
Vol
.
1086
697. Sensitivity of functionals with applications to engineering sciences : proceedings of a special session of the American Mathematical Society Spring Meeting held in New York City, May 1983
المؤلف: edited by V. Komkov
المکتبة: (طهران)
موضوع: Congresses ، Engineering mathematics,Congresses ، Computer-aided design,Congresses ، Functionals
رده :
TA
329
.
A4
1983
698. Sensitivity of functionals with applications to engineering sciences : proceedings of a special session of the American Mathematical Society Spring Meeting held in New York City, May 1983
المؤلف: edited by V. Komkov
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Engineering mathematics,Congresses ، Computer-aided design,Congresses ، Functionals
رده :
QA
1
.
L4
v
.
1086
699. Sensitivity of functionals with applications to engineering sciences proceedings of a special session of the American Mathematical Society Spring Meeting held in New York City, May 1983
المؤلف: edited by V. Komkov
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Engineering mathematics -- Congresses,، Computer-aided design -- Congresses,، Functionals -- Congresses
رده :
QA
320
.
S4
1983
700. Sensitivity of functionals with applications to engineering sciences: proceedings of a special session of the American Mathematical Society Spring Meeting held in New York City, May 1983
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Engineering mathematics,Congresses ، Computer-aided design,Congresses ، Functionals
رده :
QA
3
.
L28
no
.
1086
