語系
Bjorner, Nikolaj.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
FM 2015[electronic resource] :formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015 : proceedings /
by:
Bjorner, Nikolaj.; Clark Conference ((2005 :); SpringerLink (Online service); de Boer, Frank.
(書目-電子資源)
Logic for programming, artificial intelligence, and reasoning[electronic resource] :18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012 : proceedings /
by:
Bjorner, Nikolaj.; Clark Conference ((2005 :); SpringerLink (Online service); Voronkov, Andrei.
(書目-語言資料,印刷品)
Distributed computing and internet technology[electronic resource] :12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016 : proceedings /
by:
Bjorner, Nikolaj.; Clark Conference ((2005 :); Parida, Laxmi.; Prasad, Sanjiva.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Artificial intelligence
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Logic Computer programming
Logics and Meanings of Programs.
Electronic data processing
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Management of Computing and Information Systems.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Information Systems Applications (incl. Internet)
Database Management.
Computer logic
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Information Storage and Retrieval.
Internet
Computer Science.
Computer networks
Computer Communication Networks.
Systems and Data Security.