Languages
Larsen, Kim Guldstrand.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
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)
(Language materials, printed)
, [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.
(Language materials, printed)
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)
(Language materials, printed)
, [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)
(Language materials, printed)
, [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)
(Language materials, printed)
, [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.
(Language materials, printed)
, [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:
Groote, Jan Friso.; Larsen, Kim Guldstrand.; SpringerLink (Online service)
(Language materials, printed)
, [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.
(Language materials, printed)
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.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Mathematical logic.
Computer organization.
Computer engineering.
Artificial intelligence.
Computer Communication Networks.
Software engineering.
Theory of Computation.
Logic in AI.
Computer Science.
Microprogramming .
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer science
Algorithms.
Computer simulation.
Computer Engineering and Networks.
Probability and Statistics in Computer Science.
Computer communication systems.
Information Systems and Communication Service.
Logic programming.
Artificial Intelligence.
Decidability (Mathematical logic)
Control Structures and Microprogramming.
Simulation and Modeling.
Computer systems
Computer science.
Computers.
Software engineering
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Computer software
Computation by Abstract Devices.
Software Engineering.
Algorithm Analysis and Problem Complexity.
Computer logic.
Computer networks .