Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011,
Roberto Bruni
Download - Immediately Available
Format: eBook (PDF)
Formal Techniques for Distributed Systems : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012,
Holger Giese
Download - Immediately Available
Format: eBook (PDF)
Algebraic Informatics : 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings
Andreas Maletti
Download - Immediately Available
Format: eBook (PDF)
Cambridge Summer School in Mathematical Logic : Held in Cambridge /U. K., August 1-21, 1971
A. R. D. Mathias
Download - Immediately Available
Format: eBook (PDF)
Artificial Immune Systems : Second International Conference, ICARIS 2003, Edinburgh, UK, September 1-3, 2003, Proceedings
Jon Timmis
Download - Immediately Available
Format: eBook (PDF)
Pairing-Based Cryptography - Pairing 2008 : Second International Conference, Egham, UK, September 1-3, 2008, Proceedings
Steven Galbraith
Download - Immediately Available
Format: eBook (PDF)
Scalable Uncertainty Management : Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008, Proceedings
Sergio Greco
Download - Immediately Available
Format: eBook (PDF)
Software Architecture : Second International Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings
Ronald Morrison
Download - Immediately Available
Format: eBook (PDF)
Software Composition : 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings
Michel Baudry
Download - Immediately Available
Format: eBook (PDF)
Hybrid Metaheuristics : 7th International Workshop, HM 2010, Vienna, Austria, October 1-2, 2010, Proceedings
Maria Jose Blesa
Download - Immediately Available
Format: eBook (PDF)
Software Architecture : 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013, Proceedings
Khalil Drira
Download - Immediately Available
Format: eBook (PDF)
Formal Techniques for Distributed Systems : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Pro
David Lee
Download - Immediately Available
Format: eBook (PDF)
SDL 2003: System Design : 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings
Rick Reed
Download - Immediately Available
Format: eBook (PDF)
Automated Deduction in Geometry : Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings
Xiao-lu Gao
Download - Immediately Available
Format: eBook (PDF)
Provable Security : Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings
Joon Sang Baek
Download - Immediately Available
Format: eBook (PDF)
Tests and Proofs : 4th International Conference, TAP 2010, Malaga, Spain, July 1-2, 2010, Proceedings
Gordon Fraser
Download - Immediately Available
Format: eBook (PDF)
Tools for Teaching Logic : Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings
Patrick Blackburn
Download - Immediately Available
Format: eBook (PDF)
Software Composition : 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings
Sven Apel
Download - Immediately Available
Format: eBook (PDF)
ECOOP 2013 -- Object-Oriented Programming : 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings
Giuseppe Castagna
Download - Immediately Available
Format: eBook (PDF)
Generic Programming : IFIP TC2 / WG2.1 Working Conference Programming July 11-12, 2002, Dagstuhl, Germany
Jeremy Gibbons
Download - Immediately Available
Format: eBook (PDF)
Experimental Algorithms : 13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29 -- July 1, 2014, Proceedings
Joachim Gudmundsson
Download - Immediately Available
Format: eBook (PDF)
Post-Quantum Cryptography : 6th International Workshop, PQCrypto 2014, Waterloo, ON, Canada, October 1-3, 2014. Proceedings
Michele Mosca
Download - Immediately Available
Format: eBook (PDF)
Experimental Algorithms : 14th International Symposium, SEA 2015, Paris, France, June 29 - July 1, 2015, Proceedings
Evripidis Bampis
Download - Immediately Available
Format: eBook (PDF)
Quantitative Evaluation of Systems : 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings
Javier Campos
Download - Immediately Available
Format: eBook (PDF)