search result

Cover von Technique et science informatiques

Technique et science informatiques

RAIRO
Paris, Hermes Science Publications
Media group: ZEITSCHRIFT
Volumes loading
Cover von A Technique for Hardness Amplification Against AC⁰

A Technique for Hardness Amplification Against AC⁰

Year: 2024
Media group: LIPIcs
Cover von A Simple Parallel and Distributed Sampling Technique

A Simple Parallel and Distributed Sampling Technique

Local Glauber Dynamics
Year: 2018
Media group: LIPIcs
Cover von Extending the Rackoff technique to Affine nets

Extending the Rackoff technique to Affine nets

Year: 2012
Media group: ARTICLE
Cover von Identifying relevant information for testing technique selection
an instatiated characterization schema
Author: Vegas, Sira; Juristo, Natalia; Basili, Victor R. Search for this author
Year: 2003
Publisher: Boston, Kluwer
Series: International series in software engineering; 8
Media group: MONOGRAPHIE
Cover von New Convex Programming Technique for Nash Social Welfare and Scheduling

New Convex Programming Technique for Nash Social Welfare and Scheduling

Year: 2026
Media group: LIPIcs
Cover von MIDTERM Is a Deterministic Technique to Exit Recursive Mazes

MIDTERM Is a Deterministic Technique to Exit Recursive Mazes

Year: 2026
Media group: LIPIcs
Cover von Strong Induction Is an Up-To Technique

Strong Induction Is an Up-To Technique

Year: 2025
Media group: LIPIcs
Cover von On Reliability of the Extrema Propagation Technique in Random Environment

On Reliability of the Extrema Propagation Technique in Random Environment

Year: 2025
Media group: LIPIcs
Cover von The contour tree image encoding technique and file format
Author: Turner, Martin John Search for this author
Year: 1994
Publisher: Cambridge, Univ.
Series: Technical Report / University of Cambridge / Computer Laboratory; 344
Media group: DISSERTATION
OPEN V 11.1.0.0