1
Published 2012
Springer Berlin Heidelberg
Table of Contents: ... systems -- online computation -- word equations -- biologically motivated formal systems -- controlled...

2
Published 2023
Springer International Publishing
Table of Contents: ... -- Monitoring the Internet Computer -- Word Equations in Synergy with Regular Constraints -- Formal Methods...

3
Published 2003
Springer Berlin Heidelberg
Table of Contents: ...Evaluating Automatically Computed Word Similarity -- Evaluation of a Thesaurus-Based Query...

4
Published 2008
Springer Berlin Heidelberg
Table of Contents: ...A Method to Overcome Computer Word Size Limitation in Bit-Parallel Pattern Matching -- 6A...

5
by Gentili, Pier
Published 2020
MDPI - Multidisciplinary Digital Publishing Institute