skip to main content
Show Results with:

5 results  for Everything in this catalogue

Refined by: journal title: Lecture notes in computer science remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Article
Add to My workspace

SysML to NuSMV Model Transformation via Object-Orientation

Caltais, Georgiana et al.

Lecture notes in computer science. Number 10107 (2017); pp 31-45 -- Springer

Check library holdings

2
Material Type:
Article
Add to My workspace

Symbolic Causality Checking Using Bounded Model Checking

Beer, Adrian et al.

Lecture notes in computer science. Number 9232 (2015); pp 203-221 -- Springer

Check library holdings

3
Material Type:
Article
Add to My workspace

A Value-Centered Approach for Unique and Novel Software Applications

Senft, Björn et al.

Lecture notes in computer science. Number 11586 (2019); pp 366-384 -- Springer

Check library holdings

4
Material Type:
Article
Add to My workspace

Conceptualizing a Framework to Manage the Short Head and Long Tail of Business Processes

Imgrund, Florian et al.

Lecture notes in computer science. Number 11080 (2018); pp 392-408 -- Springer

Check library holdings

5
Material Type:
Article
Add to My workspace

A Canvas Method to Foster Interdisciplinary Discussions on Digital Assistance Systems

Fischer, Holger et al.

Lecture notes in computer science. Number 10918 (2018); pp 711-724 -- Springer

Check library holdings

5 results  for Everything in this catalogue

Refine Search Results

Creation date 

From To

Searching Remote Databases, Please Wait