1. Cornerstones of undecidability /
پدیدآورنده : Grzegorz Rozenberg and Arto Salomaa
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Decidability (Mathematical logic),Unsolvability (Mathematical logic),équation diophantienne,indécidabilité,Logique,Mathematical logic,récursivité,théorie démonstration
رده :
QA9
.
63
.
R69
1994
2. Current trends in theoretical computer science :
پدیدآورنده : edited by G. Păun, G. Rozenberg, A. Salomaa.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
QA76
.
C874
2001eb
3. Current trends in theoretical computer science : entering the 21st century
پدیدآورنده : edited by G. Paun, G. Rozenberg, A. Salomaa
کتابخانه: (طهران)
موضوع : ، Computer science
رده :
QA
76
.
C83
4. Current trends in theoretical computer science : the challenge of the new century
پدیدآورنده : editors, G. Paun, G. Rozenberg, A. Salomaa
کتابخانه: (طهران)
موضوع : ، Computer science
رده :
QA
76
.
C832
5. Current trends in theoretical computer science :the challenge of the new century century
پدیدآورنده : editors, G. P aun, G. Rozenberg, A. Salomaa
کتابخانه: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع : ، Computer science
رده :
QA
76
.
C878
2004
6. DNA computing :
پدیدآورنده : by Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Molecular computers.
7. Finite versus infinite :
پدیدآورنده : Cristian S. Calude and Gheorghe Păun [eds.].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science -- Mathematics.,Finite, The.,Infinite.
رده :
QA295
.
C757
2000
8. Handbook of Formal Languages Volume 3 Beyond Words
پدیدآورنده : Grzegorz Rozenberg
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
رده :
QA267
.
3
G794
2013
9. Handbook of Formal Languages Volume 1 Word, Language, Grammar
پدیدآورنده : Grzegorz Rozenberg
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
رده :
QA267
.
3
G794
2013
10. Handbook of formal languages
پدیدآورنده : G. Rozenberg, A. Salomaa, )eds.(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Formal languages
رده :
QA
267
.
3
.
H36
1997
11. Handbook of formal languages
پدیدآورنده : G. Rozenberg, A. Salomaa, ]eds.[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Formal languages
رده :
QA
276
.
3
.
H36
1997
12. Handbook of formal languages
پدیدآورنده : G. Rozenberg, A. Salomaa, )eds.(
کتابخانه: (طهران)
موضوع : Formal languages
رده :
QA
267
.
3
.
H36
1997
13. Handbook of formal languages. Volume 2, Linear modeling. Background and application
پدیدآورنده : edited by Grzegorz Rozenberg, Arto Salomaa.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal languages.
رده :
QA267
.
3
E358
2011
14. L systems
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، L systems
رده :
QH
491
.
L2
15. L systems
پدیدآورنده : Edited by Grzegorz Rozenberg and Arto Salomaa
کتابخانه: (طهران)
موضوع : ، L systems
رده :
QH
491
.
L2
16. Lindenmayer Systems :
پدیدآورنده : edited by Grzegorz Rozenberg, Arto Salomaa.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Software engineering.,Translators (Computer programs)
رده :
T385
.
E358
1992
17. Membrane computing :
پدیدآورنده : Thomas Hinze, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Biocomputers, Congresses.,Molecular computers, Congresses.,Biocomputers.,Molecular computers.
رده :
QA76
.
887
18. Products of Automata.
پدیدآورنده : Wilfred Brauer
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
19. Rainbow of computer science :
پدیدآورنده : Cristian S. Calude, Grzegorz Rozenberg, Arto Salomaa (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Maurer, Hermann A.,1941-,Computer science
رده :
QA76
.
R35
2011b