-
Lock Inference in the Presence of Large Libraries
British Library Conference Proceedings | 2012|Schlagwörter: Object-oriented programming (Computer science) -
Application-Only Call Graph Construction
British Library Conference Proceedings | 2012|Schlagwörter: Object-oriented programming (Computer science) -
Marco: Safe, Expressive Macros for Any Language
British Library Conference Proceedings | 2012|Schlagwörter: Object-oriented programming (Computer science) -
Cloud Types for Eventual Consistency
British Library Conference Proceedings | 2012|Schlagwörter: Object-oriented programming (Computer science) -
PQL: A Purely-Declarative Java Extension for Parallel Programming
British Library Conference Proceedings | 2012|Schlagwörter: Object-oriented programming (Computer science) -
Constraint-Based Refactoring with Foresight
British Library Conference Proceedings | 2012|Schlagwörter: Object-oriented programming (Computer science) -
Inference and Checking of Object Ownership
British Library Conference Proceedings | 2012|Schlagwörter: Object-oriented programming (Computer science) -
Object Initialization in X10
British Library Conference Proceedings | 2012|Schlagwörter: Object-oriented programming (Computer science) -
Extensions during Software Evolution: Do Objects Meet Their Promise?
British Library Conference Proceedings | 2012|Schlagwörter: Object-oriented programming (Computer science) -
MiCA: A Compositional Architecture for Gossip Protocols
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
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) -
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) -
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) -
Stream Processing with a Spreadsheet
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Constructing Call Graphs of Scala Programs
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.