Inverse relations
[ .. ] → schema:isPartOf → IPA dissertation series
A framework for debugging heterogeneous applications : on bugs and trees / Pieter Antonius Olivierschema:ProductModel
A run-time reconfigurable network-on-chip for streaming DSP applications / Nikolay Krasimirov Kavaldjievschema:ProductModel
Abstract delta modeling : software product lines and beyond / Michiel Helvensteijnschema:ProductModel
Abstract graph transformation : theory and practice / Eduardo Zambonschema:ProductModel
Abstraction, prices and probability in model checking timed automata / Jasper Kornelius Berendsenschema:ProductModel
Adaptability of model transformations / Ivan Kurtev Ivanovschema:ProductModel
Adaptive information filtering : concepts and algorithms / Daniel Remy Tauritzschema:ProductModel
Agents, objects and events : a computational approach to knowledge, observation and communication / René Marie Charles Ahnschema:ProductModel
Alea jacta est : verification of probabilistic, real-time and parametric systems / Mariëlle Ida Antoinette Stoelingaschema:ProductModel
Algebras and automata for timed and stochastic systems / Pedro R. D'Argenioschema:ProductModel
Algorithms for analyzing and mining real-world graphs / Frank Willem Takesschema:ProductModel
An assertional proof system for multithreaded Java : theory and tool support / Erika Ábrahámschema:ProductModel
An asynchronous low-power 80C51 microcontroller / Johan Sebastiaan Henri van Gageldonkschema:ProductModel
An executable theory of multi-agent systems refinement / Lăcrămioara Aştefănoaeischema:ProductModel
Analysing industrial protocols with formal methods / Judi Maria Tirza Romijnschema:ProductModel
Analysis and simulations of catalytic reactions / Silvia Nedeaschema:ProductModel
Analysis and transformation of source code by parsing and rewriting / Jurgen Jordanus Vinjuschema:ProductModel
Analysis models for security protocols / Ricardo Javier Corinschema:ProductModel
Another formal specification language / Erik Harald Saamanschema:ProductModel
Application of evolutionary computation to constraint satisfaction and data mining / Jano Iljà van Hemertschema:ProductModel
... show all 193