Search alternatives:
organizations » organization

1
Published 2002
Springer Berlin Heidelberg
Table of Contents: ... in the Logic LTL -- Trading Probability for Fairness -- Probability, Games and Fixpoints -- A Logic...

2
Published 2002
Springer Berlin Heidelberg
Table of Contents: ...A Formal and Executable Specification of the Internet Open Trading Protocol -- Using EMV Cards...

3
Published 2024
Springer Nature Singapore
Table of Contents: ... Networks via Reinforcement Learning. -- AI in Healthcare Data Privacy-preserving: Enhanced Trade-off...

4
Published 2024
Springer Nature Singapore
Table of Contents: ...Efficient Data Asset Right Provenance for Data Asset Trading Based on Blockchain. -- CGCL: A Novel...