1. A practical introduction to denotational semantics
پدیدآورنده : Allison, Lloyd
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
7
.
A45
1987
2. A theory of programming language semantics
پدیدآورنده : Milne, Robert
موضوع : ، Programming languages )Electronic computers(-- Semantics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. Algebraic Informatics
پدیدآورنده : \ Andreas Maletti (Ed.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Algebra -- Data processing -- Congresses.,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار ,زبان‌های برنامه‌نویسی کامپیوتر -- معنی شناسی -- کنگره ها ,جبر -- داده‌پردازی -- کنگره ها
رده :
QA
76
.
76
.
A55
2015
E-Book
,
4. Algebraic approaches to program semantics
پدیدآورنده : Manes, Ernest G
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Algebra
رده :
QA
76
.
7
.
M34
1986
5. Algebraic approaches to program semantics
پدیدآورنده : Manes, Ernest G.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming languages )Electronic computers(-- Semantics,، Algebra
رده :
QA
76
.
7
.
M34
1986
6. Algebraic informatics :
پدیدآورنده : Miroslav Ćirić, Manfred Droste, Jean-Éric Pin (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra-- Data processing, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Algebra-- Data processing.,Programming languages (Electronic computers)-- Semantics.
رده :
QA76
.
7
7. Algebraic informatics :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Programming languages (Electronic computers) ; Semantics ; Congresses. ;
8. An Attribute grammar for the semantic analysis of ADA
پدیدآورنده : J. Uhl [and others].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Ada (Computer program language),Ada (Langage de programmation),Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
73
.
A35
J845
1982
9. An Attribute grammar for the semantic analysis of ADA
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Ada )Computer program language(,، Programming languages )Electronic computers(-- Semantics
رده :
QA
76
.
73
.
A35
.
A87
1982
10. Applied semantics : International Summer School, APPSEM 2000, Caminha, Portugal, September, 9-15, 2000 : advanced lectures
پدیدآورنده : Gilles Barthe...]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
2395
11. Attribute grammars, applications and systems : international summer school SAGA, Prague, Czechoslovakia, June 4-13, 1991 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming languages )Electronic computers(-- Semantics-- Congresses,، Programming languages )Electronic computers(-- Syntax-- Congresses
رده :
QA
76
.
7
.
A783
1991
12. Attribute grammars. applications and systems : international summer school SAGA, Prague, Czechoslovakia, June 4-13, 1991 : proceedings
پدیدآورنده : H. Alblas, B. Melichar, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics,Syntax -- Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
545
13. Cognitive modeling and verbal semantics :
پدیدآورنده : by Andrea C. Schalley
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Cognitive grammar,Programming languages (Electronic computers)-- Semantics,Semantics-- Mathematical models,UML (Computer science)
14. Compiling natural semantics
پدیدآورنده : Pettersson, Mikael
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
1549
15. Compiling natural semantics
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Programming languages (Electronic computers) ; Semantics. ;
16. Complementary Definitions of Programming Language Semantics.
پدیدآورنده : J E Donahue
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Programming languages (Electronic computers),Semantics.
رده :
QA76
.
7
J436
2007
17. Complementary definitions of programming language semantics
پدیدآورنده : Donahue, James Edward
موضوع : ، Programming languages )Electronic computers(,، Pascal )Computer program language(,، Semantics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
18. Computational Semantics with Functional Programming
پدیدآورنده : / Jan Van Eijck and Christina Unger
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Programming languages (Electronic computers) -- Semantics,Functional programming (Computer science),Haskell (Computer program language),زبان های برنامه‌نویسی کامپیوتر -- معنی شناسی,زبان های برنامه نویسی تابعی (علوم کامپیوتر),هسکل (زبان برنامه نویسی کامپیوتر)
رده :
QA76
,.
7
.
E43
2010
19. Computational semantics with functional programming
پدیدآورنده : \ Jan van Eijck and Christina Unger.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Programming languages (Electronic computers)-- Semantics.,Functional programming (Computer science),Haskell (Computer program language),زبان های برنامه نویسی کامپیوتر -- معنی شناسی ,زبان های برنامه نویسی تابعی -- علوم کامپیوتر,(هسکل(زبان برنامه نویسی کامپیوتر
رده :
QA
76
.
7
.
E35C6
2010
E-Book
,
20. Computer semantics; studies of algorithms, processors, and languages
پدیدآورنده : Lee, John A. N.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Algorithms,، Programming languages )Electronic computers(-- Semantics
رده :
QA
76
.
6
.
L38
