Johnsen, Einar Broch.
概要
| 作品: | 1 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Theory and Practice of Formal Methods = Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday /
by:
SpringerLink (Online service); Bonsangue, Marcello.; Johnsen, Einar Broch.; Ábrahám, Erika.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Service-oriented and cloud computing = 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017 : proceedings /
by:
Johnsen, Einar Broch.; De Paoli, Flavio.; Schulte, Stefan.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service)
(書目-語言資料,印刷品)
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:
Wimmer, Manuel.; SpringerLink (Online service); Johnsen, Einar Broch.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
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:
SpringerLink (Online service); Bernardo, Marco.; Johnsen, Einar Broch.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Theory and practice of formal methods = essays dedicated to Frank de Boer on the occasion of his 60th birthday /
by:
SpringerLink (Online service); Abraham, Erika.; Bonsangue, Marcello.; Johnsen, Einar Broch.
(書目-語言資料,印刷品)
Service-Oriented and Cloud Computing = 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings /
by:
Aiello, Marco.; Georgievski, Ilche.; SpringerLink (Online service); Dustdar, Schahram.; Johnsen, Einar Broch.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
The Logic of Software. A Tasting Menu of Formal Methods = Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday /
by:
Beckert, Bernhard.; Johnsen, Einar Broch.; Ahrendt, Wolfgang.; Bubel, Richard.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Software Engineering and Formal Methods = 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings /
by:
Schaefer, Ina.; Johnsen, Einar Broch.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Integrated formal methods = 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013 : proceedings /
by:
Johnsen, Einar Broch.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Petre, Luigia.
(書目-語言資料,印刷品)
Tests and proofs = 11th International Conference, TAP 2017, held as part of STAF 2017, Marburg, Germany, July 19-20, 2017 : proceedings /
by:
SpringerLink (Online service); Gabmeyer, Sebastian.; Johnsen, Einar Broch.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Mathematical logic.
Formal methods (Computer science)
IT in Business.
Computer engineering.
Systems and Data Security.
Computer System Implementation.
Artificial intelligence.
Software engineering.
Theory of Computation.
Programming Techniques.
Computer programming.
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithms.
Information Systems Applications (incl. Internet)
Artificial Intelligence (incl. Robotics)
Information storage and retrieval.
Business—Data processing.
Artificial Intelligence.
Computer science.
Natural Language Processing (NLP).
Management information systems.
Computer system failures.
Computer-Aided Engineering (CAD, CAE) and Design.
Information Storage and Retrieval.
Computers.
Software engineering
Programming languages (Electronic computers)
Computing Methodologies.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Computer security.
Computer software
Computer Science Logic and Foundations of Programming.
Software Engineering.
Computer logic.
Algorithm Analysis and Problem Complexity.
Computer networks .
System Performance and Evaluation.
Service-oriented architecture (Computer science)
Natural language processing (Computer science).
Programming Language.
The Computing Profession.
Computer Science.
Microprogramming .
Computer Engineering and Networks.
Probability and Statistics in Computer Science.
Management of Computing and Information Systems.
Mathematical statistics.
Information technology.
Cryptology.
Computer systems.
Logic, Symbolic and mathematical.
Cloud computing
Control Structures and Microprogramming.