1. A programming language
پدیدآورنده : Iverson, Kenneth E.
موضوع : ، Programming languages )Electronic computers(,، Computer algorithms,، Electronic digital computers-- Programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
2. Algorithmic languages and calculi: IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 Feb. 1997, Alsace, France
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer programming-- Congresses,، Programming languages )Electronic computers(-- Congresses,، Computer algorithms-- Congresses
Classification :
QA
76
.
6
.
I1775
1997
3. An introduction to the general theory of algorithms
Author: Machtey, Michael.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(,، Computer algorithms,، Recursive functions
Classification :
QA
76
.
7
.
M3
4. Combinatorial complexes : a mathematical theory of algorithms
Author: Sellers, Peter H.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming,، Programming languages )Electronic computers(,، Computer algorithms
Classification :
QA
76
.
6
.
S448
5. Combinatorial complexes : a mathematical theory of algorithms
Author: Peter H. Sellers
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer programming,، Programming languages )Electronic computers(,، Algorithms
Classification :
QA
76
.
6
.
S448
6. Definition du language algorithmique algol 68
Author: Buffet, J
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Algorithms,، Algol )Computer program language(,، Programming languages )Electronic computers(
Classification :
QA
76
.
5
.
B8
7. How to solve it by computer
Author: / R. G. Dromey,Dromey
Library: Central Library of Astan Quds Razavi-Hall of Foreign Books (Khorasan Razavi)
Subject: Computer algorithms,Programming languages (Electronic computers)
Classification :
005
.
1
D786H
8. Interactive computer graphics : data structures, algorithms, languages
Author: Giloi, Wolfgang.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer graphics,، Interactive computer systems,، Algorithms,، Programming languages )Electronic computers(,، Data structures )Computer science(
Classification :
T
385
.
G54
9. LYaPAS: a programming language for logic and coding algorithms
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(,، Computer algorithms,، Switching theory
Classification :
QA
76
.
5
.
L6313
10. LYaPAS: a programming language for logic and coding algorithms
Author: / Edited by M. A. Gavrilov and A. D. Zakrevskii. Translated by Morton Nadler
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Programming languages (Electronic computers),Computer algorithms,Switching theory
Classification :
QA76
.
5
.
L613
11. Masterminds of programming /
Author: edited by Federico Biancuzzi and Shane Warden.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms.,Computer programmers, Interviews.,Computer programming.,Programming languages (Electronic computers)
Classification :
QA76
.
6
.
M37
2009
12. Masterminds of programming
Author: edited by Federico Biancuzzi, Shane Warden
Library: CENTRAL LIBRARY UNIVERCITY OF HORMOZGAN (Hormozgan)
Subject: ، Computer programming,، Programming languages )Electronic computers(,، Computer algorithms,، Computer programmers- Interviews,، Programmeertalen.- gtt,، Informatici.- gtt,، Ontwerpers.- gtt
Classification :
QA
76
.
6
.
M37
13. Masterminds of programming /
Author: edited by Federico Biancuzzi and Shane Warden.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms.,Computer programmers, Interviews.,Computer programming.,Programming languages (Electronic computers)
Classification :
QA76
.
6
.
M37
2009
14. Symposium on semantics of algorithmic languages
Author: / edited by E. Engeler
Library: Library of College of Science University of Tehran (Tehran)
Subject: Programming languages (Electronic computers) -- Semantics -- Congresses,Formal languages -- Congresses,Computer algorithms -- Congresses
Classification :
QA
76
.
7
.
S9
1971
15. The Logic of Partial Information
Author: by Areski Nait Abdallah.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
Classification :
QA76
.
7
B937
1995
16. The logic of partial information
Author: Nait Abdallah, Areski
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
N35
1995
17. The logic of partial information
Author: Areski Nait Abdallah
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers( -- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
N3
