New trends in software methodologies, tools and techniques proceedings of the tenth SoMeT_11 /

New trends in software methodologies, tools and techniques proceedings of Lyee-W02 /
יצא לאור: (2002)

Knowledge-based software engineering proceedings of the Tenth Joint Conference on Knowledge-Based Software Engineering /
יצא לאור: (2012)

Knowledge-based software engineering proceedings of the fifth Joint Conference on Knowledge-Based Software Engineering /
יצא לאור: (2002)

Knowledge-based software engineering proceedings of the Seventh Joint Conference on Knowledge-based Software Engineering /
יצא לאור: (2006)

Software and systems safety specification and verification /
יצא לאור: (2011)

Dependable software systems engineering /
יצא לאור: (2017)

Software systems safety /
יצא לאור: (2014)

Dependable software systems engineering /
יצא לאור: (2016)

Software safety and security tools for analysis and verification /
יצא לאור: (2012)

Mathematical software proceedings of the first International Congress of Mathematical Software : Beijing, China, 17-19 August 2002 /
יצא לאור: (2002)

Software system reliability and security
יצא לאור: (2007)

Engineering dependable software systems /
יצא לאור: (2013)

Dependable software systems engineering /
יצא לאור: (2015)

A new paradigm of knowledge engineering by soft computing
יצא לאור: (2001)

Proceedings of the 2009 International Conference on Software Technology and Engineering Chennai, India, 24-26 July 2009 : ICSTE 2009 /
יצא לאור: (2009)

Workshop proceedings of the 7th International Conference on Intelligent Environments
יצא לאור: (2011)

Domain Analysis and Modeling of a Model-Based Software Executive
מאת: Welgan, Robert L.
יצא לאור: (1993)

A system-theoretic safety engineering approach for software-intensive systems /
מאת: Abdulkhaleq, Asim
יצא לאור: (2017)

Serp'18 : proceedings of the 2018 international conference on software engineering research and practice /
יצא לאור: (2018)

SERP 2017 : proceedings of the 2017 International Conference on Software Engineering Research & Practice /
יצא לאור: (2017)

SERP 2015 : proceedings of the 2015 International Conference on Software Engineering Research & Practice /
יצא לאור: (2015)

SERP 2016 : proceedings of the 2016 International Conference on Software Engineering Research & Practice /
יצא לאור: (2016)

Investigation into Formalization of Domain-Oriented Parallel Software Development
מאת: King, Daniel P.
יצא לאור: (1993)

Software design methodology
מאת: Zhu, Hong, 1961-
יצא לאור: (2005)

Information modelling and knowledge bases xxvi /
יצא לאור: (2014)

Multicore hardware-software design and verification techniques
יצא לאור: (2011)

New trends in software process modeling
יצא לאור: (2006)

Information modelling and knowledge bases XX
יצא לאור: (2009)

Information modelling and knowledge bases XIX
יצא לאור: (2008)

Information modelling and knowledge bases XXIV
יצא לאור: (2013)

FCS 2016 : proceedings of the 2017 International Conference on Foundations of Computer Science. /
יצא לאור: (2017)

A prolog implementation of pattern search to optimize software quality assurance
מאת: Buzzard, Raymond Karl
יצא לאור: (Marc)

Software engineering architecture-driven software development /
מאת: Schmidt, Richard, 1956-
יצא לאור: (2013)

Beginning software engineering /
מאת: Stephens, Rod
יצא לאור: (2015)

Proof technology and computation
יצא לאור: (2006)

Applied information and digital image technologies, control and power engineering : selected, peer reviewed papers from the International Conference on Energy Efficient Technologies for Sustainability (ICEETS '14 ), April 7-9, 2014, Tamil Nadu, India /
יצא לאור: (2014)