Abraham, Erika.
概要
| 作品: | 1 作品在 7 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Tools and algorithms for the construction and analysis of systems20th 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:
(1998 :); Abraham, Erika.; Havelund, Klaus.; SpringerLink (Online service)
(書目-電子資源)
Formal techniques for distributed objects, components, and systems34th 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:
(1998 :); Abraham, Erika.; Palamidessi, Catuscia.; SpringerLink (Online service)
(書目-電子資源)
Integrated formal methods12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings /
by:
(1998 :); Abraham, Erika.; Huisman, Marieke.; SpringerLink (Online service)
(書目-電子資源)
Quantitative evaluation of systems19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022 : proceedings /
by:
(1998 :); Abraham, Erika.; Paolieri, Marco.; SpringerLink (Online service)
(書目-電子資源)
Fundamentals of software engineering10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023 : revised selected papers /
by:
(1998 :); Abraham, Erika.; Hojjat, Hossein.; SpringerLink (Online service)
(書目-電子資源)
Theoretical aspects of computing - ICTAC 202320th International Colloquium, Lima, Peru, December 4-8, 2023 : proceedings /
by:
(1998 :); Abraham, Erika.; Dubslaff, Clemens.; SpringerLink (Online service); Tapia Tarifa, Silvia Lizeth.
(書目-電子資源)
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)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Computer network protocols
Computer logic.
Software engineering
Theory of Computation.
Logics and Meanings of Programs.
Electronic data processing
Logic, Symbolic and mathematical.
Mathematics of Computing.
Computer software
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Artificial Intelligence (incl. Robotics)
Computer systems
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 Engineering and Networks.
Computer Modelling.
Artificial Intelligence.
Computer science
Computer Science.
Computer science.
Computer networks
Computer Communication Networks.
System analysis
Artificial intelligence.
Stochastic processes