1. Algebraic structure theory of sequential machine
Author: HARTMANIS,J
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: SEQUENTIAL MACHINE THEORY
Classification :
QA
267
.
5
.
S4
H3


2. Applicable Algebra, Error - Correcting Codes, Combinatorics and Computer Algebra 4th International Conference,lechture notes in computer science
Author: Th. Beth, M.Clausen; Edited by G.Goos and J.Hartmanis
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Algebra - Data Processing - Congresses
Classification :
QA
155
.
7
.
E4
A67


3. GI Gesellschaft für Informatik e. V. 1. Fachtagung über Automatentheorie und Formale Sprachen :
Author: edited by G. Goos, J. Hartmanis, D. Gries, P. Brinch Hansen, G. Seegmüller, N. Wirth.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Informatique.,Langages formels.

4. LECTURE NOTES IN COMPUTER SCIENCE
پدیدآورنده : J .HARTMANIS
موضوع :
۳ نسخه از این کتاب در ۱ کتابخانه موجود است.
5. LECTURE NOTES IN COMPUTER SCIENCE(weeded)
Author: J. HARTMANIS
Library: Central Library of Ahvaz Faculty of Petroleum (Khuzestan)
Subject:
Classification :
C
,
193


6. Lecture notes in computer science, 1-100
Author: edited by G. Goos and J. Hartmanis
Library: Library of College of Science University of Tehran (Tehran)
Subject: Periodicals, Indexes ، Computers
Classification :
QA
75
.
5
.
L4


7. Mathematical Foundations of Computer Science 1990
Author: Rovan, B.; editor by G.Goos and J. Hartmanis
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Computer Science - Mathematics - Congresses
Classification :
QA
76
.
9
.
M35
S96
1660


8. Mathematical foundations of computer science
Author: Edited by G. Goos and J. Hartmanis )and also( Edited by A. Blikle
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Computer programming
Classification :
QA
267
.
5
.
S4
S89
1974


9. Mathematical foundations of computer science, 1975, 4th Symposium, Marianske, Lazne, September 1-5, 1975
Author: Edited by G. Goos and J. Hartmanis
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Sequential machine theory,Congresses ، Formal languages
Classification :
QA
267
.
5
.
S4
S89
1975


10. Tapsof: Proceedings of the International Joint Conference on theary and Practice of Software Development
Author: Internation Joint Conference on theory and Practice of Software Development,edited by G.Goos and J. Hartmanis
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Computer Software - Development - Cpngresses,، Software Engineering - Congresses,، Trees )Graph theay(- Data Processing - Congresses
Classification :
QA
76
.
76
.
D47
I57
1985

