Welcome to the Kids' Library!

Knowledge-based software engineering proceedings of the fifth Joint Conference on Knowledge-Based So

Joint Conference on Knowledge-Based Software Engineering (5th : 2002 : Malibor, Slovenia)
Amsterdam ; Washington, DC : IOS Press/Ohmsha, c2002. 2002

Knowledge-based software engineering proceedings of the Seventh Joint Conference on Knowledge-based

Joint Conference on Knowledge-Based Software Engineering (7th : 2006 : Tallinn, Estonia)
Amsterdam ; Washington, D.C. : IOS Press, 2006. 2006

Model-driven business process engineering

Shariqah, United Arab Emirates : Bentham Science Publishers Ltd., 2014. 2014

New trends in software methodologies, tools and techniques

International Conference on New Trends in Software Methodologies, Tools and Techniques (6th : 2007 : Rome, Italy)
Amsterdam ; Oxford : IOS Press, c2007. 2007

New trends in software methodologies, tools and techniques proceedings of the eleventh SoMeT_12

Fujita, Hamido.
Amsterdam ; Washington, DC : IOS Press, 2012. 2012

New trends in software methodologies, tools and techniques Proceedings of the fourth SoMeT_ W05

Amsterdam ; Washington, D.C. : IOS Press, 2005. 2005

New trends in software methodologies, tools and techniques proceedings of the seventh SoMeT_08

International Conference on New Trends in Software Methodologies, Tools and Techniques (7th : 2008 : Shariqah, United Arab Emirates)
Amsterdam : IOS Press, 2008. 2008

Proof technology and computation

NATO Advanced Study Institute on Proof Technology and Computation (2003 : Marktoberdorf, Germany)
Amsterdam ; Washington, DC : IOS Press, c2006. 2006