• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 110
  • 43
  • 21
  • 10
  • 7
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • Tagged with
  • 241
  • 241
  • 77
  • 41
  • 37
  • 30
  • 29
  • 29
  • 25
  • 23
  • 21
  • 20
  • 20
  • 20
  • 19
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
11

Types, modularisation and abstraction in logic programming

Dayantis, George January 1988 (has links)
No description available.
12

Development of a manual of FLOWTRAN exercises

Koehler, Thomas Peter 12 1900 (has links)
No description available.
13

A system for interactive manipulation of tree structures

Wilson, J. R. January 1984 (has links)
No description available.
14

A denotational semantics for concurrent ADA programs

Mearns, I. January 1983 (has links)
No description available.
15

Proof planning for imperative program development

Stark, Jamie January 2000 (has links)
No description available.
16

A LISP through the looking glass

Sturdy, J. C. G. January 1991 (has links)
No description available.
17

The programming language Formian

Disney, Peter Lawrence January 1989 (has links)
Formex algebra is a powerful tool for the generation of data used in the design and analysis of space structures. However, for the algebra to be of practical use, it is necessary to have a means of employing the concepts on a computer. This is the particular problem which this thesis addresses. The solution proposed here is Formian, an interactive programming language, which being modelled on formex algebra allows complex configurations to be generated from a few concise and yet readily understood statements. Formian is designed to allow problems of data generation to be tackled in a single programming environment. The thesis describes the raison d'etre for the Formian programming language and the steps taken to create the language and to provide a practical and reliable implementation in the form of a computer program. A complete description of the language structure is given. This includes an overview of formex algebra. The use of Formian from a designer's viewpoint is provided by interspersing the description with practical examples.
18

Reutilizando códigos como mecanismo de información y conocimiento: Programación en arquitectura

Herrera Polo, Pablo C., Universidad Peruana de Ciencias Aplicadas (UPC) 11 1900 (has links)
Differently from other regions in the Planet, since 2010, in Latin America textual programming language (Rhinoscripting) is being replaced by its visual equivalent (Grasshopper). This is a consequence of our preference for an interactive platform, and because our design problems are not as complex, so we aim to control geometrical problems or aspects belonging to an product scale instead of an architectural one. Problems emerging when creating code could be improved by modifying and reusing existing solutions as a starting point, since learning would not be centered in the object but in the process of creating it, using a suitable instrument.
19

Pi-fuzzy Logic (and its application to open-world inference)

Whiter, A. M. January 1987 (has links)
No description available.
20

A Programming Language For Concurrent Processing

Jackson, Portia M. 08 1900 (has links)
This thesis is a proposed solution to the problem of including an effective interrupt mechanism in the set of concurrent- processing primitives of a block-structured programming language or system. The proposed solution is presented in the form of a programming language definition and model. The language is called TRIPLE.

Page generated in 0.0932 seconds