Abraham, Erika.
概要
| 作品: | 0 作品在 5 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Theoretical aspects of computing - ICTAC 2023 = 20th International Colloquium, Lima, Peru, December 4-8, 2023 : proceedings /
by:
Tapia Tarifa, Silvia Lizeth.; Dubslaff, Clemens.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Abraham, Erika.
(書目-語言資料,印刷品)
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:
SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Abraham, Erika.; Havelund, Klaus.
(書目-語言資料,印刷品)
Integrated formal methods = 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings /
by:
Huisman, Marieke.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Abraham, Erika.
(書目-語言資料,印刷品)
Fundamentals of software engineering = 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023 : revised selected papers /
by:
Hojjat, Hossein.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Abraham, Erika.
(書目-語言資料,印刷品)
主題
Software Engineering.
Formal methods (Computer science)
Algorithm Analysis and Problem Complexity.
Computer logic.
Artificial intelligence.
Computer Communication Networks.
Software engineering.
Theory of Computation.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithms.
Computer science
System design
Artificial Intelligence (incl. Robotics)
Logic, Symbolic and mathematical.
Control Structures and Microprogramming.
Computer science.
Programming languages (Electronic computers)
Software engineering
System analysis
Programming Languages, Compilers, Interpreters.
Computer software
Computation by Abstract Devices.
Computer Science Logic and Foundations of Programming.