1. .....................
Author: Salomaa, Arto
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Formal language
Classification :
QA
267
.
3
.
S24
2. Automata, languages and programming : Fourth Colloquium, University of Turku, Finland, July 18-22, 1977
Author: edited by Arto Salomaa and Magnue Steinby
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
Classification :
QA
76
.
L28
Vol
.
52
3. Automata, languages and programming : Fourth colloquium, University of Turku, Finland, July 18-22, 1977
Author: edited by Arto Salomaa and Magnus Steinby
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computers(
Classification :
QA
267
.
5
.
S4
C63
1977
4. Automata, languages and programming : 15th International Colloquium, Tampere, Finland, July 11-15, 1988 : Proceedings
Author: Timo Lepisto, Arto Salomaa )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
Classification :
QA
76
.
L28
Vol
.
317
5. Automata-theoretic aspects of formal power series
Author: Salomaa, Arto, 4391-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Sequential machine theory,، Formal languages,، Power series
Classification :
QA
267
.
5
.
S4S29
1978
6. Computation and automata
Author: Salomaa, Arto
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computable functions,، Computational complexity,، Sequential machine theory
Classification :
QA
9
.
59
.
S25
1985
7. Computation and automata
Author: Salomaa, Arto
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Computable functions,، Computational complexity,Sequential machine theory
Classification :
QA
9
.
59
.
S25
1985
8. Computation and automata
Author: Salomaa, Arto, 4391-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computable functions,، Computational complexity,، Sequential machine theory
Classification :
QA
9
.
59
.
S25
9. Cornerstones of undecidability /
Author: Grzegorz Rozenberg and Arto Salomaa
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Decidability (Mathematical logic),Unsolvability (Mathematical logic),équation diophantienne,indécidabilité,Logique,Mathematical logic,récursivité,théorie démonstration
Classification :
QA9
.
63
.
R69
1994
10. DNA computing :
Author: by Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Molecular computers.
11. Developments in language theory : 5th International Conference, DLT 2001, Wien, Austria, July 16-21, 2001 : revised papers
Author: Werner Kuich, Grzegorz Rozenberg, Arto Salomaa )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal languages
Classification :
QA
76
.
L28
Vol
.
2295
12. Formal languages
Author: Salomaa, Arto.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Formal languages
Classification :
QA
267
.
3
.
S24
13. Formal languages
Author: Salomaa, Arto
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Formal languages
Classification :
QA
267
.
3
.
S24
14. Formal languages
Author: Arto Salomaa,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Formal languages
Classification :
QA
.
S24
267
.
3
1987
15. Formal languages
Author: Salomaa, Arto.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Formal languages
Classification :
QA
267
.
3
.
S24
16. Formale Sprachen
Author: von Arto K. Salomaa.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.
Classification :
QA267
.
3
V663
1978
17. Handbook of formal languages. Volume 2, Linear modeling. Background and application
Author: edited by Grzegorz Rozenberg, Arto Salomaa.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages.
Classification :
QA267
.
3
E358
2011
18. J. UCS :
Author: Hermann Maurer, Cristian Calude, Arto Salomaa (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics.,Computer science.,Information technology.
19. L systems
Author: Edited by Grzegorz Rozenberg and Arto Salomaa
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، L systems
Classification :
QH
491
.
L2
20. Lindenmayer Systems :
Author: edited by Grzegorz Rozenberg, Arto Salomaa.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Software engineering.,Translators (Computer programs)
Classification :
T385
.
E358
1992
