Search Results for Trade.

5 sonuç bulundu

Arama sonuçlarına abone ol

Tümünü Seç

1

Liste görünümüne geç

Küçük resim görünümüne geç

00000DEFAULTTR

Yazdır

1.

Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings için kapak resmi

Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings

Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings

Yazar

Jürgensen, Helmut. editor.

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

Format:

Electronic Resources

Alıntı:

measures -- Trade-offs between computational models and modes of operation -- Succinctness of description

2.

Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings için kapak resmi

Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings

Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings

Yazar

Hospodár, Michal. editor.

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

Format:

Electronic Resources

Alıntı:

Decidability and Complexity -- Computability on Quasi-Polish Spaces -- NFA-to-DFA Trade-Off for Regular

3.

Smart Blockchain First International Conference, SmartBlock 2018, Tokyo, Japan, December 10–12, 2018, Proceedings için kapak resmi

Smart Blockchain First International Conference, SmartBlock 2018, Tokyo, Japan, December 10–12, 2018, Proceedings

Smart Blockchain First International Conference, SmartBlock 2018, Tokyo, Japan, December 10–12, 2018, Proceedings

Yazar

Qiu, Meikang. editor. (orcid)0000-0002-1004-0140

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

Format:

Electronic Resources

Alıntı:

for Energy Trade -- A Distributed Digital Asset-Trading Platform Based on Permissioned Blockchains

4.

Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings için kapak resmi

Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings

Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings

Yazar

Bouajjani, Ahmed. editor.

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

Format:

Electronic Resources

Alıntı:

Bringing LTL Model Checking to Biologists -- Verified Concurrent Code: Tricks of the Trade

5.

Collaborative Design for Embedded Systems Co-modelling and Co-simulation için kapak resmi

Collaborative Design for Embedded Systems Co-modelling and Co-simulation

Collaborative Design for Embedded Systems Co-modelling and Co-simulation

Yazar

Fitzgerald, John. editor.

http://dx.doi.org/10.1007/978-3-642-54118-6

Format:

Electronic Resources

Alıntı:

collaboratively, allocating responsibilities to software and physical elements, and analyzing trade-offs between

Tümünü Seç

1

5 sonuç bulundu

Arama sonuçlarına abone ol

Arama Sonuçlarını Sınırlandır

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope

Copyright 2023 Sirsi Corporation - Enterprise Version 5.2.1.2