Erscheinungsjahr
Format
Lizenz
Sprache
TIB-Lesesaalbestand
Synonyme wurden verwendet für: Deklarative Programmierung
Suche ohne Synonyme: keywords:("Deklarative Programmierung")
Verwendete Synonyme:
- declarative programming
- denotationelle programmierung
- deskriptive programmierung
- nichtprozedurale programmierung
-
Proceedings of the 2011 Symposium on Principles and Practices of Declarative Programming : July 20 - 22, 2011, Odense, Denmark
TIBKAT | 2011|Schlagwörter: Deklarative Programmierung -
Parameterized complexity in the polynomial hierarchy : extending parameterized complexity theory to higher levels of the hierarchy
TIBKAT | 2019|Schlagwörter: Deklarative Programmierung -
Declarative logic programming : theory, systems, and applications
TIBKAT | 2018|Schlagwörter: Declarative programming -
Lightweight Declarative Server-Side Web Programming
TIBKAT | 2021|Schlagwörter: Deklarative Programmierung -
ConFuzz: Coverage-Guided Property Fuzzing for Event-Driven Programs
TIBKAT | 2021|Schlagwörter: Deklarative Programmierung -
A Family of Unification-Oblivious Program Transformations and Their Applications
TIBKAT | 2021|Schlagwörter: Deklarative Programmierung -
On Adding Pattern Matching to Haskell-Based Deeply Embedded Domain Specific Languages
TIBKAT | 2021|Schlagwörter: Deklarative Programmierung -
Practical aspects of declarative languages : 23rd international symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021 : proceedings
TIBKAT | 2021|Schlagwörter: Deklarative Programmierung -
Data Validation Meets Answer Set Programming
TIBKAT | 2021|Schlagwörter: Deklarative Programmierung -
Principles and practice of declarative programming : PPDP'12 ; proceedings of the 2012 ACM SIGPLAN ; September 19 - 21, 2012, Leuven, Belgium ; [the 14th Symposium on Principles and Practice of Declarative Programming]
TIBKAT | 2012|Schlagwörter: Deklarative Programmierung, Declarative programming -
Declarative programming and knowledge management : Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017 : revised selected papers
TIBKAT | 2018|Schlagwörter: Deklarative Programmierung -
Causal-Consistent Reversible Debugging: Improving CauDEr
TIBKAT | 2021|Schlagwörter: Deklarative Programmierung -
A Logic Programming Approach to Regression Based Repair of Incorrect Initial Belief States
TIBKAT | 2021|Schlagwörter: Deklarative Programmierung -
Decomposition-Based Job-Shop Scheduling with Constrained Clustering
TIBKAT | 2022|Schlagwörter: Deklarative Programmierung -
Practical Aspects of Declarative Languages : 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17–18, 2022, Proceedings
TIBKAT | 2022|Schlagwörter: Deklarative Programmierung
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.