Search Results for Systems theory.

4 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ç

0000DEFAULTTR

Yazdır

1.

Semantics of Probabilistic Processes An Operational Approach için kapak resmi

Semantics of Probabilistic Processes An Operational Approach

Semantics of Probabilistic Processes An Operational Approach

Yazar

Deng, Yuxin. author.

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

Format:

Electronic Resources

Alıntı:

. Besides presenting recent research outcomes in probabilistic concurrency theory, the book exemplifies the

2.

Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers için kapak resmi

Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Yazar

Bonsangue, Marcello M. editor.

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

Format:

Electronic Resources

Alıntı:

–Coalgebraic Recursion Theory of History-Dependent Dynamical System Models.

3.

CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings için kapak resmi

CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings

CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings

Yazar

Baldan, Paolo. editor.

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

Format:

Electronic Resources

Alıntı:

CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September

4.

Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings için kapak resmi

Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings

Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings

Yazar

Norman, Gethin. editor.

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

Format:

Electronic Resources

Alıntı:

Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy

Tümünü Seç

1

4 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