1321. Symbol manipulation languages and techniques. Proceedings of the IFIP Working Conference on Symbol Manipulation Languages
Author: IFIP Working Conference on Symbol Manipulation Languages, )6691, Pisa, Italy(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Congresses
Classification :
QA
76
.
5
.
I34
1966
1322. Symposium on Semantics of Algorithmic Languages
Author: edited by E. Engeler
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Algorithms
Classification :
QA
3
.
L28
Vol
.
188
1323. Symposium on semantics of algorithmic languages
Author:
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Programming languages (Electronic computers)- Semantics- Congresses►Formal languages- Congresses►Computer algorithms- Congresses
Classification :
3
.
L28
,
no
.
188
1324. Symposium on semantics of algorithmic languages
Author: edited by E. Engeler
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Formal languages,Congresses ، Computer algorithms
Classification :
QA
1
.
L4
v
.
188
1325. 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
1326. Symposium on semantics of algorithmic languages
Author: edited by E.Engeler
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Algorithms
Classification :
QA
3
.
L28
no
.
188
1327. Synchronous programming of reactive systems
Author: / by Nicolas Halbwachs
Library: Library of College of Science University of Tehran (Tehran)
Subject: Real-time programming,Programming languages (Electronic computers)
Classification :
QA
76
.
54
.
H36
1993
1328. Syntax-directed semantics :
Author: Zoltán Fülöp, Heiko Vogler.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Codegenerierung,Programming languages (Electronic computers) -- Semantics.,Transducers.
Classification :
QA76
.
7
Z658
1998
1329. Syntax of programming languages: theory and practice
Author: Backhouse, Roland C.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Syntax ، Programming languages )Electronic computers(
Classification :
QA
76
.
7
.
B3
1330. System simulation : programming styles and languages
Author: Kreutzer, Wolfgang.
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Digital computer simulation,، Electronic digital computers- Programming,، Programming languages )Electronic computers(
Classification :
QA
76
.
9
.
C65K74
1986
1331. System simulation:programming styles & languages
Author: KREUTZER,WOLFGANG
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: DIGITAL COMPUTER SIMULATION , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , PROGRAMMING LANGUAGES
Classification :
QA
76
.
9
.
C65
K74
1332. Systems software tools
Author: Ted J. Biggerstaff
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Programming languages )Electronic computers( , IBM personal computer - Programming , C )Computer program language(
Classification :
QA
76
.
7
.
B52
1333. TEMPO : a unified treatment of binding time and parameter passing concepts in programming languages
Author: Neil D. Jones, Steven S. Muchnick
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، TEMPO )Computer program language(,، Programming languages )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
66
1334. TEMPO : a unified treatment of binding time and parameter passing concepts in programming languages
Author: Jones, Neil D.
Library: Central Library and Documentation Center (Kerman)
Subject: ، TEMPO )Computer program language(,، Programming languages )Electronic computers(
Classification :
QA
76
.
L4
v
.
66
1335. Taschenbuch fur Programmierer
Author: Mrachacz, Hans-Peter
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Handbooks, manuals, etc ، Programming languages )Electronic Computers(,Handbooks, manuals, etc ، Electronic digital computers-- Programming
Classification :
QA
76
.
5
.
M72
1336. Ten years of concurrency semantics : selected papers of the Amsterdam Concurrency Group
Author: editors, J.W. de Bakker and J.J.M.M. Rutten
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Parallel programming )Computer science( - Congresses , Programming languages )Electronic computers( - Semantics - Congresses
Classification :
QA
76
.
642
.
T45
1992
1337. The Agent Modeling Language--AML
Author: / Radovan Cervenka, Ivan Trencansky
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Intelligent agents (Computer software),Computer software--Development,Programming languages (Electronic computers)
Classification :
QA
,
76
.
76
,.
I58
,
C47
,
2007
1338. The Art of Modelling Computational Systems :
Author: Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer security.,Programming languages (Electronic computers),Computer security.,Programming languages (Electronic computers)
Classification :
QA76
.
7
.
A78
2019
1339. The C answer book :
Author: Clovis L. Tondo, Scott E. Gimpel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: C (Computer program language), Problems, exercises, etc.,Programming languages (Electronic computers)
1340. The Imperative future :principles of executable temporal logic
Author: edited by Howard Barringer ... ]et al.[
Library: Central Library and Information Center of Birjand University (South Khorasan)
Subject: Development ، Computer software,، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
76
.
D47
I47
1996
