| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| Controlled Natural Language: 5th International Workshop, CNL 2016, Aberdeen, UK, July 25-27, 2016, Proceedings | Taschenbuch | 978-3-319-41497-3 | 2016 | Brian Davis · Adam Wyner |
| Controlled Natural Language: 5th International Workshop, CNL 2016, Aberdeen, UK, July 25-27, 2016, Proceedings | Paperback | 978-3-319-41499-7 | 2016 | Brian Davis · Adam Wyner |
| Mathematics of Discrete Structures for Computer Science | Gebunden | 978-3-642-29839-4 | 2012 | |
| Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings | Taschenbuch | 978-3-642-16611-2 | 2010 | Howard Barringer · Ylies Falcone · Bernd Finkbeiner · Klaus Havelund · Insup Lee · Grigore Rosu · Oleg Sokolsky |