Filter
Søkt på: Søkeresultat
Filter
totalt 3 treff
Finite-State Methods and Natural Language Processing
heftet,
2010,
Engelsk,
ISBN 9783642146831
This book constitutes the refereed proceedings of the 8th International Workshop on the Finite-State-Methods and Natural Language Processing, FSMNLP 2009. The workshop was held at …
The Correctness-by-Construction Approach to Programming
heftet,
2014,
Engelsk,
ISBN 9783642448546
The focus of this book is on bridging the gap between two extreme methods for developing software. On the one hand, there are texts and approaches that are so formal that they …
Fra
1166,-
Implementation and Application of Automata
heftet,
2003,
Engelsk,
ISBN 9783540004004
TheSixthInternationalConferenceonImplementationandApplicationof- tomata(CIAA2001)-the?rstoneheldinthesouthernhemisphere-was …