Search Results for Computer science.

21 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

Logics for Computer Science Classical and Non-Classical

Yazar

Wasilewska, Anita. author.

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

Format:

Electronic Resources

Alıntı:

Logics for Computer Science Classical and Non-Classical / Wasilewska, Anita. author.

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ı:

Computational Artifacts Towards a Philosophy of Computer Science / Turner, Raymond. author.

Logic Functions and Equations Binary Models for Computer Science

Yazar

Posthoff, Christian. author.

https://doi.org/10.1007/978-3-030-02420-8

Format:

Electronic Resources

Alıntı:

Discrete Mathematics in Computer Science. https://scigraph.springernature.com/ontologies/product

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ı:

Discrete Mathematics in Computer Science. http://scigraph.springernature.com/things/product-market

Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers

Yazar

James, Phillip. editor.

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

Format:

Electronic Resources

Alıntı:

Theoretical Computer Science and General Issues ;

Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

Yazar

Blackburn, Patrick. editor.

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

Format:

Electronic Resources

Alıntı:

Computer Appl. in Social and Behavioral Sciences. https://scigraph.springernature.com/ontologies

Parameterized Complexity in the Polynomial Hierarchy Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy

Yazar

de Haan, Ronald. author.

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

Format:

Electronic Resources

Alıntı:

Theoretical Computer Science and General Issues ;

Temporal Type Theory A Topos-Theoretic Approach to Systems and Behavior

Yazar

Schultz, Patrick. author.

https://doi.org/10.1007/978-3-030-00704-1

Format:

Electronic Resources

Alıntı:

Progress in Computer Science and Applied Logic,

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ı:

Monographs in Theoretical Computer Science. An EATCS Series,

10.

Turing Computability Theory and Applications

Yazar

Soare, Robert I. author.

http://dx.doi.org/10.1007/978-3-642-31933-4

Format:

Electronic Resources

Alıntı:

Computer science -- Mathematics.

11.

Finitely Supported Mathematics An Introduction

Yazar

Alexandru, Andrei. author.

http://dx.doi.org/10.1007/978-3-319-42282-4

Format:

Electronic Resources

Alıntı:

Computer science -- Mathematics.

12.

An Introduction to the Technique of Formative Processes in Set Theory

Yazar

Cantone, Domenico. author.

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

Format:

Electronic Resources

Alıntı:

Computer science.

	{displayName}	{count}
{error}