Rongo Univesity Library catalog › Results of search for 'ccl=su:Computer software and su:Congresses.'

	21.	Engineering dependable software systems / Publication: . 1 online resource (376 pages) : , "Proceedings of the NATO Advanced Study Institute on Engineering Dependable Software Systems, Marktoberdorf, Germany, 31 July - 12 August 2012"--Title page verso. \| "Published in cooperation with NATO Emerging Security Challenges Division." Availability: No items available: Add to cart (remove)
	22.	No cover image available Software system reliability and security Publication: Amsterdam ; \| Washington, DC : IOS Press, 2007 . ix, 417 p. : , "The contributions in this volume have emerged from lectures of the 27th International Summer School on Software System Reliability and Security, held at Marktoberdorf from August 1 to August 13, 2006."--Pref., p. vi. Date: 2007 Availability: No items available: Add to cart (remove)
	23.	No cover image available New trends in software methodologies, tools and techniques Proceedings of the fourth SoMeT_ W05 / Publication: Amsterdam ; \| Washington, D.C. : IOS Press, 2005 . xiii, 407 p. : Date: 2005 Availability: No items available: Add to cart (remove)
	24.	No cover image available Verification of infinite-state systems with applications to security Publication: Amsterdam ; \| Washington, D.C. : IOS Press, 2006 . vii, 235 p. : , Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Tima�soara, Romania, March 17-22, 2005. Date: 2006 Availability: No items available: Add to cart (remove)
	25.	No cover image available Software safety and security tools for analysis and verification / Publication: Washington, D.C. : IOS Press, 2012 . ix, 387 p. : , "Published in cooperation with NATO Emerging Security Challenges Division." \| "Proceedings of the NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security, Bayrischzell, Germany, 2-14 August 2011"--T.p. verso. \| Includes indexes. Date: 2012 Availability: No items available: Add to cart (remove)
	26.	No cover image available Knowledge-based software engineering proceedings of the Seventh Joint Conference on Knowledge-based Software Engineering / Publication: Amsterdam ; \| Washington, D.C. : IOS Press, 2006 . xi, 338 p. : , Conference held August 28-31, 2006 in Tallinn, Estonia. Date: 2006 Availability: No items available: Add to cart (remove)
	27.	No cover image available Proof technology and computation Publication: Amsterdam ; \| Washington, DC : IOS Press, 2006 . vii, 445 p. , "Proceedings of the NATO Advanced Study Institute on Proof Technology and Computation, Marktoberdorf, Germany, 29 July-10 August 2003"--T.p. verso. \| "Published in cooperation with NATO Public Diplomacy Division." Date: 2006 Availability: No items available: Add to cart (remove)
	28.	No cover image available Knowledge-based software engineering proceedings of the fifth Joint Conference on Knowledge-Based Software Engineering / Publication: Amsterdam ; \| Washington, DC : IOS Press/Ohmsha, 2002 . xi, 334 p. : Date: 2002 Availability: No items available: Add to cart (remove)
	29.	No cover image available New trends in software methodologies, tools and techniques proceedings of Lyee-W02 / Publication: Amsterdam ; \| Washington, DC : IOS Press/Ohmsha, 2002 . x, 405 p. : Date: 2002 Availability: No items available: Add to cart (remove)
	30.	No cover image available Behaviour monitoring and interpretation - BMI smart environments / Publication: Amsterdam ; \| Washington, DC : IOS Press, 2009 . viii, 357 p. : Date: 2009 Availability: No items available: Add to cart (remove)
	31.	No cover image available New trends in software methodologies, tools and techniques Publication: Amsterdam ; \| Oxford : IOS Press, 2007 . xiii, 505 p. : Date: 2007 Availability: No items available: Add to cart (remove)
	32.	No cover image available Software and systems safety specification and verification / Publication: Amsterdam, The Netherlands : IOS Press, 2011 . ix, 285 p. : Date: 2011 Availability: No items available: Add to cart (remove)
	33.	No cover image available Behaviour monitoring and interpretation BMI : well-being / Publication: Amsterdam, The Netherlands : IOS Press, 2011 . vii, 185 p. : Date: 2011 Availability: No items available: Add to cart (remove)
	34.	No cover image available Mathematical software proceedings of the first International Congress of Mathematical Software : Beijing, China, 17-19 August 2002 / Publication: Singapore ; \| River Edge, N.J. : World Scientific, 2002 . xiii, 514 p. : Date: 2002 Availability: No items available: Add to cart (remove)
	35.	No cover image available Software system reliability and security Publication: Amsterdam ; \| Washington, DC : IOS Press, 2007 . ix, 417 p. : , "The contributions in this volume have emerged from lectures of the 27th International Summer School on Software System Reliability and Security, held at Marktoberdorf from August 1 to August 13, 2006."--Pref., p. vi. Date: 2007 Availability: No items available: Add to cart (remove)