Suggested Topics within your search.
Suggested Topics within your search.
- Artificial intelligence 8
- Formal methods (Computer science) 4
- Computational intelligence 3
- Computer science 3
- Data mining 3
- Parallel processing (Electronic computers) 3
- Software engineering 3
- Chinese language 2
- Computational linguistics 2
- Computer security 2
- Computer software 2
- Computers 2
- Data processing 2
- Evolutionary computation 2
- Information technology 2
- Parallel computers 2
- Parallel programming (Computer science) 2
- Semantics 2
- Adaptive computing systems 1
- Application software 1
- Bioinformatics 1
- Biomedical engineering 1
- Coding theory 1
- Computational complexity 1
- Computer algorithms 1
- Computer architecture 1
- Computer networks 1
- Computer organization 1
- Computer programming 1
- Computer vision 1
-
1
Static analysis : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings /
Published 2013Full Text (via Springer)
Conference Proceeding eBook -
2
Bioinformatics and biomedical engineering : 7th international work-conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, proceedings.
Published 2019Full Text (via Springer)
Electronic Conference Proceeding eBook -
3
Knowledge science, engineering and management 5th International Conference, KSEM 2011, Irvine, CA, USA, December 12-14, 2011. Proceedings /
Published 2011“…Computing for Financial Risk Analysis /…”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
4
Intelligent science and intelligent data engineering second Sino-foreign-interchange Workshop, IScIDE 2011, Xi'an, China, October 23-25, 2011, Revised selected papers /
Published 2012Full Text (via Springer)
Electronic Conference Proceeding eBook -
5
Intelligent data engineering and automated learning -- IDEAL 2019 : 20th International Conference, Manchester, UK, November 14-16, 2019, Proceedings.
Published 2019Full Text (via Springer)
Conference Proceeding eBook -
6
Intelligent data engineering and automated learning -- IDEAL 2012 13th International Conference, Natal, Brazil, August 29-31, 2012. Proceedings /
Published 2012Full Text (via Springer)
Electronic Conference Proceeding eBook -
7
NASA formal methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /
Published 2013Full Text (via Springer)
Conference Proceeding eBook -
8
Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings /
Published 2019Full Text (via Springer)
Electronic Conference Proceeding eBook -
9
FM 2012 formal methods ; 18th International Symposium, Paris, France, August 27-31, 2012, Proceedings /
Published 2012Full Text (via Springer)
Electronic Conference Proceeding eBook -
10
Runtime verification third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised selected papers /
Published 2013Full Text (via Springer)
Electronic Conference Proceeding eBook -
11
New frontiers in artificial intelligence JSAI-isAI 2011 Workshops, LENLS, JURISIN, ALSIP, MiMI, Takamatsu, Japan, December 1-2, 2011. Revised selected papers /
Published 2012Full Text (via Springer)
Electronic Conference Proceeding eBook -
12
Applied parallel and scientific computing 11th International Conference, PARA 2012, Helsinki, Finland, June 10-13, 2012, Revised selected papers /
Published 2013“…Numprof: A Performance Analysis Framework for Numerical Libraries /…”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
13
-
14
Reconfigurable computing architectures, tools and applications : 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012. Proceedings /
Published 2012Full Text (via Springer)
Electronic Conference Proceeding eBook -
15
Applied parallel and scientific computing 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised selected papers.
Published 2012“…for the Cell Broadband Engine to a Channel Model --…”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
16
Computational Science - ICCS 2018 : 18th International Conference, Wuxi, China, June 11-13, 2018 proceedings.
Published 2018“…Computational Science Design and Analysis of an Undergraduate Computational Engineering …”
Full Text (via Springer)
Conference Proceeding eBook -
17
Chinese lexical semantics : 14th Workshop, CLSW 2013, Zhengzhou, China, May 10-12, 2013, Revised selected papers /
Published 2013“…Chinese Complex Cardinal Numerals / Comparison and Analysis between Chinese …”
Full Text (via Springer)
Conference Proceeding eBook -
18
Recent advances in the message passing interface 18th European MPI Users' Group Meeting, EuroMPI 2011, Santorini, Greece, September 18-21, 2011, proceedings /
Published 2011Full Text (via Springer)
Electronic Conference Proceeding eBook -
19
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,...
Published 2012Full Text (via Springer)
Electronic Conference Proceeding eBook -
20
Principles and practice of constraint programming 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings /
Published 2012Full Text (via Springer)
Electronic Conference Proceeding eBook