語系
Bouajjani, Ahmed.
概要
| 作品: | 0 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal techniques for distributed objects, components, and systems = 37th IFIP WG 6.1 International Conference, FORTE 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchatel, Switzerland, June 19-22, 2017 : proceedings /
by:
FORTE (Conference) (2017 :); Bouajjani, Ahmed.; Silva, Alexandra.; SpringerLink (Online service)
(書目-電子資源)
Verification, model checking, and abstract interpretation = 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017 : proceedings /
by:
VMCAI (Conference) (2017 :); Bouajjani, Ahmed.; Monniaux, David.; SpringerLink (Online service)
(書目-電子資源)
Automated technology for verification and analysis = 20th International Symposium, ATVA 2022, Beijing, China, October 25-28, 2022 : proceedings /
by:
ATVA (Symposium) (2022 :); Bouajjani, Ahmed.; Holík, Lukas.; SpringerLink (Online service); Wu, Zhilin.
(書目-電子資源)
Automated technology for verification and analysis = 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, proceedings /
by:
Bouajjani, Ahmed.; Chin, Wei-Ngan.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Networked systems = third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015 : revised selected papers /
by:
Bouajjani, Ahmed.; Fauconnier, Hugues.; SpringerLink (Online service)
(書目-電子資源)
主題
Artificial intelligence
Software Engineering.
Software engineering
Mathematical Logic and Formal Languages.
Computer network protocols
Theory of Computation.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Automatic theorem proving
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Information Systems Applications (incl. Internet)
Computation by Abstract Devices.
Programming Languages, Compilers, Interpreters.
Wireless communication systems
Formal methods (Computer science)
Computer Engineering and Networks.
Electronic data processing- Distributed processing
Artificial Intelligence.
Computer Science.
Computer Communication Networks.
Computer networks
Cloud computing
Computer software- Verification
Computer Hardware.
Mobile computing