Cargando…

Formal methods for real-time computing

Detalles Bibliográficos
Formato:	Libro
Lenguaje:	English
Publicado:	New York : John Wiley & Sons, 1996
Colección:	Trends in Software ; 5
Materias:	Procesamiento de Datos en tiempo real.

Ejemplares similares

Aplicaciones en tiempo real : diseño e implementación /
por: Blackman, Maurice
Publicado: (1979)

Diseño de sistemas de computadores en tiempo real,/
por: Martin, James, 1933-
Publicado: (1980)

Formal techniques in real-time and fault-tolerant systems : 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000 /
Publicado: (2000)

Complexity and real computation /
Publicado: (1998)

Real-time systems and their programming languages /
por: Burns, Alan, 1953-
Publicado: (1990)

Distributed real-time systems : monitoring, visualization, debugging, and analysis
Publicado: (1996)

Tiempo real: cómo prepararse para la era del cliente siempre insatisfecho /
por: Mckenna, Regis
Publicado: (2000)

Real-time systems design and analysis : an engineer's handbook /
por: Laplante, Phillip A.
Publicado: (1993)

Sistemas de tiempo real y lenguajes de programación /
por: Burns, Alan, 1953-
Publicado: (2003)

Handbook of real-time and embedded systems /
Publicado: (2008)

Control software for mechanical systems : object-oriented design in a real-time world /
por: Auslander, David M.
Publicado: (2002)

Designing 3D graphics : how to create real-time 3D models for games and virtual reality
por: White, Josh
Publicado: (1996)

Feynman lectures on computation
por: Feynman, Richard P. (Richard Phillips), 1918-1988
Publicado: (1996)

Using computers in mathematics
por: Elgarten, Gerald H.
Publicado: (1983)

Computing, a human activity /
por: Naur, Peter
Publicado: (1992)

Computers /
por: Long, Larry E.
Publicado: (1999)

Computers at work
por: Clark, John O. E., 1937-
Publicado: (1973)

People-oriented computer systems; the computer in crisis
por: Tomeski, Edward Alexander
Publicado: (1975)

Computing essentials : introductory 2010 /
por: O'Leary, Timothy J., 1947-
Publicado: (2010)

Computers and information systems
por: Gore, Marvin R.
Publicado: (1984)

Introduction to scientific computing : a matrix-vector approach using MATLAB /
por: Van Loan, Charles F.
Publicado: (2000)

Diccionario de términos de proceso de datos
por: Salto Dolla, Angel
Publicado: (1971)

Aprendiendo : matemática y trigonometría con Microsoft Excel /
Publicado: (2004)

College mathematics : a graphing calculator approach /
por: Wheeler, Ruric E., 1923-
Publicado: (1996)

Ciencia de la información
por: Jolley, J. L.
Publicado: (1968)

Discrete mathematics /
por: Hein, James L.
Publicado: (2003)

Guide to writing DCE applications /
por: Shirley, John
Publicado: (1994)

Aplicaciones bajo ambiente gráfico : computación /
por: Fournier, María de Lourdes
Publicado: (1998)

Aplicaciones de computación a problemas de ingeniería /
Publicado: (1979)

Procesamiento de datos : sistemas y conceptos
por: Verzello, Robert J.
Publicado: (1983)

Procesamiento de datos
por: Lipschutz, Martin M.
Publicado: (1982)

Computación : temas selectos
Publicado: (1992)

Computational toxicology : methods and applications for risk assessment
Publicado: (2013)

Computational methods for data analysis /
por: Chambers, John M.
Publicado: (1977)

Computers in biomedical research /
Publicado: (1965)

DNA computing : new computing paradigms /
por: Paun, Gheorghe, 1950-
Publicado: (1998)

Prime numbers and computer methods for factorization /
por: Riesel, Hans, 1929-
Publicado: (1994)

Diccionario de procesamiento de datos /
por: Maynard, Jeff
Publicado: (1978)

Computers and information processing: an introduction
por: Behling, Robert
Publicado: (1986)

Computability and complexity : from a programming perspective /
por: Jones, Neil D.
Publicado: (1997)

Cannot write session to /tmp/vufind_sessions/sess_5tia64nb8oti527k86n9mjpiuv