search result

Cover von Big Graph Processing Systems; 12
pp. 1-27
Search for this author
Year: 2020
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 12
Media group: DAGSTUHL REPORT
Cover von Part I.; Computer Aided Systems Theory
EUROCAST 2019 : 17th International Conference, Las Palmas de Gran Canaria, Spain, February 17 - 22, 2019, Revised Selected Papers
Search for this author
Year: 2020
Publisher: Heidelberg, Springer
Volume: Part I.
Series: Lecture notes in computer science; 12013
Media group: MONOGRAPHIE
Cover von Programming Languages and Systems
29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25 - 30, 2020, Proceedings
Search for this author
Year: 2020
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 12075
Media group: MONOGRAPHIE
Cover von Part II.; Computer Aided Systems Theory
EUROCAST 2019 : 17th International Conference, Las Palmas de Gran Canaria, Spain, February 17 - 22, 2019, Revised Selected Papers, Part II
Search for this author
Year: 2020
Publisher: Heidelberg, Springer
Volume: Part II.
Series: Lecture notes in computer science; 12014
Media group: MONOGRAPHIE
Cover von Cyber Physical Systems
Model-Based Design : 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17 - 18, 2019, Revised Selected Papers
Search for this author
Year: 2020
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 11971
Media group: MONOGRAPHIE
Cover von Algorithms for Sensor Systems
15th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2019, Munich, Germany, September 12 - 13, 2019, Revised Selected Papers
Search for this author
Year: 2019
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 11931
Media group: MONOGRAPHIE
Cover von Designing Reliable Distributed Systems
A Formal Methods Approach Based on Executable Modeling in Maude
Author: Ölveczky, Peter Csaba Search for this author
Year: 2017
Publisher: Berlin, Springer
Series: Undergraduate topics in computer science
Media group: MONOGRAPHIE
Cover von Engineering Reliable Multiagent Systems; 3
pp. 52-63
Search for this author
Year: 2019
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 3
Media group: DAGSTUHL REPORT
Cover von Physiological Computing Systems
International Conferences, PhyCS 2016, Lisbon, Portugal, July 27 - 28, 2016, PhyCS 2017, Madrid, Spain, July 27 - 28, 2017, PhyCS 2018, Seville, Spain, September 19 - 21, 2018, Revised and Extended Selected Papers
Search for this author
Year: 2019
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 10057
Media group: MONOGRAPHIE
Cover von Part II.; Towards Autonomous Robotic Systems
20th Annual Conference, TAROS 2019, London, UK, July 3 - 5, 2019, Proceedings, Part II
Search for this author
Year: 2019
Publisher: Heidelberg, Springer
Volume: Part II.
Series: Lecture notes in artificial intelligence; 11650
Media group: MONOGRAPHIE
OPEN V 11.1.0.0