101
Automated Deduction - CADE-25 [E-Book] : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings /

Full text 
Favorites
Saved in:
102
Constructive Side-Channel Analysis and Secure Design [E-Book] : 6th International Workshop, COSADE 2015, Berlin, Germany, April 13-14, 2015. Revised Selected Papers /

Full text 
Favorites
Saved in:
103
Rule Technologies: Foundations, Tools, and Applications [E-Book] : 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings /

Full text 
Favorites
Saved in:
104
Reasoning Web. Web Logic Rules [E-Book] : 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures. /

Full text 
Favorites
Saved in:
105
Combinatorics on Words [E-Book] : 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings /

Full text 
Favorites
Saved in:
106
Insight into theoretical and applied informatics : introduction to information technologies and computer science [E-Book] /

Full text 
Favorites
Saved in:
107
Human-Computer Interaction – INTERACT 2015 : 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part I [E-Book] /

Full text 
Favorites
Saved in:
108
Human-Computer Interaction – INTERACT 2015 : 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part IV [E-Book] /

Full text 
Favorites
Saved in:
109
Applied Reconfigurable Computing [E-Book] : 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings /

Full text 
Favorites
Saved in:
110
Human-Computer Interaction – INTERACT 2015 : 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part II [E-Book] /

Full text 
Favorites
Saved in:
111
Human-Computer Interaction – INTERACT 2015 : 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part III [E-Book] /

Full text 
Favorites
Saved in:
112
Pattern Recognition [E-Book] : 37th German Conference, GCPR 2015, Aachen, Germany, October 7-10, 2015, Proceedings /

Full text 
Favorites
Saved in:
113
Globalizing Domain-Specific Languages [E-Book] : International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers /

Full text 
Favorites
Saved in:
114
Artificial General Intelligence [E-Book] : 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings /

Full text 
Favorites
Saved in:
115
Data Analytics for Renewable Energy Integration [E-Book] : Third ECML PKDD Workshop, DARE 2015, Porto, Portugal, September 11, 2015. Revised Selected Papers /
Table of Contents: “... energy management systems in Germany -- Predicting hourly energy consumption. Can regression modeling improve on an autoregressive baseline -- An OPTICS clustering‐based anomalous data filtering algorithm for condition monitoring of power equipment -- Argument...”

Full text 
Favorites
Saved in:
116
Graph Drawing [E-Book] : 22nd International Symposium, GD 2014, Würzburg, Germany, September 24-26, 2014, Revised Selected Papers /

Full text 
Favorites
Saved in:
117
A Pipelined Multi-core MIPS Machine [E-Book] : Hardware Implementation and Correctness Proof /

Full text 
Favorites
Saved in:
118
Simulation of Urban Mobility [E-Book] : First International Conference, SUMO 2013, Berlin, Germany, May 15-17, 2013. Revised Selected Papers /

Full text 
Favorites
Saved in:
119
Pattern Recognition [E-Book] : 36th German Conference, GCPR 2014, Münster, Germany, September 2-5, 2014, Proceedings /

Full text 
Favorites
Saved in:
120
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance [E-Book] : 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014. Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results