کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابAutomata, Languages and Programming
پدیدآورنده: / SgallکLuca Aceto, Monika Henzinger, Ji
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
![](/design/images/bookmore.png)
Automata, Languages and Programming
پدیدآورنده: / Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
![](/design/images/bookmore.png)
Automata, Languages and Programming
پدیدآورنده: / Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
![](/design/images/bookmore.png)
Automata, Languages, and Programming
پدیدآورنده: / Freivalds, Marta Kwiatkowska, David PelegجFedor V. Fomin, Rsi
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
![](/design/images/bookmore.png)
Automata, Languages, and Programming
پدیدآورنده: / Freivalds, Marta Kwiatkowska, David PelegجFedor V. Fomin, Rsi
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
![](/design/images/bookmore.png)
Automata, Languages and Programming
پدیدآورنده: / SgallکLuca Aceto, Monika Henzinger, Ji
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
![](/design/images/bookmore.png)
Automata, Languages, and Programming
پدیدآورنده: / Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
![](/design/images/bookmore.png)
Automata, Languages, and Programming
پدیدآورنده: \ Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann (eds.).
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Information retrieval,بازیابی اطلاعات,a03,a03,Computer programming -- Congresses.,Computer Communication Networks,برنامه نویسی کامپیوتر -- کنگره ها,شبکههای ارتباطی کامپیوتری
رده :
ZA
3075
.
A92
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata, Languages and Programming :
پدیدآورنده: edited by Hermann A. Maurer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Information theory.,Software engineering.,Theory of Computation.
![](/design/images/bookmore.png)
Automata, Languages, and Programming
پدیدآورنده: / Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
![](/design/images/bookmore.png)
Automata, Languages, and Programming
پدیدآورنده: / rsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmannلs M. HalldهMagn
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
![](/design/images/bookmore.png)
Automata, Languages, and Programming
پدیدآورنده: / rsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmannلs M. HalldهMagn
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
![](/design/images/bookmore.png)
Automata, Languages, and Programming
پدیدآورنده: / Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
![](/design/images/bookmore.png)
Automata, Languages and Programming :
پدیدآورنده: edited by Mogens Nielsen, Erik Meineche Schmidt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer Science,Computer science.,Computer software.
رده :
QA267
.
E358
1982
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata, Languages and Programming :
پدیدآورنده: edited by Josep Diaz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programming.,Computer science.,Computers.
![](/design/images/bookmore.png)
Automata, Languages, and Programming
پدیدآورنده: / Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
![](/design/images/bookmore.png)
Automata, Languages and Programming :
پدیدآورنده: edited by Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Rocca.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Computer software.,Logic design.
![](/design/images/bookmore.png)
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
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata, Languages and programming : 11th collequium antwerp, Belgium, July 16-20, 1984
پدیدآورنده: / Edited by Jan Paredaens
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Machinetheory - Congresses,Programming languages (Electronic computers) - Congresses,Programming (Electronic computers) - Congresses
رده :
QA267
.
A9215
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata, Languages and programming, 16th international colloquium, Stressa, Italy, July 1989 proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
267
.
A9228
1989
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata, Languages, and programming: 19th international colloquium, Wien, Austria, July 13-17, 1992: proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Machine thoery-- Congresses,، Formal languages-- Congresses,، Programming )Electronic computers(-- Congresses
رده :
QA
267
.
A87
1992
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata languages and Programming: 15th International Colloquium, Tampere, Finland, July 11-15, 1988 Proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
267
.
A9228
1988
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata, languages and programming
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Machine theory ; Congresses. ; Formal languages ; Congresses. ; Computer programming ; Congresses. ;
![](/design/images/bookmore.png)
Automata, languages, and programming
پدیدآورنده: Fedor V. Fomin ... [et al.] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programming, Congresses,Programming languages (Electronic computers), Congresses
رده :
QA76
.
7
.
I58
2013
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata, languages, and programming
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Machine theory - Congresses,Formal languages - Congresses,Programming )Electronic computers( - Congresses
رده :
QA
.
A923
267
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata, languages and programming
پدیدآورنده: / Samson Abramsky ... [et al.] (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Machine theory, Congresses,Artificial intelligence, Congresses
رده :
QA267
.
I58
2010
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata, languages and programming
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Machine theory ; Congresses. ; Formal languages ; Congresses. ; Computer programming ; Congresses. ;
![](/design/images/bookmore.png)
Automata, languages, and programming
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
52
,
etc
...
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
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
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata, languages and programming :
پدیدآورنده: edited by G. Ausiello and C. Böhm.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Formal languages -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers)
![](/design/images/bookmore.png)
Automata, languages and programming :
پدیدآورنده: J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Machine theory -- Congresses.,Machine theory.
رده :
QA267
.
J543
1991
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata, languages, and programming.
پدیدآورنده: Fedor V. Fomin...[et al.].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
![](/design/images/bookmore.png)
Automata, languages, and programming :
پدیدآورنده: edited by Jan Paredaens.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programming -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers) -- Congresses.
![](/design/images/bookmore.png)
Automata, languages, and programming
پدیدآورنده: / Zoltan Fulop, Ferenc Gecseg (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Machine theory- Congresses,Formal languages- Congresses,Programming (Electronic computers)- Congresses
رده :
QA267
.
A923
1995
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata, languages, and programming
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Machine theory-- Congresses,، Formal languages-- Congresses,، Programming )Electronic computers(-- Congresses
رده :
QA
267
.
A923
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata, languages, and programming
پدیدآورنده: Artur Czumaj ... [et al.] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programming, Congresses,Machine theory, Congresses,Programming languages (Electronic computers), Congresses
رده :
QA267
.
I23
2012eb
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata, languages and programming :
پدیدآورنده: ICALP 93. A. Lingas ... (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Lund <1993>,Theoretische Informatik.
![](/design/images/bookmore.png)
Automata, languages, and programming :
پدیدآورنده: edited by J.W. de Bakker and J. van Leeuwen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programming -- Congresses.,Formal languages -- Congresses.,Machine theory -- Congresses.
![](/design/images/bookmore.png)
Automata, languages and programming
پدیدآورنده: / M. S. Paterson(ed)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Machine theory-- congresses,Formal languages-- Congresses,Programming (Electronic computers) -- Congresses
رده :
QA
267
.
A9228
1990
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
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
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
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
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
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
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata, languages and programming : Fourth colloquium, University of Turku, Finland, July 18-22, 1977
پدیدآورنده: edited by Arto Salomaa and Magnus Steinby
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computers(
رده :
QA
267
.
5
.
S4
C63
1977
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
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
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
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
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
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
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata, languages and programming : 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005 : proceedings
پدیدآورنده: Luis Caires... ]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
3580
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata, languages and programming : 2nd colloquium, University of Saarbrucken July 29 - August 2, 1974
پدیدآورنده: Edited by Jacqes Loeckx
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
267
.
C57
1974
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata, languages and programming, proceedings of a symposium organized
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Mashine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
267
.
5
.
S4
.
A78
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata, languages and programming: 23rd International Colloquium, ICALP'96, Paderborn, Germany, July 8-12, 1996 : proceedings
پدیدآورنده: F. Meyer auf der Heide, B. Monien )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
1099
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata, languages and programming: seven the colloquium, Noordwijkerhout, Netherlands, July 14-18, 1980
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Sequential machine theory,Congresses ، Formal language,Congresses ، Programming language )Electronic computers(
رده :
QA
267
.
5
.
S4
.
I47
1980
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata, languages and programming : 21st International Colloquium, ICALP'94, Jerusalem, Israel, July 11-14, 1994 : proceedings
پدیدآورنده: Serge Abiteboul, Eli Shamir )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
820
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata, languages and programming : 31st international colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004 : proceedings
پدیدآورنده: ]edited by[ Josep Diaz .. ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Copngresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
3142
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata, languages, and programming : 12th Colloquium, Nauplion, Greece, July 15-19, 1985
پدیدآورنده: edited by Wilfried Frauer
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
194
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata, languages and programming : 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13-17, 1998 : proceedings
پدیدآورنده: Kim G. Larsen, Sven Skyum, Glynn Winskel )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
1443
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata, languages, and programming : 24th International Colloquium, ICALP 97 Bologna, Italy, July 7-11, 1997 : proceedings
پدیدآورنده: Pierpaolo Degano, Roberto Gorrier, Alberto Marchetti-Spaccamela )eds.(
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Machine theory - Congresses , Formal languages - Congresses , Programming )Electronic computers( - Congresses
رده :
QA
267
.
I57
1997
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata, languages and programming : 24th International Colloquium, ICALP'97 Bologna, Italy, July 7-11, 1997 : proceedings
پدیدآورنده: Pierpaolo Degano...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
1256
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata, languages and programming : 27th International Colloquium, ICALP'2000, Geneva, July 9-15, 2000 : Proceedings
پدیدآورنده: Ugo Montanri, Jose D.P. Rolim, Emo Welzl )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
1853
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata, languages and programming : 20th International Colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993 : Proceedings
پدیدآورنده: A. lingas, R. Karlsson, S. Carlsson )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
700
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata, languages and programming : 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002 : proceedings
پدیدآورنده: Peter Widmayer...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
2380
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata, languages and programming : 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 : Proceedings
پدیدآورنده: Jiri Wiedermann, Peter van Emde Boas, Mogens Nielsen )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
1644
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata, languages, and programming : 14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987 : Proceedings
پدیدآورنده: Thomas Ottmann, ed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Cogresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
267
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata, languages and programming : 18th International Colloquium, Madrid, Spain, July 8-12, 1991 : proceedings
پدیدآورنده: J. Leach Albvert, B. Monien, M. Rodriguez Artalejo )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
510
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata, languages and programming: 18th International Colloquium, Madrid, Spain, July 8-12, 1991 proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Machine theory--Congresses,، Formal languages--Congresses,، Programming )Electronic Computers(--Congresses
رده :
QA
267
.
A9228
1991
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata, languages and programming 13th International Colloquium Rennes, France, July 15-19, 1986
پدیدآورنده: edited by Laurent kott
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
226
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata, languages and programming : 13th International Colloquium ,Rennes, France, July 15-19, 1986 : Proceedings
پدیدآورنده: edited by Laurent Kott
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
226
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata, languages, and programming : 16th International Colloquium, Stresa, Italy, July 11-15, 1989 : Proceedings
پدیدآورنده: G. Ausiello, M. Dezani-Ciancaglini, S. Ronchi Della Rocca, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
372
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata, languages and programming : 15th International Colloquium, Tampere, Finland, July 11-15, 1988 : Proceedings
پدیدآورنده: Timo Lepisto, Arto Salomaa )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
317
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata, languages, and programming : 17th International Colloquium, Warwick University, England, July 16-20, 1990 : Proceedings
پدیدآورنده: M.S. Paterson )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
443
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata, languages and programming. 6th colloquium, Graz, Austria, July 16-20, 1979
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Sequential machin theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computer(
رده :
QA
267
.
5
.
S4
.
C63
1979
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata, languages, and programming: 12th colloquium, Nafplion, Greece, July 15-19, 1985
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal Languages,Congresses ، Programming languages )Electronic computers(
رده :
QA
267
.
I55
1985
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata, languages and programming : 28th international colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings
پدیدآورنده: Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
2076
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata, languages and programming : 18th international colloquium, Madrid, Spain, July 8-12, 1991 : Proceedings
پدیدآورنده: J. Leach Albert, B. Monien, M. Rodriguez Artalejo )eds.(
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
267
.
I5
1991
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata, languages, and programming: 17th international colloquium, Warwick University England, July 16-20, 1990: Proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Machine theory
رده :
QA
267
.
I23
1990
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
Automata, languages, and programming : 19th international colloquium, Wien, Austria, July 13-17, 1992 : proceedings
پدیدآورنده: W. Kuich )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
623
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)