The Correctness problem in computer science /
| Other Authors: | Boyer, Robert S., Moore, J Strother, 1947- |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
London ; New York :
Academic Press,
1981.
|
| Series: | International lecture series in computer science.
|
| Subjects: |
Similar Items
On reductions and livelocks in asynchronous parallel computation /
by: Kwong, Yat-Sang
Published: (1982)
by: Kwong, Yat-Sang
Published: (1982)
Information systems, correctness and reusability : selected papers from the IS-CORE Workshop, Amsterdam, 26-30 September 1994 /
Published: (1995)
Published: (1995)
Quantum error correction and fault tolerant quantum computing /
by: Gaitan, Frank
Published: (2008)
by: Gaitan, Frank
Published: (2008)
A Multiprocessor execution profiler /
Published: (1989)
Published: (1989)
Quantum error correction /
Published: (2013)
Published: (2013)
Lectures on quantum computation, quantum error : correcting codes and information theory /
by: Parthasarathy, K. R.
Published: (2006)
by: Parthasarathy, K. R.
Published: (2006)
Locally least-cost error correctors for context-free and context sensitive parsers /
by: Dion, Bernard A.
Published: (1982)
by: Dion, Bernard A.
Published: (1982)
Introduction to correctional science /
by: Carney, Louis P.
Published: (1974)
by: Carney, Louis P.
Published: (1974)
Reform in corrections : problems and issues /
Published: (1977)
Published: (1977)
Correctional administration ; the management of probation, institutions, and parole /
by: Coffey, Alan
Published: (1974)
by: Coffey, Alan
Published: (1974)
Correctional systems and correctional alternatives on tribal lands.
Published: (2012)
Published: (2012)
Error correcting coding and security for data networks : analysis of the superchannel concept /
by: Kabatiansky, G.
Published: (2005)
by: Kabatiansky, G.
Published: (2005)
Reliable methods for computer simulation : error control and A Posteriori estimates /
by: Neittaanmäki, P. (Pekka)
Published: (2004)
by: Neittaanmäki, P. (Pekka)
Published: (2004)
Variations on constants : flow analysis of sequential and parallel programs /
by: Müller-Olm, Markus
Published: (2006)
by: Müller-Olm, Markus
Published: (2006)
Effective correctional treatment /
Published: (1980)
Published: (1980)
Staff evaluation, Texas Department of Corrections : a staff report to the Sunset Advisory Commission.
Published: (1986)
Published: (1986)
Error detecting logic for digital computers /
by: Sellers, Frederick F.
Published: (1968)
by: Sellers, Frederick F.
Published: (1968)
The effectiveness of correctional treatment : a survey of treatment evaluation studies /
by: Lipton, Douglas S.
Published: (1975)
by: Lipton, Douglas S.
Published: (1975)
Issues in corrections and administration : selected readings /
Published: (1976)
Published: (1976)
Evaluating correctional and community settings /
by: Moos, Rudolf H., 1934-
Published: (1975)
by: Moos, Rudolf H., 1934-
Published: (1975)
Corrections, treatment and philosophy /
by: Carney, Louis P.
Published: (1980)
by: Carney, Louis P.
Published: (1980)
Concurrency, compositionality, and correctness : essays in honor of Willem-Paul De Roever /
Published: (2010)
Published: (2010)
Crisis in corrections : the prison problem.
by: Harris, Janet
Published: (1973)
by: Harris, Janet
Published: (1973)
The Sociology of corrections : a book of readings /
Published: (1977)
Published: (1977)
Graded problems in computer science /
by: McGettrick, Andrew D., 1944-
Published: (1983)
by: McGettrick, Andrew D., 1944-
Published: (1983)
The re-emergence of correctional intervention /
by: Palmer, Ted
Published: (1992)
by: Palmer, Ted
Published: (1992)
Artificial unintelligence : how computers misunderstand the world /
by: Broussard, Meredith
Published: (2018)
by: Broussard, Meredith
Published: (2018)
Enhancing cryptographic primitives with techniques from error correcting codes /
Published: (2009)
Published: (2009)
Corrections : past, present, and future /
by: Stinchcomb, Jeanne B.
Published: (2005)
by: Stinchcomb, Jeanne B.
Published: (2005)
Adult corrections in Arizona : a report /
Published: (1974)
Published: (1974)
Trends in corrections : interviews with corrections leaders around the world.
Published: (2015)
Published: (2015)
Correcting the future /
by: Adelson, Marvin
Published: (1978)
by: Adelson, Marvin
Published: (1978)
Correctional institutions /
Published: (1972)
Published: (1972)
Correctional institutions /
Published: (1977)
Published: (1977)
Error control and adaptivity in scientific computing /
Published: (1999)
Published: (1999)
How to market community corrections.
Published: (1990)
Published: (1990)
A profile of correctional effectiveness and new directions for research /
by: Palmer, Ted
Published: (1994)
by: Palmer, Ted
Published: (1994)
Reliable computation in the presence of noise /
by: Winograd, S.
Published: (1963)
by: Winograd, S.
Published: (1963)
Correctional leadership : a cultural perspective /
by: Stojkovic, Stan
Published: (2003)
by: Stojkovic, Stan
Published: (2003)
Resource needs of correctional administrators : a survey report /
Published: (1974)
Published: (1974)