821. Semantics of digital circuits
Author: Carlos Delgadokloos
Library: Vali Asr University Central Library (Kerman)
Subject: Stream)computer harware description language(
Classification :
TK
7885
.
7
.
D4
,
S4
1987
822. Semantics of genitive objects in Russian :
Author: Olga Kagan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
823. Semantics of natural language
Author: edited by Donald Davidson and Gilbert Herman
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Philosophy ، Language and languages,، Semantics
Classification :
P
106
.
S45
1972
824. Semantics of parallelism :
Author: Michael W. Shields
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel processing (Electronic computers),Programming languages (Electronic computers) -- Semantics
Classification :
QA76
.
58
M534
1997
825. Semantics of parallelism: non-interleaving representation of behaviour
Author: Shields, M. W. )Michael William(
Library: Central Library of Agricultural (Tehran)
Subject: $AParallel processing )Electronic computers(,$AProgramming languages )Electronic computers( -- Semantics
Classification :
QA
76
.
58
.
S537
1997
826. Semantics of programming languages
Author: Tennent, R.D.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Semantics ، Programming languages )Electronic computers(
Classification :
QA
76
.
7
.
T473
1991
827. Semantics of programming languages
Author: / Carl A. Gunter
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Programming languages (Electronic computers) -- Semantics
Classification :
QA
76
.
7
.
G86
1992
828. Semantics of programming languages
Author: TENNENT,R D
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: PROGRAMMING LANGUAGE )ELECTRONIC
Classification :
QA
76
.
7
.
T473
1990
829. Semantics of programming languages
Author: Tennent, R. D.,4491-, R.D. Tennent
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Programming languages )Electronic computers(- Semantics
Classification :
QA
76
.
7
.
T473
830. Semantics of programming languages and model theory
Author: / edited by Manfred droste and yuri gurevich
Library: Central Library and Document Center of Arak University (Markazi)
Subject: Programming languages (Electronic Computers)-- Semantics
Classification :
005
.
131
S471
831. Semantics of programming languages and model theory
Author: edited by Manfred Droste and Yuri Gurevich
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers( -- Semantics
Classification :
QA
76
.
7
.
S4
832. Semantics of programming languages and model theory
پدیدآورنده :
موضوع : ، Programming languages )Electronic computers(-- Semantics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
833. Semantics of programming languages by R. D tennent
Author:
Library: Library of Faculty Literature of University of Tehran (Tehran)
Subject: Programming languages (Electronic Computers) - semanties
834. Semantics of sequential and parallel programs, Semantik. English
Author: Best, Eike
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Semantics,، Electronic digital computers-- Programming
Classification :
QA
76
.
6
.
B4765
1996
835. Semantics of specification languages (SoSL) :
Author: Ed. by D.J. Andrews, J.F. Groote and C.A. Middelburg
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QA76
.
7
E339
1994
836. Semantics of specification languages (SoSL) :
Author: Ed. by D.J. Andrews, J.F. Groote and C.A. Middelburg
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
837. Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science
Author: Ecole de printemps dinformatique theorique, )0991, La Roche-Posay, France(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Parallel processing )Electronic computers(,، Programming languages )Electronic computers(-- Semantics
Classification :
QA
76
.
58
.
E26
1990
838. Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science
Author: I. Guessarian )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Parallel processing )Electronic computers(,، Programming languages )Electronic computers( -- Semantics
Classification :
QA
76
.
L28
Vol
.
469
839. Semantics of the probabilistic typed lambda calculus : Markov Chain semantics, termination behavior, and denotational semantics
Author: Draheim, Dirk, 9691-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers( -- Semantics,Mathematics ، Programming languages )Electronic computers(
Classification :
QA
76
.
7
.
D72S4
840. Semantics of type theory : correctness, Completeness and independence results
Author: Streicher, Thomas, 8591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers( -- Semantics,، Functional programming )Computer science(,، Type theory
Classification :
QA
76
.
7
.
S85
