-
Structured Object-Oriented Formal Language and Method – Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
Liu, Shaoying 2013 Springer Berlin Heidelberg
-
Advances in Neural Networks – ISNN 2013 – 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part I
2013 Springer Berlin Heidelberg
-
Advances in Neural Networks – ISNN 2013 – 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part II
2013 Springer Berlin Heidelberg
-
Computer Vision, Imaging and Computer Graphics. Theory and Application – 7th International Joint Conference, VISIGRAPP 2012, Rome, Italy, February 24-26, 2012, Revised Selected Papers
Csurka, Gabriela ; Kraus, Martin ; Laramee, Robert S. ; Richard, Paul ; Braz, José 2013 Springer Berlin Heidelberg
-
Advances in Image and Graphics Technologies – Chinese Conference, IGTA 2013, Beijing, China, April 2-3, 2013. Proceedings
Tan, Tieniu ; Ruan, Qiuqi ; Chen, Xilin ; Ma, Huimin ; Wang, Liang 2013 Springer Berlin Heidelberg
-
Evolutionary Multi-Criterion Optimization – 7th International Conference, EMO 2013, Sheffield, UK, March 19-22, 2013. Proceedings
Purshouse, Robin C. ; Fleming, Peter ; Fonseca, Carlos M. da ; Greco, Salvatore ; Shaw, Jane 2013 Springer Berlin Heidelberg
-
Modelling Database Dynamics – Selected Papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects, Volkse, Germany 19–22 October 1992
Lipeck, Udo W. 1993 Springer London
-
Formal Methods for Components and Objects – 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Beckert, Bernhard ; Damiani, Ferruccio ; Boer, Frank S. de ; Bonsangue, Marcello M. 2013 Springer Berlin Heidelberg
-
Networked Digital Technologies – 4th International Conference, NDT 2012, Dubai, UAE, April 24-26, 2012, Proceedings, Part II
2012 Springer Berlin Heidelberg
-
Formal Verification of Object-Oriented Software – International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Beckert, Bernhard ; Damiani, Ferruccio ; Gurov, Dilian 2012 Springer Berlin Heidelberg
-
Articulated Motion and Deformable Objects – 7th International Conference, AMDO 2012, Port d’Andratx, Mallorca, Spain, July 11-13, 2012. Proceedings
Perales López, Francisco J. ; Fisher, Robert B. ; Moeslund, Thomas B. 2012 Springer Berlin Heidelberg
-
Networked Digital Technologies – 4th International Conference, NDT 2012, Dubai, UAE, April 24-26, 2012. Proceedings, Part I
Benlamri, Rachid 2012 Springer Berlin Heidelberg
-
Objects, Models, Components, Patterns – 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings
Furia, Carlo A. ; Nanz, Sebastian 2012 Springer Berlin Heidelberg
-
Constructing Scalar-Valued Objective Functions – Proceedings of the Third International Conference on Econometric Decision Models: Constructing Scalar-Valued Objective Functions University of Hagen Held in Katholische Akademie Schwerte September 5–8, 1995
Tanguiane, Andranick S. 1997 Springer Berlin Heidelberg
-
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance – 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings
Müller-Clostermann, Bruno 2012 Springer Berlin Heidelberg
-
Formal Aspects of Component Software – 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
Barbosa, Luís Soares ; Lumpe, Markus 2012 Springer Berlin Heidelberg
-
Formal Methods for Components and Objects – 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers
Aichernig, Bernhard K. ; Boer, Frank S. de ; Bonsangue, Marcello M. 2012 Springer Berlin Heidelberg
-
From Object Modelling to Advanced Visual Communication
Coquillart, Sabine 1994 Springer Berlin Heidelberg
-
Objects, Models, Components, Patterns – 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings
Bishop, Judith M. ; Vallecillo, Antonio 2011 Springer Berlin Heidelberg
-
Universal Access in Human-Computer Interaction. Design for All and eInclusion – 6th International Conference, UAHCI 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I
2011 Springer Berlin Heidelberg