Languages
Abraham, Erika.
Overview
| Works: | 1 works in 7 publications in 1 languages | |
|---|---|---|
Titles
Quantitative evaluation of systems = 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022 : proceedings /
by:
International Conference on the Quantitative Evaluation of Systems (2022 :); Abraham, Erika.; Paolieri, Marco.; SpringerLink (Online service)
(Electronic resources)
Theoretical aspects of computing - ICTAC 2023 = 20th International Colloquium, Lima, Peru, December 4-8, 2023 : proceedings /
by:
ICTAC (Colloquium) (2023 :); Abraham, Erika.; Dubslaff, Clemens.; Tapia Tarifa, Silvia Lizeth.; SpringerLink (Online service)
(Electronic resources)
Fundamentals of software engineering = 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023 : revised selected papers /
by:
IPM International Conference on Fundamentals of Software Engineering (2023 :); Hojjat, Hossein.; Abraham, Erika.; 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)
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)
(Electronic resources)
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)
(Electronic resources)
Integrated formal methods = 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings /
by:
Abraham, Erika.; Huisman, Marieke.; SpringerLink (Online service)
(Electronic resources)
Subjects
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