Computer Algebra in Scientific Computing : 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings
Francois Boulier
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£89.99
£78.79
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Algorithms and Architectures for Parallel Processing : 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2–4, 2020, Proceedings, Part I
Meikang Qiu
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£89.99
£78.79
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Algorithms and Architectures for Parallel Processing : 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2–4, 2020, Proceedings, Part III
Meikang Qiu
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£89.99
£78.79
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece,
Tiziana Margaria
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£74.99
£66.09
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, O
Tiziana Margaria
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 Basket
Dynamic Data Driven Applications Systems : Third International Conference, DDDAS 2020, Boston, MA, USA, October 2-4, 2020, Proceedings
Frederica Darema
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 Basket
LATIN 2020: Theoretical Informatics : 14th Latin American Symposium, Sao Paulo, Brazil, January 5-8, 2021, Proceedings
Yoshiharu Kohayakawa
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£89.99
£78.79
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Descriptional Complexity of Formal Systems : 22nd International Conference, DCFS 2020, Vienna, Austria, August 24–26, 2020, Proceedings
Galina Jiraskova
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 Basket
Optimization and Applications : 11th International Conference, OPTIMA 2020, Moscow, Russia, September 28 - October 2, 2020, Proceedings
Nicholas Olenev
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 Basket
Theory and Practice of Natural Computing : 9th International Conference, TPNC 2020, Taoyuan, Taiwan, December 7–9, 2020, Proceedings
Carlos Martin-Vide
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 Basket
Bioinspired Optimization Methods and Their Applications : 9th International Conference, BIOMA 2020, Brussels, Belgium, November 19–20, 2020, Proceedings
Bogdan Filipic
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 Basket
Neural Information Processing : 27th International Conference, ICONIP 2020, Bangkok, Thailand, November 23–27, 2020, Proceedings, Part I
Haiqin Yang
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£89.99
£78.79
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Neural Information Processing : 27th International Conference, ICONIP 2020, Bangkok, Thailand, November 23–27, 2020, Proceedings, Part II
Haiqin Yang
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£89.99
£78.79
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Abstract State Machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
Yamine Ait Ameur
Item not Available
Format: Book (Paperback / softback)
£49.99
£40.99
Item not Available
Book (Paperback / softback)
Field-Coupled Nanocomputing : Paradigms, Progress, and Perspectives
Neal G. Anderson
Item not Available
Format: Book (Paperback / softback)
£54.99
£46.05
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
Item not Available
Format: Book (Paperback / softback)
£39.99
£34.15
Item not Available
Book (Paperback / softback)
Evolutionary and Biologically Inspired Music, Sound, Art and Design : Third European Conference, EvoMUSART 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers
Juan Romero
Item not Available
Format: Book (Paperback / softback)
£36.99
£32.09
Item not Available
Book (Paperback / softback)
CONCUR 2014 - Concurrency Theory : 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings
Paolo Baldan
Item not Available
Format: Book (Paperback / softback)
£64.99
£53.95
Item not Available
Book (Paperback / softback)
Theoretical Computer Science : 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
Josep Diaz
Item not Available
Format: Book (Paperback / softback)
£64.99
£53.95
Item not Available
Book (Paperback / softback)
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014,
Tiziana Margaria
Item not Available
Format: Book (Paperback / softback)
£69.99
£57.89
Item not Available
Book (Paperback / softback)
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Procee
Tiziana Margaria
Item not Available
Format: Book (Paperback / softback)
£64.99
£53.95
Item not Available
Book (Paperback / softback)
Stochastic Model Checking : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
Anne Remke
Out of stock
Format: Book (Paperback / softback)
Applications of Evolutionary Computation : 17th European Conference, EvoApplications 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers
Anna I. Esparcia-Alcazar
Item not Available
Format: Book (Paperback / softback)
£109.99
£95.55
Item not Available
Book (Paperback / softback)
Logic and Its Applications : 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
Mohua Banerjee
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£39.99
£31.85
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
