{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Serp'18 :
proceedings of the 2018 international conference on software engineering research and practice
Serp'18 : proceedings of the 2018 international conference on software engineering research and practice / editors, Hamid R. Arabnia, Leonidas Deligiannidis, Fernando G. Tinetti.
CSREA Press,
[2018]
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Dependable software systems engineering
Dependable software systems engineering / edited by Alexander Pretschner, Doron Peled and Thomas Hutzelmann.
IOS Press,
2017.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
SERP 2017 :
proceedings of the 2017 International Conference on Software Engineering Research & Practice
SERP 2017 : proceedings of the 2017 International Conference on Software Engineering Research & Practice / editors, Hamid R. Arabnia [and four others].
CSREA Press,
[2017]
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Dependable software systems engineering
Dependable software systems engineering / edited by Javier Esparza, Orna Grumberg, Salomon Sickert.
IOS Press,
2016.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
SERP 2016 :
proceedings of the 2016 International Conference on Software Engineering Research & Practice
SERP 2016 : proceedings of the 2016 International Conference on Software Engineering Research & Practice / editors, Hamid R. Arabnia, Leonidas Deligiannidis, Fernando G. Tinetti ; associate editors, La
International Conference on Software Engineering Research & Practice
CSREA Press,
2016.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
SERP 2015 :
proceedings of the 2015 International Conference on Software Engineering Research & Practice
SERP 2015 : proceedings of the 2015 International Conference on Software Engineering Research & Practice / editors, Hamid R. Arabnia, Leonidas Deligiannidis, Fernando G. Tinetti ; associate editors, Ge
International Conference on Software Engineering Research & Practice
CSREA Press,
[2015]
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Software systems safety
Software systems safety / edited by Orna Grumber, Helmut Seidl and Maximillian Irlbeck.
NATO Advanced Study Institute on Software Systems Safety
IOS Press,
[2014] Request
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
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
Applied information and digital image technologies, control and power engineering : selected, peer reviewed papers from the International Conference on Energy Efficient Technologies for Sustainability
International Conference on Energy Efficient Technologies for Sustainability
TTP,
2014.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Proceedings of the 2012 international conference on information technology and software engineering :
information technology & computing intelligence
Proceedings of the 2012 international conference on information technology and software engineering : information technology & computing intelligence / Wei Lu ... [and others], editors.
International Conference on Information Technology and Software Engineering
Springer,
[2013]
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Knowledge-based software engineering
proceedings of the Tenth Joint Conference on Knowledge-Based Software Engineering
Knowledge-based software engineering [electronic resource] : proceedings of the Tenth Joint Conference on Knowledge-Based Software Engineering / edited by Maria Virvou and Saeko Matsuura.
Joint Conference on Knowledge-Based Software Engineering
Ios Press,
c2012.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
New trends in software methodologies, tools and techniques
proceedings of the eleventh SoMeT_12
New trends in software methodologies, tools and techniques [electronic resource] : proceedings of the eleventh SoMeT_12 / edited by Hamido Fujita and Roberto Revetria.
Fujita, Hamido.
IOS Press,
2012.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Software and systems safety
specification and verification
Software and systems safety [electronic resource] : specification and verification / edited by Manfred Broy, Christian Leuxner and Tony Hoare.
IOS Press,
2011.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
New trends in software methodologies, tools and techniques
proceedings of the tenth SoMeT_11
New trends in software methodologies, tools and techniques [electronic resource] : proceedings of the tenth SoMeT_11 / edited by Hamido Fujita and Tatiana Gavrilova.
IOS Press,
c2011.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Proceedings of the 2009 International Conference on Software Technology and Engineering
Chennai, India, 24-26 July 2009 : ICSTE 2009
Proceedings of the 2009 International Conference on Software Technology and Engineering [electronic resource] : Chennai, India, 24-26 July 2009 : ICSTE 2009 / editors, Venkatesh Mahadevan, Jianhong Zho
International Conference on Software Technology and Engineering
World Scientific,
c2009.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
New trends in software methodologies, tools and techniques
proceedings of the seventh SoMeT_08
New trends in software methodologies, tools and techniques [electronic resource] : proceedings of the seventh SoMeT_08 / edited by Hamido Fujita and Imran Zualkernan.
International Conference on New Trends in Software Methodologies, Tools and Techniques
IOS Press,
2008.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Algebraic methodology and software technology :
12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008 : proceedings
Algebraic methodology and software technology : 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008 : proceedings / José Meseguer, Grigore Rou (eds.).
International Conference on Algebraic Methodology and Software Technology
Springer,
2008.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Advanced information systems engineering :
20th international conference, CAiSE 2008, Montpellier, France, June 16-20, 2008 ; proceedings
Advanced information systems engineering : 20th international conference, CAiSE 2008, Montpellier, France, June 16-20, 2008 ; proceedings / Zohra Bellahsene, Michel Leonard (eds.).
CAiSE 2008
Springer,
[2008]
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Engineering environment-mediated multi-agent systems :
International Workshop, EEMMAS 2007, Dresden, Germany, October 5, 2007 : selected Rrvised and ivited ppers
Engineering environment-mediated multi-agent systems : International Workshop, EEMMAS 2007, Dresden, Germany, October 5, 2007 : selected Rrvised and ivited ppers / Danny Weyns, Sven A. Brueckner, Yves
EEMMAS 2007
Springer,
[2008]
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Balancing agility and formalism in software engineering :
Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007 : revised selected papers
Balancing agility and formalism in software engineering : Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007 : r
IFIP TC 2 Central and East European Conference on Software Engineering Techniques
Springer,
2008.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Advances in software engineering :
Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007 : revised tutorial lectures
Advances in software engineering : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007 : revised tutorial lectures / Egon Börger, Antonio Cisternino (eds.).
Hutchison, David.
Springer,
[2008]
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
E-commerce and web technologies :
9th international conference, EC-WEB 2008, Turin, Italy, September 3-4, 2008 : proceedings
E-commerce and web technologies : 9th international conference, EC-WEB 2008, Turin, Italy, September 3-4, 2008 : proceedings / Giuseppe Psaila, Roland Wagner (eds.).
International Conference on Electronic Commerce and Web Technologies
Springer,
[2008]
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Fundamental approaches to software engineering :
11th international conference, FASE 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings
Fundamental approaches to software engineering : 11th international conference, FASE 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hunga
FASE 2008
Springer,
2008.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Agent-oriented software engineering VIII :
8th international workshop, AOSE 2007, Honolulu, Hi, USA, May 14, 2007 : revised selected papers
Agent-oriented software engineering VIII : 8th international workshop, AOSE 2007, Honolulu, Hi, USA, May 14, 2007 : revised selected papers / Michael Luck, Lin Padgham (eds.).
Luck, Michael.
Springer,
[2008]
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
New trends in software methodologies, tools and techniques
New trends in software methodologies, tools and techniques [electronic resource] / edited by Hamido Fujita and Domenico Pisanelli.
International Conference on New Trends in Software Methodologies, Tools and Techniques
IOS Press,
c2007.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Formal methods :
applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers
Formal methods : applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected pap
International Workshop on Formal Methods for Industrial Critical Systems
Springer,
[2007]
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Fundamental approaches to software engineering :
9th international conference, FASE 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006 : proceedings
Fundamental approaches to software engineering : 9th international conference, FASE 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria,
FASE 2006
Springer,
[2006] Request
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Software engineering for multi-agent systems IV :
research issues and practical applications
Software engineering for multi-agent systems IV : research issues and practical applications / Alessandro Garcia ... [and others] (eds.).
Springer,
[2006] Request
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Modeling and retrieval of context :
second international workshop, MRC 2005, Edinburgh, UK, July 31-August 1, 2005 : revised selected papers
Modeling and retrieval of context : second international workshop, MRC 2005, Edinburgh, UK, July 31-August 1, 2005 : revised selected papers / Thomas R. Roth-Berghofer, Stefan Schulz, David B. Leake (e
International Workshop on Modeling and Retrieval of Context
Springer,
[2006] Request
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Agent-oriented software engineering VI :
6th international workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005 : revised and invited papers
Agent-oriented software engineering VI : 6th international workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005 : revised and invited papers / Jörg P. Müller, Franco Zambonelli (eds.).
AOSE 2005
Springer,
2006. Request
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Algebraic methodology and software technology :
11th international conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006 : proceedings
Algebraic methodology and software technology : 11th international conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006 : proceedings / Michael Johnson, Varmo Vene (eds.).
International Conference on Algebraic Methodology and Software Technology
Springer,
2006. Request
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
E-commerce and web technologies :
7th international conference, EC-web 2006, Krakow, Poland, September 5-7, 2006, proceedings
E-commerce and web technologies : 7th international conference, EC-web 2006, Krakow, Poland, September 5-7, 2006, proceedings / Kurt Bauknecht, Birgit Pröll, Hannes Werthner (eds.).
International Conference on Electronic Commerce and Web Technologies
Springer,
2006. Request
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
ISESE '06 :
Proceedings of the 5th ACM-IEEE International Symposium on Empirical Software Engineering : September 21-22, 2006, Rio de Janeiro, Brazil.
ISESE '06 : Proceedings of the 5th ACM-IEEE International Symposium on Empirical Software Engineering : September 21-22, 2006, Rio de Janeiro, Brazil.
International Symposium on Empirical Software Engineering
Association for Computing Machinery (ACM),
[2006] Request
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Advanced information systems engineering :
18th international conference, CAiSE 2006, Luxembourg, Luxembourg, June 5-9, 2006 : proceedings
Advanced information systems engineering : 18th international conference, CAiSE 2006, Luxembourg, Luxembourg, June 5-9, 2006 : proceedings / Eric Dubois, Klaus Pohl (eds.).
CAiSE (Conference)
Springer,
[2006] Request
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Model driven architecture :
foundations and applications : second European conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13 2006 : proceedings
Model driven architecture : foundations and applications : second European conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13 2006 : proceedings / Arend Rensink, Jo Warmer (eds.).
ECMDA-FA (Conference)
Springer,
[2006] Request
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Advanced software engineering :
expanding the frontiers of software technology
Advanced software engineering : expanding the frontiers of software technology / edited by Sergio F. Ochoa, Gruia-Catalin Roman.
Ochoa, Sergio F.
Springer,
[2006]
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Software engineering techniques :
design for quality
Software engineering techniques : design for quality / edited by Krzysztof Sacha.
IFIP Working Conference on Software Engineering Techniques
Springer,
[2006]