Informatics : 10 Years Back. 10 Years Ahead
Reinhard Wilhelm
Download - Immediately Available
Format: eBook (PDF)
Abstract State Machines 2004. Advances in Theory and Practice : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings
Wolf Zimmermann
Download - Immediately Available
Format: eBook (PDF)
Serious Games Development and Applications : 5th International Conference, SGDA 2014, Berlin, Germany, October 9-10, 2014. Proceedings
Minhua Ma
Download - Immediately Available
Format: eBook (PDF)
Computer-Human Interaction. Cognitive Effects of Spatial Interaction, Learning, and Ability : 25th Australian Computer-Human Interaction Conference, OzCHI 2013, Adelaide, SA, Australia, November 25-29
Theodor Wyeld
Download - Immediately Available
Format: eBook (PDF)
Frontiers in Algorithmics : 9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015, Proceedings
Jianxin Wang
Download - Immediately Available
Format: eBook (PDF)
Automotive Software-Connected Services in Mobile Networks : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers
Manfred Broy
Download - Immediately Available
Format: eBook (PDF)
Composition of Secure Multi-Party Protocols : A Comprehensive Study
Yehuda Lindell
Download - Immediately Available
Format: eBook (PDF)
Queueing Networks with Discrete Time Scale : Explicit Expressions for the Steady State Behavior of Discrete Time Stochastic Networks
Hans Daduna
Download - Immediately Available
Format: eBook (PDF)
Computational Combinatorial Optimization : Optimal or Provably Near-Optimal Solutions
Michael Junger
Download - Immediately Available
Format: eBook (PDF)
Model-Driven Development of Reliable Automotive Services : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
Manfred Broy
Download - Immediately Available
Format: eBook (PDF)
Human-Centered and Error-Resilient Systems Development : IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th Internation
Cristian Bogdan
Download - Immediately Available
Format: eBook (PDF)
Scala: From a Functional Programming Perspective : An Introduction to the Programming Language
Vicenc Torra
Download - Immediately Available
Format: eBook (PDF)
Design and Analysis of Algorithms : First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012, Proceedings
Guy Even
Download - Immediately Available
Format: eBook (PDF)
Advances in Web-Based Learning - ICWL 2013 Workshops : USL 2013, IWSLL 2013, KMEL 2013, IWCWL 2013, WIL 2013, and IWEEC 2013, Kenting, Taiwan, October 6-9, 2013, Revised Selected Papers
Dickson K. W. Chiu
Download - Immediately Available
Format: eBook (PDF)
7th International Conference on Automated Deduction : Proceedings
R. E. Shostak
Download - Immediately Available
Format: eBook (PDF)
Advances in Cryptology - CRYPTO '88 : Proceedings
Shafi Goldwasser
Download - Immediately Available
Format: eBook (PDF)
Advances in Cryptology - CRYPTO '89 : Proceedings
Gilles Brassard
Download - Immediately Available
Format: eBook (PDF)
Database Systems for Advanced Applications : 9th International Conference, DASFAA 2004, Jeju Island, Korea, March 17-19, 2003, Proceedings
YoonJoon Lee
Download - Immediately Available
Format: eBook (PDF)
Principles and Practice of Semantic Web Reasoning : International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, Proceedings
Francois Bry
Download - Immediately Available
Format: eBook (PDF)
Progress in Artificial Intelligence : 11th Protuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal, December 4-7, 2003, Proceedings
Fernando Moura Pires
Download - Immediately Available
Format: eBook (PDF)
AI 2003: Advances in Artificial Intelligence : 16th Australian Conference on AI, Perth, Australia, December 3-5, 2003, Proceedings
Tamas D. Gedeon
Download - Immediately Available
Format: eBook (PDF)
Progress in Cryptology -- INDOCRYPT 2003 : 4th International Conference on Cryptology in India, New Delhi, India, December 8-10, 2003, Proceedings
Thomas Johansson
Download - Immediately Available
Format: eBook (PDF)
Progress in Pattern Recognition, Speech and Image Analysis : 8th Iberoamerican Congress on Pattern Recognition, CIARP 2003, Havana, Cuba, November 26-29, 2003, Proceedings
Alberto Sanfeliu
Download - Immediately Available
Format: eBook (PDF)
Algorithms and Computation : 14th International Symposium, ISAAC 2003, Kyoto, Japan, December 15-17, 2003, Proceedings
Toshihide Ibaraki
Download - Immediately Available
Format: eBook (PDF)