Theory and Applications of Satisfiability Testing – SAT 2020 : 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings
Luca Pulina
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 BasketTheory and Applications of Satisfiability Testing - SAT 2020 : 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings
Luca Pulina
Download - Immediately Available
Format: eBook (EPUB)
Quantitative Evaluation of Systems : 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings
Marco Gribaudo
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 BasketMobile, Secure, and Programmable Networking : Second International Conference, MSPN 2016, Paris, France, June 1-3, 2016, Revised Selected Papers
Selma Boumerdassi
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 BasketMobile, Secure, and Programmable Networking : Second International Conference, MSPN 2016, Paris, France, June 1-3, 2016, Revised Selected Papers
Selma Boumerdassi
Download - Immediately Available
Format: eBook (PDF)
Engineering Secure Software and Systems : 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings
Eric Bodden
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 BasketAutomated Technology for Verification and Analysis : 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
Franck Cassez
Item not Available
Format: Book (Paperback / softback)
£54.99
£46.05
Item not Available
Book (Paperback / softback)
Automated Technology for Verification and Analysis : 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
Franck Cassez
Download - Immediately Available
Format: eBook (PDF)
Interactive Storytelling : 7th International Conference on Interactive Digital Storytelling, ICIDS 2014, Singapore, Singapore, November 3-6, 2014, Proceedings
Alex Mitchell
Item not Available
Format: Book (Paperback / softback)
£49.99
£40.99
Item not Available
Book (Paperback / softback)
Interactive Storytelling : 7th International Conference on Interactive Digital Storytelling, ICIDS 2014, Singapore, Singapore, November 3-6, 2014, Proceedings
Alex Mitchell
Download - Immediately Available
Format: eBook (PDF)
Security, Privacy, and Applied Cryptography Engineering : 5th International Conference, SPACE 2015, Jaipur, India, October 3-7, 2015, Proceedings
Rajat Subhra Chakraborty
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 BasketSecurity, Privacy, and Applied Cryptography Engineering : 5th International Conference, SPACE 2015, Jaipur, India, October 3-7, 2015, Proceedings
Rajat Subhra Chakraborty
Download - Immediately Available
Format: eBook (PDF)
Distributed Communities on the Web : 4th International Workshop, DCW 2002 Sydney, Australia, April 3-5, 2002, Revised Papers
John Plaice
Download - Immediately Available
Format: eBook (PDF)
Engineering Distributed Objects : Second International Workshop, EDO 2000 Davis, CA, USA, November 2-3, 2000 Revised Papers
Wolfgang Emmerich
Download - Immediately Available
Format: eBook (PDF)
Web Information Systems and Technologies : Third International Conference, WEBIST 2007, Barcelona, Spain, March 3-6, 2007, Revised Selected Papers
Joaquim Filipe
Download - Immediately Available
Format: eBook (PDF)
E-Commerce and Web Technologies : 9th International Conference, EC-Web 2008 Turin, Italy, September 3-4, 2008, Proceedings
Giuseppe Psaila
Download - Immediately Available
Format: eBook (PDF)
Simulation, Modeling, and Programming for Autonomous Robots : First International Conference, SIMPAR 2008 Venice, Italy, November 3-7, 2008. Proceedings
Stefano Carpin
Download - Immediately Available
Format: eBook (PDF)
Electronic Government : 13th IFIP WG 8.5 International Conference, EGOV 2014, Dublin, Ireland, September 1-3, 2014, Proceedings
Marijn Janssen
Download - Immediately Available
Format: eBook (PDF)
Global Security, Safety, and Sustainability : 5th International Conference, ICGS3 2009, London, UK, September 1-2, 2009, Proceedings
Hamid Jahankhani
Download - Immediately Available
Format: eBook (PDF)
Access Networks : 4th International Conference, AccessNets 2009, Hong Kong, China, November 1-3, 2009, Revised Selected Papers
Xiao Jun Hei
Download - Immediately Available
Format: eBook (PDF)
Future Internet - FIS 2009 : Second Future Internet Symposium, FIS 2009, Berlin, Germany, September 1-3, 2009, Revised Selected Papers
Tanja Zseby
Download - Immediately Available
Format: eBook (PDF)
E-Commerce and Web Technologies : 11th International Conference, EC-Web 2010, Bilbao, Spain, September 1-3, 2010, Proceedings
Francesco Buccafurri
Download - Immediately Available
Format: eBook (PDF)
Middleware 2010 : ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29 - December 3, 2010. Proceedings
Indranil Gupta
Download - Immediately Available
Format: eBook (PDF)
Information Security and Cryptology - ICISC 2010 : 13th International Conference, Seoul, Korea, December 1-3, 2010, Revised Selected Papers
Kyung-Hyune Rhee
Download - Immediately Available
Format: eBook (PDF)