Search Results for Machinery.

20 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof

Yazar

Kovalev, Mikhail. author.

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

Format:

Electronic Resources

Alıntı:

A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof / Kovalev

Advanced Gear Engineering

Yazar

Goldfarb, Veniamin. editor.

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

Format:

Electronic Resources

Alıntı:

Mechanisms and Machine Science,

Simulating Nonlinear Circuits with Python Power Electronics An Open-Source Simulator, Based on Python™

Yazar

Iyer, Shivkumar V. author.

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

Format:

Electronic Resources

Alıntı:

Power Electronics, Electrical Machines and Networks. http://scigraph.springernature.com/things

Crowdsourced Data Management Hybrid Machine-Human Computing

Yazar

Li, Guoliang. author.

https://doi.org/10.1007/978-981-10-7847-7

Format:

Electronic Resources

Alıntı:

Crowdsourced Data Management Hybrid Machine-Human Computing / Li, Guoliang. author.

Transactions on Computational Science XXXIV

Yazar

Gavrilova, Marina L. editor.

https://doi.org/10.1007/978-3-662-59958-7

Format:

Electronic Resources

Alıntı:

Machine Learning. https://scigraph.springernature.com/ontologies/product-market-codes/I21010

Machine Learning and Intelligent Communications Third International Conference, MLICOM 2018, Hangzhou, China, July 6-8, 2018, Proceedings

Yazar

Meng, Limin. editor.

https://doi.org/10.1007/978-3-030-00557-3

Format:

Electronic Resources

Alıntı:

Machine Learning and Intelligent Communications Third International Conference, MLICOM 2018

Machine Learning and Intelligent Communications First International Conference, MLICOM 2016, Shanghai, China, August 27-28, 2016, Revised Selected Papers

Yazar

Xin-lin, Huang. editor.

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

Format:

Electronic Resources

Alıntı:

Machine Learning and Intelligent Communications First International Conference, MLICOM 2016

Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings

Yazar

Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X

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

Format:

Electronic Resources

Alıntı:

Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau

Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

Yazar

Butler, Michael. editor.

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

Format:

Electronic Resources

Alıntı:

Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz

10.

ICT Systems Security and Privacy Protection 34th IFIP TC 11 International Conference, SEC 2019, Lisbon, Portugal, June 25-27, 2019, Proceedings

Yazar

Dhillon, Gurpreet. editor.

https://doi.org/10.1007/978-3-030-22312-0

Format:

Electronic Resources

Alıntı:

Machine Learning. https://scigraph.springernature.com/ontologies/product-market-codes/I21010

11.

Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers

Yazar

Bennaceur, Amel. editor. (orcid)0000-0002-6124-9622

https://doi.org/10.1007/978-3-319-96562-8

Format:

Electronic Resources

Alıntı:

Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl

12.

Biomimetic and Biohybrid Systems 7th International Conference, Living Machines 2018, Paris, France, July 17–20, 2018, Proceedings

Yazar

Vouloutsi , Vasiliki. editor. (orcid)0000-0001-6425-1026

https://doi.org/10.1007/978-3-319-95972-6

Format:

Electronic Resources

Alıntı:

Biomimetic and Biohybrid Systems 7th International Conference, Living Machines 2018, Paris, France

	{displayName}	{count}
{error}