1
SDL 2017: Model-Driven Engineering for Future Internet [E-Book] : 18th International SDL Forum, Budapest, Hungary, October 9–11, 2017, Proceedings /
2
Security of Industrial Control Systems and Cyber-Physical Systems [E-Book] : Second International Workshop, CyberICPS 2016, Heraklion, Crete, Greece, September 26-30, 2016, Revised Selected Papers /
3
Modelling Foundations and Applications [E-Book] : 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings /
4
Software Engineering for Resilient Systems [E-Book] : 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings /
5
Testing Software and Systems [E-Book] : 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings /
6
Requirements Engineering: Foundation for Software Quality [E-Book] : 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedings /
7
Transactions on Foundations for Mastering Change I [E-Book] /
Subject (ZB): ...Management information systems....

Full text 
8
System Analysis and Modeling. Technology-Specific Aspects of Models [E-Book] : 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings /
9
Formal Methods: Foundations and Applications [E-Book] : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings /
10
Formal Methods: Foundations and Applications [E-Book] : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings /
11
Web Services, Formal Methods, and Behavioral Types [E-Book] : 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers /
12
FM 2016: Formal Methods [E-Book] : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings /
13
Formal Aspects of Component Software [E-Book] : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers /
14
Software Engineering [E-Book] : International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures /
15
SDL 2015: Model-Driven Engineering for Smart Cities [E-Book] : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings /
16
Testing Software and Systems [E-Book] : 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings /
17
Globalizing Domain-Specific Languages [E-Book] : International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers /