1. .....................
پدیدآورنده : ]edited by Jerome Fox[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Computer - Congresses,Machine theory - Congresses
رده :
TK
7885
.
S9
1971
2. Abstract state machines, B and
پدیدآورنده : / Egon Beorger ... [et al.] (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Machine theory--Congresses,B method (Computer science)--Congresses,Z (Computer program language)--Congresses
3. Abstract state machines, B and Z
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : B method (Computer science) ; Congresses. ; Machine theory ; Congresses. ; Z (Computer program language) ; Congresses. ;
4. 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
5. 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
6. Automata, Languages, and Programming : 30th international colloquim , ICALP 2003, Eindhoven, The Netherlands, June 30th-July 4, 2003 : Proceedings
پدیدآورنده : Jos C.M. Baeten ... ]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
2719
7. Automata, languages and programmin
پدیدآورنده : / Luca Aceto ... [et al.] (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Machine theory--Congresses,Formal languages--Congresses,Computer programming--Congresses
رده :
QA
,
267
,.
I58
,
2008eb
8. Automata, languages and programmin
پدیدآورنده : / Luca Aceto ... [et al.]
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Machine theory--Congresses,Formal languages--Congresses,Computer programming--Congresses
رده :
QA
,
267
,.
I55
,
2008eb
9. Automata, languages and programming
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Machine theory ; Congresses. ; Formal languages ; Congresses. ; Computer programming ; Congresses. ;
10. Automata, languages and programming
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Machine theory ; Congresses. ; Formal languages ; Congresses. ; Computer programming ; Congresses. ;
11. Automata, languages and programming
پدیدآورنده : Luca Aceto, Monika Henzinger, Jiří Sgall (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming, Congresses,Machine theory, Congresses,Programming languages (Electronic computers), Congresses
رده :
QA267
.
I58
2011
12. Automata, languages, and programming :
پدیدآورنده : edited by Jan Paredaens.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers) -- Congresses.
13. Automata, languages, and programming
پدیدآورنده : Artur Czumaj ... [et al.] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming, Congresses,Machine theory, Congresses,Programming languages (Electronic computers), Congresses
رده :
QA267
.
I23
2012eb
14. Automata, languages, and programming :
پدیدآورنده : edited by J.W. de Bakker and J. van Leeuwen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming -- Congresses.,Formal languages -- Congresses.,Machine theory -- Congresses.
15. Automata, languages, and programming : Eighth Colloquium, Acre )Akko(, Israel, July 13-17, 1981
پدیدآورنده : edited by S. Even and O. Kariv
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
115
16. Automata, languages and programming : Fifth Colloquium, Udine, Italy, July 17-21, 1978
پدیدآورنده : edited by G. Ausiello and C. Bohm
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
62
17. Automata, languages and programming : Fourth Colloquium, University of Turku, Finland, July 18-22, 1977
پدیدآورنده : edited by Arto Salomaa and Magnue Steinby
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
52
18. Automata, languages, and programming : Seventh Colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980
پدیدآورنده : edited by J.W. de Bakker and J. Van Leeuwen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
85
19. Automata, languages and programming : Sixth colloquium, Graz, Austria, July 16-20, 1979
پدیدآورنده : edited by Hermann A. Maurer
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
71
20. Automata, languages and programming: eigth colloquium, Acre )Akko(,Israel, July 13-17, 1981
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computer(
رده :
QA
267
.
5
.
S4
.
I47
1981
