1. Business modeling and software design : 6th International Symposium, BMSD 2016, Rhodes, Greece, June 20-22, 2016, revised selected papers /: 6th International Symposium, BMSD 2016, Rhodes, Greece, June 20-22, 2016, revised selected papers. (2017) Editors: Shishkov, Boris Other Names: BMSD (Symposium), 6th Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Business modeling and software design : 7th International Symposium, BMSD 2017, Barcelona, Spain, July 3-5, 2017, revised selected papers /: 7th International Symposium, BMSD 2017, Barcelona, Spain, July 3-5, 2017, revised selected papers. (2018) Editors: Shishkov, Boris Other Names: BMSD (Symposium), 7th Record Type: Book Extent: 1 online resource (xiii, 203 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Coordination models and languages : 18th IFIP WG 6.1 International Conference, COORDINATION 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings /: 18th IFIP WG 6.1 International Conference, COORDINATION 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. (2016) Editors: Lluch Lafuente, Alberto; Proença, José Other Names: COORDINATION (Conference), 18th; International Federated Conferences on Distributed Computing Techniques, 11th Record Type: Book Extent: 1 online resource (xiv, 279 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Business modeling and software design : 4th International Symposium, BMSD 2014, Luxembourg, Luxembourg, June 24-26, 2014, revised selected papers /: 4th International Symposium, BMSD 2014, Luxembourg, Luxembourg, June 24-26, 2014, revised selected papers. (2015) Editors: Shishkov, Boris Other Names: BMSD (Symposium), 4th Record Type: Book Extent: 1 online resource (xiii, 139 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Languages, design methods, and tools for electronic system design : selected contributions from FDL 2015 /: selected contributions from FDL 2015. (2016) Editors: Drechsler, Rolf; Wille, Robert Other Names: FDL (Conference) Record Type: Book Extent: 1 online resource (viii, 193 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Coordination models and languages : 20th IFIP WG 6.1 International Conference, COORDINATION 2018, held as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings /: 20th IFIP WG 6.1 International Conference, COORDINATION 2018, held as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings. (2018) Editors: Di Marzo Serugendo, Giovanna; Loreti, Michele Other Names: COORDINATION (Conference), 20th; International Federated Conferences on Distributed Computing Techniques, 13th Record Type: Book Extent: 1 online resource (xii, 281 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Business modeling and software design : 8th International Symposium, BMSD 2018, Vienna, Austria, July 2-4, 2018, proceedings /: 8th International Symposium, BMSD 2018, Vienna, Austria, July 2-4, 2018, proceedings. (2018) Editors: Shishkov, Boris Other Names: BMSD (Symposium), 8th Record Type: Book Extent: 1 online resource (xix, 454 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Languages, design methods, and tools for electronic system design : selected contributions from FDL 2013 /: selected contributions from FDL 2013. ([2015]) Editors: Louërat, Marie-Minerve; Maehne, Torsten Other Names: FDL (Conference) Record Type: Book Extent: 1 online resource (xxxiv, 305 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Hardware and software: verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings /: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings. (2015) Editors: Piterman, Nir Other Names: International Haifa Verification Conference, 11th Record Type: Book Extent: 1 online resource (293 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Languages, design methods, and tools for electronic system design : selected contributions from FDL 2014 /: selected contributions from FDL 2014. (2016) Editors: Oppenheimer, Frank; Pasaje, Julio Luis Medina Other Names: FDL (Conference) Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗