語系
Barkaoui, Kamel.
概要
| 作品: | 0 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Theoretical Aspects of Computing - ICTAC 2006Third International Colloquium, Tunis, Tunisia, November 20-24, 2006Proceedings /
by:
(1998 :); Barkaoui, Kamel.; Cavalcanti, Ana.; Cerone, Antonio.; SpringerLink (Online service)
(書目-電子資源)
Business process management workshopsBPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011 : revised selected papers.Part II /
by:
(1998 :); Barkaoui, Kamel.; Daniel, Florian.; Dustdar, Schahram.; SpringerLink (Online service)
(書目-電子資源)
Business process management workshopsBPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011 : revised selected papers.Part I /
by:
(1998 :); Barkaoui, Kamel.; Daniel, Florian.; Dustdar, Schahram.; SpringerLink (Online service)
(書目-電子資源)
Verification and evaluation of computer and communication systems11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017 : proceedings /
by:
(1998 :); Barkaoui, Kamel.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Electronic data processing
Logics and Meanings of Programs.
Computation by Abstract Devices.
Business
Information Systems Applications (incl. Internet)
Computer software
Algorithm Analysis and Problem Complexity.
Operating Systems.
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Programming Languages, Compilers, Interpreters.
Management information systems
Computer Appl. in Administrative Data Processing.
Production/Logistics/Supply Chain Management.
Business Information Systems.
Computer Science.
Computer Communication Networks.
Workflow
Computer networks
Information theory