Static analysis : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings /

Full Text (via Springer)

Bioinformatics and biomedical engineering : 7th international work-conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, proceedings.

Full Text (via Springer)

Knowledge science, engineering and management 5th International Conference, KSEM 2011, Irvine, CA, USA, December 12-14, 2011. Proceedings /

“…Computing for Financial Risk Analysis /…”
Full Text (via Springer)

Intelligent science and intelligent data engineering second Sino-foreign-interchange Workshop, IScIDE 2011, Xi'an, China, October 23-25, 2011, Revised selected papers /

Full Text (via Springer)

Intelligent data engineering and automated learning -- IDEAL 2019 : 20th International Conference, Manchester, UK, November 14-16, 2019, Proceedings.

Full Text (via Springer)

Intelligent data engineering and automated learning -- IDEAL 2012 13th International Conference, Natal, Brazil, August 29-31, 2012. Proceedings /

Full Text (via Springer)

NASA formal methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /

Full Text (via Springer)

Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings /

Full Text (via Springer)

FM 2012 formal methods ; 18th International Symposium, Paris, France, August 27-31, 2012, Proceedings /

Full Text (via Springer)

Runtime verification third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised selected papers /

Full Text (via Springer)

New frontiers in artificial intelligence JSAI-isAI 2011 Workshops, LENLS, JURISIN, ALSIP, MiMI, Takamatsu, Japan, December 1-2, 2011. Revised selected papers /

Full Text (via Springer)

Applied parallel and scientific computing 11th International Conference, PARA 2012, Helsinki, Finland, June 10-13, 2012, Revised selected papers /

“…Numprof: A Performance Analysis Framework for Numerical Libraries /…”
Full Text (via Springer)

AI*IA 2013 : Advances in artificial intelligence : XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceed...

“…Numeric Fluents /…”
Full Text (via Springer)

Reconfigurable computing architectures, tools and applications : 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012. Proceedings /

Full Text (via Springer)

Applied parallel and scientific computing 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised selected papers.

“…for the Cell Broadband Engine to a Channel Model --…”
Full Text (via Springer)

Computational Science - ICCS 2018 : 18th International Conference, Wuxi, China, June 11-13, 2018 proceedings.

“…Computational Science Design and Analysis of an Undergraduate Computational Engineering …”
Full Text (via Springer)

Chinese lexical semantics : 14th Workshop, CLSW 2013, Zhengzhou, China, May 10-12, 2013, Revised selected papers /

“…Chinese Complex Cardinal Numerals / Comparison and Analysis between Chinese …”
Full Text (via Springer)

Recent advances in the message passing interface 18th European MPI Users' Group Meeting, EuroMPI 2011, Santorini, Greece, September 18-21, 2011, proceedings /

Full Text (via Springer)

SOFSEM 2012 theory and practice of computer science : 38th conference on current trends in theory and practice of computer science, Špindlerův Mlýn, Czech Republic, January 21-27,...

Full Text (via Springer)

Principles and practice of constraint programming 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings /

Full Text (via Springer)