Search Results for Architecture.

17 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

Euro-Par 2016: Parallel Processing 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings

Yazar

Dutot, Pierre-François. editor.

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

Format:

Electronic Resources

Alıntı:

Architecture, Computer.

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

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

Graphical Models for Security Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers

Yazar

Kordy, Barbara. editor.

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

Format:

Electronic Resources

Alıntı:

Assessment Methodologies with Theory of Attack Trees -- Enterprise Architecture-Based Risk and Security

Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs

Yazar

Herdt, Vladimir. author.

http://dx.doi.org/10.1007/978-3-658-12680-3

Format:

Electronic Resources

Alıntı:

Architecture at the University of Bremen, where he is pursuing his PhD degree. .

Rendezvous in Distributed Systems Theory, Algorithms and Applications

Yazar

Gu, Zhaoquan. author.

https://doi.org/10.1007/978-981-10-3680-4

Format:

Electronic Resources

Alıntı:

Computer network architectures.

Transactions on Computational Science XXVII

Yazar

Gavrilova, Marina L. editor.

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

Format:

Electronic Resources

Alıntı:

geosciences, from mathematics to software architecture, presenting verifiable computational methods, findings

Big Data Technologies and Applications

Yazar

Furht, Borko. author.

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

Format:

Electronic Resources

Alıntı:

High Performance Computing Cluster (HPCC Systems®) platform and its architecture, as well as parallel

Algorithms for Sensor Systems 11th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2015, Patras, Greece, September 17-18, 2015, Revised Selected Papers

Yazar

Bose, Prosenjit. editor.

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

Format:

Electronic Resources

Alıntı:

lightweight security architecture to secure the IoT throughout the lifecycle of a device based on HIMMO

10.

Trusted Systems 6th International Conference, INTRUST 2014, Beijing, China, December 16-17, 2014, Revised Selected Papers

Yazar

Yung, Moti. editor.

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

Format:

Electronic Resources

Alıntı:

principles, architecture and implementation technologies. /* Style Definitions */ table.MsoNormalTable

11.

Ready A Commodore 64 Retrospective

Yazar

Dillon, Roberto. author.

http://dx.doi.org/10.1007/978-981-287-341-5

Format:

Electronic Resources

Alıntı:

Computers for the masses, not the classes -- The Commodore 64 and its Architecture -- Ready

12.

Mathematical Progress in Expressive Image Synthesis III Selected and Extended Results from the Symposium MEIS2015

Yazar

Dobashi, Yoshinori. editor.

http://dx.doi.org/10.1007/978-981-10-1076-7

Format:

Electronic Resources

Alıntı:

Architecture -- Part III Illusion, Patterns, and Visualization -- Visual Media Culture Supported by Human Depth

	{displayName}	{count}
{error}