Languages
Ganty, Pierre.
Overview
| Works: | 4 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Trustworthy global computing = 10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 : revised selected papers /
by:
Ganty, Pierre.; Loreti, Michele.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Trustworthy Global Computing = 10th International Symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015 Revised Selected Papers /
by:
Loreti, Michele.; SpringerLink (Online service); Ganty, Pierre.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Verification and Evaluation of Computer and Communication Systems = 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings /
by:
SpringerLink (Online service); Ganty, Pierre.; Kaâniche, Mohamed.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Mathematical logic.
Software Engineering.
Computer organization.
Systems and Data Security.
Computer logic.
Algorithm Analysis and Problem Complexity.
Software engineering.
Computer networks
Information Systems Applications (incl. Internet).
The Computing Profession.
Computer Science.
Computer Systems Organization and Communication Networks.
Mathematical Logic and Formal Languages.
Information Systems Applications (incl. Internet)
Algorithms.
Logics and Meanings of Programs.
Computer security
Application software.
Database management.
Computers.
Computer security.
Computer software
Database Management.