Languages
Bjorner, Nikolaj.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
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.
(Electronic resources)
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.
(Language materials, printed)
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)
(Language materials, printed)
Subjects
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.