-
``Triple-T (Time Triggered Transmission)'' A System of Patterns for Reliable Communication in Hard Real-Time Systems
British Library Conference Proceedings | 2005|Schlagwörter: Object-oriented programming (Computer science) -
2^n^d UML 2 Semantics Symposium: Formal Semantics for UML
British Library Conference Proceedings | 2007|Schlagwörter: Object-oriented programming (Computer science) -
2nd Workshop on Object-Oriented Language Engineering for the Post-Java Era: Back to Dynamicity
British Library Conference Proceedings | 2004|Schlagwörter: Object-oriented programming (Computer science) -
3D Parametric Models for Aeroplanes-From Idea to Design (Abstract)
British Library Conference Proceedings | 2008|Schlagwörter: Object-oriented programming (Computer science) -
3rd International Workshop on Metamodels, Schemas, Grammars and Ontologies
British Library Conference Proceedings | 2007|Schlagwörter: Object-oriented programming (Computer science) -
6th Heron Island Conference on Reactive Intermediates and Unusual Molecules
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
8th Workshop on Quantitative Approaches in Object-Oriented Software Engineering (QAOOSE 2004)
British Library Conference Proceedings | 2004|Schlagwörter: Object-oriented programming (Computer science) -
9th International Workshop on Aspect-Oriented Modeling
British Library Conference Proceedings | 2007|Schlagwörter: Object-oriented programming (Computer science) -
10th Workshop on Mobile Object Systems
British Library Conference Proceedings | 2004|Schlagwörter: Object-oriented programming (Computer science) -
101companies: A Community Project on Software Technologies and Software Languages
British Library Conference Proceedings | 2012|Schlagwörter: Object-oriented programming (Computer science) -
A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency
British Library Conference Proceedings | 2008|Schlagwörter: Object-oriented programming (Computer science) -
ABS: A Core Language for Abstract Behavioral Specification
British Library Conference Proceedings | 2011|Schlagwörter: Object-oriented programming (Computer science) -
Abstract Certification of Global Non-interference in Rewriting Logic
British Library Conference Proceedings | 2010|Schlagwörter: Object-oriented programming (Computer science) -
Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification?
British Library Conference Proceedings | 2011|Schlagwörter: Object-oriented programming (Computer science) -
Abstracting Complex Languages through Transformation and Composition
British Library Conference Proceedings | 2009|Schlagwörter: Object-oriented programming (Computer science) -
Abstract Interface Behavior of Object-Oriented Languages with Monitors
British Library Conference Proceedings | 2006|Schlagwörter: Object-oriented programming (Computer science) -
Abstract Interpretation of Symbolic Execution with Explicit State Updates
British Library Conference Proceedings | 2009|Schlagwörter: Object-oriented programming (Computer science) -
Abstraction and Modelling-A Complementary Partnership (Abstract)
British Library Conference Proceedings | 2008|Schlagwörter: Object-oriented programming (Computer science) -
Abstraction and Refinement in Model Checking
British Library Conference Proceedings | 2006|Schlagwörter: Object-oriented programming (Computer science) -
Abstraction-Raising Transformation for Generating Analysis Models
British Library Conference Proceedings | 2006|Schlagwörter: Object-oriented programming (Computer science)
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.