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
Artificial intelligence.
Computer Communication Networks.
Software engineering.
Theory of Computation.
Logics and Meanings of Programs.
Computer science
Algorithms.
Decidability (Mathematical logic)
Computers.
Algorithm Analysis and Problem Complexity.
Computer logic.
Computer networks .
Computer Science.
Microprogramming .
Computer simulation.
Probability and Statistics in Computer Science.
Computer communication systems.
Logic programming.
Computer science.
Computer software
Computation by Abstract Devices.
Mathematical logic.
Computer organization.
Computer engineering.
Computer Systems Organization and Communication Networks.
Mathematical Logic and Formal Languages.
Artificial Intelligence.
Software engineering
Programming Languages, Compilers, Interpreters.
Software Engineering.
Logic in AI.
Computer Engineering and Networks.
Information Systems and Communication Service.
Control Structures and Microprogramming.
Simulation and Modeling.
Computer systems
Programming languages (Electronic computers).