search result

Cover von Logic-Based Program Synthesis and Transformation
28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4 - 6, 2018, Revised Selected Papers
Search for this author
Year: 2019
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 11408
Media group: MONOGRAPHIE
Cover von 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
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Series: Lecture notes in artificial intelligence; 10997
Media group: MONOGRAPHIE
Cover von From Animals to Animats 15
15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14 - 17, 2018, Proceedings
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Series: Lecture notes in artificial intelligence; 10994
Media group: MONOGRAPHIE
Cover von Informatik in der Land-, Forst- und Ernährungswirtschaft
Fokus: Digitale Marktplätze und Plattformen : Referate der 38. GIL-Jahrestagung, 26. - 27. Februar 2018 in Kiel, Germany
Author: Ruckelshausen, Arno Search for this author
Year: 2018
Publisher: Bonn, Gesellschaft für Informatik e.V.
Series: Lecture notes in informatics / P; 278
Media group: MONOGRAPHIE
Cover von Crossing boundaries in science
modelling nature and society - can we control the world? : documentation of the workshop of the German National Academy of Sciences Leopoldina, 30 June - 2 July 2016 in Weimar, Germany
Search for this author
Year: 2017
Publisher: Stuttgart, Wissenschaftliche Verlagsgesellschaft
Series: Nova acta Leopoldina ; Neue Folge; 419
Media group: MONOGRAPHIE
Cover von Verified Software
Theories, Tools, and Experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22 - 23, 2017, Revised Selected Papers
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10712
Media group: MONOGRAPHIE
Cover von Operations Research Proceedings 2014
Selected Papers of the Annual International Conference of the German Operations Research Society (GOR), RWTH Aachen University, Germany, September 2 - 5, 2014
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Media group: MONOGRAPHIE
Cover von Evaluation in the Crowd
Crowdsourcing and Human-Centered Experiments : Dagstuhl Seminar 15481, Dagstuhl Castle, Germany, November 22 - 27, 2015, Revised Contributions
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : State-of-the-Art Survey; 10264
Media group: MONOGRAPHIE
Cover von Theory and Practice of Model Transformation
10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17 - 18, 2017, Proceedings
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10374
Media group: MONOGRAPHIE
Cover von Modelling Foundations and Applications
13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19 - 20, 2017, Proceedings
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10376
Media group: MONOGRAPHIE
OPEN V 11.1.0.0