Languages
Remke, Anne.
Overview
| Works: | 2 works in 5 publications in 1 languages | |
|---|---|---|
Titles
Distributed applications and interoperable systems = 20th 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:
DAIS (Conference) (2020 :); Remke, Anne.; Schiavoni, Valerio.; SpringerLink (Online service); International Federated Conference on Distributed Computing Techniques (2020 :)
(Electronic resources)
Analytical and stochastic modelling techniques and applications = 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015 : proceedings /
by:
Gribaudo, Marco.; Manini, Daniele.; Remke, Anne.; SpringerLink (Online service)
(Electronic resources)
Quantitative evaluation of systems = 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020 : proceedings /
by:
International Conference on the Quantitative Evaluation of Systems (2020 :); Gribaudo, Marco.; Jansen, David N.; Remke, Anne.; SpringerLink (Online service)
(Electronic resources)
Measurement, modelling and evaluation of dependable computer and communication systems = 18th International GI/ITG Conference, MMB & DFT 2016, Munster, Germany, April 4-6, 2016 : proceedings /
by:
Remke, Anne.; Haverkort, Boudewijn R.; SpringerLink (Online service)
(Electronic resources)
Stochastic model checking = rigorous dependability analysis using model checking techniques for stochastic systems : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012 : advanced lectures /
by:
Remke, Anne.; Stoelinga, Marielle.; 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.
Software Engineering/Programming and Operating Systems.
Information Systems and Communication Service.
Mathematics of Computing.
Data Structures.
Information Systems Applications (incl. Internet)
Computing Milieux.
Reliability (Engineering)
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Computer simulation
Telecommunication systems- Evaluation
Computer software- Evaluation
Computer networks- Evaluation
Electronic data processing- Distributed processing
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
Stochastic processes
Computer systems- Evaluation