語系
Shehory, Onn.
概要
| 作品: | 3 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Hardware and Software: Verification and Testing = 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers /
by:
Eder, Kerstin.; Lourenco, Joao.; Shehory, Onn.; SpringerLink (Online service)
(書目-電子資源)
Agent-oriented software engineering = reflections on architectures, methodologies, languages, and frameworks /
by:
Shehory, Onn.; Sturm, Arnon.; SpringerLink (Online service)
(書目-電子資源)
Engineering dependable and secure machine learning systems = third international workshop, EDSMLS 2020, New York City, NY, USA, February 7, 2020 : revised selected papers /
by:
AAAI Workshop on Engineering Dependable and Secure Machine Learning Systems (2020 :); Shehory, Onn.; Farchi, Eitan.; Barash, Guy.; SpringerLink (Online service)
(書目-電子資源)
主題
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.
Machine learning
Computer security
Computer Science.
Computer Communication Networks.
Application software.
Computer Appl. in Social and Behavioral Sciences.
Computer programs- Verification
Intelligent agents (Computer software)
Computers and Education.