153 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Geffert, Viliam. editor.
Format:
Electronic Resources
Alıntı:
Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 26-29, 2014
Yazar
Zaraté, Pascale. editor.
Format:
Electronic Resources
Alıntı:
Game Theory, Economics, Social and Behav. Sciences.
Yazar
Fermé, Eduardo. editor.
Format:
Electronic Resources
Alıntı:
-- Verification of Context-Sensitive Knowledge and Action Bases -- System Descriptions System aspmt2smt: Computing
Yazar
Kömer, Pavel. editor.
Format:
Electronic Resources
Alıntı:
Advances in Intelligent Systems and Computing,
Yazar
Watt, Stephen M. editor.
Format:
Electronic Resources
Alıntı:
-- Towards Knowledge Management for HOL Light -- Automated Improving of Proof Legibility in the Mizar System
Yazar
Schmorrow, Dylan D. editor.
Format:
Electronic Resources
Alıntı:
Adaptive Systems 8th International Conference, AC 2014, Held as Part of HCI International 2014, Heraklion
139.
Yazar
Handa, Hisashi. editor.
Format:
Electronic Resources
Alıntı:
Proceedings of the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems - Volume 2
Yazar
Das, Kedar Nath. editor.
Format:
Electronic Resources
Alıntı:
Advances in Intelligent Systems and Computing,
Yazar
Kamel, Mohamed. editor.
Format:
Electronic Resources
Alıntı:
Information Systems Applications (incl. Internet).
Yazar
Zamojski, Wojciech. editor.
Format:
Electronic Resources
Alıntı:
Proceedings of the Ninth International Conference on Dependability and Complex Systems DepCoS
Yazar
Zamojski, Wojciech. editor.
Format:
Electronic Resources
Alıntı:
on Dependability and Complex Systems DepCoS-RELCOMEX. June 27–July 1, 2016, Brunów, Poland / Zamojski
Yazar
Harris, Don. editor.
Format:
Electronic Resources
Alıntı:
User interfaces (Computer systems).
153 sonuç bulundu