Logic, Language, Information, and Computation : 21st International Workshop, WoLLIC 2014, Valparaiso, Chile, September 1-4, 2014. Proceedings
Ulrich Kohlenbach
Download - Immediately Available
Format: eBook (PDF)
Statistical Software Engineering
National Research Council
Download - Immediately Available
Format: eBook (PDF)
Statistical Software Engineering
National Research Council
Download - Immediately Available
Format: eBook (EPUB)
Formal Methods: Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29--October 1, 2014. Proceedings
Christiano Braga
Item not Available
Format: Book (Paperback / softback)
£34.99
£30.75
Item not Available
Book (Paperback / softback)
Formal Methods: Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29--October 1, 2014. Proceedings
Christiano Braga
Download - Immediately Available
Format: eBook (PDF)
Trustworthy Global Computing : 10th International Symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015 Revised Selected Papers
Pierre Ganty
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£34.99
£28.59
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketTrustworthy Global Computing : 10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers
Pierre Ganty
Download - Immediately Available
Format: eBook (PDF)
Cellular Automata and Discrete Complex Systems : 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings
Jarkko Kari
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£24.99
£21.05
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketCellular 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)
New Frontiers in Artificial Intelligence : JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers
Yoichi Motomura
Download - Immediately Available
Format: eBook (PDF)
Hidden Semi-Markov Models : Theory, Algorithms and Applications
Shun-Zheng (School of Information Science and Technology, Sun Yat- Yu
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£27.99
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketCoalgebraic Methods in Computer Science : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Marcello M. Bonsangue
Item not Available
Format: Book (Paperback / softback)
£39.99
£34.15
Item not Available
Book (Paperback / softback)
Coalgebraic Methods in Computer Science : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Marcello M. Bonsangue
Download - Immediately Available
Format: eBook (PDF)
£39.99
£30.15
Item not Available
Book (Hardback)