Year of publication
Type of media
Type of material
Licence
TIB reading rooms collection
LUH institutes collection
Synonyms were used for: Programmierung
Search without synonyms: keywords:(Programmierung)
Used synonyms:
- computer programming
- computerprogrammierung
- programmerstellung
- programmieren
- programmiertechnik
- programming
-
Between a rock and a hard place : cognitive science principles meet AI-hard problems ; papers from the AAAI spring symposium ; [March 27 - 29, 2006, Stanford, California]
TIBKAT | 2006|Keywords: Neurolinguistisches Programmieren -
Functional and constraint logic programming : 26th international workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018 : revised selected papers
TIBKAT | 2019|Keywords: Funktionale Programmierung, Constraint-Programmierung, Logische Programmierung -
Functional and logic programming : 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020 : proceedings
TIBKAT | 2020|Keywords: Funktionale Programmierung, Logische Programmierung -
Functional and logic programming : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, proceedings
TIBKAT | 2022|Keywords: Funktionale Programmierung, Logische Programmierung -
Theories of programming and formal methods : essays dedicated to Jifeng He on the occasion of his 80th birthday
TIBKAT | 2023|Keywords: computer programming, Computer programming -
Functional and logic programming : 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018 : proceedings
TIBKAT | 2018|Keywords: Funktionale Programmierung, Logische Programmierung -
Trends in Functional Programming : 22nd International Symposium, TFP 2021, Virtual Event, February 17–19, 2021, revised selected papers
TIBKAT | 2021|Keywords: Funktionale Programmierung, Logische Programmierung -
STAF-WS 2022, Software Technologies: Applications and Foundations workshops 2022 : STAF 2022 workshop proceedings: 10th International Workshop on Bidirectional Transformations (BX 2022), 2nd International Workshop on Foundations and Practice of Visual Modeling (FPVM 2022) and 2nd International Workshop on MDE for Smart IoT Systems (MeSS 2022) (co-located with Software Technologies: Applications and Foundations federation of conferences (STAF 2022)) : Nantes, France, July 5-8, 2022
Free accessTIBKAT | 2022|Keywords: Programmierung -
Proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation : January 24 - 25, 2011, Austin, Texas, USA
TIBKAT | 2011|Keywords: Computer programming -
Computer applications I : International Conference on Computer Applications, 24 - 27 December 2010, Pondicherry, India
TIBKAT | 2011|Keywords: Computer programming -
STAF-WS 2021: STAF 2021 workshop proceedings : STAF 2021 workshop proceedings: 9th International Workshop on Bidirectional Transformations, Joint Workshop on Foundations and Practice of Visual Modeling and Data for Model-Driven Engineering, International Workshop on MDE for Smart IoT Systems, 4th International Workshop on (Meta)Modeling for Healthcare Systems, and 20th International Workshop on OCL and Textual Modeling : co-located with Software Technologies: Applications and Foundations, Federation of Conferences (STAF 2021) : Bergen, Norway, June 21-25, 2021
Free accessTIBKAT | 2021|Keywords: Programmierung -
STAF-WS 2023: STAF 2023 workshops post-proceedings : post proceedings of the STAF 2023 workshops TTC 2023, MeSS 2023 and AgileMDE 2023 : Leicester, United Kingdom, July 18, 2023 and June 21, 2023
Free accessTIBKAT | 2024|Keywords: Programmierung -
STAF-CE 2019 : STAF 2019 co-located events : JRCE, MDE@DeRun and RPS : STAF 2019 co-located events joint proceedings : 1st Junior Researcher Community Event, 2nd International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, and 1st Research Project Showcase Workshop co-located with Software Technologies : Applications and Foundations (STAF 2019) : Eindhoven, The Netherlands, July 15-19, 2019
Free accessTIBKAT | 2019|Keywords: Programmierung -
STAF-WS 2020: STAF 2020 workshop proceedings : STAF 2020 workshop proceedings: 4th Workshop on Model-Driven Engineering for the Internet-of-Things, 1st International Workshop on Modeling Smart Cities, and 5th International Workshop on Open and Original Problems in Software Language Engineering, co-located with Software Technologies: Applications and Foundations federation of conferences (STAF 2020) : Bergen, Norway, June 22-26, 2020
Free accessTIBKAT | 2020|Keywords: Programmierung -
Parallel architectures, algorithms and programming : 11th international symposium, PAAP 2020, Shenzhen, China, December 28-30, 2020 : proceedings
TIBKAT | 2021|Keywords: Programmierung -
Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation : January 18 - 19, 2010, Madrid, Spain
TIBKAT | 2010|Keywords: Computer programming -
Unifying theories of programming : 4th international symposium, UTP 2012, Paris, France, August 27 - 28, 2012 ; revised selected papers
TIBKAT | 2013|Keywords: Computer programming, Programmierung -
4th International Conference on Software Engineering (SOFE-2018), September 29-30, 2018, Copenhagen, Denmark
Free accessTIBKAT | 2018|Keywords: Programmierung -
Software technologies: applications and foundations : STAF 2018 collocated Workshops, Toulouse, France, June 25-29, 2018 : revised selected papers
TIBKAT | 2018|Keywords: Programmierung -
Practical Aspects of Declarative Languages : 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17–18, 2022, Proceedings
TIBKAT | 2022|Keywords: Deklarative Programmierung, Funktionale Programmierung, Answer Set Programming
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.