Stolz, Volker.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Formal Methods: Foundations and Applications = 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings /
by:
SpringerLink (Online service); Stolz, Volker.; Carvalho, Gustavo.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Theoretical Aspects of Computing – ICTAC 2020 = 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings /
by:
SpringerLink (Online service); Pun, Violet Ka I.; Simao, Adenilso.; Stolz, Volker.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Advances in Service-Oriented and Cloud Computing = Workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, Revised Selected Papers /
by:
Mann, Zoltán Ádám.; Stolz, Volker.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Advances in service-oriented and cloud computing = workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017 : revised selected papers /
by:
Mann, Zoltan Adam.; Stolz, Volker.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service)
(Language materials, printed)
Runtime Verification = 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28–30, 2022, Proceedings /
by:
SpringerLink (Online service); Dang, Thao.; Stolz, Volker.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Software Engineering.
Mathematical logic.
IT in Business.
Software Engineering/Programming and Operating Systems.
Algorithm Analysis and Problem Complexity.
Computer logic.
Artificial intelligence.
System Performance and Evaluation.
Software engineering.
Service-oriented architecture (Computer science)
Natural language processing (Computer science).
Information Systems Applications (incl. Internet).
Computer Science.
Microprogramming .
Information Systems Applications (incl. Internet)
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithms.
Special purpose computers.
Application software.
e-Commerce/e-business.
Information technology.
Business—Data processing.
Artificial Intelligence.
Special Purpose and Application-Based Systems.
Cloud computing
Control Structures and Microprogramming.
Natural Language Processing (NLP).
Computer system failures.
E-commerce.