Languages
Johnsen, Einar Broch.
Overview
| Works: | 2 works in 4 publications in 1 languages | |
|---|---|---|
Titles
Fundamental approaches to software engineering = 25th International Conference, FASE 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings /
by:
FASE (Conference) (2022 :); Johnsen, Einar Broch.; SpringerLink (Online service); ETAPS (Conference) (2022 :); Wimmer, Manuel.
(Electronic resources)
Formal methods for multicore programming = 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015 : advanced lectures /
by:
Bernardo, Marco.; Johnsen, Einar Broch.; SpringerLink (Online service)
(Electronic resources)
Service-oriented and cloud computing = 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017 : proceedings /
by:
ESOCC (Conference) (2017 :); De Paoli, Flavio.; Schulte, Stefan.; Johnsen, Einar Broch.; SpringerLink (Online service)
(Electronic resources)
Theory and practice of formal methods = essays dedicated to Frank de Boer on the occasion of his 60th birthday /
by:
Abraham, Erika.; Bonsangue, Marcello.; Johnsen, Einar Broch.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Computer logic.
Software engineering
Theory of Computation.
Natural Language Processing (NLP)
Logics and Meanings of Programs.
Logic, Symbolic and mathematical.
Cryptology.
Programming Language.
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Information Systems Applications (incl. Internet)
Control Structures and Microprogramming.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Software engineering.
Programming languages (Electronic computers)
Algorithms.
Service-oriented architecture (Computer science)
IT in Business.
Computer software- Development
Computer Science.
Probability and Statistics in Computer Science.
Computer science.
Cloud computing
Systems and Data Security.
Computer System Implementation.
Artificial intelligence.