1
Publicat 2010
Taula de continguts: ... Development—Why Current Requirements Engineering Is Flawed ! -- Compositional and Quantitative Model Checking...
Obtenir text complet
Electrònic eBook
2
Publicat 2015
Taula de continguts: ... Specializing JavaScript Programs -- Symbolic String Transformations with Regular Lookahead and Rollback...
Obtenir text complet
Electrònic eBook
3
Publicat 2013
Taula de continguts: ... Approach to Business Process Automation -- NDT-Driver, a Java Tool to Support QVT Transformations for NDT...
Obtenir text complet
Electrònic eBook
4
Publicat 2010
Taula de continguts: ... the Decline in Informatics Studies? -- Towards an Academic Social Network for Bologna Process -- Supporting...
Obtenir text complet
Electrònic eBook
5
Publicat 2010
Taula de continguts: ... Control -- Termination of Loop Programs with Polynomial Guards -- Development of Web Based Management...
Obtenir text complet
Electrònic eBook
6
Publicat 2010
Taula de continguts: ... AVI -- - Data Processing in Information Systems -- Acoustic Radar Employing Particle Velocity Sensors...
Obtenir text complet
Electrònic eBook
7
Publicat 2007
Taula de continguts: ... Studies on the Use of Workflow Technologies for Scientific Analysis: The Biomedical Informatics Research...
Obtenir text complet
Electrònic eBook