241. Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000 : proceedings
Author: Jack Davidson, Sang Lyul Min, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Embedded computer systems,Congresses ، Programming languages )Electronic computers(,Congresses ، Compilers )Computer programs(
Classification :
QA
76
.
L28
Vol
.
1985
242. Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000 : proceedings
Author: ACM SIGPLAN Workshop LCTES 2000, Vancouver, 2000
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Embedded computer systems- Programming- Congresses ► Programming languages (Electronic computers)- Congresses ► Compilers (Computer programs)- Congresses
Classification :
005
A184l
243. Languages, methodologies, and development tools for multi-agent systems :
Author: Mehdi Dastani ... [et al.] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses.,Intelligent agents (Computer software), Congresses.,Programming languages (Electronic computers), Congresses.
Classification :
QA76
.
76
.
I58
L33
2009
244. Languages, methodologies, and development tools for multi-agent systems :
Author: Mehdi Dastani ... [et al.] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses.,Intelligent agents (Computer software), Congresses.,Programming languages (Electronic computers), Congresses.
Classification :
QA76
.
76
.
I58
L33
2009
245. Logic and computer science
Author: / S. Homer... [et al.]
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Logic, Symbolic and mathematical -- Congresses,Programming language (Electronic Computers)--Syntax,Computational complextiy -- Congresses
Classification :
QA
9
.
A1L6
1990
246. Logic at Botik '89: symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Computers architecture,، Programming language )Electronic Computers(
Classification :
QA
75
.
5
.
B67
1989
247. Logic, language, and computation
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer logic ; Congresses. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computational linguistics ; Congresses. ;
248. Logic, language, and computation
Author: / Balder D. ten Cate, Henk W. Zeevat (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer logic--Congresses,Programming languages (Electronic computers)--Semantics--Congresses,Computational linguistics--Congresses
Classification :
QA
,
76
.
9
,.
L63
,
I565
,
2005
249. Logic, language, and computation :
Author: Nick Bezhanishvili [and others] (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational linguistics, Congresses,Computer logic, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses
Classification :
QA76
.
9
.
L63
I57
2009eb
250. Logic, language, and computation
Author: \ [edited by] Martin Aher...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer logic -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Computational linguistics -- Congresses.,منطق کامپیوتری -- کنگره ها,زبانهای برنامهنویسی کامپیوتر -- معنی شناسی -- کنگره ها ,زبانشناسی کامپیوتری -- کنگره ها
Classification :
QA
75
.
5
.
L644
2015
E-Book
,
251. Logic program synthesis and transformation - meta-programming in logic :
Author: Laurent Fribourg, Franco Turini (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming -- Congresses.,Logic programming.,Programming languages (Electronic computers) -- Congresses.
252. Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Congresses
Classification :
QA
76
.
6
.
L595
1984
253. Logics of Programs Workshop, Yorktown Heights, New York, May 1981
Author: edited by Dexter Kozen
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic digital computers - Programming
Classification :
QA
76
.
L4
v
.
131
254. Logics of Programs Workshop, Yorktown Heights, New York, May 1981
Author: Logics of Programs Workshop, )1891, Yorktown Heights, N.Y.(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Congresses
Classification :
QA
76
.
6
.
L594
1981
255. Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
Author: edited by Edmund Clarke and Dexter Kozen
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic digital computers - Programming
Classification :
QA
76
.
L4
v
.
164
256. Logics of programs and their applications: proceedings, pozan, August 23-29, 1980
Author: Symposium on Logics of Programs and their Applications )0891: Poznan, Poland(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Congresses
Classification :
QA
76
.
6
.
S91935
1980
257. MERLIN' 05 : proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding, September 30, 2005, Tallinn, Estoniia
Author: A. Momigliano & R. Pollack, editors; sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages )SIGPLAN(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Data processing -- Congresses ، Reasoning
Classification :
QA
76
.
7
.
A285
2005
258. Machine oriented higher level languages
Author: / edited by W. L. van der Poel and L. A. Maarssen
Library: Library of College of Science University of Tehran (Tehran)
Subject: Programming languages (Electronic computers) -- Congresses
Classification :
QA
76
.
I18
1973
259. Machine oriented higher level languages
Author:
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Programming languages (Electronic computers) -- Congresses
Classification :
76
.
I8
260. Machine oriented higher level languages : proceedings of the IFIP Working Conference on Machine Oriented Higher Level Languages, Trondheim, Norway, August 27-31, 1973
Author: IFIP Working Conference on Machine Oriented Higher Level Languages, 3791, Trondheim
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Congresses
Classification :
QA
76
.
I18
1973
