search result

Cover von Real-time systems
scheduling, analysis, and verification
Author: Cheng, Albert Mo Kim Search for this author
Year: 2002
Publisher: Chichester, Wiley
Media group: MONOGRAPHIE
Cover von Special section on semiconductor manufacturing systems; 5
modeling, analysis, and control
Search for this author
Year: 2001
Publisher: Los Alamitos, IEEE
Count: 5
Media group: SPECIAL ISSUE
Cover von Secure communicating systems
design, analysis, and implementation
Author: Huth, Michael R. A. Search for this author
Year: 2001
Publisher: Cambridge, Cambridge University Press
Media group: MONOGRAPHIE
Cover von Lectures on modern convex optimization
analysis, algorithms, and engineering applications
Author: Ben-Tal, Aharon; Nemirovskii, Arkadii S. Search for this author
Year: 2001
Publisher: Philadelphia, SIAM
Series: MPS-SIAM series on optimization
Media group: MONOGRAPHIE
Cover von Tree adjoining grammars
formalisms, linguistic analysis and processing
Search for this author
Year: 2000
Publisher: Stanford, CSLI Publications
Series: CSLI lecture notes series; 107
Media group: MONOGRAPHIE
Cover von Local search algorithms for combinatorial problems
analysis, improvements, and new applications
Author: Stützle, Thomas G. Search for this author
Year: 1999
Publisher: St. Augustin, Infix
Series: Dissertationen zur künstlichen Intelligenz; 220
Media group: DISSERTATION
Cover von Applications in Statistical Computing
From Music Data Analysis to Industrial Quality Improvement
Search for this author
Year: 2019
Publisher: Berlin, Springer
Series: Studies in Classification, Data Analysis, and Knowledge Organization
Media group: MONOGRAPHIE
Cover von Towards Understanding the Complexity of CAQE

Towards Understanding the Complexity of CAQE

A Proof-Theoretic Analysis of Its Core Procedure
Year: 2026
Media group: LIPIcs
Cover von DelExp

DelExp

A Relational Container Abstraction: with Applications to Compositional Analysis
Year: 2026
Media group: LIPIcs
Cover von Mapping Chemical Space

Mapping Chemical Space

Topological Data Analysis of Chemical Latent Space with Mapper
Year: 2026
Media group: LIPIcs
OPEN V 11.1.0.0