Johnsen, Einar Broch.
概要
作品: | 2 作品在 6 項出版品 1 種語言 |
---|
書目資訊
Service-oriented and cloud computing6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017 : proceedings /
by:
(1998 :); De Paoli, Flavio.; Johnsen, Einar Broch.; Schulte, Stefan.; SpringerLink (Online service)
(書目-電子資源)
Formal methods for multicore programming15th 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:
(1998 :); Bernardo, Marco.; Johnsen, Einar Broch.; SpringerLink (Online service)
(書目-電子資源)
Software engineering and formal methods16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018 : proceedings /
by:
(1998 :); Johnsen, Einar Broch.; Schaefer, Ina.; SpringerLink (Online service)
(書目-電子資源)
Theory and practice of formal methodsessays dedicated to Frank de Boer on the occasion of his 60th birthday /
by:
Abraham, Erika.; Bonsangue, Marcello.; Johnsen, Einar Broch.; SpringerLink (Online service)
(書目-電子資源)
Fundamental approaches to software engineering25th 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:
(1998 :); Johnsen, Einar Broch.; SpringerLink (Online service); Wimmer, Manuel.
(書目-電子資源)
Tests and proofs11th International Conference, TAP 2017, held as part of STAF 2017, Marburg, Germany, July 19-20, 2017 : proceedings /
by:
(1998 :); Gabmeyer, Sebastian.; Johnsen, Einar Broch.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Computer logic.
Software engineering
Computing Methodologies.
Theory of Computation.
Natural Language Processing (NLP)
Logics and Meanings of Programs.
Logic, Symbolic and mathematical.
Cryptology.
Programming Language.
Computer software
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Information Systems Applications (incl. Internet)
Control Structures and Microprogramming.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Software engineering.
Programming languages (Electronic computers)
Algorithms.
Computer-Aided Engineering (CAD, CAE) and Design.
Service-oriented architecture (Computer science)
IT in Business.
The Computing Profession.
Computer Science.
Probability and Statistics in Computer Science.
Computer science.
Computer Systems Organization and Communication Networks.
Cloud computing
Systems and Data Security.
System Performance and Evaluation.
Computer System Implementation.
Artificial intelligence.