کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابAbstract State Machines, Alloy, B, TLA, VDM, and Z
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Machine learning -- Congresses,Machine theory -- Congresses,Machine learning,فراگیری ماشینی -- کنگره‌ها,نظریه ماشین -- کنگره‌ها,فراگیری ماشینی
رده :
E-Book
,
Abstract State Machines, Alloy, B, TLA, VDM, and Z
پدیدآورنده: / Dieter Schewe-Yamine Ait Ameur, Klaus
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
Abstract State Machines, Alloy, B, VDM, and Z
پدیدآورنده: / John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
Abstract State Machines, Alloy, B and Z
پدیدآورنده: / gine Laleau, Steve Reevesفsser, Sarfraz Khurshid, RعMarc Frappier, Uwe Gl
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: METHODS&COMPUTER SCIENCE, THEORY
رده :
E-BOOK
Abstract state machines 2003 :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Machine theory ; Congresses ;
Abstract state machines
پدیدآورنده: / Yuri Gurevich ... [et al.] (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Machine theory--Congresses
رده :
QA
,
267
,.
A25
,
2000
Abstract state machines
پدیدآورنده: Egon Borger, Robert Stork
کتابخانه: كتابخانه دانشگاه صنعتی اروميه (آذربایجان غربی)
موضوع: System design,Computer software- Development,Embedded computer systems
رده :
QA
,
76
.
9
,.
S88B66
,
2003
Abstract state machines
پدیدآورنده: / Egon Brger,Robert Stark
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: system design,Computer software -- Development,Embeded computer systems
رده :
QA
76
.
9
.
S88B66
2003
Abstract state machines 2003
پدیدآورنده: / Egon B?�rger, Angelo Gargantini, Elvinia Riccobene (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Machine theory--Congresses
رده :
QA
,
267
,.
A86
,
2003
Abstract state machines :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Machine theory ; Congresses ;
Abstract state machines
پدیدآورنده: / Egon Borger, Robert Stark
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: System design,Computer software -- Development,Embedded computer systems
رده :
QA
76
.
9
.
S88B66
2003
Abstract state machines, B and
پدیدآورنده: / Egon Beorger ... [et al.] (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Machine theory--Congresses,B method (Computer science)--Congresses,Z (Computer program language)--Congresses
Abstract state machines, B and Z
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: B method (Computer science) ; Congresses. ; Machine theory ; Congresses. ; Z (Computer program language) ; Congresses. ;
Abstract state machines : a method for high-level system design and analysis
پدیدآورنده: Borger, E.)Egon(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، System design,، Computer software-- Development,، Embedded computer systems
رده :
QA
76
.
9
.
S88
.
B66
2003
Abstract state machines :a method for high-level system design and analysis. ]CD[
پدیدآورنده: Bغorger, E. )Egon(, Egon Bغorger, Robert Stغark
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، System design,Development ، Computer software,، Embedded computer systems
رده :
QA76
.
9
.
S88
B66
2003
Abstract state machines 2004 : advances in theory and practice : 11th international workshop, ASM
پدیدآورنده: Wolf Zimmermann, Bernhard Thalheim )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
3052
Abstract state machines 2003 : advances in theory and practice ; 10th international workshop, ASM 2003, Taormina, Italy, March 2003 : proceedings
پدیدآورنده: Egon Borger, Angelo Gargantini, Elvinia Riccobene )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
2589
Abstract state machines, alloy, B and Z
پدیدآورنده: / Marc Frappier ... [et al.] (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Machine theory, Congresses,B method (Computer science), Congresses,Z (Computer program language), Congresses,Machine learning, Congresses
رده :
QA267
.
A29
2010
Abstract state machines, alloy, B and Z : second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings
پدیدآورنده: Marc Frappier ... ]et al.[ )Eds.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، B method )Computer science(,Congresses ، Z )Computer program language(
رده :
QA
267
.
A26
2010
Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verita Switzerland, March 2000 : proceedings
پدیدآورنده: Yuri Gurevich...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
1912
