語系
Konig, Barbara.
概要
作品: | 3 作品在 2 項出版品 1 種語言 |
---|
書目資訊
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:)
(書目-電子資源)
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.
(書目-電子資源)
主題
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.