語系
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
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