Handbook Of Graph Grammars And Computing By Graph Transformation, Vol 1: Foundations
Rozenberg Grzegorz Rozenberg
Download - Immediately Available
Format: eBook (PDF)
Complexity and Information
J. F. (Columbia University, New York) Traub
Out of stock
Format: Book (Paperback / softback)
Topology via Logic
Steven (Imperial College of Science, Technology and Medicine, Vickers
Out of stock
Format: Book (Paperback / softback)
Datenbanksysteme in Buro, Technik und Wissenschaft : GI-Fachtagung Darmstadt, 1.-3. April 1987 Proceedings
H.-J. Schek
Out of stock
Format: Book (Paperback / softback)
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
Item not Available
Format: Book (Paperback / softback)
£59.99
£49.99
Item not Available
Book (Paperback / softback)
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)
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 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
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£37.09
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketSoftware 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)
Business Process Management : 17th International Conference, BPM 2019, Vienna, Austria, September 1–6, 2019, Proceedings
Thomas Hildebrandt
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£37.09
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketSDL 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
Item not Available
Format: Book (Paperback / softback)
£53.99
£45.25
Item not Available
Book (Paperback / softback)
Software Composition : 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings
Sven Apel
Download - Immediately Available
Format: eBook (PDF)