This book constitutes the proceedings of the 9th International Conference on Testbeds and Researc...

The two volume sets LNCS 8033 and 8034 constitutes the refereed proceedings of the 9th Internatio...

Thetwo-volume set LNCS 9614 and 9615 constitutes the refereed proceedings of the 19thIACR Interna...

Thetwo-volume set LNCS 9614 and 9615 constitutes the refereed proceedings of the 19thIACR Interna...

This book is the proceedings of the Fourth International Conference on Quantitative Logic and Sof...

This book constitutes the thoroughly refereed post conference proceedings of the 5th Internationa...

This book constitutes the thoroughly refereed post conference proceedings of the 4th Internationa...

This book contains mainly a selection of papers that were presented at the International Workshop...

This Springer Brief provides a comprehensive overview of the background and recent developments o...

Min Chen, Arie E. Kaufman and Roni YageVolume graphics is concerned with graphics scenes define...

The two volume sets LNCS 8033 and 8034 constitutes the refereed proceedings of the 9th Internatio...

Since the appearance of computers, numerical methods for discontinuous solutions of quasi-linear ...