-
Implementing Federated Object Systems
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
Composition and Reuse with Compiled Domain-Specific Languages
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
Feature-Oriented Programming with Object Algebras
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
What Programmers Do with Inheritance in Java
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
Reducing Lookups for Invariant Checking
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
A Formal Semantics for Isorecursive and Equirecursive State Abstractions
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
QUIC Graphs: Relational Invariant Generation for Containers
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
Trustworthy Proxies: Virtualizing Objects with Invariants
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
Is This a Bug or an Obsolete Test?
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
Higher-Order Reactive Programming with Incremental Lists
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
Systematic Testing of Refactoring Engines on Real Software Projects
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
Heap Decomposition Inference with Linear Programming
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
Combining Form and Function: Static Types for JQuery Programs
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
CoCo: Sound and Adaptive Replacement of Java Collections
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
Java~U~I: Effects for Controlling UI Object Access
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
RedCard: Redundant Check Elimination for Dynamic Race Detectors
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
The Billion-Dollar Fix: Safe Modular Circular Initialisation with Placeholders and Placeholder Types
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
Static Detection of Loop-Invariant Data Structures
British Library Conference Proceedings | 2012|Schlagwörter: Object-oriented programming (Computer science) -
Magda: A New Language for Modularity
British Library Conference Proceedings | 2012|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.