語系
Abraham, Erika.
概要
| 作品: | 1 作品在 7 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Quantitative evaluation of systems = 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022 : proceedings /
by:
Abraham, Erika.; SpringerLink (Online service); International Conference on the Quantitative Evaluation of Systems (2022 :); Paolieri, Marco.
(書目-電子資源)
Theoretical aspects of computing - ICTAC 2023 = 20th International Colloquium, Lima, Peru, December 4-8, 2023 : proceedings /
by:
Abraham, Erika.; SpringerLink (Online service); ICTAC (Colloquium) (2023 :); Dubslaff, Clemens.; Tapia Tarifa, Silvia Lizeth.
(書目-電子資源)
Fundamentals of software engineering = 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023 : revised selected papers /
by:
Abraham, Erika.; SpringerLink (Online service); IPM International Conference on Fundamentals of Software Engineering (2023 :); Hojjat, Hossein.
(書目-電子資源)
Theory and practice of formal methods = essays dedicated to Frank de Boer on the occasion of his 60th birthday /
by:
Abraham, Erika.; SpringerLink (Online service); Bonsangue, Marcello.; Johnsen, Einar Broch.
(書目-電子資源)
Tools and algorithms for the construction and analysis of systems = 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings /
by:
Abraham, Erika.; Havelund, Klaus.; SpringerLink (Online service)
(書目-電子資源)
Formal techniques for distributed objects, components, and systems = 34th IFIP WG 6.1 International Conference, FORTE 2014, held as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014 : proceedings /
by:
Abraham, Erika.; Palamidessi, Catuscia.; SpringerLink (Online service)
(書目-電子資源)
Integrated formal methods = 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings /
by:
Abraham, Erika.; SpringerLink (Online service); Huisman, Marieke.
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Computer network protocols
Computer logic.
Software engineering
Theory of Computation.
Logics and Meanings of Programs.
Logic, Symbolic and mathematical.
Mathematics of Computing.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Artificial Intelligence (incl. Robotics)
Reliability (Engineering)
Control Structures and Microprogramming.
System design
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Software engineering.
Programming languages (Electronic computers)
Algorithms.
Computer Science Logic and Foundations of Programming.
Computer networks- Evaluation
Computer Engineering and Networks.
Computer Modelling.
Electronic data processing- Distributed processing
Artificial Intelligence.
Computer science
Computer software- Verification
Computer Science.
Computer science.
Computer Communication Networks.
System analysis
Artificial intelligence.
Computer systems- Evaluation
Stochastic processes