Search Results for Game theory.

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.

Models of Strategic Reasoning Logics, Games, and Communities için kapak resmi

Models of Strategic Reasoning Logics, Games, and Communities

Models of Strategic Reasoning Logics, Games, and Communities

Yazar

van Benthem, Johan. editor.

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

Format:

Electronic Resources

Alıntı:

Models of Strategic Reasoning Logics, Games, and Communities / van Benthem, Johan. editor.

2.

Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings için kapak resmi

Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings

Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings

Yazar

Ouaknine, Joël. editor.

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

Format:

Electronic Resources

Alıntı:

Coding and Information Theory.

3.

Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings için kapak resmi

Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Yazar

Jacobs, Bart. editor.

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

Format:

Electronic Resources

Alıntı:

2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016

4.

Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings için kapak resmi

Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Yazar

Pitts, Andrew. editor.

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

Format:

Electronic Resources

Alıntı:

2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015

5.

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings için kapak resmi

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Yazar

Chen, Yu-Fang. editor.

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

Format:

Electronic Resources

Alıntı:

A Note on Game Theory and Verification -- Lazy Abstraction-Based Controller Synthesis -- Truth

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