Search Results for Building.

18 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

Science Gateways for Distributed Computing Infrastructures Development Framework and Exploitation by Scientific User Communities

Yazar

Kacsuk, Péter. editor.

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

Format:

Electronic Resources

Alıntı:

The book describes the science gateway building technology developed in the SCI-BUS European

Knowledge Graphs and Semantic Web First Iberoamerican Conference, KGSWC 2019, Villa Clara, Cuba, June 23-30, 2019, Proceedings

Yazar

Villazón-Terrazas, Boris. editor. (orcid)0000-0002-8572-7887

https://doi.org/10.1007/978-3-030-21395-4

Format:

Electronic Resources

Alıntı:

Online 3D Building Geometry to Publish Linked Building Data -- A Method for Automatically Generating

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

concepts from an engineering perspective, aiming at developing primitives for building systems and

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

Protocols in the Symbolic Model: The Verifier ProVerif.- Defensive JavaScript: Building and Verifying Secure

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

Innovations and Interdisciplinary Solutions for Underserved Areas Third EAI International Conference, InterSol 2019, Cairo, Egypt, February 14–15, 2019, Proceedings

Yazar

Bassioni, Ghada. editor.

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

Format:

Electronic Resources

Alıntı:

STBC-SNR Branch -- Follow Africa : Building an African News Recommender Systems -- An ontological model for

Model-Driven Engineering and Software Development 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers

Yazar

Hammoudi, Slimane. editor.

https://doi.org/10.1007/978-3-030-11030-7

Format:

Electronic Resources

Alıntı:

Executable Modeling for Reactive Programming -- A Model-Driven Method for Fast Building

CryptoSchool

Yazar

von zur Gathen, Joachim. author.

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

Format:

Electronic Resources

Alıntı:

possible, and addresses its two complementary aspects: cryptography — the art of making secure building

Field-Coupled Nanocomputing Paradigms, Progress, and Perspectives

Yazar

Anderson, Neal G. editor.

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

Format:

Electronic Resources

Alıntı:

computation are achieved in FCN via local field interactions between nanoscale building blocks that are

10.

Handbook of Memristor Networks

Yazar

Chua, Leon. editor.

https://doi.org/10.1007/978-3-319-76375-0

Format:

Electronic Resources

Alıntı:

realise computing devices, non-von Neumann architectures and provides future building blocks for deep

11.

Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

Yazar

Howar, Falk. editor.

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

Format:

Electronic Resources

Alıntı:

-- Building Correct Cyber-Physical Systems: Why we need a Multiview Contract Theory -- Automated Functional

12.

Fault-Tolerant Message-Passing Distributed Systems An Algorithmic Approach

Yazar

Raynal, Michel. author.

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

Format:

Electronic Resources

Alıntı:

/Write Register Abstraction -- Building Read/Write Registers Despite Asynchrony and Less Than Half of

	{displayName}	{count}
{error}