Madeira, Alexandre.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Software engineering and formal methods = 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024 : proceedings /
by:
SpringerLink (Online service); Madeira, Alexandre.; Knapp, Alexander.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Dynamic Logic. New Trends and Applications = First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings /
by:
Benevides, Mário.; Madeira, Alexandre.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Recent trends in algebraic development techniques = 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022 : revised selected papers /
by:
Madeira, Alexandre.; SpringerLink (Online service); Martins, Manuel A.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Mathematical logic.
Software Engineering.
Computer organization.
Formal methods (Computer science)
Systems and Data Security.
Computer System Implementation.
Data Structures and Information Theory.
Image Processing and Computer Vision.
Artificial intelligence.
Formal Languages and Automata Theory.
Logic in AI.
Optical data processing.
Software engineering
E-commerce.
Programming Techniques.
Computer security.
Computer Systems Organization and Communication Networks.
Mathematical Logic and Formal Languages.
Computer science
Computer software
Computer Science Logic and Foundations of Programming.
e-Commerce/e-business.
Artificial Intelligence.
Control Structures and Microprogramming.
Abstract data types (Computer science)