Search Results for Foundations.

55 sonuç bulundu

Tümünü Seç

1 2 3 4 5

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.

Analysis for Computer Scientists Foundations, Methods, and Algorithms

Yazar

Oberguggenberger, Michael. author. (orcid)0000-0002-7340-8651

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

Format:

Electronic Resources

Alıntı:

Analysis for Computer Scientists Foundations, Methods, and Algorithms / Oberguggenberger, Michael

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

Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I

Yazar

Italiano, Giuseppe F. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan

Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I

Yazar

Csuhaj-Varjú, Erzsébet. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest

Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part II

Yazar

Csuhaj-Varjú, Erzsébet. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest

Basic category theory for computer scientists

Yazar

Pierce, Benjamin C., author.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267469

Format:

Electronic Resources

Alıntı:

Foundations of computing

Modelling and Simulation of Diffusive Processes Methods and Applications

Yazar

Basu, S.K. editor.

http://dx.doi.org/10.1007/978-3-319-05657-9

Format:

Electronic Resources

Alıntı:

Simulation Foundations, Methods and Applications,

Testing and Validation of Computer Simulation Models Principles, Methods and Applications

Yazar

Murray-Smith, David J. author.

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

Format:

Electronic Resources

Alıntı:

Simulation Foundations, Methods and Applications,

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

Mathematical Logic and Foundations.

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

Mathematical Logic and Foundations.

12.

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.

Tümünü Seç

1 2 3 4 5

55 sonuç bulundu

	{displayName}	{count}
{error}