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
Computer multitasking
Computer Science.
Programming Techniques.
Computer Communication Networks.
Programming Languages, Compilers, Interpreters.
Parallel processing (Electronic computers)
System analysis
Information Systems Applications (incl.Internet)
Logics and Meanings of Programs.