Madeira, Alexandre.
概要
作品: | 0 作品在 1 項出版品 1 種語言 |
---|
書目資訊
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:
SpringerLink (Online service); Madeira, Alexandre.; Martins, Manuel A.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Mathematical logic.
Computer organization.
Systems and Data Security.
e-Commerce/e-business.
Artificial Intelligence.
Image Processing and Computer Vision.
Artificial intelligence.
Formal Languages and Automata Theory.
Abstract data types (Computer science)
Optical data processing.
E-commerce.
Programming Techniques.
Computer security.
Computer Systems Organization and Communication Networks.
Mathematical Logic and Formal Languages.
Computer science
Computer Science Logic and Foundations of Programming.
Computer software