1. Abstract state machines
پدیدآورنده: Egon Borger, Robert Stork
کتابخانه: كتابخانه دانشگاه صنعتی اروميه (آذربایجان غربی)
موضوع: System design,Computer software- Development,Embedded computer systems
رده :
QA
,
76
.
9
,.
S88B66
,
2003
2. Abstract state machines
پدیدآورنده: / Egon Borger, Robert Stark
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: System design,Computer software -- Development,Embedded computer systems
رده :
QA
76
.
9
.
S88B66
2003
3. 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
4. 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
5. Alternative Destination Transport? The Role of Paramedics in Optimal Use of the Emergency Department
پدیدآورنده: Neeki, Michael; Dong, Fanglong; Avera, Leigh; Than, Tan; Borger, Rodney; Powell, Joe; Vaezazizi, Reza; Pitts, Richard,Neeki, Michael; Dong, Fanglong; Avera, Leigh; Than, Tan; Borger, Rodney; Powell, Joe; Vaezazizi, Reza; Pitts, Richard
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
6. Altiranische Funde und Forschungen.
پدیدآورنده : / Mit Beitragen von Rykle Borger, Gerd Gropp.
موضوع :
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
7. An Additional Remark on the Kurba'il Statue of Shalmaneser III
پدیدآورنده: R. Borger
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
8. Architecture Design and Validation Methods
پدیدآورنده: Egon Börger
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
رده :
QA76
.
9
.
A73
E366
2013
9. Assyrisch - babylonische Zeichenliste
پدیدآورنده: Borger
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع:
رده :
PJ
3181
.
B6
R
10. Assyrisch-babylonische Zeichenliste ; Ergänzungsheft zur 1. Aufl. /
پدیدآورنده: von Rykle Borger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Cuneiform writing.
11. Beitrage Zum Inschriftenwerk Assurbanipals: Die Prismenklassen A, B, C = K, D, E, F, G, H, J und T sowie andere Inschriften
پدیدآورنده: Rykle Borger Miteinem Beitray von Andreas fuchs/
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع:
12. Berechenbarkeit, Komplexität, Logik :
پدیدآورنده: Egon Börger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computable functions.,Computational complexity.,Logic, Symbolic and mathematical.
رده :
QA9
.
56
E366
1992
13. Berechenbarkeit, Komplexität, Logik :
پدیدآورنده: Egon Börger
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
14. Berechenbarkeit, Komplexität, Logik :
پدیدآورنده: Egon Börger
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
رده :
QA9
.
56
E366
1986
15. CSL'88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : Proceedings
پدیدآورنده: E. Borger, H. Kleine Buning, M.M. Richter )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
385
16. CSL'89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : Proceedings
پدیدآورنده: E. Borger, H. Kleine Buning, M.M. Richter )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
440
17. CSL'87 : 1st Workshop on Computer Science Logic, Karlsruhe FRG, October 12-16, 1987 : Proceedings
پدیدآورنده: E. Borger, H. Kleine Buning, M.M. Richter )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computers,Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical,، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
329
18. Computability, complexity, logic
پدیدآورنده: Borger, Egon, 6491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computable functions,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B6713
19. Computability, complexity, logic
پدیدآورنده: Borger, E.)Egon(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computable functions,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B6713
1989
20. Computation theory and logic
پدیدآورنده: Egon Borger )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Machine theory,، Computational complexity,، Rodding, Dieter, 7391-
رده :
QA
76
.
L28
Vol
.
270
