3841. Tools and Algorithms for the Construction and Analysis of Systems

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING

رده :
E-BOOK

3842. Tools and algorithms for the construction and analysis of systems

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : System design ; Congresses. ; Computer software ; Development ; Congresses. ;

3843. Tools and algorithms for the construction and analysis of systems :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : System design ; Congresses. ;

3844. Tools and algorithms for the construction and analysis of systems :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : System design ; Congresses. ;

3845. Tools and algorithms for the construction and analysis of systems :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : System analysis, Congresses,System design, Congresses,Computer Systems.,Software Validation.,Systems Analysis.

رده :
QA76
.
9
.
S88
T33
2010

3846. Tools and algorithms for the construction and analysis of systems :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.

رده :
QA76
.
9
.
S88

3847. Tools and algorithms for the construction and analysis of systems :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer software -- Development -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,System design -- Congresses.

3848. Tools and algorithms for the construction and analysis of systems :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : System design ; Congresses. ;

3849. Tools and algorithms for the construction and analysis of systems :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Computer software-- Verification.,System analysis.,System design.

رده :
QA76
.
9
.
S88

3850. Tools and algorithms for the construction and analysis of systems :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : System design ; Congresses. ;

3851. Tools and algorithms for the construction and analysis of systems :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : System design ; Congresses. ;

3852. Tools and algorithms for the construction and analysis of systems :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : System design ; Congresses. ;

3853. Tools and algorithms for the construction and analysis of systems

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : System analysis, Congresses,System design, Congresses

رده :
QA76
.
9
.
S88
T33
2012eb

3854. Tools and algorithms for the construction and analysis of systems

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer software-- Verification, Congresses,System analysis, Congresses,System design, Congresses

رده :
QA76
.
9
.
S88
T33
2013

3855. Tools and algorithms for the construction and analysis of systems :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : System design ; Congresses. ;

3856. Tools and algorithms for the construction and analysis of systems

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : System analysis, Congresses,System design, Congresses

رده :
QA76
.
9
.
S88
T33
2011

3857. Tools and algorithms for the construction and analysis of systems : Second International Workshop, TACAS'96, Passau, Germany, March 27-29 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing

رده :
QA
76
.
L28
Vol
.
1055

3858. Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS 95, Aarhus, Denmark, May 19-20, 1995 : selected papers

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing

رده :
QA
76
.
L28
V0l
.
1019

3859. Tools and algorithms for the construction and analysis of systems : 5th International Conference, TACAS'99, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، System design,Congresses ، Computer software -- Development

رده :
QA
76
.
L28
Vol
.
1579

3860. Tools and algorithms for the construction and analysis of systems : 6th International Conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March/April 2000 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، System design,Congresses ، Computer software -- Development

رده :
QA
76
.
L28
Vol
.
1785