Similar Items: Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs
- Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security
- Elements of dynamic and 2-SAT programming: paths, trees, and cuts
- Certified Programming with Dependent Types
- Programming Languages and Systems
- Programming Languages and Systems
- Chapter Topological Visualisation Techniques for Volume Multifield Data
Topic: QA75.5-76.95
- CLEI Electronic Journal
- Ein neues Konzept für die geberlose Regelung von Permanentmagnet-Synchronmaschinen für Hybrid- und Elektrofahrzeuge
- Semantisches Informationsmodell für die Betriebsunterstützung dienstorientierter Systeme
- Adaptive Verhaltensentscheidung und Bahnplanung für kognitive Automobile
- Coupled model transformations for QoS enabled component-based software design
- Organisation, Repräsentation und Analyse menschlicher Ganzkörperbewegung für die datengetriebene Bewegungsgenerierung bei humanoiden Robotern