Madeira, Alexandre.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
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 :)
(Language materials, printed)
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)
(Language materials, printed)
, [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 :)
(Language materials, printed)
Subjects
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)