1. A theory of programming language semantics
پدیدآورنده : Milne, Robert
موضوع : ، Programming languages )Electronic computers( -- Semantics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
2. Advanced R
المؤلف: Hadley Wickham.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: MATHEMATICS / Probability & Statistics / General,Programming languages (Electronic computers),R (Computer program language)
رده :
QA276
.
45
.
R3
H335
2019
3. Advances in computers.
المؤلف: edited by Morris Rubinoff and Marshall C. Yovits.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computers.,Electronic data processing.,Computers.,Electronic data processing.,REFERENCE-- Questions & Answers.
رده :
QA76
.
A38eb
vol
.
13
4. An Attribute grammar for the semantic analysis of ADA
المؤلف: J. Uhl [and others].
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Ada (Computer program language),Ada (Langage de programmation),Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
73
.
A35
J845
1982
5. An Attribute grammar for the semantic analysis of ADA
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Ada )Computer program language(,، Programming languages )Electronic computers(-- Semantics
رده :
QA
76
.
73
.
A35
.
A87
1982
6. Automata, languages, and programming :
المؤلف: edited by Jan Paredaens.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer programming -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers) -- Congresses.
7. CONCUR'91 :
المؤلف: J.C.M. Baeten, J.F. Groote (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.
8. Communicating Process Architectures 2002 :
المؤلف: edited by James Pascoe [and others].
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer multitasking, Congresses.,occam (Computer program language), Congresses.,Parallel processing (Electronic computers), Congresses.,Fonctionnement multitâche, Congrès.,Occam (Langage de programmation), Congrès.,Parallélisme (Informatique), Congrès.,Computer multitasking.,COMPUTERS-- Programming Languages-- C♯,COMPUTERS-- Programming Languages-- Java.,COMPUTERS-- Programming Languages-- Pascal.,occam (Computer program language),Parallel processing (Electronic computers)
رده :
QA76
.
73
.
O2
W67
2002eb
9. Complementary Definitions of Programming Language Semantics.
المؤلف: J E Donahue
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Programming languages (Electronic computers),Semantics.
رده :
QA76
.
7
J436
2007
10. Complementary definitions of programming language semantics
پدیدآورنده : Donahue, James Edward
موضوع : ، Programming languages )Electronic computers(,، Pascal )Computer program language(,، Semantics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
11. Computation of language : an essay on syntax, semantics and pragmatics in natural man-machine communication
المؤلف: Hausser, Roland R.
المکتبة: (طهران)
موضوع: ، Artificial intelligence,، Programming languages )Electronic computers(,، Machine theory
رده :
Q
335
.
H39
1989
12. Computational Semantics with Functional Programming
المؤلف: / Jan Van Eijck and Christina Unger
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Programming languages (Electronic computers) -- Semantics,Functional programming (Computer science),Haskell (Computer program language),زبان های برنامه‌نویسی کامپیوتر -- معنی شناسی,زبان های برنامه نویسی تابعی (علوم کامپیوتر),هسکل (زبان برنامه نویسی کامپیوتر)
رده :
QA76
,.
7
.
E43
2010
13. Computational semantics with functional programming
المؤلف: \ Jan van Eijck and Christina Unger.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Programming languages (Electronic computers)-- Semantics.,Functional programming (Computer science),Haskell (Computer program language),زبان های برنامه نویسی کامپیوتر -- معنی شناسی ,زبان های برنامه نویسی تابعی -- علوم کامپیوتر,(هسکل(زبان برنامه نویسی کامپیوتر
رده :
QA
76
.
7
.
E35C6
2010
E-Book
,
14. Computational semantics with functional programming /
المؤلف: Jan van Eijck and Christina Unger.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Functional programming (Computer science),Haskell (Computer program language),Programming languages (Electronic computers)-- Semantics.,Computerlinguistik,COMPUTERS-- Programming-- General.,Functional programming (Computer science),Funktionale Programmierung,HASKELL,Haskell (Computer program language),Programming languages (Electronic computers)-- Semantics.,Semantik
رده :
QA76
.
7
.
E43
2010eb
15. Current trends in concurrency :
المؤلف: edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.
16. Denotational semantics :
المؤلف: David A. Schmidt.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Programming languages (Electronic computers)-- Semantics.,Langages de programmation-- Sémantique.,Programmiersprache,Programming languages (Electronic computers)-- Semantics.,Semantik
رده :
QA76
.
7
.
S34
1986
17. Denotational semantics : the Scott-Strachey approach to programming language theory
المؤلف: Stoy, Joseph
المکتبة: (طهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
7
.
S74
18. Formal syntax and semantics of Java
المؤلف: Jim Alves-Foss )ed.(
المکتبة: (طهران)
موضوع: ، Java )Computer program language(,، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
1523
19. Formal syntax and semantics of Java
المؤلف: / Jim Alves-Foss (ed.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Java (Computer program language),Programming languages (Electronic computers)--Semantics
رده :
QA
,
76
.
73
,.
J38
,
F67
,
1999
