Konferenzband (135)
3521.
Konferenzband
Proceedings PETMEI 2018. 7th International Workshop on Pervasive Eye Tracking and Mobile Eye-based Interaction , Warsaw, Poland, 15. Juni 2018 - 16. Juni 2018. ACM, New York, NY (2018)
3522.
Konferenzband
6). Dagstuhl Seminar 16291 "Data, Responsibly", Wadern, Germany, 17. Juli 2016 - 22. Juli 2016. Schloss Dagstuhl, Wadern (2016), 30 S.
Data, Responsibly (Dagstuhl Reports, 3523.
Konferenzband
9853). European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Riva del Garda, Italy, 19. September 2016 - 23. September 2016. Springer, Berlin (2016), XXII, 307 S.
Machine Learning and Knowledge Discovery in Databases (Lecture Notes in Artificial Intelligence, 3524.
Konferenzband
210). First International Workshop on Hammers for Type Theories , Coimbra, Portugal, 01. Juli 2016. EPTCS, http://about.eptcs.org/ (2016), 35 S.
Proceedings First International Workshop on Hammers for Type Theories (Electronic Proceedings in Theoretical Computer Science, 3525.
Konferenzband
9807). Seventh Conference on Interactive Theorem Proving , Nancy, France, 22. August 2016 - 27. August 2016. Springer, Berlin (2016), XVII, 502 S.
Interactive Theorem Proving (Lecture Notes in Computer Science, 3526.
Konferenzband
6). Dagstuhl Seminar 16042 "Eyewear Computing -- Augmenting the Human with Head-Mounted Wearable Assistants", Wadern, Germany, 24. Januar 2016 - 29. Januar 2016. Schloss Dagstuhl, Wadern (2016), 46 S.
Eyewear Computing -- Augmenting the Human with Head-mounted Wearable Assistants (Dagstuhl Reports, 3527.
Konferenzband
Proceedings of the ACM SIGKDD Workshop on Interactive Data Exploration and Analytics. ACM SIGKDD 2016 Full-day Workshop on Interactive Data Exploration and Analytics, San Francisco, CA, USA, 14. August 2016. IDEA'16, San Francisco, CA (2016), 137 S.
3528.
Konferenzband
9852). European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Riva del Garda, Italy, 19. September 2016 - 23. September 2016. Springer, Berlin (2016), XXVIII, 825 S.
Machine Learning and Knowledge Discovery in Databases (Lecture Notes in Artificial Intelligence, 3529.
Konferenzband
9851). European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Riva del Garda, Italy, 19. September 2016 - 23. September 2016. Springer, Berlin (2016), XXXVI, 817 S.
Machine Learning and Knowledge Discovery in Databases (Lecture Notes in Artificial Intelligence, 3530.
Konferenzband
9796). 38th German Conference on Pattern Recognition
, Hannover, Germany, 12. September 2016 - 15. September 2016. Springer, Berlin (2016), XIV, 452 S.
Pattern Recognition (Lecture Notes in Computer Science, 3531.
Konferenzband
ESAIR'15. Eight Workshop on Exploiting Semantic Annotations in Information Retrieval, Melbourne, Australia, 23. Oktober 2015. ACM, New York, NY (2015)
3532.
Konferenzband
9154). 9th International Conference on Tests & Proofs, L'Aquila, Italy, 22. Juli 2015 - 24. Juli 2015. Springer, Berlin (2015)
Tests and Proofs (Lecture Notes in Computer Science, 3533.
Konferenzband
Proceedings of the ACM SIGKDD 2015 Full-day Workshop on Interactive Data Exploration and Analytics. ACM SIGKDD 2015 Full-day Workshop on Interactive Data Exploration and Analytics, Sydney, Australia, 10. August 2015 - 10. August 2014. (2015), 72 S.
3534.
Konferenzband
4). Dagstuhl Seminar 14342 “Equilibrium Computation", Wadern, Germany, 17. August 2014 - 22. August 2014. Schloss Dagstuhl, Wadern (2014), 16 S.
Equilibrium Computation (Dagstuhl Reports, 3535.
Konferenzband
3). Dagstuhl Seminar 13411 "Deduction and Arithmetic", Wadern, Germany, 06. Oktober 2013 - 11. Oktober 2013. Schloss Dagstuhl, Wadern (2014), 24 S.
Deduction and Arithmetic (Dagstuhl Reports, 3536.
Konferenzband
Proceedings of the ACM SIGKDD 2014 Full-day Workshop on Interactive Data Exploration and Analytics. ACM SIGKDD 2014 Full-day Workshop on Interactive Data Exploration and Analytics, New York, NY, USA, 24. August 2014. Georgia Institute of Technology, Atlanta, GA (2014), 130 S.
3537.
Konferenzband
8562). 7th International Joint Conference on Automated Reasoning, Vienna, Austria, 19. Juli 2014 - 22. Juli 2014. Springer, Berlin (2014), XV, 528 S.
Automated Reasoning (Lecture Notes in Artificial Intelligence, 3538.
Konferenzband
8689-8695). European Conference on Computer Vision, Zurich, Switzerland, 06. September 2014 - 12. September 2014. Springer, Berlin (2014), Various pagings S.
Computer Vision - ECCV 2014 (Lecture Notes in Computer Science, 3539.
Konferenzband
Automated Deduction: Decidability, Complexity, Tractability. Automated Deduction: Decidability, Complexity, Tractability, Vienna, Austria, 18. Juli 2014. Universität Koblenz, Koblenz (2014), 58 S.
3540.
Konferenzband
Proceedings of the 13th ACM Workshop on Hot Topics in Networks. 13th ACM Workshop on Hot Topics in Networks, Los Angeles, CA, USA, 27. Oktober 2014 - 28. Oktober 2014. ACM, New York, NY (2014)