Erscheinungsjahr
Datenquelle
Format
Lizenz
Sprache
TIB-Lesesaalbestand
LUH-Institutsbestand
-
Doubts about the Positive Impact of Static Type Systems on Programming Tasks in Single Developer Projects - An Empirical Study
British Library Conference Proceedings | 2010|Schlagwörter: Object-oriented programming (Computer science) -
Debugging Model-Transformation Failures Using Dynamic Tainting
British Library Conference Proceedings | 2010|Schlagwörter: Object-oriented programming (Computer science) -
Late Binding of AspectJ Advice
British Library Conference Proceedings | 2010|Schlagwörter: Object-oriented programming (Computer science) -
Optimizing Aspect-Oriented Mechanisms for Embedded Applications
British Library Conference Proceedings | 2010|Schlagwörter: Object-oriented programming (Computer science) -
Reasoning about Function Objects
British Library Conference Proceedings | 2010|Schlagwörter: Object-oriented programming (Computer science) -
Contract-Based Data Structure Repair Using Alloy
British Library Conference Proceedings | 2010|Schlagwörter: Object-oriented programming (Computer science) -
Reasoning about the Implementation of Concurrency Abstractions on x86-TSO
British Library Conference Proceedings | 2010|Schlagwörter: Object-oriented programming (Computer science) -
Verifying Executable Object-Oriented Specifications with Separation Logic
British Library Conference Proceedings | 2010|Schlagwörter: Object-oriented programming (Computer science) -
Domain-Specific Program Checking
British Library Conference Proceedings | 2010|Schlagwörter: Object-oriented programming (Computer science) -
Deep Meta-modelling with MetaDepth
British Library Conference Proceedings | 2010|Schlagwörter: Object-oriented programming (Computer science) -
Self-Replicating Objects for Multicore Platforms
British Library Conference Proceedings | 2010|Schlagwörter: Object-oriented programming (Computer science) -
Inline Caching Meets Quickening
British Library Conference Proceedings | 2010|Schlagwörter: Object-oriented programming (Computer science) -
JCoBox: Generalizing Active Objects to Concurrent Components
British Library Conference Proceedings | 2010|Schlagwörter: Object-oriented programming (Computer science) -
Essential AOP: The A Calculus
British Library Conference Proceedings | 2010|Schlagwörter: Object-oriented programming (Computer science) -
Understanding the Impact of Collection Contracts on Design
British Library Conference Proceedings | 2010|Schlagwörter: Object-oriented programming (Computer science) -
The Essence of JavaScript
British Library Conference Proceedings | 2010|Schlagwörter: Object-oriented programming (Computer science) -
Code Roots
British Library Conference Proceedings | 2010|Schlagwörter: Object-oriented programming (Computer science) -
Reactive applications with Akka.NET
TIBKAT | 2019|Schlagwörter: Object-oriented programming (Computer science) -
Touch of class : learning to program well with objects and contracts
TIBKAT | 2009|Schlagwörter: Object-oriented programming (Computer science) -
The object-oriented thought process
TIBKAT | 2009|Schlagwörter: Object-oriented programming (Computer science) -
Dependency injection : principles, practices, patterns
TIBKAT | 2019|Schlagwörter: Object-oriented programming (Computer science) -
Objektorientierte Programmierung für Dummies : [das Prinzip der objektorientierten Programmierung von Grund auf verstehen ; mit C++ in die Geheimnisse der Objekte und Klassen vordringen ; inklusive Debugging-Hilfen und Design Patterns]
TIBKAT | 2002|Schlagwörter: Object-oriented programming (Computer science) -
Program Metamorphosis
British Library Conference Proceedings | 2009|Schlagwörter: Object-oriented programming (Computer science) -
Supporting Framework Use via Automatically Extracted Concept-Implementation Templates
British Library Conference Proceedings | 2009|Schlagwörter: Object-oriented programming (Computer science) -
Modular Visitor Components: A Practical Solution to the Expression Families Problem
British Library Conference Proceedings | 2009|Schlagwörter: Object-oriented programming (Computer science) -
Introduction to: The Myths of Object-Orientation
British Library Conference Proceedings | 2009|Schlagwörter: Object-oriented programming (Computer science) -
Security Monitor Inlining for Multithreaded Java
British Library Conference Proceedings | 2009|Schlagwörter: Object-oriented programming (Computer science) -
Are We Ready for a Safer Construction Environment?
British Library Conference Proceedings | 2009|Schlagwörter: Object-oriented programming (Computer science) -
ECOOP 2011 - object-oriented programming : 25th European conference, Lancaster, UK, July 25-29, 2011 ; proceedings
TIBKAT | 2011|Schlagwörter: Object-oriented programming (Computer science) -
Interactive object oriented programming in Java : learn and test your skills
TIBKAT | 2016|Schlagwörter: Object-oriented programming (Computer science) -
Design and Implementation of a Tool for Specifying Specification in SOFL
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
Location Types for Safe Programming with Near and Far References
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
Separation Logic for Object-Oriented Programming
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
Beyond the Geneva Convention on the Treatment of Object Aliasing
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
Debugging Method Names
British Library Conference Proceedings | 2009|Schlagwörter: Object-oriented programming (Computer science) -
Fine-Grained Access Control with Object-Sensitive Roles
British Library Conference Proceedings | 2009|Schlagwörter: Object-oriented programming (Computer science) -
Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis
British Library Conference Proceedings | 2009|Schlagwörter: Object-oriented programming (Computer science) -
The Myths of Object-Orientation
British Library Conference Proceedings | 2009|Schlagwörter: Object-oriented programming (Computer science) -
Type-Based Object Immutability with Flexible Initialization
British Library Conference Proceedings | 2009|Schlagwörter: Object-oriented programming (Computer science) -
Loci: Simple Thread-Locality for Java
British Library Conference Proceedings | 2009|Schlagwörter: Object-oriented programming (Computer science) -
Java on 1000 Cores: Tales of Hardware/Software Co-design
British Library Conference Proceedings | 2009|Schlagwörter: Object-oriented programming (Computer science) -
MAPO: Mining and Recommending API Usage Patterns
British Library Conference Proceedings | 2009|Schlagwörter: Object-oriented programming (Computer science) -
Adding State and Visibility Control to Traits Using Lexical Nesting
British Library Conference Proceedings | 2009|Schlagwörter: Object-oriented programming (Computer science) -
Checking Framework Interactions with Relationships
British Library Conference Proceedings | 2009|Schlagwörter: Object-oriented programming (Computer science) -
Understanding Ownership Types with Dependent Types
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
Model Checking C Programs with MSVL
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
Development of a Supporting Tool for Formalizing Software Requirements
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
Aliasing Visions: Ownership and Location
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
Aspect-oriented programming with the e verification language : a pragmatic guide for testbench developers
TIBKAT | 2007|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.