Suggested Topics within your search.
Suggested Topics within your search.
- Computer science 253
- Computer software 127
- Computer algorithms 123
- Mathematics 115
- Data processing 102
- Parallel processing (Electronic computers) 100
- Software engineering 95
- Computer networks 79
- Verification 78
- Artificial intelligence 73
- Neural networks (Computer science) 71
- Evolutionary computation 58
- Electronic data processing 52
- Computer programming 50
- Computer logic 44
- Machine theory 42
- Combinatorial optimization 41
- Distributed processing 41
- Computational complexity 40
- Formal methods (Computer science) 40
- Algorithms 39
- Evolutionary programming (Computer science) 38
- Computer architecture 37
- Natural computation 31
- Swarm intelligence 30
- Formal languages 29
- Machine learning 29
- Programming languages (Electronic computers) 29
- Combinatorial analysis 28
- Data structures (Computer science) 28
-
1
Cellular automata and discrete complex systems : 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20-22, 2018, Proceedings /
Published 2018“…Conference papers and proceedings. fast.…”
Full Text (via Springer)
Conference Proceeding eBook -
2
Combinatorial optimization : third International Symposium, ISCO 2014, Lisbon, Portugal, March 5-7, 2014, Revised selected papers /
Published 2014“…Conference papers and proceedings. fast…”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
3
Trustworthy global computing : 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013 : revised selected papers /
Published 2014“…Conference papers and proceedings fast…”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
4
Mathematics of program construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings /
Published 2012“…Conference papers and proceedings. fast…”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
5
Artificial immune systems 10th international conference, ICARIS 2011, Cambridge, UK, July 18-21, 2011 : proceedings /
Published 2011“…Conference papers and proceedings. fast…”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
6
Approximation and online algorithms 7th international workshop, WAOA 2009, Copenhagen, Denmark, September 10-11, 2009 : revised papers /
Published 2010“…Conference papers and proceedings. fast…”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
7
Computational science and its applications -- ICCSA 2018 : 18th International Conference, Melbourne, VIC, Australia, July 2?5, 2018, Proceedings.
Published 2018“…Conference papers and proceedings. fast (OCoLC)fst01423772.…”
Full Text (via Springer)
Conference Proceeding eBook -
8
Computational linguistics and intelligent text processing : 17th International Conference, CICLing 2016, Konya, Turkey, April 3-9, 2016, Revised Selected Papers.
Published 2018“…Conference papers and proceedings. fast (OCoLC)fst01423772.…”
Full Text (via Springer)
Conference Proceeding eBook -
9
Artificial neural networks and machine learning -- ICANN 2018 : 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings.
Published 2018“…Conference papers and proceedings. fast (OCoLC)fst01423772…”
Full Text (via Springer)
Full Text (via Springer)
Electronic Conference Proceeding eBook -
10
Algorithms and architectures for parallel processing : 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings.
Published 2018“…Conference papers and proceedings. fast (OCoLC)fst01423772…”
Full Text (via Springer)
Full Text (via Springer)
Full Text (via Springer)
Full Text (via Springer)
Electronic Conference Proceeding eBook -
11
Computer aided verification : 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings.
Published 2020“…Conference papers and proceedings fast (OCoLC)fst01423772…”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
12
Leveraging applications of formal methods, verification and validation : foundational techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14,...
Published 2016“…Conference papers and proceedings. fast (OCoLC)fst01423772.…”
Full Text (via Springer)
Conference Proceeding eBook -
13
Computer aided verification 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings.
Published 2020“…Conference papers and proceedings. fast (OCoLC)fst01423772…”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
14
Evolutionary multi-criterion optimization : 11th International Conference, EMO 2021, Shenzhen, China, March 28-31, 2021, proceedings /
Published 2021“…Conference papers and proceedings. fast (OCoLC)fst01423772.…”
Full Text (via Springer)
Conference Proceeding eBook -
15
Unconventional computation 7th international conference, UC 2008, Vienna, Austria, August 25-28, 2008, proceedings /
Published 2008“…Conference papers and proceedings. fast (OCoLC)fst01423772.…”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
16
Latent variable analysis and signal separation : 13th International Conference, LVA/ICA 2017, Grenoble, France, February 21-23, 2017, Proceedings /
Published 2017“…Conference papers and proceedings. fast (OCoLC)fst01423772.…”
Full Text (via Springer)
Conference Proceeding eBook -
17
Computer science -- theory and applications : 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings /
Published 2017“…Conference papers and proceedings. fast (OCoLC)fst01423772.…”
Full Text (via Springer)
Conference Proceeding eBook -
18
Integration of AI and OR techniques in constraint programming : 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings /
Published 2017“…Conference papers and proceedings. fast (OCoLC)fst01423772.…”
Full Text (via Springer)
Conference Proceeding eBook -
19
Leveraging applications of formal methods, verification and validation : specialized techniques and applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece,...
Published 2014“…Conference papers and proceedings. fast (OCoLC)fst01423772.…”
Full Text (via Springer)
Conference Proceeding eBook -
20
Structured object-oriented formal language and method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised selected papers /
Published 2017“…Conference papers and proceedings. fast (OCoLC)fst01423772.…”
Full Text (via Springer)
Conference Proceeding eBook