141. Predicate transformer semantics
پدیدآورنده : Manes, Ernest G.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Semantics,، Computer science-- Mathematics
رده :
QA
76
.
7
.
M342
1992
142. Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation : )PEPM'04( : August 24-25, 2004, Verona, Italy
پدیدآورنده : Sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages )SIGPLAN(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
6
.
P45
2004
143. Proceedings of the 2003 ACM SIGPLAN workshop on Partial Evaluation and semantics-based program manipulation : )PEPM'03( : San Diego, California, USA, June 17th, 2003
پدیدآورنده : sponsored by the Association for Computing Machinery Special Interest Group on Programming Language )ACM SIGPLAN(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
6
.
P45
2003
144. Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM '91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991
پدیدآورنده : / sponsored by the ACM Special Interest Group SIGPLAN in cooperation with IFIP
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع : Programming languages (Electronic computers) - Semantics - Congresses,Electronic digital computers - Programming - Congresses
رده :
QA
76
.
7
.
S97
1991
145. Programmiersprachen und Programmentwicklung :
پدیدآورنده : herausgegeben von Hans Wössner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming -- Congresses.,Computer programming.,Programming languages (Electronic computers) -- Congresses.
رده :
QA76
.
7
H473
1982
146. Programmign language syntax and semantics
پدیدآورنده : / David A. Watt ,Watt
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Programming languages ( Electronic computers) --Semantics,Programming language (Electronic Computers)--Syntax
رده :
QA
76
.
7
.
W3
1991
147. Programming language semantics: imperative and object-oriented languages
پدیدآورنده : Kirkerud, Bjorn
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Semantics,، Object-oriented programming
رده :
QA
76
.
7
.
K57
148. Programming language semantics: imperative and object-oriented Languages
پدیدآورنده : Kirkerud, Bjorn
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Programming Languages )Electronic Computers( - Semantics , Object-oriented programming )Computer science(
رده :
QA
76
.
7
.
K57
1997
149. Programming language semantics: imperative and object-oriented languages
پدیدآورنده : Kirkerud, Bjorn.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Semantics ، Programming languages )Electronic computers(,، Object-oriented programming )Computer science(
رده :
QA
76
.
7
.
K57
1997
150. Programming language structures
پدیدآورنده : Organick, Elliott Irving
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Programming languages )Electronic computers( -- Syntax,، Data structures )Computer science(
رده :
QA
76
.
7
.
O73
151. Programming language structures
پدیدآورنده : Organick, Elliott Irving
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Programming languages )Electronic computers( -- Syntax,، Data structures )Computer science(
رده :
QA
76
.
7
.
O73
152. Programming languages :
پدیدآورنده : André Rauber Du Bois, Phil Trinder (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Programming languages (Electronic computers), Congresses
رده :
QA76
.
7
.
B73
2013
153. Programming languages and operational semantics :
پدیدآورنده : by Maribel Fernández
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Programming languages (Electronic computers)-- Semantics
رده :
QA76
.
7
.
F47
2014
154. Programming languages and systems :
پدیدآورنده : Hongseok Yang (edition)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Programming languages (Electronic computers), Congresses,Software engineering, Congresses
رده :
QA76
.
7
.
A65
2011
155. Programming languages and systems :
پدیدآورنده : Amal Ahmed (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.,Computer programming.,Computer science.,Computers / Programming.,Programming languages (Electronic computers)
رده :
QA76
.
6
156. Programming languages and systems :
پدیدآورنده : Sukyoung Ryu (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Computer Science.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software Engineering.,Systems analysis & design.
رده :
QA76
.
7
157. Query optimization by semantic veasoning
پدیدآورنده : / by Jonathan J. King
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Data base management,Information storage and retreval systems,Programming languages (Electronic computers) semantics
رده :
QA76
.
9
.
D3K55
1984
158. Realistic compiler generation
پدیدآورنده : Lee, Peter
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Compilers )Computer programs(,، Programming languages )Electronic computers(--Semantics
رده :
QA
76
.
76
.
C65
.
L44
1989
159. Scenarios : models, transformations and tools : International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers
پدیدآورنده : Stefan Leue, Tarja Johanna Systa )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Graphic methods -- Congresses ، Software engineering,Congresses ، Computer network protocols,Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
3466
160. Semantic techniques in quantum computation /
پدیدآورنده : edited by Simon Gay, Ian Mackie.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Programming languages (Electronic computers)-- Semantics.,Quantum computers.,Quantum theory.,COMPUTERS-- Hardware-- Mainframes & Minicomputers.,Programmiersprache,Programming languages (Electronic computers)-- Semantics.,Quantencomputer,Quantum computers.,Quantum theory.,Semantik
رده :
QA76
.
889
.
S36
2010
