Languages
Konig, Barbara.
Overview
| Works: | 3 works in 2 publications in 1 languages | |
|---|---|---|
Titles
CONCUR 2011 = concurrency theory : 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011 : proceedings /
by:
Konig, Barbara.; SpringerLink (Online service); Katoen, Joost-Pieter.; Congress on Progress and Controversies in Oncological Urology (2000:)
(Electronic resources)
Tools and algorithms for the construction and analysis of systems = 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings /
by:
Flanagan, Cormac.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Konig, Barbara.
(Electronic resources)
Subjects
Software Engineering.
Artificial Intelligence (incl. Robotics)
System design
Programming Languages, Compilers, Interpreters.
Computer Communication Networks.
System analysis
Parallel processing (Electronic computers)
Logics and Meanings of Programs.
Information Systems Applications (incl.Internet)
Programming Techniques.
Computer Science.
Computer multitasking