Cover Image
Read Now

1
Published 1998
Springer US
Table of Contents: “... Imperative objects and mobile processes -- 21 Relating linear and branching model checking -- 22 Verifying...”
Cover Image
Read Now

2
Published 2014
Springer International Publishing
Table of Contents: “...Compression -- Strategic Pattern Search in Factor-Compressed Test -- Relative Lempel-Ziv...”
Cover Image
Read Now

3
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... 18: Web Caching -- Session 19: Data Grid -- Session 20: Multimedia -- Session 21: Object Recognition...”
Cover Image
Read Now

4
Published 2022
Springer International Publishing
Table of Contents: “... Reference Data Model for Process-Related User Interaction Logs -- Analysing Variable Human Actions...”
Cover Image
Read Now

5
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... -- Integrating and Warehousing Liver Gene Expression Data and Related Biomedical Resources in GEDAW...”
Cover Image
Read Now

6
Published 2022
Springer International Publishing
Table of Contents: “... of the Covid-19 Pandemic on Online Music Sharing in India -- The side effect of ERC-20 standard in Social Media...”