Your search returned 41 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
21.
The essence of software: Why concepts matter for great design by Daniel Jackson by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Jersey, USA, Princeton University Press, 2021
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 005.12 JAC/E.

Place hold Add to cart
22.
No cover image available
23.
No cover image available
The Once-Only Principle The TOOP Project by
Material type: Text Text
Online resources:
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1).

Place hold Add to cart
24.
No cover image available
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I by
Material type: Text Text
Online resources:
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1).

Place hold Add to cart
25.
No cover image available
Automated Deduction – CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings by
Material type: Text Text
Online resources:
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1).

Place hold Add to cart
26.
No cover image available
Algorithms in Decision Support Systems by
Material type: Text Text
Online resources:
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1).

Place hold Add to cart
27.
No cover image available
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II by
Material type: Text Text
Online resources:
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1).

Place hold Add to cart
28.
No cover image available
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I by
Material type: Text Text
Online resources:
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1).

Place hold Add to cart
29.
No cover image available
Anti-fragile ICT Systems by
Material type: Text Text
Online resources:
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1).

Place hold Add to cart
30.
No cover image available
31.
No cover image available
Modelling Event-Based Interactions in Component-Based Architectures for Quantitative System Evaluation by
Material type: Text Text
Online resources:
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1).

Place hold Add to cart
32.
No cover image available
33.
No cover image available
Reconstruction of Software Component Architectures and Behaviour Models using Static and Dynamic Analysis by
Material type: Text Text
Online resources:
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1).

Place hold Add to cart
34.
No cover image available
Parameter dependencies for reusable performance specifications of software components by
Material type: Text Text
Online resources:
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1).

Place hold Add to cart
35.
No cover image available
36.
No cover image available
37.
No cover image available
38.
No cover image available
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II by
Material type: Text Text
Online resources:
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1).

Place hold Add to cart
39.
No cover image available
40.
No cover image available
Pages