21. Advances and innovations in systems, computing sciences and software engineering
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer engineering ; Congresses. ; Software engineering ; Congresses. ; System design ; Congresses. ;
22. Advances in Computer Technology and Applications in Japan
پدیدآورنده : edited by Thiruvalam K. S. Murthy, Carlos A. Brebbia.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Science.,Computer System Implementation.,Computer-Aided Engineering (CAD, CAE) and Design.
23. Advances in Safety Management and Human Factors
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : System safety. ; Medicine, Industrial. ; Applied psychology. ; Computer science. ; Engineering design. ; Quality Control, Reliability, Safety and Risk. ;
24. Advances in Usability and User Experience :
پدیدآورنده : Tareq Ahram, Christianne Falcão, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Human-computer interaction, Congresses.,User interfaces (Computer systems), Congresses.,User-centered system design, Congresses.,Human-computer interaction.,User interfaces (Computer systems),User-centered system design.
رده :
QA76
.
9
.
H85
25. Advances in computers : Parallel , distributed, and pervasive computing
پدیدآورنده : guest editor, Ali R. Hurson ; series editor, Marvin V. Zelkowitz
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Computer architecture,، Microprocessors -- Design and construction,، System design
رده :
QA
76
.
758
.
A393
2005
26. Advances in evolutionary computing for system design
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Evolutionary programming (Computer science) ; Evolutionary computation. ; System design. ;
27. Advances in exception handling techniques
پدیدآورنده : Alexander Romanovsky...]et al.[, )eds.(
کتابخانه: (طهران)
موضوع : ، Computer software -- Development,، System design
رده :
QA
76
.
L28
Vol
.
2022
28. Advances in exception handling techniques
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software ; Development ; System design ;
29. Advances in systems, computing sciences and software engineering :proceedings of SCSS 2005
پدیدآورنده : edited by Tarek Sobh, Khaled Elleithy
کتابخانه: (سمنان)
موضوع : Congresses ، System design,Congresses ، Computer engineering,Congresses ، Software engineering
رده :
QA
76
.
9
.
S88
.
I569
2005
30. Advances in the design of symbolic computation systems
پدیدآورنده : A. Miola and M. Temperini )eds.(
کتابخانه: (طهران)
موضوع : ، System design,، Object-oriented programming )Computer science(,، Mathematics -- Data processing
رده :
QA
76
.
9
.
S88
A38
1997
31. Advances in the design of symbolic computation systems
پدیدآورنده : A. Miola and M. Temperini )eds.(,Series
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : System design,Object-oriented programming )Computer science(,Mathematics -- Data processing
رده :
QA
.
S88
,
A38
76
.
9
1997
32. Advances in user modeling
پدیدآورنده : Liliana Ardissono, Tsvi Kuflik (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Human-computer interaction, Congresses,User-centered system design, Congresses
رده :
QA76
.
9
.
H85
U43
2011eb
33. Algebraic foundations of systems specification
پدیدآورنده : E. Astesiano, H.-J. Kreowski, B. Krieg-Bruckner )eds.(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Software engineering,، Formal methods )Computer science(,، System design
رده :
QA
76
.
758
.
A437
1999
34. An Introductionn to Discrete Mathematics, Formal System Specification and Z
پدیدآورنده : / C.C. Ince
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Computer science _ Mathematics.,System Design.
رده :
QA76
,.
9
.
M
35
35. An introduction to CAD using CADKEY
پدیدآورنده : Hugh F Keedy
موضوع : CADKEY (computer system),Computeraided design
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
36. An introduction to discrete mathematics and formal system specification
پدیدآورنده : Ince, Darrel
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع : ، Computer science - Mathematics,، System design
رده :
QA
76
.
9
.
M35
I53
1988
37. An introduction to discrete mathematics, formal system specification, and Z
پدیدآورنده : Ince, Darrel C.
کتابخانه: (طهران)
موضوع : ، Computer science -- Mathematics,، System design
رده :
QA
76
.
9
.
M35I53
1992
38. An introduction to discrete mathematics, formal system specification, and Z
پدیدآورنده : Ince, Darrel
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : Mathematics ، Computer science,، System design
رده :
QA
76
.
9
.
M35153
1992
39. An introduction to discrete mathematics, formal system specification, and Z
پدیدآورنده : Ince, D.)Darrel(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Computer science - Mathematics,، System design
رده :
QA
76
.
9
.
M35
I53
1992
40. An introduction to discrete mathematics formal system specification, and z
پدیدآورنده : / D.C.Ince
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science-Mathematics,System design
رده :
QA76
.
9
.
M35
,
153
1992