search result

Cover von Computer Vision, Imaging and Computer Graphics Theory and Applications
10th International Joint Conference, VISIGRAPP 2015, Berlin, Germany, March 11 - 14, 2015, Revised Selected Papers
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Communications in computer and information science; 598
Media group: MONOGRAPHIE
Cover von Deductive Software Verification
The KeY Book : From Theory to Practice
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10001
Media group: MONOGRAPHIE
Cover von Fresh Approaches to Business Process Modeling; 5
pp. 1-30
Search for this author
Year: 2016
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 5
Media group: DAGSTUHL REPORT
Cover von Structural, Syntactic, and Statistical Pattern Recognition
Joint IAPR International Workshop, S+SSPR 2016, Mérida, Mexico, November 29 - December 2, 2016, Proceedings
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10029
Media group: MONOGRAPHIE
Cover von Multidisciplinary Approaches to Multivalued Data; 4
pp. 16-38
Search for this author
Year: 2016
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 4
Media group: DAGSTUHL REPORT
Cover von Volume XXIV.; Transactions on Computational Collective Intelligence
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Volume: Volume XXIV.
Series: Lecture notes in computer science : Journal Subline; 9770
Media group: MONOGRAPHIE
Cover von Volume XXV.; Transactions on Computational Collective Intelligence
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Volume: Volume XXV.
Series: Lecture notes in computer science : Journal Subline; 9990
Media group: MONOGRAPHIE
Cover von Model Checking Flat Freeze LTL on One-Counter Automata

Model Checking Flat Freeze LTL on One-Counter Automata

Year: 2016
Media group: LIPIcs
Cover von Deterministic Time-Space Trade-Offs for k-SUM

Deterministic Time-Space Trade-Offs for k-SUM

Year: 2016
Media group: LIPIcs
Cover von Volume XXIII.; Transactions on Computational Collective Intelligence
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Volume: Volume XXIII.
Series: Lecture notes in computer science : Journal Subline; 9760
Media group: MONOGRAPHIE
OPEN V 11.1.0.0