Search Results for System theory.

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

000000DEFAULTTR

Yazdır

1.

Transactions on Petri Nets and Other Models of Concurrency XIII için kapak resmi

Transactions on Petri Nets and Other Models of Concurrency XIII

Transactions on Petri Nets and Other Models of Concurrency XIII

Yazar

Koutny, Maciej. editor.

https://doi.org/10.1007/978-3-662-58381-4

Format:

Electronic Resources

Alıntı:

Theory of Computation. http://scigraph.springernature.com/things/product-market-codes/I16005

2.

Handbook of Model Checking için kapak resmi

Handbook of Model Checking

Handbook of Model Checking

Yazar

Clarke, Edmund M. editor.

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

Format:

Electronic Resources

Alıntı:

Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things

3.

High Performance Computing 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18–22, 2017, Proceedings için kapak resmi

High Performance Computing 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18–22, 2017, Proceedings

High Performance Computing 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18–22, 2017, Proceedings

Yazar

Kunkel, Julian M. editor.

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

Format:

Electronic Resources

Alıntı:

System Performance and Evaluation. http://scigraph.springernature.com/things/product-market-codes/I

4.

Transactions on Computational Science XXXIII için kapak resmi

Transactions on Computational Science XXXIII

Transactions on Computational Science XXXIII

Yazar

Gavrilova, Marina L. editor.

https://doi.org/10.1007/978-3-662-58039-4

Format:

Electronic Resources

Alıntı:

Theory of Computation. http://scigraph.springernature.com/things/product-market-codes/I16005

5.

Constructive Side-Channel Analysis and Secure Design 10th International Workshop, COSADE 2019, Darmstadt, Germany, April 3–5, 2019, Proceedings için kapak resmi

Constructive Side-Channel Analysis and Secure Design 10th International Workshop, COSADE 2019, Darmstadt, Germany, April 3–5, 2019, Proceedings

Constructive Side-Channel Analysis and Secure Design 10th International Workshop, COSADE 2019, Darmstadt, Germany, April 3–5, 2019, Proceedings

Yazar

Polian, Ilia. editor. (orcid)0000-0002-6563-2725

https://doi.org/10.1007/978-3-030-16350-1

Format:

Electronic Resources

Alıntı:

Coding and Information Theory. https://scigraph.springernature.com/ontologies/product-market-codes

6.

Theory and Applications of Satisfiability Testing – SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings için kapak resmi

Theory and Applications of Satisfiability Testing – SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings

Theory and Applications of Satisfiability Testing – SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings

Yazar

Gaspers, Serge. editor. (orcid)0000-0002-6947-9238

https://doi.org/10.1007/978-3-319-66263-3

Format:

Electronic Resources

Alıntı:

Computer Systems Organization and Communication Networks. http://scigraph.springernature.com/things

Tümünü Seç

1

6 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