Yazar
Gavrilova, Marina L. editor.
Format:
Electronic Resources
Alıntı:
Mathematics of Computing. http://scigraph.springernature.com/things/product-market-codes/I17001
Yazar
Bruni, Roberto. author.
Format:
Electronic Resources
Alıntı:
Communicating Systems (CCS) -- Temporal Logic and mu-Calculus -- Pi-Calculus -- Measure Theory and Markov Chains
Yazar
Fernández, Maribel. author.
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs.
Yazar
Osipov, Gennady S. editor. (orcid)0000-0002-5329-6234
Format:
Electronic Resources
Alıntı:
, Dissimilarity and Correlation Functions,- Mathematical Foundation of Cognitive Computing Based Artificial
Yazar
Steffen, Bernhard. author.
Format:
Electronic Resources
Alıntı:
Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches / Steffen, Bernhard
Yazar
Longley, John. author.
Format:
Electronic Resources
Alıntı:
Computer science -- Mathematics.
Yazar
Dershowitz, Nachum. editor.
Format:
Electronic Resources
Alıntı:
questions regarding the relation between mathematical logic and automata theory. From formal languages
Yazar
Sinz, Carsten. editor.
Format:
Electronic Resources
Alıntı:
Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings / Sinz
Yazar
Alvim, Mário S. editor.
Format:
Electronic Resources
Alıntı:
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and
Yazar
Dutra, Inês. editor.
Format:
Electronic Resources
Alıntı:
Arithmetic and Logic Structures. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786
Format:
Electronic Resources
Alıntı:
Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin
Yazar
Beyersdorff, Olaf. editor.
Format:
Electronic Resources
Alıntı:
Discrete Mathematics in Computer Science. http://scigraph.springernature.com/things/product-market