Loading…
The denotational description of programming lanquaqes : an introduction /
Saved in:
| Main Author: | Gordon, Michael J. C. (Author) |
|---|---|
| Format: | Book |
| Language: | Czech |
| Published: |
New York :
Springer,
1979
|
| Series: | rz1
|
| Online Access: |
|
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Loading…
Cross section. Program description and user manual /
by: Jeppesen, Bo
Published: (1989)
by: Jeppesen, Bo
Published: (1989)
Loading…
Formal description of programming concepts Proceedings of the IFFP working conference on Formal description of programming concepts : St. Andrews, N. B., Canada Aug. 1-5, 1977 /
by: Paul, Manfred
Published: (1978)
by: Paul, Manfred
Published: (1978)
Loading…
Descriptive geometry /
by: Paré, E. G.
Published: (1965)
by: Paré, E. G.
Published: (1965)
Loading…
Descriptive geometry /
by: Knor, Martin
Published: (2009)
by: Knor, Martin
Published: (2009)
Loading…
The Vindeby project. A description /
by: Barthelmie, R. J.
Published: (1994)
by: Barthelmie, R. J.
Published: (1994)
Loading…
General description of fluidization /
by: Goossens, W. R. A.
Published: (1972)
by: Goossens, W. R. A.
Published: (1972)
Loading…
Descriptive set theory.. /
by: Moschovakis, Yiannis N.
Published: (1980)
by: Moschovakis, Yiannis N.
Published: (1980)
Loading…
Description of Situations An Essay in Contextualist Epistemology /
by: Venturinha, Nuno
Published: (2018)
by: Venturinha, Nuno
Published: (2018)
Loading…
HARDWARE DESCRIPTION LANGUAGES /
by: Hartenstein, R. W.
Published: (1987)
by: Hartenstein, R. W.
Published: (1987)
Loading…
Problems in descriptive geometry /
by: Arustamov, Ch. A.
Published: (1972)
by: Arustamov, Ch. A.
Published: (1972)
Loading…
Grammars and descriptions : studies in Text Theory and Text Analysis /
by: Bernstein, Jared
Published: (1977)
by: Bernstein, Jared
Published: (1977)
Loading…
LINPROG. A linear programming solver. Mathematical description and model applications /
by: Kirkegaard, Peter
Published: (1995)
by: Kirkegaard, Peter
Published: (1995)
Loading…
Resource description & access : revízia 2016 /
Published: (2017)
Published: (2017)
Loading…
The arrangement and description of archival materials /
by: Taylor, Hugh A., et al.
Published: (1980)
by: Taylor, Hugh A., et al.
Published: (1980)
Loading…
Rational descriptions, decisions and designs /
by: Tribus, Myron
Published: (1969)
by: Tribus, Myron
Published: (1969)
Loading…
Cycle in the forest and process description /
by: Tereňová, Jana, et al.
Published: (2001)
by: Tereňová, Jana, et al.
Published: (2001)
Loading…
LOCAL-FREQUENCY DESCRIPTION OF OPTICAL SIGNALS AND SYSTEMS /
by: Bastiaans, M. J.
Published: (1988)
by: Bastiaans, M. J.
Published: (1988)
Loading…
SIMON. A computer program for reliability and statistical analysis using Monte Carlo simulation. Program description and manual /
by: Kongso, Hans Erik
Published: (1993)
by: Kongso, Hans Erik
Published: (1993)
Loading…
Description of the Riso puff diffusion model /
by: Mikkelsen, Torben
Published: (1982)
by: Mikkelsen, Torben
Published: (1982)
Loading…
Descriptive geometry with three-dimensional figures /
by: Pál, Imre
Published: (1966)
by: Pál, Imre
Published: (1966)
Loading…
COMPUTER HARDWARE DESCRIPTION LANGUAGES AND THEIR APPLICATIONS /
by: Dasgupta, Subrata
Published: (1985)
by: Dasgupta, Subrata
Published: (1985)
Loading…
Computer hardware description languages and their applications /
by: Borrione, Dominique
Published: (1981)
by: Borrione, Dominique
Published: (1981)
Loading…
Towards a formal description of ADA /
by: Bundgaard, Jorgen
Published: (1980)
by: Bundgaard, Jorgen
Published: (1980)
Loading…
THE EFP BASIC RESERVOIR SIMULATION PROGRAM COSI. DESCRIPTION OF A NEW INPUT FACILITY /
by: Funder, Christian Reedtz
Published: (1988)
by: Funder, Christian Reedtz
Published: (1988)
Loading…
Rules for descriptive cataloging in the Library of Congress : phonorecords
Published: (1949)
Published: (1949)
Loading…
A shell model description of light nuclei /
by: Towner, I. S.
Published: (1977)
by: Towner, I. S.
Published: (1977)
Loading…
Nonlinear gyrokinetics and microinstabilities in fluid and kinetic descriptions /
by: Liljeström, Martin
Published: (1991)
by: Liljeström, Martin
Published: (1991)
Loading…
GADL. A GATE ARRAY DESCRIPTION LANGUAGE /
by: Lippens, P. E. R.
Published: (1987)
by: Lippens, P. E. R.
Published: (1987)
Loading…
Structured programming with Pl/I : an introduction /
by: Marcotty, Michael
Published: (1977)
by: Marcotty, Michael
Published: (1977)
Loading…
Transit Manual - a detailed description of transit procedures
Published: (2004)
Published: (2004)
Loading…
Simulating Business Processes for Descriptive, Predictive, and Prescriptive Analytics /
by: Greasley, Andrew
Published: (2019)
by: Greasley, Andrew
Published: (2019)
Loading…
New Trends and Results in Mathematical Description of Fluid Flows
Published: (2018)
Published: (2018)
Loading…
Computer hardware description langauges and their applications : Proceedings of the IFIG WG 10.2 Ninth international symposium, Washington, D.C., U. S. A., 19-21 June, 1989 /
by: Rammig, Franz J.
Published: (1990)
by: Rammig, Franz J.
Published: (1990)
Loading…
Descriptional complexity of formal systems : DCFS 2007, proceedings, ninth international workshop, High Tatras, July 20-22, 2007 /
by: Jürgensen, Helmut
Published: (2007)
by: Jürgensen, Helmut
Published: (2007)
Loading…
COMPUTER HARDWARE DESCRIPTION LANGUAGES AND THEIR APPLICATIONS : Proceedings IFIP WG, Amsterdam, 10. 2. 1987 /
by: Roumeliotis, Manos
Published: (1987)
by: Roumeliotis, Manos
Published: (1987)
Loading…
Introduction to APL and computer programming /
by: Harms, Edward, et al.
Published: (1977)
by: Harms, Edward, et al.
Published: (1977)
Loading…
100 programs for the acorn electron /
by: Gordon, John
Published: (1984)
by: Gordon, John
Published: (1984)
Loading…
100 programs for the BBC microcomputer /
by: Gordon, John
Published: (1983)
by: Gordon, John
Published: (1983)
Loading…
Semiclassical descriptions of atomic and nuclear collisions : Proceedings of the Niels Bohr centennial conf., Copenhagen, March 25 - 28, 1985 /
by: Fröman, Nanny
Published: (1985)
by: Fröman, Nanny
Published: (1985)
Loading…
Description of a simulation system ysim for continuous dynamic processes /
by: Christensen, P. la Cour
Published: (1981)
by: Christensen, P. la Cour
Published: (1981)
Similar Items
-
Cross section. Program description and user manual /
by: Jeppesen, Bo
Published: (1989) -
Formal description of programming concepts Proceedings of the IFFP working conference on Formal description of programming concepts : St. Andrews, N. B., Canada Aug. 1-5, 1977 /
by: Paul, Manfred
Published: (1978) -
Descriptive geometry /
by: Paré, E. G.
Published: (1965) -
Descriptive geometry /
by: Knor, Martin
Published: (2009) -
The Vindeby project. A description /
by: Barthelmie, R. J.
Published: (1994)