Search Results for Self.

21 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

Nano-CMOS and Post-CMOS Electronics Circuits and Design

Yazar

Mohanty, Saraju, ed.

http://dx.doi.org/10.1049/PBCS030E

Format:

Electronic Resources

Alıntı:

self-healing analog circuit

Networked Systems 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers

Yazar

Podelski, Andreas. editor.

https://doi.org/10.1007/978-3-030-05529-5

Format:

Electronic Resources

Alıntı:

Distribution -- Concurrency -- Verification -- Networking -- Self-stabilization -- Security

Unconventional Computation and Natural Computation 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings

Yazar

Stepney, Susan. editor. (orcid)0000-0003-3146-5401

https://doi.org/10.1007/978-3-319-92435-9

Format:

Electronic Resources

Alıntı:

; evolving hardware; the computational nature of self-assembly, developmental processes, bacterial

Tests and Proofs 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

Yazar

Dubois, Catherine. editor.

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

Format:

Electronic Resources

Alıntı:

Properties on Self-Composed C Code -- Under-Approximation Generation Driven by Relevance Predicates and

Testing of Interposer-Based 2.5D Integrated Circuits

Yazar

Wang, Ran. author.

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

Format:

Electronic Resources

Alıntı:

; Provides a built-in self-test (BIST) architecture that can be enabled by the standard TAP controller in the

Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Yazar

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

https://doi.org/10.1007/978-3-030-02928-9

Format:

Electronic Resources

Alıntı:

; engineering self-adaptive software-intensive systems; and with an additional contribution on the challenges

Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

Yazar

Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948

https://doi.org/10.1007/978-3-030-04771-9

Format:

Electronic Resources

Alıntı:

Self-adaptative Systems (FOCLASA) -- Graph Computation Models (GCM) -- Model-Driven Engineering for Design-Runtime

Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers

Yazar

Dastani, Mehdi. editor.

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

Format:

Electronic Resources

Alıntı:

Parameterized Self-Stabilizing Rings with Constant-Space Processes -- Flexible Transactional Coordination in the

Unconventional Computation and Natural Computation 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings

Yazar

Patitz, Matthew J. editor.

https://doi.org/10.1007/978-3-319-58187-3

Format:

Electronic Resources

Alıntı:

-Assembly.-Self-Assembly of 4-sided Fractals in the Two-handed Tile Assembly Model.-Self-Assembled DC Resistive Circuits

10.

DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings

Yazar

Doty, David. editor. (orcid)0000-0002-3922-172X

https://doi.org/10.1007/978-3-030-00030-1

Format:

Electronic Resources

Alıntı:

) Sufficient to Self-Assemble Discrete Self-Similar Fractals -- Self-Assembly of 3-D Structures Using 2-D

11.

Descriptional Complexity of Formal Systems 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings

Yazar

Pighizzini, Giovanni. editor. (orcid)0000-0002-7509-7842

https://doi.org/10.1007/978-3-319-60252-3

Format:

Electronic Resources

Alıntı:

-- Self-attraction removal from oritatami systems -- One-Time Nondeterministic Computations -- Kuratowski Algebras

12.

On Sets and Graphs Perspectives on Logic and Combinatorics

Yazar

Omodeo, Eugenio G. author.

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

Format:

Electronic Resources

Alıntı:

science and mathematics. The work is also ideal as a self-study resource for other non-specialists

	{displayName}	{count}
{error}