-
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change – 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
Margaria, Tiziana ; Steffen, Bernhard 2014 Springer Berlin Heidelberg
-
Human-Centered Software Engineering – 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings
Sauer, Stefan ; Bogdan, Cristian ; Forbrig, Peter ; Bernhaupt, Regina ; Winckler, Marco 2014 Springer International Publishing
-
Bio-Inspired Models of Network, Information, and Computing Systems – 7th International ICST Conference, BIONETICS 2012, Lugano, Switzerland, December 10--11, 2012, Revised Selected Papers
Di Caro, Gianni A. ; Theraulaz, Guy 2014 Springer International Publishing
-
Enterprise, Business-Process and Information Systems Modeling – 15th International Conference, BPMDS 2014, 19th International Conference, EMMSAD 2014, Held at CAiSE 2014, Thessaloniki, Greece, June 16-17, 2014. Proceedings
Bider, Ilia ; Gaaloul, Khaled ; Krogstie, John ; Nurcan, Selmin ; Proper, Erik ; Schmidt, Rainer ; Soffer, Pnina 2014 Springer International Publishing
-
Mobile Social Signal Processing – First International Workshop, MSSP 2010, Lisbon, Portugal, September 7, 2010, Invited Papers
Murray-Smith, Roderick 2014 Springer Berlin Heidelberg
-
Evaluation of Novel Approaches to Software Engineering – 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers
2013 Springer Berlin Heidelberg
-
Conceptual Modeling – 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings
Ng, Wilfred S. H. ; Storey, Veda C. ; Trujillo, Juan 2013 Springer International Publishing
-
The Practice of Enterprise Modeling – 6th IFIP WG 8.1 Working Conference, PoEM 2013, Riga, Latvia, November 6-7, 2013, Proceedings
Grabis, Jānis ; Kirikova, Marite ; Zdravkovic, Jelena ; Stirna, Janis 2013 Springer Berlin Heidelberg
-
Enterprise and Organizational Modeling and Simulation – 9th International Workshop, EOMAS 2013, Held at CAiSE 2013, Valencia, Spain, June 17, 2013, Selected Papers
Barjis, Joseph ; Gupta, Ashish ; Meshkat, Amir 2013 Springer Berlin Heidelberg
-
Business Information Systems Workshops – BIS 2013 International Workshops, Poznań, Poland, June 19-20, 2013, Revised Papers
2013 Springer Berlin Heidelberg
-
Computer Engineering and Technology – 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers
Xu, Weixia ; Xiao, Liquan ; Zhang, Chengyi ; Li, Jinwen ; Yu, Liyan 2013 Springer Berlin Heidelberg
-
On the Move to Meaningful Internet Systems: OTM 2013 Workshops – Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, ACM, EI2N, ISDE, META4eS, ORM, SeDeS, SINCOM, SMS, and SOMOCO 2013, Graz, Austria, September 9 - 13, 2013, Proceedings
2013 Springer Berlin Heidelberg
-
Information Systems: Development, Learning, Security – 6th SIGSAND/PLAIS EuroSymposium 2013, Gdańsk, Poland, September 26, 2013. Proceedings
Wrycza, Stanisław 2013 Springer Berlin Heidelberg
-
Language Processing and Knowledge in the Web – 25th International Conference, GSCL 2013, Darmstadt, Germany, September 25-27, 2013. Proceedings
Gurevych, Iryna ; Biemann, Chris ; Zesch, Torsten 2013 Springer Berlin Heidelberg
-
Design Science at the Intersection of Physical and Virtual Design – 8th International Conference, DESRIST 2013, Helsinki, Finland, June 11-12, 2013. Proceedings
Vom Brocke, Jan ; Hekkala, Riitta ; Ram, Sudha ; Rossi, Matti 2013 Springer Berlin Heidelberg
-
Advanced Information Systems Engineering Workshops – CAiSE 2013 International Workshops, Valencia, Spain, June 17-21, 2013. Proceedings
Franch, Xavier ; Soffer, Pnina 2013 Springer Berlin Heidelberg
-
Enterprise, Business-Process and Information Systems Modeling – 14th International Conference, BPMDS 2013, 18th International Conference, EMMSAD 2013, Held at CAiSE 2013, Valencia, Spain, June 17-18, 2013. Proceedings
Nurcan, Selmin ; Proper, Erik ; Soffer, Pnina ; Krogstie, John ; Schmidt, Rainer ; Halpin, Terry ; Bider, Ilia 2013 Springer Berlin Heidelberg
-
Advanced Information Systems Engineering – 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings
Achour-Salinesi, Camille Ben ; Norrie, Moira C. ; Pastor, Oscar 2013 Springer Berlin Heidelberg
-
Information Processing in Computer-Assisted Interventions – 4th International Conference, IPCAI 2013, Heidelberg, Germany, June 26, 2013. Proceedings
Barratt, Dean ; Cotin, Stéphane ; Fichtinger, Gabor ; Jannin, Pierre ; Navab, Nassir 2013 Springer Berlin Heidelberg
-
Advances in Regression, Survival Analysis, Extreme Values, Markov Processes and Other Statistical Applications
Silva, João Felipe Lita da ; Caeiro, Frederico ; Natário, Isabel ; Braumann, Carlos A. 2013 Springer Berlin Heidelberg