|
|
Fulltext
|
|
|
Fulltext
|
| Web Services, Formal Methods, and Behavioral Types |
- isbn : 978-3-319-33612-1
- pisbn : 978-3-319-33611-4
|
Fulltext
|
| Future and Emergent Trends in Language Technology |
- isbn : 978-3-319-33500-1
- pisbn : 978-3-319-33499-8
|
Fulltext
|
| Multi-Agent Systems and Agreement Technologies |
- isbn : 978-3-319-33509-4
- pisbn : 978-3-319-33508-7
|
Fulltext
|
|
|
Fulltext
|
| Transactions on Computational Science XXVII |
- pisbn : 978-3-662-50411-6
- isbn : 978-3-662-50412-3
|
Fulltext
|
|
|
Fulltext
|
| The Semantic Web. Latest Advances and New Domains |
- isbn : 978-3-319-34129-3
- pisbn : 978-3-319-34128-6
|
Fulltext
|
| Integrated Formal Methods |
- pisbn : 978-3-319-33692-3
- isbn : 978-3-319-33693-0
|
Fulltext
|