Telecommunication systems - Congresses. - Evaluation

Formal Techniques for Computer Systems and Business Processes = European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005 : proceedings / by: (Language materials, printed)

Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance = 15th International GI/ITG Conference, MMB & DFT 2010, Essen, Germany, March 15-17, 2010 : proceedings/ by: (Language materials, printed)

Measurement, modelling, and evaluation of computing systems = 20th International GI/ITG Conference, MMB 2020, Saarbrucken, Germany, March 16-18, 2020 : proceedings / by: (Electronic resources)

Web services

Software Engineering.

Logics and Meanings of Programs.

Programming Techniques.

Information Systems Applications (incl. Internet)

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Special Purpose and Application-Based Systems.

Telecommunication systems- Evaluation

Computer networks- Evaluation

Telecommunication- Traffic

Computer software- Evaluation

Information Systems Applications (incl.Internet)

Artificial Intelligence.

Computer Science.

Computer Communication Networks.

Computers and Society.

System Performance and Evaluation.

Computer System Implementation.

Computer systems- Evaluation