search result

Cover von The Power of the Filtration Technique for Modal Logics with Team Semantics

The Power of the Filtration Technique for Modal Logics with Team Semantics

Year: 2017
Media group: LIPIcs
Cover von A Model-Driven Engineering Technique for Developing Composite Content Applications

A Model-Driven Engineering Technique for Developing Composite Content Applications

Year: 2016
Media group: OASICS
Cover von Automatic Exploration of the Natural Variability of RNA Non-Canonical Geometric Patterns with a Parameterized Sampling Technique

Automatic Exploration of the Natural Variability of RNA Non-Canonical Geometric Patterns with a Parameterized Sampling Technique

Year: 2023
Media group: LIPIcs
Cover von A technique based on trade-off maps to visualise and analyse relationships between objectives in optimisation problems

A technique based on trade-off maps to visualise and analyse relationships between objectives in optimisation problems

Year: 2017
Media group: ARTICLE
Cover von Risk Analysis Technique for the Evaluation of AI Technologies with Respect to Directly and Indirectly Affected Entities (Practitioner Track)

Risk Analysis Technique for the Evaluation of AI Technologies with Respect to Directly and Indirectly Affected Entities (Practitioner Track)

Year: 2025
Media group: OASICS
Cover von A Bound-Independent Pruning Technique to Speeding up Tree-Based Complete Search Algorithms for Distributed Constraint Optimization Problems

A Bound-Independent Pruning Technique to Speeding up Tree-Based Complete Search Algorithms for Distributed Constraint Optimization Problems

Year: 2021
Media group: LIPIcs
Cover von Improving your human-computer interface
a practical technique
Search for this author
Year: 1994
Publisher: New York, Prentice Hall
Series: BCS practitioner series
Media group: MONOGRAPHIE
Cover von Functions of a complex variable
theory and technique
Author: Carrier, George F.; Krook, Max; Pearson, Carl E. Search for this author
Year: 2005
Publisher: Philadelphia, SIAM
Media group: MONOGRAPHIE
Cover von Intégrer les LOD dans un cube de données
Transformons une action technique en valeur organisationnelle
Search for this author
Year: 2019
Publisher: editions-rnti.fR
Series: Revue des Nouvelles Technologies de l'Information; B-15. 2019
Media group: ARTICLE
Cover von Size, Cost and Capacity

Size, Cost and Capacity

A Semantic Technique for Hard Random QBFs
Year: 2018
Media group: LIPIcs
OPEN V 11.1.0.0