Yazar
Kurosu, Masaaki. editor.
Format:
Electronic Resources
Alıntı:
Human-Computer Interaction. Theory, Design, Development and Practice 18th International Conference
Yazar
Emrouznejad, Ali. editor.
Format:
Electronic Resources
Alıntı:
Big Data Optimization: Recent Developments and Challenges Emrouznejad, Ali. editor.
View Other Search Results
Yazar
Mermoud, Gregory. author.
Format:
Electronic Resources
Alıntı:
theory by tackling a number of challenges for a class of distributed systems involving a specific type of
Yazar
Gurfinkel, Arie. editor.
Format:
Electronic Resources
Alıntı:
technology of software verification, through the interaction of theory development, tool evolution, and
Yazar
Kurosu, Masaaki. editor.
Format:
Electronic Resources
Alıntı:
organized in topical sections on HCI theory and practice; HCI design and evaluation methods and tools
Yazar
Kahl, Wolfram. editor.
Format:
Electronic Resources
Alıntı:
areas such as verification.-Analysis and development of programs and algorithms -- Algebraic approaches
Yazar
Fujita, Hamido. editor.
Format:
Electronic Resources
Alıntı:
Semantic Web -- Artificial intelligence techniques and intelligent system design -- Software development
Yazar
Tantar, Alexandru-Adrian. editor.
Format:
Electronic Resources
Alıntı:
areas, as in the networking area and useful insights in the development of evolutionary techniques, from
Yazar
Wen, Zhenkun. editor.
Format:
Electronic Resources
Alıntı:
development. The topics in this volume include, but not limited to: Artificial Intelligence Theories, Pattern
Yazar
Gaxiola, Fernando. author.
Format:
Electronic Resources
Alıntı:
Introduction.-Theory and Background -- Problem Statement an Development -- Simulations and Results
Yazar
Orłowska-Kowalska, Teresa. editor.
Format:
Electronic Resources
Alıntı:
neighboring fields like control theory, computational intelligence and signal processing, which all strongly
Yazar
Hausser, Roland. author.
Format:
Electronic Resources
Alıntı:
will ensure the development of a functional theory of language, an objective method of verification
Arama Sonuçlarını Sınırlandır
Daraltılmış: