61. Introduction to the theory of programming languages
پدیدآورنده: / Bertrand Meyer
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Programming languages (Electronic computers),Programming languages (Electronic computers) -- Semantics
رده :
QA
76
.
7
.
M49
1988
62. Introduction to the theory of programming languages
پدیدآورنده: / Bertrand Meyer
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Programming languages (Electronic computer),Programming languages (Electronic computers) - Semantics
رده :
QA76
.
7
.
M49
1988
63. Journal on data semantics I
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Programming languages (Electronic computers) ; Semantics. ;
64. Journal on data semantics I
پدیدآورنده: / Stefano Spaccapiertra, Sal March, Karl Aberer (eds.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Programming languages (Electronic computers)--Semantics,Semantics.
65. Journal on data semantics I
پدیدآورنده: / Stefano Spaccapietra ... [et al.], (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Database management.,Programming languages (Electronic computers)--Semantics
66. Journal on data semantics I
پدیدآورنده: Stefano Spaccapietra, Sal March, Karl Aberer )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Semantic web,، Database management,Semantics ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2800
67. Journal on data semantics II
پدیدآورنده: Stefano Spaccapietra... ]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Semantic web,، Database management,، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
3360
68. Journal on data semantics VI
پدیدآورنده: / Stefano Spaccapietra, Karl Aberer, Philippe Cudrae-Mauroux (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Database management.,Programming languages (Electronic computers)--Semantics
69. Journal on data semantics VI
پدیدآورنده: / Stefano Spaccapietra (ed.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Programming languages (Electronic computers)--Semantics,Database management.
70. Journal on data semantics VII
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Database management. ; Programming languages (Electronic computers) ; Semantics. ; Semantic integration (Computer systems) ; Semantic networks (Information theory) ;
71. Journal on data semantics VII
پدیدآورنده: / Stefano Spaccapietra ... [et al.] (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Semantic Web.,Ontology.,Semantics--Data processing,Programming languages (Electronic computers)--Semantics
72. Journal on data semantics VIII
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Semantic Web. ; Ontology. ; Semantics ; Data processing. ; Programming languages (Electronic computers) ; Semantics. ;
73. Journal on data semantics XIII
پدیدآورنده: Stefano Spaccapietra, Esteban Zimányi, Song, Il-Yeol (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Ontology,Programming languages (Electronic computers)-- Semantics,Semantic Web,Semantics-- Data processing
رده :
QA76
.
7
.
J63
2009eb
74. Language, logic, and computation :
پدیدآورنده: Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational linguistics, Congresses.,Computer logic, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Computational linguistics.,Computer logic.,Programming languages (Electronic computers)-- Semantics.
رده :
QA76
.
9
.
L63
75. Languages for paralle architecturres
پدیدآورنده: / edited by j. w . de bakker
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Parallel Processing (Computer Science),Programming languages ( Electronic computers) --Semantics,Computer architecture
رده :
QA
76
.
6
.
L3353
1989
76. Logic, language, and computation
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer logic ; Congresses. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computational linguistics ; Congresses. ;
77. Logic, language, and computation
پدیدآورنده: / Balder D. ten Cate, Henk W. Zeevat (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer logic--Congresses,Programming languages (Electronic computers)--Semantics--Congresses,Computational linguistics--Congresses
رده :
QA
,
76
.
9
,.
L63
,
I565
,
2005
78. Logic, language, and computation :
پدیدآورنده: Nick Bezhanishvili [and others] (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational linguistics, Congresses,Computer logic, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses
رده :
QA76
.
9
.
L63
I57
2009eb
79. Logic, language, and computation
پدیدآورنده: \ [edited by] Martin Aher...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer logic -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Computational linguistics -- Congresses.,منطق کامپیوتری -- کنگره ها,زبانهای برنامه‌نویسی کامپیوتر -- معنی شناسی -- کنگره ها ,زبان‌شناسی کامپیوتری -- کنگره ها
رده :
QA
75
.
5
.
L644
2015
E-Book
,
80. Logic of Domains
پدیدآورنده: Guo-Qiang Zhang
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
Z47
1991
