語系
Leucker, Martin.
概要
| 作品: | 5 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Theoretical aspects of computing - ICTAC 2009 = 6th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings /
by:
Morgan, Carroll.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Leucker, Martin.
(書目-語言資料,印刷品)
Runtime Verification = 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings /
by:
Colombo, Christian.; Leucker, Martin.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Theoretical Aspects of Computing - ICTAC 2015 = 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings /
by:
Leucker, Martin.; Valencia, Frank D.; SpringerLink (Online service); Rueda, Camilo.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Runtime verification = 8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : selected papers /
by:
Leucker, Martin.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Theoretical aspects of computing - ICTAC 2015 = 12th International Colloquium Cali, Colombia, October 29-31, 2015 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Rueda, Camilo.; SpringerLink (Online service); Leucker, Martin.; Valencia, Frank D.
(書目-語言資料,印刷品)
Formal Methods in Outer Space = Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday /
by:
Falcone, Yliès.; Bartocci, Ezio.; SpringerLink (Online service); Leucker, Martin.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Runtime verification = 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018 : proceedings /
by:
Leucker, Martin.; SpringerLink (Online service); Colombo, Christian.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Formal Methods in Outer Space = Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday /
by:
SpringerLink (Online service); Leucker, Martin.; Falcone, Yliès.; Bartocci, Ezio.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Formal methods (Computer science)
Computer science—Mathematics.
Computer organization.
Computer engineering.
Artificial intelligence.
Symbolic and Algebraic Manipulation.
Software engineering.
Theory of Computation.
Computer programming
Computer Systems Organization and Communication Networks.
Mathematical Logic and Formal Languages.
Computer science
Logics and Meanings of Programs.
Artificial Intelligence.
Computers.
Software engineering
Programming Languages, Compilers, Interpreters.
Performance and Reliability.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Algorithm Analysis and Problem Complexity.
Computer logic.
Computer networks .
System Performance and Evaluation.
The Computing Profession.
Computer Science.
Computer Engineering and Networks.
Computer science.
Computer system failures.
Discrete Mathematics in Computer Science.
Programming languages (Electronic computers).
Computation by Abstract Devices.
Computer software