2006

Advanced topics in exception handling techniques

Berlin ; New York : Springer, 2006

Request It 

2006

Advanced topics in exception handling techniques

 

2006

Advances in conceptual modeling--theory and practice : ER 2006 workshops BP-UML, CoMoGIS, COSS, ECDM, OIS, QoIS, SemWAT, Tucson, AZ, USA, November 6-9, 2006 : proceedings

 

2009

Advances in software engineering : International Conference on Advanced Software Engineering and its Applications, ASEA 2009, held as part of the Future Generation Information Technology Conference, F

ASEA (Conference : 2008- ) (2009 : Cheju Island, Korea)



 

2012

Advances in software engineering techniques : 4th IFIP TC 2 Central And East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14 2009 : revised selected

IFIP TC 2 Central and East European Conference on Software Engineering Techniques (4th : 2009 : Kraków, Poland)



 

2019

Advancing technology industrialization through intelligent software methodologies, tools and techniques : proceedings of the 18th International Conference on New Trends in Intelligent Software Methodo

International Conference on Intelligent Software Methodologies, Tools and Techniques (18th : 2019 : Kuching, Malaysia)

Amsterdam, Netherlands : IOS Press, 2019

 

1991

Algebraic methods II : theory, tools, and applications

Berlin ; New York : Springer-Verlag, ©1991

 

1989

Algebraic methods : theory, tools, and applications

Berlin ; New York : Springer-Verlag, ©1989

 

2008

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 :

IFIP TC 2 Central and East European Conference on Software Engineering Techniques (2nd : 2007 : Poznań, Poland)



 

2015

Build resilient systems at scale

O'Reilly Velocity Conference (2015 : New York)

[Place of publication not identified] : O'Reilly Media, [2015]

 

2015

Build resilient systems at scale

O'Reilly Velocity Conference (2015 : New York)

[Place of publication not identified] : O'Reilly Media, 2015

 

2008

The common component modeling example : comparing software component models

 

2004

Component-based software engineering : 7th international symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004 : proceedings

CBSE 2004 Symposium (7th : 2004 : Edinburgh, Scotland)

Berlin ; New York : Springer-Verlag, [2004]

Request It 

2005

Component-based software engineering : 8th international symposium, CBSE 2005, St. Louis, Mo, USA, May 14-15, 2005 : proceedings

CBSE 2005 (2005 : Saint Louis, Mo.)



 

1996

The design of computer supported cooperative work and groupware systems

 

2007

Early aspects : current challenges and future directions : 10th international workshop, Vancouver, Canada, March 13, 2007 : revised selected papers

 

2011

Engineering methods in the service-oriented context : 4th IFIP WG 8.1 Working Conference on Method Engineering, ME 2011, Paris, France, April 20-22, 2011, proceedings

IFIP WG 8.1 Working Conference on Method Engineering (2011 : Paris, France)



 

1993

Experimental software engineering issues : critical assessment and future directions : international workshop, Dagstuhl Castle, Germany, September 14-18, 1992 : proceedings

 

2004

Extreme programming and agile methods : XP/Agile Universe 2004 : 4th conference on extreme programming and agile methods, Calgary, Canada, August 15-18, 2004 : proceedings

XP/Agile Universe (Conference) (4th : 2004 : Calgary, Alta.) (Calgary, Canada)

Berlin ; [London] : Springer, [2004]

Request It 

2004

Extreme programming and agile processes in software engineering : 5th international conference, XP 2004, Garmisch-Partenkirchen, Germany, June 6-10, 2004 : proceedings

XP 2004 (2004 : Garmisch-Partenkirchen, Germany)

Berlin ; London : Springer, [2004]

Request It 

2005

Extreme programming and agile processes in software engineering : 6th international conference, XP 2005, Sheffield, UK, June 18-23, 2005 ; proceedings

XP 2005 (2005 : Sheffield, England)

Berlin ; New York : Springer, ©2005

 

2006

Extreme programming and agile processes in software engineering : 7th international conference, XP 2006, Oulu, Finland, June 17-22, 2006 : proceedings

XP 2006 (2006 : Oulu, Finland)

Berlin ; New York, NY : Springer, [2006]

Request It 

2006

Extreme programming and agile processes in software engineering : 7th international conference, XP 2006, Oulu, Finland, June 17-22, 2006 : proceedings

XP 2006 (2006 : Oulu, Finland)



 

2005

FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings

International Symposium of Formal Methods Europe (13th : 2005 : Newcastle upon Tyne, England)



 

2006

FM 2006 : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings

International Symposium of Formal Methods Europe (14th : 2006 : Hamilton, Ont.)



 

2008

FM 2008 : formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings

International Symposium of Formal Methods Europe (15th : 2008 : Turku, Finland)



 

2009

FM 2009 : formal methods : second world congress, Eindhoven, the Netherlands, November 2-6, 2009 : proceedings

International Symposium of Formal Methods Europe (16th : 2009 : Eindhoven, Netherlands)



 

2011

FM 2011 : formal methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011 : proceedings

International Symposium of Formal Methods Europe (17th : 2011 : Limerick, Limerick, Ireland)



 

1994

FME '94, industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings

International Symposium of Formal Methods Europe (2nd : 1994 : Barcelona, Spain)



 

2014

Formal methods for executable software models : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 201

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (14th : 2014 : Bertinoro, Italy)

Cham : Springer, [2014]

 

2005

Formal methods for mobile computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 : a

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (5th : 2005 : Bertinoro, Italy)



 

2015

Formal methods for multicore programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Ad

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (15th : 2015 : Bertinoro, Italy)

Cham : Springer, 2015

 

2016

Formal methods for the quantitative evaluation of collective adaptive systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, B

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (16th : 2016 : Bertinoro, Italy)

Switzerland : Springer, 2016

 

2016

Foundational and practical aspects of resource analysis : 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised selected papers

FOPARA (Workshop) (4th : 2015 : London, England)

Switzerland : Springer, 2016

 

2010

Foundational and practical aspects of resource analysis : first international workshop, FOPARA 2009, Eindhoven, the Netherlands, November 6, 2009 : revised selected papers

FOPARA (Workshop) (1st : 2009 : Eindhoven, Netherlands)



 

2012

Foundational and practical aspects of resource analysis : second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised selected papers

FOPARA (Workshop) (2nd : 2011 : Madrid, Spain)



 

2014

Foundational and practical aspects of resource analysis : third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised selected papers

FOPARA (Workshop) (3rd : 2013 : Bertinoro, Italy)

Cham : Springer, 2014

 

2010

Foundations of computer software : future trends and techniques for development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008 : revised selected papers

Monterey Workshop (15th : 2008 : Budapest, Hungary)



 

2011

Foundations of computer software : modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010 : revised selected papers

Monterey Workshop (16th : 2010 : Redmond, Wash.)



 

2007

Foundations of software science and computational structures : 10th international conference, FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 200

FOSSACS (Conference) (10th : 2007 : Braga, Portugal)



 

2007

Grid-based problem solving environments : IFIP TC2/WG 2.5 Working Conference on Grid-based Problem Solving Environments : implications for development and deployment of numerical software, July 17-21,

IFIP TC2/WG 2.5 Working Conference on Grid-based Problem Solving Environments (2006 : Prescott, Ariz.)



 

2008

... ICSE Workshop on Comparison and Versioning of Software Models

ICSE Workshop on Comparison and Versioning of Software Models

Piscataway, NJ : IEEE, [2008]-

 

 

ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software

ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software, issuing body

Piscataway, NJ : Institute of Electrical and Electronic Engineers

 

2020

Information Science and applications : ICISA 2019

International Conference on Information Science and Applications (2019 : Seoul, Korea)



 

2021

Information Science and Applications : Proceedings of ICISA 2020

International Conference on Information Science and Applications (11th : 2020 : Online)



 

2005

Information systems development : advances in theory, practice, and education

International Conference on Information Systems and Development: Methods and Tools, Theory and Practice (13th : 2004 : Vilnius, Lithuania)



 

2008

Innovations for requirements analysis : from stakeholders' needs to formal designs : 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007 : revised selected papers

Monterey Workshop (14th : 2007 : Monterey, Calif.)



 

2015

Intelligent software methodologies, tools and techniques : 13th International Conference, SoMeT 2014, Langkawi, Malaysia, September 22-24, 2014. Revised selected papers

IEEE International Conference on Intelligent Software Methodologies, Tools and Techniques (13th : 2014 : Langkawi, Malaysia)

Cham : Springer, 2015

 

2015

Intelligent software methodologies, tools and techniques : 14th international conference, SoMeT 2015, Naples, Italy, September 15-17, 2015 : proceedings

International Conference on New Trends in Software Methodologies, Tools and Techniques (14th : 2015 : Naples, Italy)

Cham Springer, [2015]

Request It 

2015

Intelligent software methodologies, tools and techniques : 14th International Conference, SoMeT 2015, Naples, Italy, September 15-17, 2015, proceedings

IEEE International Conference on Intelligent Software Methodologies, Tools and Techniques (14th : 2015 : Naples, Italy)

Cham : Springer, 2015