DE eng

Search in the Catalogues and Directories

Page: 1 2 3 4
Hits 1 – 20 of 65

1
A Model for Naturalistic Programming with Implementation
In: Applied Sciences ; Volume 9 ; Issue 18 (2019)
BASE
Show details
2
Distance Education and Community Learning Networks linked by a Library of Culture
In: Student Affairs Digital Community Development (2011)
BASE
Show details
3
CEMAP II: An Architecture and Specifications to Facilitate the Importing of Real-World Data into the CASOS Software Suite
In: DTIC (2008)
BASE
Show details
4
Spatial Hearing, Attention and Informational Masking in Speech Identification
In: DTIC (2008)
BASE
Show details
5
Language agnostic source level debugging for general purpose execution platforms ; Débogage symbolique multi-langages pour les plates-formes d'exécution généralistes
Ciabrini, Damien. - : HAL CCSD, 2006
In: https://tel.archives-ouvertes.fr/tel-00122789 ; Autre [cs.OH]. Université Nice Sophia Antipolis, 2006. Français (2006)
BASE
Show details
6
A Programming Language for Probabilistic Computation
In: DTIC (2005)
BASE
Show details
7
Formal Verification in the Polyhedral Model ; Vérification Formelle dans le Modèle Polyédrique
Morin-Allory, Katell. - : HAL CCSD, 2004
In: https://tel.archives-ouvertes.fr/tel-00011522 ; Réseaux et télécommunications [cs.NI]. Université Rennes 1, 2004. Français (2004)
BASE
Show details
8
Applications in pharmacokinetic modeling
Arnold, Esther. - : uga, 2003
BASE
Show details
9
Representing Java Classes in a Typed Intermediate Language
In: DTIC AND NTIS (1999)
BASE
Show details
10
The High-Level Intermediate Language L
In: DTIC (1993)
BASE
Show details
11
The Covering Property of the Object-Oriented Data Model - Design and Implementation Issues
In: DTIC AND NTIS (1993)
BASE
Show details
12
A Porting Methodology for Parallel Database Systems
In: DTIC AND NTIS (1993)
BASE
Show details
13
Maygen: A Symbolic Debugger Generation System
In: DTIC AND NTIS (1993)
BASE
Show details
14
Polymorphic Type Inference and Abstract Data Types
In: DTIC AND NTIS (1992)
BASE
Show details
15
A Formal Description of the Incremental Translation of Stage 2 VHDL into State Deltas in the State Delta Verification System (SDVS)
In: DTIC AND NTIS (1992)
BASE
Show details
16
ADA Implementation Issues as Discovered through a Literature Survey of Applications Outside the United States
In: DTIC AND NTIS (1992)
BASE
Show details
17
Turtle Graphics Implementation Using a Graphical Dataflow Programming Approach
In: DTIC AND NTIS (1992)
BASE
Show details
18
A Uniform Approach to the Semantics of Concurrency
In: DTIC AND NTIS (1991)
BASE
Show details
19
Natural Language Generation
In: DTIC AND NTIS (1991)
BASE
Show details
20
Languages Beyond Ada and Lisp
In: DTIC AND NTIS (1991)
BASE
Show details

Page: 1 2 3 4

Catalogues
0
0
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
65
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern