語系
Bogliolo, Alessandro.
概要
| 作品: | 0 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
User-centric networkingfuture perspectives /
by:
Aldini, Alessandro.; Bogliolo, Alessandro.; SpringerLink (Online service)
(書目-電子資源)
Formal Methods for Mobile Computing5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures /
by:
(1998 :); Bernardo, Marco.; Bogliolo, Alessandro.; SpringerLink (Online service)
(書目-電子資源)
Formal methods for mobile computing :5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 ; advanced lectures /
by:
(1998 :); Bernardo, Marco.; Bogliolo, Alessandro.
(書目-語言資料,印刷品)
主題
Software Engineering.
Communications Engineering, Networks.
Logics and Meanings of Programs.
Home computer networks.
R & D/Technology Policy.
Computer software
Complexity.
Formal methods (Computer science)
System design
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Wireless communication systems.
Computer Science.
Computer Communication Networks.
Customer services.
Computer Systems Organization and Communication Networks.
Mobile computing