1
Published 2015
Table of Contents: ... for a Lazy Functional Language Timed History Preserving Bisimulation and Open Maps -- Process Opacity...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... Development—Why Current Requirements Engineering Is Flawed ! -- Compositional and Quantitative Model Checking...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ... Approach to Business Process Automation -- NDT-Driver, a Java Tool to Support QVT Transformations for NDT...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... the Decline in Informatics Studies? -- Towards an Academic Social Network for Bologna Process -- Supporting...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... AVI -- - Data Processing in Information Systems -- Acoustic Radar Employing Particle Velocity Sensors...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ...Updated Topics in Healthcare Informatics -- Updated Topics in Healthcare Informatics -- The HL7 RIM...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... and the Role of Medical Informatics in Stomatology -- Stability Analysis of an SVLI Epidemic Model -- A New...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ... Studies on the Use of Workflow Technologies for Scientific Analysis: The Biomedical Informatics Research...
View full text
Electronic eBook