Top 251 hannes fl hler PDF Book Page 9
Automated Deduction – CADE-19: 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 – August 2, 2003. Proceedings
Edmund M. Clarke (auth.), Franz Baader (eds.)
·516 Pages
·2003
·5.717 MB
HCI International 2019 – Late Breaking Posters: 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings
Constantine Stephanidis, Margherita Antona
·472 Pages
·2019
·46.749 MB
Rule Representation, Interchange and Reasoning on the Web: International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings
Michael Kifer (auth.), Nick Bassiliades, Guido Governatori, Adrian Paschke (eds.)
·254 Pages
·2008
·6.904 MB
Collaborative Computing: Networking, Applications and Worksharing: 4th International Conference, CollaborateCom 2008, Orlando, FL, USA, November 13-16, 2008, Revised Selected Papers
Jun Wang, Jian Peng, Xiaoyang Cao (auth.), Elisa Bertino, James B. D. Joshi (eds.)
·846 Pages
·2009
·21.713 MB
Mobile Entity Localization and Tracking in GPS-less Environnments: Second International Workshop, MELT 2009, Orlando, FL, USA, September 30, 2009. Proceedings
Pampa Sadhukhan, Pradip K. Das (auth.), Richard Fuller, Xenofon D. Koutsoukos (eds.)
·275 Pages
·2009
·6.197 MB
Sensor Systems and Software: Second International ICST Conference, S-Cube 2010, Miami, FL, USA, December 13-15, 2010, Revised Selected Papers
Marius Marcu, Cristina Stangaciu, Alexandru Topirceanu, Daniel Volcinschi (auth.), Gerard Par, Philip Morrow (eds.)
·262 Pages
·2011
·5.485 MB
Human-Computer Interaction. Users and Applications: 14th International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part IV
Candice Adams, Cheryl Seals (auth.), Julie A. Jacko (eds.)
·716 Pages
·2011
·20.465 MB
Shaping the Future of ICT Research. Methods and Approaches: IFIP WG 8.2, Working Conference, Tampa, FL, USA, December 13-14, 2012. Proceedings
Sangaralingam Kajanan, Ahmed Shafeeq Bin Mohd Shariff, Kaushik Dutta, Anindya Datta (auth.), Anol Bhattacherjee, Brian Fitzgerald (eds.)
·242 Pages
·2012
·10.157 MB
Rules and Rule Markup Languages for the Semantic Web: Second International Workshop, RuleML 2003, Sanibel Island, FL, USA, October 20, 2003. Proceedings
Harold Boley (auth.), Michael Schröder, Gerd Wagner (eds.)
·179 Pages
·2003
·3.57 MB
Security and Privacy in Communication Networks: 15th EAI International Conference, SecureComm 2019, Orlando, FL, USA, October 23-25, 2019, Proceedings, Part I
Songqing Chen, Kim-Kwang Raymond Choo, Xinwen Fu, Wenjing Lou, Aziz Mohaisen
·592 Pages
·2019
·34.845 MB
Human Centered Design: Second International Conference, HCD 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011. Proceedings
Chun-Juei Chou, Chris Conley (auth.), Masaaki Kurosu (eds.)
·615 Pages
·2011
·16.551 MB
Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings
J. -R. Abrial (auth.), Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie (eds.)
·395 Pages
·2007
·4.28 MB
Energy Minimization Methods in Computer Vision and Pattern Recognition: 5th International Workshop, EMMCVPR 2005, St. Augustine, FL, USA, November 9-11, 2005. Proceedings
Guillaume Perrin, Xavier Descombes, Josiane Zerubia (auth.), Anand Rangarajan, Baba Vemuri, Alan L. Yuille (eds.)
·671 Pages
·2005
·23.716 MB
Advances in Digital Forensics IX: 9th IFIP WG 11.9 International Conference on Digital Forensics, Orlando, FL, USA, January 28-30, 2013, Revised Selected Papers
Mark Pollitt (auth.), Gilbert Peterson, Sujeet Shenoi (eds.)
·398 Pages
·2013
·9.551 MB
Advancing the Impact of Design Science: Moving from Theory to Practice: 9th International Conference, DESRIST 2014, Miami, FL, USA, May 22-24, 2014. Proceedings
Monica Chiarini Tremblay, Debra VanderMeer, Marcus Rothenberger, Ashish Gupta, Victoria Yoon (eds.)
·472 Pages
·2014
·27.259 MB
Computational Logic in Multi-Agent Systems: 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers
V. S. Subrahmanian, Sarit Kraus, Yingqian Zhang (auth.), Jürgen Dix, João Leite (eds.)
·262 Pages
·2005
·2.445 MB
Public Key Cryptography — PKC 2003: 6th International Workshop on Practice and Theory in Public Key Cryptography Miami, FL, USA, January 6–8, 2003 Proceedings
Yevgeniy Dodis (auth.), Yvo G. Desmedt (eds.)
·377 Pages
·2002
·4.942 MB
Internationalization, Design and Global Development: 4th International Conference, IDGD 2011, Held as part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011. Proceedings
Wen-chih Chang, Ming-rein Hsu (auth.), P. L. Patrick Rau (eds.)
·614 Pages
·2011
·16.112 MB
Engineering Psychology and Cognitive Ergonomics: 9th International Conference, EPCE 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011. Proceedings
L. Paige Bacon, Kim-Phuong L. Vu (auth.), Don Harris (eds.)
·648 Pages
·2011
·17.126 MB
