Sökresultat - electronics electronic computer (semantics or semantic)

1

Denotational semantics: the Scott-Strachey approach to programming language theory /

av Stoy, Joseph.
Publicerad 1977

Ämnen: “...Programming languages (Electronic computers) Semantics....”

Bok

2

Semantic structures : advances in natural language processing /

Publicerad 1989

Ämnen: “...Programming languages (Electronic computers) Semantics....”

Bok

3

Semantics of sequential and parallel programs /

av Best, Eike.
Publicerad 1996

Ämnen: “...Programming languages (Electronic computers) Semantics....”

Bok

4

Programming language syntax and semantics /

av Watt, David A.
Publicerad 1990

Ämnen: “...Programming languages (Electronic computers) Semantics....”

Bok

5

The formal semantics of programming languages : an introduction /

av Winskel, G.
Publicerad 1993

Ämnen: “...Programming languages (Electronic computers) Semantics....”

Bok

6

Formal syntax and semantics of programming languages : a laboratory based approach /

av Slonneger, Kenneth.
Publicerad 1994

Ämnen: “...Programming languages (Electronic computers) Semantics....”

Bok

7

Journal on data semantics IV /

Publicerad 2005

Ämnen: “...Programming languages (Electronic computers) Semantics....”

Bok

8

Predicate calculus and program semantics /

av Dijkstra, Edsger W.
Publicerad 1989

Ämnen: “...Programming languages (Electronic computers) Semantics....”

Bok

9

Mathematical foundations of programming semantics : 5th international conference, Tulane University...

Publicerad 1990

Ämnen: “...Programming languages (Electronic computers) Semantics Congresses....”

Bok

10

A theory of programming language semantics /

av Milne, Robert.
Publicerad 1976

Ämnen: “...Programming languages (Electronic computers) Semantics....”

Bok

11

A theory of programming language semantics

av Milne
Publicerad 1976

Ämnen: “...Programming languages (Electronic computers) Semantics...”

Bok

12

Geospatial Semantics and the Semantic Web Foundations, Algorithms, and Applications /

Publicerad 2011

Innehållsförteckning: “...Representing and Utilizing Changing Historical Places as an Ontology Time Series -- Semantic...”
Hämta fulltext

Elektronisk E-bok

13

Cognitive modeling and verbal semantics : a representational framework based on UML /

av Schalley, Andrea C
Publicerad 2004

Ämnen: “...Programming languages (Electronic computers) Semantics....”

Bok

14

Social Semantics The Search for Meaning on the Web /

av Halpin, Harry., Halpin, Harry.
Publicerad 2013

Innehållsförteckning: “...Introduction -- Architecture of the World Wide Web -- The Semantic Web -- Theories of Semantics...”
Hämta fulltext

Elektronisk E-bok

15

Mathematical aspects of logic programming semantics /

av Hitzler, Pascal.
Publicerad 2011

Ämnen: “...Programming languages (Electronic computers) Semantics....”

Bok

16

Concrete Semantics With Isabelle/HOL /

av Nipkow, Tobias., Nipkow, Tobias., Klein, Gerwin.
Publicerad 2014

Innehållsförteckning: “... -- Types -- Program Analysis -- Denotational Semantics -- Hoare Logic -- Abstract Interpretation -- App. A...”
Hämta fulltext

Elektronisk E-bok

17

The Semantic Web Semantics for Data and Services on the Web /

av Kashyap, Vipul., Kashyap, Vipul., Bussler, Christoph., Moran, Matthew.
Publicerad 2008

Innehållsförteckning: “...Preliminaries -- Use Case and Functional Requirements -- Information Aspects of the Semantic Web...”
Hämta fulltext

Elektronisk E-bok

18

The Semantic Web 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings /

Publicerad 2008

Innehållsförteckning: “... and Reasoning Interval-Based Temporal Knowledge -- A Formal Semantics-Preserving Translation from Fuzzy...”
Hämta fulltext

Elektronisk E-bok

19

The Semantic Web Real-World Applications from Industry /

Publicerad 2008

Innehållsförteckning: “... Data Integration For Biomedical Research -- Active Semantic Electronic Medical Records -- Education...”
Hämta fulltext

Elektronisk E-bok

20

Universal Semantic Communication

av Juba, Brendan., Juba, Brendan.
Publicerad 2011

Innehållsförteckning: “..., Computational Complexity of Goals -- Chap. 6, Theory of Goal-Oriented Communication in Infinite Executions...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen