Search Results for Foundations.

25 sonuç bulundu

Tümünü Seç

1 2 3

000000000000DEFAULTTR

The Foundations of Computability Theory

Yazar

Robič, Borut. author.

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

Format:

Electronic Resources

Alıntı:

The Foundations of Computability Theory Robič, Borut. author.

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 Foundations of Advanced Informatics Volume 1: Inductive Approaches / Steffen, Bernhard

Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings

Yazar

Beierle, Christoph. editor.

http://dx.doi.org/10.1007/978-3-319-04939-7

Format:

Electronic Resources

Alıntı:

Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux

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

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

Mathematical Logic and Foundations.

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

Mathematical Logic and Foundations.

Introduction to Concurrency Theory Transition Systems and CCS

Yazar

Gorrieri, Roberto. author.

http://dx.doi.org/10.1007/978-3-319-21491-7

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations.

Petri Net Synthesis

Yazar

Badouel, Eric. author.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations.

Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

Yazar

Codescu, Mihai. editor.

http://dx.doi.org/10.1007/978-3-319-28114-8

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations.

10.

Rewriting and Typed Lambda Calculi Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings

Yazar

Dowek, Gilles. editor.

http://dx.doi.org/10.1007/978-3-319-08918-8

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations.

11.

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

12.

Foundation Mathematics for Computer Science A Visual Approach

Yazar

Vince, John. author.

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

Format:

Electronic Resources

Alıntı:

Foundation Mathematics for Computer Science A Visual Approach / Vince, John. author.

	{displayName}	{count}
{error}