Search Results for Foundations.

10 sonuç bulundu

Tümünü Seç

0000000000DEFAULTTR

Analysis for Computer Scientists Foundations, Methods, and Algorithms

Yazar

Oberguggenberger, Michael. author. (orcid)0000-0002-7340-8651

https://doi.org/10.1007/978-3-319-91155-7

Format:

Electronic Resources

Alıntı:

Analysis for Computer Scientists Foundations, Methods, and Algorithms / Oberguggenberger, Michael

Circuit complexity and neural networks

Yazar

Parberry, Ian, author.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267424

Format:

Electronic Resources

Alıntı:

Foundations of computing.

Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings

Yazar

Baltag, Alexandru. editor.

https://doi.org/10.1007/978-3-662-55665-8

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes

Computability : Turing, Gödel, Church, and beyond

Yazar

Posy, Carl J, editor.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6554353

Format:

Electronic Resources

Alıntı:

scientists, mathematicians, logicians, and philosophers consider the conceptual foundations of computability

Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings

Yazar

de Lara, Juan. editor. (orcid)0000-0001-9425-6362

https://doi.org/10.1007/978-3-319-61470-0

Format:

Electronic Resources

Alıntı:

: foundations; graph language and parsing; analysis and verification; and model transformation and tools.

Combinatorial Image Analysis 18th International Workshop, IWCIA 2017, Plovdiv, Bulgaria, June 19-21, 2017, Proceedings

Yazar

Brimkov, Valentin E. editor.

https://doi.org/10.1007/978-3-319-59108-7

Format:

Electronic Resources

Alıntı:

theoretical foundations and theory of applications, namely: discrete geometry and topology; tilings and

Evolutionary Computation in Combinatorial Optimization 18th European Conference, EvoCOP 2018, Parma, Italy, April 4–6, 2018, Proceedings

Yazar

Liefooghe, Arnaud. editor. (orcid)0000-0003-3283-3122

https://doi.org/10.1007/978-3-319-77449-7

Format:

Electronic Resources

Alıntı:

from the foundations of evolutionary computation algorithms and other search heuristics, to their

Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings

Yazar

Höfner, Peter. editor.

https://doi.org/10.1007/978-3-319-57418-9

Format:

Electronic Resources

Alıntı:

submissions. Topics covered range from mathematical foundations to applications as conceptual and

Progress in Cryptology – INDOCRYPT 2017 18th International Conference on Cryptology in India, Chennai, India, December 10-13, 2017, Proceedings

Yazar

Patra, Arpita. editor.

https://doi.org/10.1007/978-3-319-71667-1

Format:

Electronic Resources

Alıntı:

Cryptographic Schemes, Functional Encryption, Symmetric-Key Cryptanalysis, Foundations, and New Cryptographic

10.

Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

Yazar

Balduccini, Marcello. editor.

https://doi.org/10.1007/978-3-319-61660-5

Format:

Electronic Resources

Alıntı:

Weighted Sceptical Semantics with a Unique-status Grounded Semantics -- Foundations For A Probabilistic

	{displayName}	{count}
{error}