Search Results for Information theory.

11 sonuç bulundu

Tümünü Seç

00000000000DEFAULTTR

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

Information theory.

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

Information theory.

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

Information theory.

Handbook of Model Checking

Yazar

Clarke, Edmund M. editor.

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

Format:

Electronic Resources

Alıntı:

Information theory.

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

Parameterized Complexity in the Polynomial Hierarchy Extending Parameterized Complexity Theory to

Constructivity and Computability in Historical and Philosophical Perspective

Yazar

Dubucs, Jacques. editor.

http://dx.doi.org/10.1007/978-94-017-9217-2

Format:

Electronic Resources

Alıntı:

Theory of Computation.

Springer Handbook of Model-Based Science

Yazar

Magnani, Lorenzo. editor.

https://doi.org/10.1007/978-3-319-30526-4

Format:

Electronic Resources

Alıntı:

model-based reasoning. It highlights the role of models as mediators between theory and experimentation, and

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

Theory and Applications of Computability, In cooperation with the association Computability in

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

Counterfactuals with Nested Consequence -- First Degree Entailment with group attitudes and information updates

10.

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings

Yazar

van der Hoek, Wiebe. editor.

http://dx.doi.org/10.1007/978-3-662-48561-3

Format:

Electronic Resources

Alıntı:

disciplines as diverse as game theory and decision theory, philosophy and epistemology, linguistics, computer

11.

Johan van Benthem on Logic and Information Dynamics

Yazar

Baltag, Alexandru. editor.

http://dx.doi.org/10.1007/978-3-319-06025-5

Format:

Electronic Resources

Alıntı:

Johan van Benthem on Logic and Information Dynamics Baltag, Alexandru. editor.

	{displayName}	{count}
{error}