Dominios semánticos para lenguajes con concurrencia y recursividad /

Código QR

Dominios semánticos para lenguajes con concurrencia y recursividad /

Detalles Bibliográficos
Autor principal:	Barboza, Carlos
Formato:	Tesis Libro
Lenguaje:	Spanish
Publicado:	Cartago, Costa Rica : C. Barboza, 1993.
Materias:	Lenguajes de computación Proyectos Lenguajes de programación Funciones Espacios métricos Construcción de recursivas Tesis

Ejemplares similares

Lenguaje de programación : diseño e implementación /
por: Pratt, Terrence W.
Publicado: (1997)

Problemas de decisión y recursividad en sistemas lógicos formales = Decision problems and recursiveness in formal logic systems /
por: Martínez, Iveth

El Lenguaje de programacion C /
por: Kernighan, Brian W.
Publicado: (1989)

Kablok : diseño e implementación de un lenguaje aplicativo con variables libres, no determinismo y unificación /
por: Díaz-Oreiro, Ignacio
Publicado: (1995)

C++ Guía de autoenseñanza /
por: Schilt, Herbert
Publicado: (1995)

Introducción a la programación con SCHEME /
por: Helo-Guzman, José Elias
Publicado: (2005)

Especificación de un lenguaje para la definición de condiciones en el software didáctico IYULÚ /
por: Barquero-Lobo, Oscar
Publicado: (1996)

Lenguaje icónico orientado a objetos para especificar condiciones en Iyulú /
por: Rodríguez-Cháves, Arnoldo
Publicado: (1977)

Fundamentos de programación en lenguaje C /
por: Menchaca-García, Felipe Rolando
Publicado: (1999)

The secret life of programs : understand computers - craft better code /
por: Steinhart, Jonathan E.
Publicado: (2019)

Programming and problem solving with C++ /
por: Dale, Nell
Publicado: (2010)

Pro T-SQL 2008 : programmer`s guide.
por: Coles, Michael
Publicado: (2008)

Java 2 : manual de referencia. /
por: Schildt, Herbert
Publicado: (2001)

Resolución de problemas con C++ : el objetivo de la programación /
por: Savitch, Walter
Publicado: (2000)

Programación orientada a objetos con C++ / : Windows 9x/NT/2000/XP, Linux y otros /
por: Ceballos-Sierra, Francisco Javier
Publicado: (2004)

Database Systems : the complete book /
por: Garcia-Molina, Hector
Publicado: (2014)

Java 2 : Manual de usuario y tutorial.
por: Froufe-Quintas, Agustín
Publicado: (2009)

Programación en Java 2 : algoritmos, estructuras de datos y programación orientada a objetos /
por: Joyanes-Aguilar, Luis
Publicado: (2002)

Introducción a la programación con Scheme /
por: Helo-Guzmán, José E.
Publicado: (2000)

How to think like a computer scientist : learning with Python /
por: Downey, Allen
Publicado: (2002)

Estudio comparativo de las herramientas MetaCASE bajo consistencia y refinamiento /
por: Zapata-J., Carlos M.

Introducción a la programación en Python /
por: Solano-Soto, Jaime
Publicado: (2017)

Computers and intractability : a guide to the theory of NP-Completeness. /
por: Garey, Michael R.
Publicado: (1979)

PERP-PPL : una plataforma de evolución de reconocimiento de patrones /
por: Bendeck-Romero, Fawsy Yuan-Min
Publicado: (1995)

Desarrollo de un lenguaje de consultas difuso : aplicación a la inferencia de poblaciones de nemátodos en plantaciones de banano /
por: Cordero-Jenkis, Leonardo Enrique
Publicado: (1995)

Computer programming using C language /
por: Ramavtar Yadav, Rajkumar
Publicado: (2020)

Análisis y diseño de algoritmos : implementaciones en C y Pascal /
por: López, Gustavo
Publicado: (2009)

An Introduction to Functional Programming Through Lambda Calculus. /
por: Michaelson, Greg
Publicado: (2011)

Desarrollo de una notación y herramienta de visualización de datos para mejorar la capacidad de análisis de procedimientos almacenados SQL. /
por: Carvajal-González, Erick
Publicado: (2017)

C++ cómo programar /
por: Deitel, H. M.
Publicado: (1999)

Advanced topics in types and programming languages /
Publicado: (2005)

Piensa en Java /
por: Eckel, Bruce
Publicado: (2007)

An introduction to Lambda Calculi for computer scientists. Volume 2 /
por: Hankin, Chris
Publicado: (2004)

Introduction to programming using Python /
por: Liang, Y. Daniel
Publicado: (2017)

Foundations of statistical natural language processing /
por: Manning, Christopher D.
Publicado: (1999)

Desarrollo de proyectos con programación orientada a objetos con C++ /
por: Smith, Jo Smith
Publicado: (2001)

Diseño de una infraestructura de computación de alto rendimiento para objetos paralelos en un lenguaje de alto nivel /
por: Meneses, Esteban
Publicado: (2017)

El lenguaje de programación C /
por: Kernighan, Brian W.
Publicado: (1990)

Introducción a la programación en Python /
por: Solano-Soto, Jaime
Publicado: (2011)

Fundamentos de sistemas de bases de datos /
por: Elmasri, Ramez A.
Publicado: (2002)