Leucker, Martin.
概要
| 作品: | 1 作品在 5 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Runtime verification18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018 : proceedings /
by:
(1998 :); Colombo, Christian.; Leucker, Martin.; SpringerLink (Online service)
(書目-電子資源)
Formal methods in outer spaceessays dedicated to Klaus Havelund on the occasion of his 65th birthday /
by:
(1998 :); Bartocci, Ezio.; Falcone, Ylies.; Havelund, Klaus, (1955-); Leucker, Martin.; SpringerLink (Online service)
(書目-電子資源)
Formal methods25th international symposium, FM 2023, Lubeck, Germany, March 6-10, 2023 : proceedings /
by:
(1998 :); Chechik, Marsha.; Katoen, Joost-Pieter.; Leucker, Martin.; SpringerLink (Online service)
(書目-電子資源)
Theoretical aspects of computing - ICTAC 20096th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings /
by:
(1998 :); Leucker, Martin.; Morgan, Carroll.; SpringerLink (Online service)
(書目-電子資源)
Theoretical aspects of computing - ICTAC 201512th International Colloquium Cali, Colombia, October 29-31, 2015 : proceedings /
by:
(1998 :); Leucker, Martin.; Rueda, Camilo.; SpringerLink (Online service); Valencia, Frank D.
(書目-電子資源)
Runtime verification8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : selected papers /
by:
(1998 :); Leucker, Martin.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Theory of Computation.
Software engineering
Computer logic.
Natural Language Processing (NLP)
Logics and Meanings of Programs.
Programming Language.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Computer software
Control Structures and Microprogramming.
Formal methods (Computer science)
Computer programming
Programming Languages, Compilers, Interpreters.
Computer Science Logic and Foundations of Programming.
Special Purpose and Application-Based Systems.
Computer Engineering and Networks.
Computer science
Performance and Reliability.
The Computing Profession.
Artificial Intelligence.
Computer Science.
System Performance and Evaluation.
Computer science.
Symbolic and Algebraic Manipulation.