Search Results for Self.

21 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

Self-aware Computing Systems An Engineering Approach

Yazar

Lewis, Peter R. editor.

http://dx.doi.org/10.1007/978-3-319-39675-0

Format:

Electronic Resources

Alıntı:

Self-aware Computing Systems An Engineering Approach / Lewis, Peter R. editor.

Augmented Marked Graphs

Yazar

Cheung, King Sing. author.

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

Format:

Electronic Resources

Alıntı:

application to system integration. The book is suitable as a first self-contained volume on augmented marked

Quantum Computational Number Theory

Yazar

Yan, Song Y. author.

http://dx.doi.org/10.1007/978-3-319-25823-2

Format:

Electronic Resources

Alıntı:

. Quantum Computational Number Theory is self-contained and intended to be used either as a graduate text in

Words and Graphs

Yazar

Kitaev, Sergey. author.

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

Format:

Electronic Resources

Alıntı:

than word-representability. The book is self-contained, and is suitable for both reference and learning

Introduction to Evolutionary Computing

Yazar

Eiben, A.E. author.

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

Format:

Electronic Resources

Alıntı:

undergraduate and graduate courses in artificial intelligence and computational intelligence, and for self

Graph and Model Transformation General Framework and Applications

Yazar

Ehrig, Hartmut. author.

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

Format:

Electronic Resources

Alıntı:

Static Analysis of Self-adaptive Systems by Graph Transformation -- Enterprise Modelling and Model

Theory of Quantum Computation, Communication, and Cryptography 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011, Revised Selected Papers

Yazar

Bacon, Dave. editor.

http://dx.doi.org/10.1007/978-3-642-54429-3

Format:

Electronic Resources

Alıntı:

Quantum Algorithm for Evaluating Unbalanced Formulas -- Self-testing Graph States

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

self-study. Most chapters contain exercises and the content has been class-tested over many years in various

Higher-Order Computability

Yazar

Longley, John. author.

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

Format:

Electronic Resources

Alıntı:

This book offers a self-contained exposition of the theory of computability in a higher-order

10.

Regulated Grammars and Automata

Yazar

Meduna, Alexander. author.

http://dx.doi.org/10.1007/978-1-4939-0369-6

Format:

Electronic Resources

Alıntı:

Grammar Systems -- Self-Regulating Automata -- Automata Regulated by Control Languages -- Jumping Finite

11.

Agents and Artificial Intelligence 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers

Yazar

Duval, Béatrice. editor.

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

Format:

Electronic Resources

Alıntı:

Environments -- Stream X-Machines for Agent Simulation Test Case Generation -- Building Self-adaptive Systems

12.

Nature of Computation and Communication International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers

Yazar

Vinh, Phan Cong. editor.

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

Format:

Electronic Resources

Alıntı:

submissions. The papers cover formal methods for self-adaptive systems and discuss natural approaches and

	{displayName}	{count}
{error}