Erscheinungsjahr
Medientyp
Format
Lizenz
TIB-Lesesaalbestand
LUH-Institutsbestand
Synonyme wurden verwendet für: Computer programming
Suche ohne Synonyme: keywords:("Computer programming")
Verwendete Synonyme:
- computerprogrammierung
- programmerstellung
- programmieren
- programmiertechnik
- programmierung
- 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|Schlagwörter: Neurolinguistisches Programmieren -
Functional and constraint logic programming : 26th international workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018 : revised selected papers
TIBKAT | 2019|Schlagwörter: Funktionale Programmierung, Constraint-Programmierung, Logische Programmierung -
Functional and logic programming : 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020 : proceedings
TIBKAT | 2020|Schlagwörter: Funktionale Programmierung, Logische Programmierung -
Functional and logic programming : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, proceedings
TIBKAT | 2022|Schlagwörter: Funktionale Programmierung, Logische Programmierung -
Theories of programming and formal methods : essays dedicated to Jifeng He on the occasion of his 80th birthday
TIBKAT | 2023|Schlagwörter: computer programming, Computer programming -
Functional and logic programming : 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018 : proceedings
TIBKAT | 2018|Schlagwörter: Funktionale Programmierung, Logische Programmierung -
Trends in Functional Programming : 22nd International Symposium, TFP 2021, Virtual Event, February 17–19, 2021, revised selected papers
TIBKAT | 2021|Schlagwörter: Funktionale Programmierung, Logische Programmierung -
Proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation : January 24 - 25, 2011, Austin, Texas, USA
TIBKAT | 2011|Schlagwörter: Computer programming -
Computer applications I : International Conference on Computer Applications, 24 - 27 December 2010, Pondicherry, India
TIBKAT | 2011|Schlagwörter: Computer programming -
Parallel architectures, algorithms and programming : 11th international symposium, PAAP 2020, Shenzhen, China, December 28-30, 2020 : proceedings
TIBKAT | 2021|Schlagwörter: Programmierung -
Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation : January 18 - 19, 2010, Madrid, Spain
TIBKAT | 2010|Schlagwörter: Computer programming -
Unifying theories of programming : 4th international symposium, UTP 2012, Paris, France, August 27 - 28, 2012 ; revised selected papers
TIBKAT | 2013|Schlagwörter: Computer programming, Programmierung -
Software technologies: applications and foundations : STAF 2018 collocated Workshops, Toulouse, France, June 25-29, 2018 : revised selected papers
TIBKAT | 2018|Schlagwörter: 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, Funktionale Programmierung, Answer Set Programming -
Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation : Savannah, Georgia, USA, January 19 - 20, 2009
TIBKAT | 2009|Schlagwörter: Computer 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, Logische Programmierung -
Automata, languages and programming : 28th international colloquium, Crete, Greece, July 8 - 12, 2001 ; proceedings
TIBKAT | 2001|Schlagwörter: Computer programming -
17es journées francophones de programmation par contraintes (JFPC 2022) : held at PFIA 2022 : Saint Étienne, France, 27-29 June 2022
TIBKAT | 2023|Schlagwörter: Constraint-Programmierung -
Recent trends in algebraic development techniques : 26th IFIP WG 1.3 international workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022 : revised selected papers
TIBKAT | 2023|Schlagwörter: Computerprogrammierung und Softwareentwicklung, COMPUTERS / Programming / General, Computer programming / software development -
Declarative programming and knowledge management : conference on declarative programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019 : revised selected papers
TIBKAT | 2020|Schlagwörter: Deklarative Programmierung, Logische Programmierung -
Networking : proceedings of the International Conference on Computer Applications, 24 - 27 December 2010, Pondicherry, India
TIBKAT | 2011|Schlagwörter: Computer programming -
Mathematics of program construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019 : proceedings
TIBKAT | 2019|Schlagwörter: Computer programming -
Functional and logic programming : [...extended version of six of the papers presented at the FLOPS 2010 symposium, held in Tohoku University, Sendai, April 19 - 21, 2010 ...]
TIBKAT | 2012|Schlagwörter: Funktionale Programmierung, Logische Programmierung -
Networking : proceedings of the International Conference on Computer Applications, 24 - 27 December 2010, Pondicherry, India
TIBKAT | 2011|Schlagwörter: Computer programming -
Third meeting of the Symposium on Algorithmic Principles of Computer Systems (APOCS22) : Alexandria, Virginia, USA, 12 January 2021
TIBKAT | 2022|Schlagwörter: Algorithmische Programmierung -
Symposium on Algorithmic Principles of Computer Systems (APOCS21) : held online due to COVID-19 : Alexandria, Virginia, USA, 13 January 2021
TIBKAT | 2021|Schlagwörter: Algorithmische Programmierung -
Symposium on Algorithmic Principles of Computer Systems (APOCS20) : Salt Lake City, Utah, USA, 8 January 2020
TIBKAT | 2021|Schlagwörter: Algorithmische Programmierung -
Genetic programming : 23rd European conference, EuroGP 2020, held as part of EvoStar 2020, Seville, Spain, April 15–17, 2020 : proceedings
TIBKAT | 2020|Schlagwörter: Genetische Programmierung -
16es journées francophones de programmation par contraintes (JFPC 2021) : online, 22-24 June 2021
TIBKAT | 2023|Schlagwörter: Constraint-Programmierung -
Parallel computing technologies : 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19-23, 2019 : proceedings
TIBKAT | 2019|Schlagwörter: Programmierung -
Unifying theories of programming : Second International Symposium, UTP 2008, Dublin, Ireland, September 8 - 10, 2008; revised selected papers
TIBKAT | 2010|Schlagwörter: Computer programming, Programmierung -
Trends in functional programming : 19th international symposium, TFP 2018, Gothenburg, Sweden, June 11-13, 2018 : revised selected papers
TIBKAT | 2019|Schlagwörter: Funktionale Programmierung -
Unifying theories of programming : third international symposium, UTP 2010, Shanghai, China, November 15-16, 2010 ; proceedings
TIBKAT | 2010|Schlagwörter: Computer programming, Programmierung -
Open source software: new horizons : 6th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2010, Notre Dame, IN, USA, May 30 - June 2, 2010 ; proceedings
TIBKAT | 2010|Schlagwörter: Computer programming -
Trends in functional programming : 20th international symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019 : revised selected papers
TIBKAT | 2020|Schlagwörter: Funktionale Programmierung -
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation : PEPM 2007 ; January 15 - 16, 2007, Nice, France
TIBKAT | 2007|Schlagwörter: Computer programming -
Natsu no Purogūramingu Shinpojiumu 2018 “Puroguramingu To Ōtomaton“ hokokushū : 2018nen 8gatsu 27-29nichi
TIBKAT | 2019|Schlagwörter: Programmierung -
Genetic programming : 21st European Conference, EuroGP 2018, Parma, Italy, April 4-6, 2018 : proceedings
TIBKAT | 2018|Schlagwörter: Genetische Programmierung -
Quatorzième journées francophones de programmation par contraintes (JFPC 2018) : Amiens, France, 13-15 June 2018
TIBKAT | 2018|Schlagwörter: Constraint-Programmierung -
Technical communications of the 34th International Conference on Logic Programming : ICLP 2018 : July 14-17, 2018, Oxford, United Kingdom
TIBKAT | 2018|Schlagwörter: Logische Programmierung -
Treizième journées francophones de programmation par contraintes (JFPC 2017) : Montreuil-sur-Mer, France, 13-15 June 2017
TIBKAT | 2018|Schlagwörter: Constraint-Programmierung -
Trends in functional programming : 17th international conference, TFP 2016, College Park, MD, USA, June 8-10, 2016 : revised selected papers
TIBKAT | 2019|Schlagwörter: Funktionale Programmierung -
Dynamic logic : new trends and applications : Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019 : proceedings
TIBKAT | 2020|Schlagwörter: Logische Programmierung -
Euro-Par 2017: parallel processing workshops : Euro-Par 2017 international workshops, Santiago de Compostela, Spain, August 28-29, 2017 : revised selected papers
TIBKAT | 2018|Schlagwörter: Verteilte Programmierung -
Trends in functional programming : 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017 : revised selected papers
TIBKAT | 2018|Schlagwörter: Funktionale 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.