-
In Search of Elegance in the Theory and Practice of Computation – Essays Dedicated to Peter Buneman
Tannen, Val ; Buneman, Peter ; Wong, Limsoon ; Libkin, Leonid ; Fan, Wenfei ; Tan, Wang-Chiew ; Fourman, Michael 2013 Springer International Publishing
-
Foundations of Health Information Engineering and Systems – Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers
Weber-Jahnke, Jens H. 2013 Springer Berlin Heidelberg
-
S-BPM ONE - Running Processes – 5th International Conference, S-BPM ONE 2013, Deggendorf, Germany, March 11-12, 2013. Proceedings
Fischer, Herbert ; Schneeberger, Josef 2013 Springer Berlin Heidelberg
-
Business Process Management Workshops – BPM 2012 International Workshops, Tallinn, Estonia, September 3, 2012. Revised Papers
La Rosa, Marcello ; Soffer, Pnina 2013 Springer Berlin Heidelberg
-
Job Scheduling Strategies for Parallel Processing – 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers
Cirne, Walfredo ; Desai, Narayan ; Frachtenberg, Eitan ; Schwiegelshohn, Uwe 2013 Springer Berlin Heidelberg
-
AI Approaches to the Complexity of Legal Systems. Models and Ethical Challenges for Legal Systems, Legal Language and Legal Ontologies, Argumentation and Software Agents – International Workshop AICOL-III, Held as Part of the 25th IVR Congress, Frankfurt am Main, Germany, August 15-16, 2011. Revised Selected Papers
Palmirani, Monica ; Pagallo, Ugo ; Casanovas, Pompeu ; Sartor, Giovanni 2012 Springer Berlin Heidelberg
-
Provenance and Annotation of Data and Processes – 4th International Provenance and Annotation Workshop, IPAW 2012, Santa Barbara, CA, USA, June 19-21, 2012, Revised Selected Papers
Groth, Paul ; Frew, James 2012 Springer Berlin Heidelberg
-
Data-Driven Process Discovery and Analysis – First International Symposium, SIMPDA 2011, Campione d’Italia, Italy, June 29 – July 1, 2011, Revised Selected Papers
Aberer, Karl ; Damiani, Ernesto ; Dillon, Tharam 2012 Springer Berlin Heidelberg
-
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change – 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
2012 Springer Berlin Heidelberg
-
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies – 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
Margaria, Tiziana ; Steffen, Bernhard ; Merten, Maik 2012 Springer Berlin Heidelberg
-
Business Process Model and Notation – 4th International Workshop, BPMN 2012, Vienna, Austria, September 12-13, 2012. Proceedings
Mendling, Jan ; Weidlich, Matthias 2012 Springer Berlin Heidelberg
-
Case-Based Reasoning Research and Development – 20th International Conference, ICCBR 2012, Lyon, France, September 3-6, 2012. Proceedings
Díaz Agudo, Belén ; Watson, Ian 2012 Springer Berlin Heidelberg
-
Foundations of Health Informatics Engineering and Systems – First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers
Liu, Zhiming ; Wassyng, Alan 2012 Springer Berlin Heidelberg
-
Scientific and Statistical Database Management – 24th International Conference, SSDBM 2012, Chania, Crete, Greece, June 25-27, 2012. Proceedings
Ailamaki, Anastasia ; Bowers, Shawn 2012 Springer Berlin Heidelberg
-
Geschäftsprozeßmanagement – Prozeßorientierte Organisationsgestaltung und Informationstechnologie
1994 Physica-Verlag HD
-
S-BPM ONE – Scientific Research – 4th International Conference, S-BPM ONE 2012, Vienna, Austria, April 4-5, 2012. Proceedings
Stary, Christian 2012 Springer Berlin Heidelberg
-
S-BPM ONE - Education and Industrial Developments – 4th International Conference, S-BPM ONE 2012, Vienna, Austria, April 4-5, 2012. Proceedings
Oppl, Stefan ; Fleischmann, Albert 2012 Springer Berlin Heidelberg
-
Case-Based Reasoning Research and Development – 19th International Conference on Case-Based Reasoning, ICCBR 2011, London, UK, September 12-15, 2011. Proceedings
Ram, Ashwin ; Wiratunga, Nirmalie 2011 Springer Berlin Heidelberg
-
Business Process Management Workshops – BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part I
2012 Springer Berlin Heidelberg
-
Business Process Management Workshops – BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part II
Daniel, Florian ; Barkaoui, Kamel ; Dustdar, Schahram 2012 Springer Berlin Heidelberg