QR-Code

Semantics of data types : Internat. symp., Sophia-Antipolis, France, /

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Burstall, R.
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	Berlin : Springer, 1984
Schriftenreihe:	Lecture notes in computer science Band 173
Online-Zugang:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Program correctness over abstract data types, with error-state semantics /
von: Tucker, John V.
Veröffentlicht: (1988)

Data types and structures /
von: Gotlieb, C.C, et al.
Veröffentlicht: (1978)

Data types and data structures /
von: Martin, Johannes J.
Veröffentlicht: (1986)

Semantic data modeling in relational environments /
von: Bekke, Johannes Hendrikus ter
Veröffentlicht: (1991)

An introduction to data types /
von: Cleaveland, J. Craig
Veröffentlicht: (1986)

Bibliography on abstract data types /
von: Kutzler, B., et al.
Veröffentlicht: (1983)

Algebraic semantics /
von: Guessarian, Iréna
Veröffentlicht: (1981)

The ASCIS data flow graph. Semantics and textual format /
von: Eijndhoven, J. T. J. van
Veröffentlicht: (1991)

On formal semantics of object systems with data and object attributes /
von: Parnitzke, Daniel
Veröffentlicht: (2001)

RECENT TRENDS IN DATA TYPE SPECIFICATION /
von: Wagner, Eric G.
Veröffentlicht: (1985)

Semantics of concurrent computation : proceedings of the international symposium, Evian, July 2-4. 1979, France /
von: Pnueli, Amir
Veröffentlicht: (1979)

Computer semantics : studies of algorithms, processors and languages /
von: Lee, John A. N.
Veröffentlicht: (1972)

Semantics. Foundations and applications : Proceedings, Beekbergen, The Netherlands, June 1 - 4, 1992 /
von: Back, R. J. R.
Veröffentlicht: (1993)

SQL Server Advanced Data Types JSON, XML, and Beyond /
von: Carter, Peter A.
Veröffentlicht: (2018)

Journal of Literary Semantics : An International Review
Veröffentlicht: (1972)

Semantics, around and beyond : an introductory course /
von: Kavka, Stanislav J. 1946-
Veröffentlicht: (2015)

Computational semantics : an introduction to artificial intelligence and natural language comprehension /
Veröffentlicht: (1975)

ALGEBRAIC APPROACHES TO PROGRAM SEMANTICS /
von: Manes, Ernest G.
Veröffentlicht: (1986)

Applied semantic web technologies /
Veröffentlicht: (2012)

Formal semantics of programming languages /
Veröffentlicht: (1972)

Metadata for semantic and social applications
von: Greenberg, Jane, et al.
Veröffentlicht: (2008)

Retrieval from semantic memory /
von: Noordman-Vonk, Wietske
Veröffentlicht: (1979)

Semantics, Pragmatics and Meaning Revisited The Case of Conditionals /
von: Sztencel, Magdalena
Veröffentlicht: (2018)

A structural approach to operational semantics /
von: Plotkin, Gordon D.
Veröffentlicht: (1981)

Designing cooperative systems. The use of theories and models : COOP'2000, Sophia Antipolis, France, May 23 - 26, 2000 /
von: De Michelis, Giorgio
Veröffentlicht: (2000)

The Semantics of Gradability, Vagueness, and Scale Structure Experimental Perspectives /
Veröffentlicht: (2018)

The use of theories and models in designing cooperative systems. Conference supplement : 4th internat. conf., Sophia Antipolis, France, May 23 - 26, 2000 /
von: Cabrol-Hatimi, Catherine
Veröffentlicht: (2000)

A Lexical Semantic Study of Chinese Opposites
von: Ding, Jing
Veröffentlicht: (2018)

Modeling with Rules Using Semantic Knowledge Engineering
von: Nalepa, Grzegorz J.
Veröffentlicht: (2018)

Jaakko Hintikka on Knowledge and Game-Theoretical Semantics
Veröffentlicht: (2018)

Pronouns in Embedded Contexts at the Syntax-Semantics Interface
Veröffentlicht: (2018)

Bridging the Semantic Gap in Image and Video Analysis
Veröffentlicht: (2018)

Mathematical foundations of programming semantics : international conference ; Manhattan, Kansas, April 11 - 12, 1985 /
von: Abdali, S. Kamal
Veröffentlicht: (1986)

ARS type switch disconnectors, PBS type fuse bases.
Veröffentlicht: (2009)

RATIONAL HOMOTOPY TYPE /
von: Wen-Tsün, Wu
Veröffentlicht: (1987)

Encyclopaedia of type faces /
von: Berry, W. Turner, et al.
Veröffentlicht: (1953)

Tube-type fryers
Veröffentlicht: (2011)

Energy minimization methods in computer vision and pattern recognition. Proceedings : EMMCVPR 2001, Sophia Antipolis, France, Sept. 3 - 5, 2001 /
von: Zerubia, Josiane
Veröffentlicht: (2001)

Boundaries Crossed, at the Interfaces of Morphosyntax, Phonology, Pragmatics and Semantics
Veröffentlicht: (2018)

ARS type fuse switch disconnectors. PBS type fuse bases
Veröffentlicht: (2011)