Buscar recursos académicos

Materias / palabras clave: French language; Syntax; Grammar, Comparative; English; English language; French; Electronic books

Materias / palabras clave: COOPER, WILLIAM E; HARVARD UNIVERSITY PRESS; 415 C778s

Materias / palabras clave: Lengua y Literatura /Lingüística; Fonética y Fonología

Materias / palabras clave: BERS, VICTOR; YALE UNIVERSITY PRESS; 485 B533g

Materias / palabras clave: COMRIE, BERNARD; UNIVERSITY OF CHICAGO PRESS; 410 C738l2

Materias / palabras clave: NICHOLS, JOHANNA; UNIVERSITY OF CALIFORNIA PRESS; 491.75 N647p

Materias / palabras clave: CHOMSKY CAROL; MITT PRESS; 155.4 CH548a

Materias / palabras clave: THE UNIVERSITY OF CHICAGO PRESS; 415 P574p

Materias / palabras clave: SELKIRK, ELISABETH O; THE MIT PRESS; 415 S466s

Materias / palabras clave: AKMAJIAN, ADRIAN; 425 A315i

Certifying compilers use static information of a program to verify that it complies with certain security properties and to generate certified code. To do so, those compilers translate the source program into an annotate...

English linguistics is the scientific study of the English language, encompassing its structure, use, and evolution. The most traditional branches of study are phonetics and phonology, morphology, syntax, and semantics. ...

Esta "Sintaxis latina", reflejo de la labor docente e investigadora de sus autores en distintas universidades españolas (UCM, UAM, Oviedo, Salamanca y Santiago), es el resultado final de una profunda revisión, actualiz...

Esta "Sintaxis latina", reflejo de la labor docente e investigadora de sus autores en distintas universidades españolas (UCM, UAM, Oviedo, Salamanca y Santiago), es el resultado final de una profunda revisión, actualiz...

Les processus d’enseignement et d’apprentissage de la phraséologie auprès d’étudiants non natifs sont considérés actuellement comme l’une des préoccupations au sein des travaux de recherche dans le cadre de...

In this work we present a BDI agent architecture used for high level reasoning agents that control mobile robots that play soccer. This architecture is build on top of layered system, where each of these layers is associ...

Adaptive systems behavior based on user models appear promising, mostly for complex environments such as mixed reality environments (MRE). An MRE comprises a virtual representation of the reality as well as physical obj...

SIC is a programming too1 whose purpose is to assist in the developmentpf compilers by"means of a special purpose language, alao cal1ed SIC based on Pascal. SIC possesses facilities to specify the syntax. of programming ...

The development of systems with the ability to reason about change notion and actions has been of great importance for the artificial intelligence community. The definition and implementation of systems capable of managi...

A través de un análisis exhaustivo de estructuras de programas se muestra que los cursores de SQL son innecesarios para elaborar tablas. Se resalta la incompatibilidad entre los cursores y el estilo descriptivo y funci...

Today software solutions are often modeled using UML. Design patterns are frequently instantiated within these particular solutions. However, in several situations, UML is not expressive enough to describe them properly....

A visual language, called Visual DaVinci is presented in this article, along with its implementation most important aspects. Visual DaVinci was specially developed for structured programming initial teaching at computer...

"We describe DynAlloy Analyzer, a tool that extends Alloy Analyzer with support for dynamic elements in Alloy models. The tool builds upon Alloy Analyzer in a way that makes it fully compatible with Alloy models, and ext...

La Investigación y los desarrollos realizados que son descriptos en el presente trabajo, resultan de la necesidad de satisfacer los requerimientos de información científica y técnica, necesarios para llevar adelante ...