Roggenbach, Markus.
概要
| 作品: | 4 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Recent trends in algebraic development techniques = 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016 : revised selected papers /
by:
James, Phillip.; Workshop on the Preservation of Stability under Discretization ((2001 :); Roggenbach, Markus.; SpringerLink (Online service)
(書目-語言資料,印刷品)
On the Construction of Engineering Handbooks = with an Illustration from the Railway Safety Domain /
by:
Maibaum, Tom.; Roggenbach, Markus.; SpringerLink (Online service); Gruner, Stefan.; Kumar, Apurva.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
Formal Methods – Fun for Everybody = First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers /
by:
Cerone, Antonio.; SpringerLink (Online service); Roggenbach, Markus.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Recent Trends in Algebraic Development Techniques = 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers /
by:
Roggenbach, Markus.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Applicable formal methods for safe industrial products = essays dedicated to Jan Peleska on the occasion of his 65th birthday /
by:
Haxthausen, Anne E.; Roggenbach, Markus.; SpringerLink (Online service); Huang, Wen-ling.; Peleska, Jan,
(書目-語言資料,印刷品)
Recent Trends in Algebraic Development Techniques = 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers /
by:
Roggenbach, Markus.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Methods for Software Engineering = Languages, Methods, Application Domains /
by:
Schneider, Gerardo.; Shaikh, Siraj Ahmed.; Schlingloff, Bernd-Holger.; Cerone, Antonio.; SpringerLink (Online service); Roggenbach, Markus.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
主題
Mathematical logic.
Formal methods (Computer science)
Computer science—Mathematics.
Artificial intelligence.
Symbolic and Algebraic Manipulation.
Software engineering.
Computers and Education.
Education—Data processing.
Mathematical and Computational Engineering Applications.
Transportation Technology and Traffic Engineering.
Theory of Computation.
Programming Techniques.
Computer programming.
Computer science
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Computer and Information Systems Applications.
Application software.
Artificial Intelligence.
Transportation engineering.
Machine theory.
Computers.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Computer logic.
Formal Languages and Automata Theory.
Law and legislation.
Engineering—Data processing.
Computer Science.
Industrial engineering
Management of Computing and Information Systems.
Legal Aspects of Computing.
Simulation and Modeling.
Engineering mathematics.
Computer science.
Management information systems.
Traffic engineering.
Computer software
Computer Science Logic and Foundations of Programming.