Cellular Automata and Discrete Complex Systems : 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings
Jarkko Kari
Download - Immediately Available
Format: eBook (PDF)
Public Key Infrastructure : Second European PKI Workshop: Research and Applications, EuroPKI 2005, Canterbury, UK, June 30- July 1, 2005, Revised Selected Papers
David Chadwick
Download - Immediately Available
Format: eBook (PDF)
Knowledge Engineering and Knowledge Management : EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linkoping, Sweden, November 24-28, 2014. Revised Selected Papers.
Patrick Lambrix
Download - Immediately Available
Format: eBook (PDF)
Topics in Cryptology - CT- RSA 2013 : The Cryptographer`s Track at RSA Conference 2013, San Francisco, CA, USA, February 25- March 1, 2013, Proceedings
Ed Dawson
Download - Immediately Available
Format: eBook (PDF)
Formal Techniques for Networked and Distributed Systems - FORTE 2004 : 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings
David de Frutos-Escrig
Download - Immediately Available
Format: eBook (PDF)
Formal Techniques for Networked and Distributed Systems - FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings
Farn Wang
Download - Immediately Available
Format: eBook (PDF)
Information Networking: Wireless Communications Technologies and Network Applications : International Conference, ICOIN 2002, Cheju Island, Korea, January 30 - February 1, 2002. Revised Papers. Part I
Ilyoung Chong
Download - Immediately Available
Format: eBook (PDF)
Formal Techniques for Networked and Distributed Systems - FORTE 2008 : 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings
Kenji Suzuki
Download - Immediately Available
Format: eBook (PDF)
Formal Techniques for Networked and Distributed Systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
John Derrick
Download - Immediately Available
Format: eBook (PDF)
Advances in Intelligent and Distributed Computing : Proceedings of the 1st International Symposium on Intelligent and Distributed Computing IDC 2007, Craiova, Romania, October 2007
Costin Badica
Download - Immediately Available
Format: eBook (PDF)
Security and Privacy in the Age of Ubiquitous Computing : IFIP TC11 20th International Information Security Conference, May 30 - June 1, 2005, Chiba, Japan
Ryoichi Sasaki
Download - Immediately Available
Format: eBook (PDF)
Testing Software and Systems : 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings
Khaled El-Fakih
Download - Immediately Available
Format: eBook (PDF)
Ambient Assisted Living. ICT-based Solutions in Real Life Situations : 7th International Work-Conference, IWAAL 2015, Puerto Varas, Chile, December 1-4, 2015, Proceedings
Ian Cleland
Download - Immediately Available
Format: eBook (PDF)
Advances in Neural Networks -- ISNN 2011 : 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29--June 1, 2011, Proceedings Part I
Derong Liu
Download - Immediately Available
Format: eBook (PDF)
Formal Methods and Software Engineering : 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings
Lindsay Groves
Download - Immediately Available
Format: eBook (PDF)
Formal Methods for Open Object-Based Distributed Systems : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
Martin Steffen
Download - Immediately Available
Format: eBook (PDF)
Formal Methods for Open Object-Based Distributed Systems : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings
Roberto Gorrieri
Download - Immediately Available
Format: eBook (PDF)
Formal Techniques for Networked and Distributed Systems - FORTE 2002 : 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings
Doron A. Peled
Download - Immediately Available
Format: eBook (PDF)
Formal Techniques for Networked and Distributed Systems - FORTE 2003 : 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003
Hartmut Konig
Download - Immediately Available
Format: eBook (PDF)
Quality for All : 4th COST 263 International Workshop on Quality of Future Internet Services, QoFIS 2003, Stockholm, Sweden, October 1-2, 2003, Proceedings
Gunnar Karlsson
Download - Immediately Available
Format: eBook (PDF)
Formal Methods for Open Object-Based Distributed Systems : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
Gilles Barthe
Download - Immediately Available
Format: eBook (PDF)
Process Support and Knowledge Representation in Health Care : AIME 2013 Joint Workshop, KR4HC 2013/ProHealth 2013, Murcia, Spain, June 1, 2013. Revised Selected Papers
David Riano
Download - Immediately Available
Format: eBook (PDF)
