語系
Larsen, Kim Guldstrand.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Reachability problems = 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016 : proceedings /
by:
Potapov, Igor.; Srba, Jiri.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Larsen, Kim Guldstrand.
(書目-語言資料,印刷品)
Formal Methods for Industrial Critical Systems = 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings /
by:
Larsen, Kim Guldstrand.; Willemse, Tim.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Dependable software engineering = theories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Wang, Ji.; SpringerLink (Online service); Larsen, Kim Guldstrand.; Sokolsky, Oleg.
(書目-語言資料,印刷品)
Tools and Algorithms for the Construction and Analysis of Systems = 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I /
by:
Groote, Jan Friso.; Larsen, Kim Guldstrand.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Tools and Algorithms for the Construction and Analysis of Systems = 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I /
by:
Groote, Jan Friso.; Larsen, Kim Guldstrand.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Reachability Problems = 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings /
by:
Potapov, Igor.; Larsen, Kim Guldstrand.; Srba, Jiří.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Verification, Model Checking, and Abstract Interpretation = 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings /
by:
D'Souza, Deepak.; SpringerLink (Online service); Lal, Akash.; Larsen, Kim Guldstrand.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Verification, model checking, and abstract interpretation = 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings /
by:
D'Souza, Deepak.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Lal, Akash.; Larsen, Kim Guldstrand.
(書目-語言資料,印刷品)
Tools and Algorithms for the Construction and Analysis of Systems = 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II /
by:
Groote, Jan Friso.; Larsen, Kim Guldstrand.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Tools and Algorithms for the Construction and Analysis of Systems = 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II /
by:
SpringerLink (Online service); Larsen, Kim Guldstrand.; Groote, Jan Friso.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Computer organization.
Computer engineering.
Artificial intelligence.
Computer Communication Networks.
Software engineering.
Theory of Computation.
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer science
Algorithms.
Artificial Intelligence.
Decidability (Mathematical logic)
Computers.
Software engineering
Programming Languages, Compilers, Interpreters.
Software Engineering.
Algorithm Analysis and Problem Complexity.
Computer logic.
Computer networks .
Logic in AI.
Computer Science.
Microprogramming .
Computer simulation.
Computer Engineering and Networks.
Probability and Statistics in Computer Science.
Computer communication systems.
Information Systems and Communication Service.
Logic programming.
Control Structures and Microprogramming.
Simulation and Modeling.
Computer systems
Computer science.
Programming languages (Electronic computers).
Computer software
Computation by Abstract Devices.