Pages that link to "Item:Q218098"
From MaRDI portal
The following pages link to Informatik. Forschung und Entwicklung (Q218098):
Displayed 36 items.
- Multiple Attributgrammatiken. (Multiple attribute grammars) (Q1077940) (← links)
- A logic-topological calculus for the construction of integrated circuits. I (Q1088971) (← links)
- A logic-topological calculus for the construction of integrated circuits. II. (Q1096590) (← links)
- Einfache und effiziente inkrementelle Syntaxanalyse. (Simple and efficient incremental syntax analysis) (Q1100922) (← links)
- Eine dreiwertige Logik zur Verarbeitung partieller Information. (A three- valued logic for partial information processing) (Q1102939) (← links)
- Normalform-Transformationen für CSP-Programme. (Normal form transformations for CSP-programs) (Q1104075) (← links)
- Sequentielle und parallele Architekturansätze für logische Programmiersprachen. (Sequential and parallel concepts for the architecture of logical programming languages) (Q1109554) (← links)
- Computerbilder als Hilfsmittel zur Analyse chaoserzeugender Abbildungen. (Computer images as a mean for analysis of chaos-generating maps) (Q1114206) (← links)
- The design of role-based access control models. A formal approach to the derivation of access rights (Q1596360) (← links)
- Generation of interaktive animations of computational models (Q1596362) (← links)
- Erscheinungsbasierte statistische Objekterkennung (Q1596364) (← links)
- TIScover -- A generic platform for web-based tourism information systems (Q1606601) (← links)
- The multimedia ability of multithread superscalar processors in the example of MPEG-2 decoding (Q1606604) (← links)
- A generic component for computer-supported structural organization (Q1606608) (← links)
- DNA computing -- A functional model in the practical experiment in the laboratory (Q1606612) (← links)
- Methodology, languages and foundations of software engineering. Final report of the research laboratory SYSLAB (1. 10. 1994--30. 9. 1999) (Q1606615) (← links)
- Eine Erweiterung der unified modeling Language zur Verfolgung von Software-Anforderungen in sicherheitskritischen Systemen. (An extension of the unified modeling language for tracing software requirements in safety critical systems.) (Q1849228) (← links)
- Optimale Dimensionswahl bei der Bearbeitung des Similarity Join. (Optimal dimension election in case of the similarity join.) (Q1849230) (← links)
- Robuste Indizes für Projection Pursuit. (Robust indices for projection pursuit) (Q1849231) (← links)
- Quality goals and test problems in the Internet (Q1866427) (← links)
- Validation of software intensive embedded systems (Q1866429) (← links)
- Evolutionary testing of real time systems (Q1866431) (← links)
- Design and implementation of a SQL normal conforme database cataloges for a relational database management system (Q1866436) (← links)
- An interaction-based model for object oriented integration and regression testing (Q1866437) (← links)
- Data structure visualization and animation with DDD (Q5950337) (← links)
- Efficient transfer of process instances in distributed workflow management systems (Q5950338) (← links)
- Maxillofacial operation-planning using virtual reality techniques (Q5950339) (← links)
- A graph-based management system for dynamical development processes (Q5952948) (← links)
- Reading techniques for the inspection of surface-demand documents (Q5952949) (← links)
- E-chalk: A Java multilinear board for teaching in a classroom and through the internet (Q5952950) (← links)
- Reliable transport services for mobile computing (Q5960667) (← links)
- A hoarding method for location-dependent information (Q5960668) (← links)
- Support mechanisms for mobile computing systems (Q5960669) (← links)
- Model, architecture and platform for information systems with context relation (Q5960670) (← links)
- I-centric communications (Q5960671) (← links)
- REAL: A resource-adapting mobile navigation system (Q5960672) (← links)