Erscheinungsjahr
Datenquelle
Format
Lizenz
Sprache
TIB-Lesesaalbestand
LUH-Institutsbestand
-
Cooperative Scheduling of Parallel Tasks with General Synchronization Patterns
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Babelsberg/JS: A Browser-Based Implementation of an Object Constraint Language
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Finding Reference-Counting Errors in Python/C Programs with Affine Analysis
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Self-inferencing Reflection Resolution for Java
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Automated Multi-Language Artifact Binding and Rename Refactoring between Java and DSLs Used by Java Frameworks
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Infrastructure-Free Logging and Replay of Concurrent Execution on Multiple Cores
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Graceful Dialects
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Identifying Mandatory Code for Framework Use via a Single Application Trace
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Understanding TypeScript
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Portable and Efficient Run-Time Monitoring of JavaScript Applications Using Virtual Machine Layering
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
TaDA: A Logic for Time and Data Abstraction
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Rely-Guarantee Protocols
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
State-Sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Java Wildcards Meet Definition-Site Variance
British Library Conference Proceedings | 2012|Schlagwörter: Object-oriented programming (Computer science) -
Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics
British Library Conference Proceedings | 2012|Schlagwörter: Object-oriented programming (Computer science) -
Lightweight Polymorphic Effects
British Library Conference Proceedings | 2012|Schlagwörter: Object-oriented programming (Computer science) -
Evaluating the Design of the R Language: Objects and Functions for Data Analysis
British Library Conference Proceedings | 2012|Schlagwörter: Object-oriented programming (Computer science) -
An Executable Formal Semantics of PHP
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Converting Parallel Code from Low-Level Abstractions to Higher-Level Abstractions
British Library Conference Proceedings | 2014|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.