語系
Shehory, Onn.
概要
| 作品: | 0 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Hardware and Software: Verification and Testing7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers /
by:
(1998 :); Eder, Kerstin.; Lourenco, Joao.; Shehory, Onn.; SpringerLink (Online service)
(書目-電子資源)
Engineering dependable and secure machine learning systemsthird international workshop, EDSMLS 2020, New York City, NY, USA, February 7, 2020 : revised selected papers /
by:
(1998 :); Barash, Guy.; Farchi, Eitan.; Shehory, Onn.; SpringerLink (Online service)
(書目-電子資源)
Agent-oriented software engineeringreflections on architectures, methodologies, languages, and frameworks /
by:
Shehory, Onn.; SpringerLink (Online service); Sturm, Arnon.
(書目-電子資源)
主題
Software Engineering.
Software engineering
Artificial intelligence
Software architecture
Logics and Meanings of Programs.
Information Systems and Communication Service.
Artificial Intelligence (incl. Robotics)
Computers.
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Computer programs
Machine learning
Computer security
Computer Science.
Computer Communication Networks.
Application software.
Computer Appl. in Social and Behavioral Sciences.
Intelligent agents (Computer software)
Computers and Education.