Search Results for Foundations.

29 sonuç bulundu

Tümünü Seç

1 2 3

000000000000DEFAULTTR

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

Tutorials on the Foundations of Cryptography Dedicated to Oded Goldreich

Yazar

Lindell, Yehuda. editor.

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

Format:

Electronic Resources

Alıntı:

Tutorials on the Foundations of Cryptography Dedicated to Oded Goldreich / Lindell, Yehuda. editor.

Foundations of Intelligent Systems 23rd International Symposium, ISMIS 2017, Warsaw, Poland, June 26-29, 2017, Proceedings

Yazar

Kryszkiewicz, Marzena. editor.

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

Format:

Electronic Resources

Alıntı:

Foundations of Intelligent Systems 23rd International Symposium, ISMIS 2017, Warsaw, Poland, June

Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

Yazar

Cavalheiro, Simone. editor. (orcid)0000-0002-7442-7379

https://doi.org/10.1007/978-3-319-70848-5

Format:

Electronic Resources

Alıntı:

Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil

Transmitting and Gaining Data Rudolf Ahlswede’s Lectures on Information Theory 2

Yazar

Ahlswede, Rudolf. author.

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

Format:

Electronic Resources

Alıntı:

Foundations in Signal Processing, Communications and Networking,

Hiding Data - Selected Topics Rudolf Ahlswede’s Lectures on Information Theory 3

Yazar

Ahlswede, Rudolf. author.

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

Format:

Electronic Resources

Alıntı:

Foundations in Signal Processing, Communications and Networking,

Storing and Transmitting Data Rudolf Ahlswede’s Lectures on Information Theory 1

Yazar

Ahlswede, Rudolf. author.

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

Format:

Electronic Resources

Alıntı:

Foundations in Signal Processing, Communications and Networking,

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

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

10.

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

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.

An Introduction to Metaheuristics for Optimization

Yazar

Chopard, Bastien. author.

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

Format:

Electronic Resources

Alıntı:

, interdisciplinary lecturers and researchers and in their explanations they demonstrate many shared foundational

	{displayName}	{count}
{error}