41. Formal specification and documentation Using Z: a case study approach
پدیدآورنده : Bowen, Jonathan Peter
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Z )Computer program language(,، System design,Development ، Computer software,، Software documentation
رده :
QA
76
.
73
.
Z2
B68
1996
42. Handbook of hardware/software codesign /
پدیدآورنده : Soonhoi Ha, Jürgen Teich, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer engineering, Handbooks, manuals, etc.,Computer software-- Development, Handbooks, manuals, etc.,System design, Handbooks, manuals, etc.,Systems on a chip, Handbooks, manuals, etc.,Computer engineering.,Computer software-- Development.,System design.,Systems on a chip.
رده :
QA76
.
9
.
S88
43. Information Systems Development: Principles of computer- Aided software Engineering
پدیدآورنده : Albert F. Case
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : System design,Computer software- Development
رده :
QA
،
76
.
9
،.
S88
,
C39
،
1986
44. Information systems development
پدیدآورنده : edited by Olegas Vasilecas ... [et al.].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Development, Congresses.,Instructional systems-- Design, Congresses.,System design, Congresses.
45. Information systems provision. the contribution of soft systems methodology
پدیدآورنده : Stowell, Frank A.,Frank Stowell
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Management information systems,، Computer software- Development,، System design
رده :
T
58
.
64
.
S75
46. Innovations in information systems modeling. methods and best practices
پدیدآورنده : ]edited by[ Terry Halpin, John Krogstie, Erik Proper
موضوع : ، System design,، Database management,، Computer software, Development
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
47. Microinteractions
پدیدآورنده : Dan Saffer
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Application software-- Development,Human-computer interaction,System design,User interfaces (Computer systems)-- Design
رده :
QA76
.
9
.
U83
S24
2013
48. Model-driven software development
پدیدآورنده : / Sami Beydeda, Matthias Book, Volker Gruhn (eds.)
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Model-driven software architecture,Computer software- Development,System design
رده :
QA76
.
76
.
D47
,
M623
2005
49. Model-driven software development
پدیدآورنده : Sami Beydeda, Matthias Book, Volker Gruhn )eds.(
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Model-driven software architecture,، Computer software- Development,، System design
رده :
QA
76
.
76
.
D47
M623
2005
50. Model-driven software development
پدیدآورنده : Sami Beydeda, Matthias Book, Volker Gruhn )eds.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Model-driven software architecture,Development ، Computer software,، System design
رده :
QA
76
.
76
.
D47
M623
2005
51. Model-driven software development /
پدیدآورنده : Sami Beydeda, Matthias Book, Volker Gruhn (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Development.,Model-driven software architecture.,System design.,Computer architecture.,Computer software-- Development.,Computer software-- Development.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Informatique.,Model-driven software architecture.,System design.,System design.
رده :
QA76
.
76
.
D47
M623
2005
52. Modeling software behaviour :a craftsman's approach
پدیدآورنده : Jorgensen, Paul.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : ، System design,، Software architecture,Development ، Computer software
رده :
QA
76
.
9
.
S88
J72
53. Multi-agent programming
پدیدآورنده : / edited by Rafael H. Bordini ... [et al.]
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Intelligent agents (Computer software),Computer software, Development,System design
رده :
QA76
.
76
.
I58
,
M8
2005
54. Multi-agent programming
پدیدآورنده : / edited by Rafael H. Bordini ... [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Intelligent agents (Computer software),Computer software- Development,System design
رده :
QA76
.
76
.
I58
,
M8
2005
55. Patterns of enterprise application architecture
پدیدآورنده : / Martin Fowler with contributions from David Rice ... [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : System design,Computer architecture,Application software- Development,Business- Data processing
رده :
QA76
.
9
.
S88
,
F69
2003
56. Patterns of enterprise application architecture /
پدیدآورنده : Martin Fowler with contributions from David Rice [and others].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Application software-- Development.,Business-- Data processing.,Computer architecture.,System design.
57. Patterns of enterprise application architecture
پدیدآورنده : Fowler, Martin
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، System design,، Computer architecture,، Application software-- Development,، Business-- Data processing
رده :
QA
76
.
9
.
S88
.
F69
2003
58. Patterns of enterprise application architecture
پدیدآورنده : / Martin Fowler with contributions from David Rice ... [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : System design,Computer architecture,Application software- Development,Business- Data processing
رده :
QA76
.
9
.
S88
,
F69
2003
59. ++Practical UML statecharts in C/C
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : oriented programming (Computer science) ; -System design. ; Computer software ; Development. ; Formal methods (Computer science) ; Statecharts (Computer science) ; UML (Computer science) ; Object
60. Practical UML statecharts in C/C++event-driven programming for embedded systems
پدیدآورنده : Samek, Miro.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، System design,Development ، Computer software,، Formal methods )Computer science(,، Statecharts )Computer science(,، UML )Computer science(,، Object-oriented programming )Computer science(
رده :
QA
76
.
9
.
S88
S26
2009