AUTOMATIC CORRECTION AND IMPROVEMENT OF PROGRAMS /
Uloženo v:
| Hlavní autor: | |
|---|---|
| Médium: | Kniha |
| Jazyk: | angličtina |
| Vydáno: |
Chichester :
Ellis Horwood,
1987
|
| 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)
Autor: Anderson, Robert Brockett, 1941-
Vydáno: (1979)
Mathematical theory of program correctness /
Autor: Bakker, Jaco de
Vydáno: (1980)
Autor: Bakker, Jaco de
Vydáno: (1980)
Formal foundations of correct programming /
Autor: Novitzká, Valerie
Vydáno: (1999)
Autor: Novitzká, Valerie
Vydáno: (1999)
Computer programs for spelling correction : an experiment in program design /
Autor: Peterson, James L.
Vydáno: (1980)
Autor: Peterson, James L.
Vydáno: (1980)
Thedesign of well-structures and correct programs /
Autor: Alagić, Suad, a další
Vydáno: (1978)
Autor: Alagić, Suad, a další
Vydáno: (1978)
Automatic program construction techniques /
Autor: Biermann, Alan W.
Vydáno: (1984)
Autor: Biermann, Alan W.
Vydáno: (1984)
Studies in automatic programming logic /
Autor: Manna, Zohar
Vydáno: (1977)
Autor: Manna, Zohar
Vydáno: (1977)
Annual review in automatic programming.
Vydáno: (1971)
Vydáno: (1971)
A program in BASIC for calculation of cavity theory corrections /
Autor: Christensen, Erling Bugge
Vydáno: (1982)
Autor: Christensen, Erling Bugge
Vydáno: (1982)
Error-correcting codes /
Autor: Peterson, W. Wesley
Vydáno: (1961)
Autor: Peterson, W. Wesley
Vydáno: (1961)
Extensions and corrections to the UDC.
Vydáno: (2005)
Vydáno: (2005)
Extensions and corrections to the UDC.
Vydáno: (2006)
Vydáno: (2006)
The Practice of Correctional Psychology
Vydáno: (2018)
Vydáno: (2018)
Surgical Correction of Astigmatism
Vydáno: (2018)
Vydáno: (2018)
Journal of correctional health care
The theory of error-correcting codes /
Autor: MacWilliams, Florence Jessie
Vydáno: (1981)
Autor: MacWilliams, Florence Jessie
Vydáno: (1981)
Customized Laser Vision Correction
Vydáno: (2018)
Vydáno: (2018)
Program correctness over abstract data types, with error-state semantics /
Autor: Tucker, John V.
Vydáno: (1988)
Autor: Tucker, John V.
Vydáno: (1988)
Extensions and corrections to the UDC. supplement: an extended place table
Vydáno: (2005)
Vydáno: (2005)
Automatic Moulders.
Vydáno: (2009)
Vydáno: (2009)
Automatic transmissions.
Vydáno: (1955)
Vydáno: (1955)
A constructive method for the architectural design and correctness verification of real-time programs /
Autor: Saukkonen, Samuli
Vydáno: (1983)
Autor: Saukkonen, Samuli
Vydáno: (1983)
Automatic digital calculators /
Autor: Booth, Andrew D., a další
Vydáno: (1965)
Autor: Booth, Andrew D., a další
Vydáno: (1965)
Šachový automat
Autor: Löhr, Robert, 1973-
Vydáno: (2006)
Autor: Löhr, Robert, 1973-
Vydáno: (2006)
Error-correction coding for digital communications /
Autor: Clark, George Cyril
Vydáno: (1982)
Autor: Clark, George Cyril
Vydáno: (1982)
Introduction to the theory of error-correcting codes /
Autor: Pless, Vera
Vydáno: (1982)
Autor: Pless, Vera
Vydáno: (1982)
DEFECT CORRECTION METHODS. Theory and applications /
Autor: Böhmer, Klaus
Vydáno: (1984)
Autor: Böhmer, Klaus
Vydáno: (1984)
Automatic control of aircraft and missiles /
Autor: Blakelock, John H.
Vydáno: (1991)
Autor: Blakelock, John H.
Vydáno: (1991)
Automatic control : an introduction /
Autor: Webb, C. R.
Vydáno: (1964)
Autor: Webb, C. R.
Vydáno: (1964)
Automatic design and projecting in electrical engineering. Program AutoCAD /
Autor: Kuchyňková, Hana
Vydáno: (2001)
Autor: Kuchyňková, Hana
Vydáno: (2001)
Automatic testing : systems and applications /
Autor: Knowles, Roy
Vydáno: (1976)
Autor: Knowles, Roy
Vydáno: (1976)
Correcting the Scholarly Record for Research Integrity In the Aftermath of Plagiarism /
Autor: Dougherty, M. V.
Vydáno: (2018)
Autor: Dougherty, M. V.
Vydáno: (2018)
Error-correcting classification based on neural networks /
Autor: Utschick, Wolfgang
Vydáno: (1998)
Autor: Utschick, Wolfgang
Vydáno: (1998)
Extensions and corrections to the UDC. 1999. Nr. 21 /
Autor: Stevens, Alan
Vydáno: (1999)
Autor: Stevens, Alan
Vydáno: (1999)
Extensions and corrections to the UDC. No. 23. November 2001 /
Autor: Stevens, Alan
Vydáno: (2001)
Autor: Stevens, Alan
Vydáno: (2001)
Extensions and corrections to the UDC. No. 22. November 2000 /
Vydáno: (2000)
Vydáno: (2000)