QR kód

Thedesign of well-structures and correct programs /

Uloženo v:

Podrobná bibliografie
Hlavní autoři:	Alagić, Suad (Autor), Arbib, Michael A. (Autor)
Médium:	Kniha
Jazyk:	čeština
Vydáno:	New York : Springer, 1978
Edice:	rz1
On-line přístup:
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Proving programs correct /
Autor: Anderson, Robert Brockett, 1941-
Vydáno: (1979)

Projektirovanije korrektnych strukturirovannych programm /
Autor: Alagic, Suad, a další
Vydáno: (1984)

AUTOMATIC CORRECTION AND IMPROVEMENT OF PROGRAMS /
Autor: Wertz, H.
Vydáno: (1987)

Mathematical theory of program correctness /
Autor: Bakker, Jaco de
Vydáno: (1980)

Formal foundations of correct programming /
Autor: Novitzká, Valerie
Vydáno: (1999)

Computer programs for spelling correction : an experiment in program design /
Autor: Peterson, James L.
Vydáno: (1980)

Relational database technology /
Autor: Alagič, Suad
Vydáno: (1986)

A program in BASIC for calculation of cavity theory corrections /
Autor: Christensen, Erling Bugge
Vydáno: (1982)

Wellness
Vydáno: (2012)

Error-correcting codes /
Autor: Peterson, W. Wesley
Vydáno: (1961)

Extensions and corrections to the UDC.
Vydáno: (2005)

Extensions and corrections to the UDC.
Vydáno: (2006)

The Practice of Correctional Psychology
Vydáno: (2018)

Surgical Correction of Astigmatism
Vydáno: (2018)

Wellness : energia.vitalita.krása
Vydáno: (2006)

Journal of correctional health care

The theory of error-correcting codes /
Autor: MacWilliams, Florence Jessie
Vydáno: (1981)

Customized Laser Vision Correction
Vydáno: (2018)

Program correctness over abstract data types, with error-state semantics /
Autor: Tucker, John V.
Vydáno: (1988)

Structured system programming /
Autor: Welsh, Jim, a další
Vydáno: (1980)

Structured programming /
Autor: Dahl, O.-J, a další
Vydáno: (1972)

Wellness City Health and Well-being in Urban Economic Development /
Autor: Anttiroiko, Ari-Veikko
Vydáno: (2018)

Extensions and corrections to the UDC. supplement: an extended place table
Vydáno: (2005)

Structured programming with Pl/I : an introduction /
Autor: Marcotty, Michael
Vydáno: (1977)

A constructive method for the architectural design and correctness verification of real-time programs /
Autor: Saukkonen, Samuli
Vydáno: (1983)

Error-correction coding for digital communications /
Autor: Clark, George Cyril
Vydáno: (1982)

Introduction to the theory of error-correcting codes /
Autor: Pless, Vera
Vydáno: (1982)

DEFECT CORRECTION METHODS. Theory and applications /
Autor: Böhmer, Klaus
Vydáno: (1984)

WELL-BEING Productivity and Happiness at Work /
Autor: Johnson, Sheena
Vydáno: (2018)

Quantum well lasers /
Autor: Henry, Charles H.
Vydáno: (1993)

Quantum-confined Stark effect in artificially made quantum well structures /
Autor: Chen, Weiquan
Vydáno: (1994)

Simulations of a well test on the Dan field ME-2 well /
Autor: Reffstrup, Jan, a další
Vydáno: (1984)

Correcting the Scholarly Record for Research Integrity In the Aftermath of Plagiarism /
Autor: Dougherty, M. V.
Vydáno: (2018)

Rural well-being : geography of opportunities /
Vydáno: (2020)

Error-correcting classification based on neural networks /
Autor: Utschick, Wolfgang
Vydáno: (1998)

Extensions and corrections to the UDC. 1999. Nr. 21 /
Autor: Stevens, Alan
Vydáno: (1999)

Extensions and corrections to the UDC. No. 23. November 2001 /
Autor: Stevens, Alan
Vydáno: (2001)

Extensions and corrections to the UDC. No. 22. November 2000 /
Vydáno: (2000)

OPTOELECTRONIC DEVICES BASED ON QUANTUM WELL STRUCTURES AND SUPERLATTICES GROWN BY MOLECULAR BEAM EPITAXY. SINGLE QUANTUM WELL LASERS AND ELECTROABSORPTION DEVICES /
Autor: Larsson, Anders
Vydáno: (1987)

Structured database programming /
Autor: Wedekind, Hartmut
Vydáno: (1977)