1
by Lambers, Leen.
Published 2023
Format:
Table of Contents: ... Conclusion -- References -- JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java...
Click to View
2
by Böhm, Wolfgang.
Published 2020
Format:
Table of Contents: ... Networks -- 2.3.4 Dynamics in System Networks -- 2.3.5 Functions -- 2.4 Problem Dimensions of Collaborative...
Click to View
3
by Biele, Cezary.
Published 2023
Format:
Table of Contents: ... State of the Art -- 3 Software -- 3.1 Programming Environment -- 3.2 Light Fixture Detection -- 3.3 GUI...
Click to View
4
by Pientka, Brigitte.
Published 2023
Format:
Table of Contents: ... -- 2.2 Lattice-Based Computational Problems -- 2.3 Partition and Subset Sum Problems -- 2.4 Notation...
Click to View
5
by Fleischmann, Albert.
Published 2015
Format:
Table of Contents: ....2 Defining a Framework for Modeling: Design and Notation -- 8.3 Developing the S-BPM Buildbook -- 8...
Click to View