Search Results for Architecture.

23 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

Algorithms - ESA 2015 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings

Yazar

Bansal, Nikhil. editor.

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

Format:

Electronic Resources

Alıntı:

and formal languages; concurrency; constraints, logic and semantic; software architecture and

Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

Yazar

Bernardo, Marco. editor.

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

Format:

Electronic Resources

Alıntı:

topics such as concurrency and coordination mechanisms, architecture and memory models and type systems.

Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings

Yazar

Leucker, Martin. editor.

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

Format:

Electronic Resources

Alıntı:

and formal languages; concurrency; constraints, logic and semantic; software architecture and

VLSI Design and Test 23rd International Symposium, VDAT 2019, Indore, India, July 4–6, 2019, Revised Selected Papers

Yazar

Sengupta, Anirban. editor.

https://doi.org/10.1007/978-981-32-9767-8

Format:

Electronic Resources

Alıntı:

mixed signal design; computing architecture and security; hardware design and optimization; low power

Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 – August 2, 2014. Proceedings

Yazar

Holzer, Markus. editor.

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

Format:

Electronic Resources

Alıntı:

image compression, design and architecture of automata software, digital libraries, DNA/molecular

Handbook of Software Engineering

Yazar

Cha, Sungdeok. editor.

https://doi.org/10.1007/978-3-030-00262-6

Format:

Electronic Resources

Alıntı:

, requirements engineering, software architecture, software testing, formal methods, software maintenance) as

Reliable Software Technologies – Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings

Yazar

de la Puente, Juan Antonio. editor.

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

Format:

Electronic Resources

Alıntı:

Slicing for Safety-Critical Systems.- A Novel Run-Time Monitoring Architecture for Safe and Efficient

Logic Functions and Equations Binary Models for Computer Science

Yazar

Posthoff, Christian. author.

https://doi.org/10.1007/978-3-030-02420-8

Format:

Electronic Resources

Alıntı:

across binary arithmetic, coding, complexity, logic design, programming, computer architecture, and

Graph-Based Representation and Reasoning 24th International Conference on Conceptual Structures, ICCS 2019, Marburg, Germany, July 1–4, 2019, Proceedings

Yazar

Endres, Dominik. editor. (orcid)0000-0001-9756-9655

https://doi.org/10.1007/978-3-030-23182-8

Format:

Electronic Resources

Alıntı:

Conceptualizing Attestation -- Enhancing Layered Enterprise Architecture Development through Conceptual Structures

10.

Fuzziness in Information Systems How to Deal with Crisp and Fuzzy Data in Selection, Classification, and Summarization

Yazar

Hudec, Miroslav. author.

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

Format:

Electronic Resources

Alıntı:

architecture adjusted specifically for the aims of business and governmental agencies, and shows fuzzy rules

11.

Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

Yazar

Lanese, Ivan. editor.

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

Format:

Electronic Resources

Alıntı:

Component-Oriented Interpolation -- Adaptation and Evolution -- Impact Models for Architecture-Based Self-adaptive

12.

Introduction to Software Quality

Yazar

O’Regan, Gerard. author.

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

Format:

Electronic Resources

Alıntı:

Discusses UML, which is used to describe the architecture of the system Reviews the history of the field of

	{displayName}	{count}
{error}