1
Published 2014
Table of Contents: ... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... for Educational Modules -- Error Simulation in a Maturity Environment for Software Engineering Teaching -- A...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... Robustness: Neural Networks Applied to Prediction of Fault-Prone Software Modules -- Learning -- A Study...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... for Advection-Diffusion Processes -- A New Low Rank Quasi-Newton Update Scheme for Nonlinear Programming...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... Constraints for XML -- Modules over Monads and Linearity -- Hydra Games and Tree Ordinals -- Spin Networks...
View full text
Electronic eBook