Computer programs for spelling correction : an experiment in program design /
Uložené v:
| Hlavný autor: | |
|---|---|
| Médium: | Kniha |
| Jazyk: | Czech |
| Vydavateľské údaje: |
Berlin :
Springer,
1980
|
| Edícia: | rz1
|
| On-line prístup: |
|
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
Podobné jednotky
Proving programs correct /
Autor: Anderson, Robert Brockett, 1941-
Vydavateľské údaje: (1979)
Autor: Anderson, Robert Brockett, 1941-
Vydavateľské údaje: (1979)
Mathematical theory of program correctness /
Autor: Bakker, Jaco de
Vydavateľské údaje: (1980)
Autor: Bakker, Jaco de
Vydavateľské údaje: (1980)
AUTOMATIC CORRECTION AND IMPROVEMENT OF PROGRAMS /
Autor: Wertz, H.
Vydavateľské údaje: (1987)
Autor: Wertz, H.
Vydavateľské údaje: (1987)
Formal foundations of correct programming /
Autor: Novitzká, Valerie
Vydavateľské údaje: (1999)
Autor: Novitzká, Valerie
Vydavateľské údaje: (1999)
Error-correcting codes /
Autor: Peterson, W. Wesley
Vydavateľské údaje: (1961)
Autor: Peterson, W. Wesley
Vydavateľské údaje: (1961)
Thedesign of well-structures and correct programs /
Autor: Alagić, Suad, a ďalší
Vydavateľské údaje: (1978)
Autor: Alagić, Suad, a ďalší
Vydavateľské údaje: (1978)
A program in BASIC for calculation of cavity theory corrections /
Autor: Christensen, Erling Bugge
Vydavateľské údaje: (1982)
Autor: Christensen, Erling Bugge
Vydavateľské údaje: (1982)
A constructive method for the architectural design and correctness verification of real-time programs /
Autor: Saukkonen, Samuli
Vydavateľské údaje: (1983)
Autor: Saukkonen, Samuli
Vydavateľské údaje: (1983)
Profil firmy Spell SB systém - bezpečnostné, prístupové a kamerové systémy.
Vydavateľské údaje: (2004)
Vydavateľské údaje: (2004)
Program correctness over abstract data types, with error-state semantics /
Autor: Tucker, John V.
Vydavateľské údaje: (1988)
Autor: Tucker, John V.
Vydavateľské údaje: (1988)
Extensions and corrections to the UDC.
Vydavateľské údaje: (2005)
Vydavateľské údaje: (2005)
Extensions and corrections to the UDC.
Vydavateľské údaje: (2006)
Vydavateľské údaje: (2006)
The Practice of Correctional Psychology
Vydavateľské údaje: (2018)
Vydavateľské údaje: (2018)
Surgical Correction of Astigmatism
Vydavateľské údaje: (2018)
Vydavateľské údaje: (2018)
Computer programs in environmental design.
Autor: Lee, Kaiman
Vydavateľské údaje: (1974)
Autor: Lee, Kaiman
Vydavateľské údaje: (1974)
Computer programs in environmental design.
Autor: Lee, Kaiman
Vydavateľské údaje: (1974)
Autor: Lee, Kaiman
Vydavateľské údaje: (1974)
Computer programs in environmental design /
Autor: Lee, Kaiman
Vydavateľské údaje: (1974)
Autor: Lee, Kaiman
Vydavateľské údaje: (1974)
Computer programs in environmental design.
Autor: Lee, Kaiman
Vydavateľské údaje: (1974)
Autor: Lee, Kaiman
Vydavateľské údaje: (1974)
Computer programs in environmental design.
Autor: Lee, Kaiman
Vydavateľské údaje: (1974)
Autor: Lee, Kaiman
Vydavateľské údaje: (1974)
Computer programming and autocodes /
Autor: Burnett-Hall, D. G., a ďalší
Vydavateľské údaje: (1964)
Autor: Burnett-Hall, D. G., a ďalší
Vydavateľské údaje: (1964)
Programming in BASIC for personal computers /
Autor: Heiserman, David L.
Vydavateľské údaje: (1981)
Autor: Heiserman, David L.
Vydavateľské údaje: (1981)
Journal of correctional health care
The theory of error-correcting codes /
Autor: MacWilliams, Florence Jessie
Vydavateľské údaje: (1981)
Autor: MacWilliams, Florence Jessie
Vydavateľské údaje: (1981)
Customized Laser Vision Correction
Vydavateľské údaje: (2018)
Vydavateľské údaje: (2018)
Programs, machines, and computation: An íntroduction to the theory of computing /
Autor: Clark, Keith L., a ďalší
Vydavateľské údaje: (1976)
Autor: Clark, Keith L., a ďalší
Vydavateľské údaje: (1976)
Computer programming methodology /
Autor: Turski, W. M.
Vydavateľské údaje: (1978)
Autor: Turski, W. M.
Vydavateľské údaje: (1978)
Computer programming handbook /
Autor: Stark, Peter A.
Vydavateľské údaje: (1978)
Autor: Stark, Peter A.
Vydavateľské údaje: (1978)
Extensions and corrections to the UDC. supplement: an extended place table
Vydavateľské údaje: (2005)
Vydavateľské údaje: (2005)
AGRICULTURAL COMPUTER PROGRAMMING /
Autor: Levins, Richard A.
Vydavateľské údaje: (1984)
Autor: Levins, Richard A.
Vydavateľské údaje: (1984)
BASIC. Computer programming /
Autor: Bartee, Thomas C.
Vydavateľské údaje: (1981)
Autor: Bartee, Thomas C.
Vydavateľské údaje: (1981)
Computer programming fundamentals /
Autor: Leeds, Herbert D., a ďalší
Vydavateľské údaje: (1966)
Autor: Leeds, Herbert D., a ďalší
Vydavateľské údaje: (1966)
Digital computer programming /
Autor: McCracken, Daniel D.
Vydavateľské údaje: (1963)
Autor: McCracken, Daniel D.
Vydavateľské údaje: (1963)
Computer programs for chemistry.
Vydavateľské údaje: (1969)
Vydavateľské údaje: (1969)
Computer programs for chemistry.
Vydavateľské údaje: (1968)
Vydavateľské údaje: (1968)
Introduction to computer programming /
Autor: Cutler, Donald I.
Vydavateľské údaje: (1972)
Autor: Cutler, Donald I.
Vydavateľské údaje: (1972)
Computer programs for chemistry.
Vydavateľské údaje: (1969)
Vydavateľské údaje: (1969)
Science of computer programming : methods of software design: techniques and applications
Error-correction coding for digital communications /
Autor: Clark, George Cyril
Vydavateľské údaje: (1982)
Autor: Clark, George Cyril
Vydavateľské údaje: (1982)
Introduction to the theory of error-correcting codes /
Autor: Pless, Vera
Vydavateľské údaje: (1982)
Autor: Pless, Vera
Vydavateľské údaje: (1982)
DEFECT CORRECTION METHODS. Theory and applications /
Autor: Böhmer, Klaus
Vydavateľské údaje: (1984)
Autor: Böhmer, Klaus
Vydavateľské údaje: (1984)