1
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... Engineering of Emergency and Process Shutdown Systems -- Combining Extended UML Models and Formal Methods...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Modeling on the Architectural Design Process -- An OpenGL-based Interface to 3D PowerPoint-like...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... -- Intelligent Computing in Communication -- A High Speed Mobile Courier Data Access System That Processes...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...
View full text
Electronic eBook
6
Published 2015
Table of Contents: ... for Medical Measurements -- Semi-Automated Quantitative Validation Tool for Medical Image Processing Algorithm...
View full text
Electronic eBook