Search Results for Computer logic.

21 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

Algebraic Informatics 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings

Yazar

Ćirić, Miroslav. editor. (orcid)0000-0001-8625-4682

https://doi.org/10.1007/978-3-030-21363-3

Format:

Electronic Resources

Alıntı:

Computer logic.

Machine Translation 15th China Conference, CCMT 2019, Nanchang, China, September 27–29, 2019, Revised Selected Papers

Yazar

Huang, Shujian. editor.

https://doi.org/10.1007/978-981-15-1721-1

Format:

Electronic Resources

Alıntı:

Computer logic.

Computational Artifacts Towards a Philosophy of Computer Science

Yazar

Turner, Raymond. author.

https://doi.org/10.1007/978-3-662-55565-1

Format:

Electronic Resources

Alıntı:

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

Handbook of Model Checking

Yazar

Clarke, Edmund M. editor.

https://doi.org/10.1007/978-3-319-10575-8

Format:

Electronic Resources

Alıntı:

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

The Incomputable Journeys Beyond the Turing Barrier

Yazar

Cooper, S. Barry. editor.

https://doi.org/10.1007/978-3-319-43669-2

Format:

Electronic Resources

Alıntı:

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

Transactions on Computational Science XXXIII

Yazar

Gavrilova, Marina L. editor.

https://doi.org/10.1007/978-3-662-58039-4

Format:

Electronic Resources

Alıntı:

Computer Applications. http://scigraph.springernature.com/things/product-market-codes/I23001

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Yazar

Aceto, Luca. editor.

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

Format:

Electronic Resources

Alıntı:

Computer Systems Organization and Communication Networks. http://scigraph.springernature.com/things

Progress in Cryptology – LATINCRYPT 2017 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20–22, 2017, Revised Selected Papers

Yazar

Lange, Tanja. editor.

https://doi.org/10.1007/978-3-030-25283-0

Format:

Electronic Resources

Alıntı:

Computers and Society. https://scigraph.springernature.com/ontologies/product-market-codes/I24040

Process Algebras for Petri Nets The Alphabetization of Distributed Systems

Yazar

Gorrieri, Roberto. author.

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

Format:

Electronic Resources

Alıntı:

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

10.

Models of Computation

Yazar

Bruni, Roberto. author.

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

Format:

Electronic Resources

Alıntı:

Texts in Theoretical Computer Science. An EATCS Series,

11.

Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches

Yazar

Steffen, Bernhard. author.

https://doi.org/10.1007/978-3-319-68397-3

Format:

Electronic Resources

Alıntı:

Mathematical Applications in Computer Science. http://scigraph.springernature.com/things/product

12.

The Making of a New Science A Personal Journey Through the Early Years of Theoretical Computer Science

Yazar

Ausiello, Giorgio. author.

https://doi.org/10.1007/978-3-319-62680-2

Format:

Electronic Resources

Alıntı:

The Making of a New Science A Personal Journey Through the Early Years of Theoretical Computer

	{displayName}	{count}
{error}