Languages
Remke, Anne.
Overview
| Works: | 1 works in 5 publications in 1 languages | |
|---|---|---|
Titles
Analytical and stochastic modelling techniques and applications22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015 : proceedings /
by:
(1998 :); Gribaudo, Marco.; Manini, Daniele.; Remke, Anne.; SpringerLink (Online service)
(Electronic resources)
Quantitative evaluation of systems17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020 : proceedings /
by:
(1998 :); Gribaudo, Marco.; Jansen, David N.; Remke, Anne.; SpringerLink (Online service)
(Electronic resources)
Stochastic model checkingrigorous dependability analysis using model checking techniques for stochastic systems : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012 : advanced lectures /
by:
(1998 :); Remke, Anne.; SpringerLink (Online service); Stoelinga, Marielle.
(Electronic resources)
Distributed applications and interoperable systems20th IFIP WG 6.1 International Conference, DAIS 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020 : proceedings /
by:
(1998 :); Remke, Anne.; Schiavoni, Valerio.; SpringerLink (Online service)
(Electronic resources)
Measurement, modelling and evaluation of dependable computer and communication systems18th International GI/ITG Conference, MMB & DFT 2016, Munster, Germany, April 4-6, 2016 : proceedings /
by:
(1998 :); Haverkort, Boudewijn R.; Remke, Anne.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Image Processing and Computer Vision.
Data Structures and Information Theory.
Theory of Computation.
Stochastic models
Logics and Meanings of Programs.
Pattern Recognition.
Telecommunication systems
Electronic data processing
Software Engineering/Programming and Operating Systems.
Information Systems and Communication Service.
Mathematics of Computing.
Data Structures.
Computer systems
Computer software
Information Systems Applications (incl. Internet)
Computing Milieux.
Reliability (Engineering)
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Computer simulation
Artificial Intelligence.
Computer Science.
Probability and Statistics in Computer Science.
Math Applications in Computer Science.
Discrete Mathematics in Computer Science.
Computer Communication Networks.
Simulation and Modeling.
Cloud computing
Computer networks
Stochastic processes