Search Results for Foundations.

37 sonuç bulundu

Tümünü Seç

1 2 3 4

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.

Simplicity is Complex Foundations of Cyber-Physical System Design

Yazar

Kopetz, Hermann. author.

https://doi.org/10.1007/978-3-030-20411-2

Format:

Electronic Resources

Alıntı:

Simplicity is Complex Foundations of Cyber-Physical System Design / Kopetz, Hermann. 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

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 Security Analysis and Design VII FOSAD 2012/2013 Tutorial Lectures

Yazar

Aldini, Alessandro. editor.

http://dx.doi.org/10.1007/978-3-319-10082-1

Format:

Electronic Resources

Alıntı:

Foundations of Security Analysis and Design VII FOSAD 2012/2013 Tutorial Lectures / Aldini

Behavior Modeling -- Foundations and Applications International Workshops, BM-FA 2009-2014, Revised Selected Papers

Yazar

Roubtsova, Ella. editor.

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

Format:

Electronic Resources

Alıntı:

Behavior Modeling -- Foundations and Applications International Workshops, BM-FA 2009-2014, Revised

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

Bridging Constraint Satisfaction and Boolean Satisfiability

Yazar

Petke, Justyna. author.

http://dx.doi.org/10.1007/978-3-319-21810-6

Format:

Electronic Resources

Alıntı:

Artificial Intelligence: Foundations, Theory, and Algorithms,

10.

Hybrid Metaheuristics Powerful Tools for Optimization

Yazar

Blum, Christian. author.

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

Format:

Electronic Resources

Alıntı:

Artificial Intelligence: Foundations, Theory, and Algorithms,

11.

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

Mathematical Logic and Foundations.

12.

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

Tümünü Seç

1 2 3 4

37 sonuç bulundu

	{displayName}	{count}
{error}