QR-Code

Mathematical foundations of programming semantics : international conference ; Manhattan, Kansas, April 11 - 12, 1985 /

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Abdali, S. Kamal (VerfasserIn)
Körperschaft:	Mathematical foundations of programming semantics
Format:	Tagungsbericht Buch
Sprache:	Englisch
Veröffentlicht:	Berlin : Springer, 1986
Schriftenreihe:	Lecture notes in computer science ; vol. 239
Online-Zugang:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

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

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

Foundations of mathematical biology.
Veröffentlicht: (1972)

Foundations of mathematical biology.
Veröffentlicht: (1972)

Foundations of mathematical biology.
Veröffentlicht: (1973)

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

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

Mathematical foundations of quantum theory /
von: Dirac, Paul A. M.
Veröffentlicht: (1978)

The mathematical foundation of structural mechanics /
von: Hartmann, Friedel
Veröffentlicht: (1985)

Mathematical Foundations of Computational Electromagnetism
von: Assous, Franck
Veröffentlicht: (2018)

Mathematical foundations for design : civil engineering systems /
von: Stark, Robert M., et al.
Veröffentlicht: (1972)

Foundations of the mathematical theory of structures /
von: Arantes e Oliveira, E. R. de
Veröffentlicht: (1975)

FOUNDATIONS OF LOGIC PROGRAMMING /
von: Lloyd, John Wylie
Veröffentlicht: (1984)

Foundation of programming with Pascal /
von: Moore, Lawrie
Veröffentlicht: (1980)

The foundations of intuitionistic mathematics : especially in relation to recursive functions /
von: Kleene, Stephen Cole, et al.
Veröffentlicht: (1965)

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

Fractal geometry. Mathematical foundations and applications /
von: Falconer, Kenneth
Veröffentlicht: (1995)

Foundations of the mathematical theory of electromagnetic waves /
von: Müller, Claus
Veröffentlicht: (1969)

Foundation mathematics for the physical sciences student solution manual /
von: Riley, K. F. 1936-, et al.
Veröffentlicht: (2011)

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

Formal foundations of correct programming /
von: Novitzká, Valerie
Veröffentlicht: (1999)

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

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

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)

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

A first course in the mathematical foundations of thermodynamics /
von: Owen, David R.
Veröffentlicht: (1984)

Foundations of computational mathematics, Hong Kong 2008 /
von: Bürgisser, Peter
Veröffentlicht: (2009)

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

Semantics of data types : Internat. symp., Sophia-Antipolis, France, /
von: Burstall, R.
Veröffentlicht: (1984)

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

MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE. 1986 : Proceedings of the 12th symposium, Bratislava, Czechoslovakia, August 25 - 29, 1986 /
von: Ablaev, F. M.
Veröffentlicht: (1986)

MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1984 : Proceedings, 11th symposium, Praha, Czechoslovakia, Sept. 3 - 7, 1984 /
von: Balcázar, José Luis
Veröffentlicht: (1984)

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

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

Mathematical programming : theory and methods /
von: Sinha, S. M.
Veröffentlicht: (2006)

Mathematical foundations of computer science : 3rd symposium at jadwisin near Warsaw, june 17 - 22, 1974 /
Veröffentlicht: (1975)

Mathematical programming : the state of the Art /
von: Carstens, Karl
Veröffentlicht: (1983)

Mathematical foundations of computer science. 1996 : Proceedings, Cracow, Poland, Sept. 2 - 6, 1996 /
von: Clarke, Edmund M. Jr
Veröffentlicht: (1996)