Software engineering
Resource Information
The concept Software engineering represents the subject, aboutness, idea or notion of resources found in University of Missouri Libraries.
The Resource
Software engineering
Resource Information
The concept Software engineering represents the subject, aboutness, idea or notion of resources found in University of Missouri Libraries.
- Label
- Software engineering
- Source
- fast
A sample of Items that share the Concept Software engineering See All
Context
Context of Software engineeringSubject of
No resources found
No enriched resources found
- 2010 IEEE International Conference on Computational Photography
- 2010 International Conference on Information Science and Applications
- A Decade of Concurrency Reflections and Perspectives : REX School/Symposium Noordwijkerhout, the Netherlands June 1-4, 1993 Proceedings
- A Systematic Catalogue of Reusable Abstract Data Types
- A concise introduction to software engineering
- A rigorous semantics for BPMN 2.0 process diagrams
- AI '88 : 2nd Australian Joint Artificial Intelligence Conference Adelaide, Australia, November 15-18, 1988 Proceedings
- Abstract State Machines - Theory and Applications : International Workshop, ASM 2000 Monte Verità, Switzerland, March 19 24, 2000 Proceedings
- Abstract State Machines 2003 : Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3 7, 2003 Proceedings
- Active networks : first international working conference, IWAN '99, Berlin, Germany, June 30-July 2, 1999 : proceedings
- Ada 2012 rationale : the language, the standard libraries
- Ada 95 Rationale : the Language : The Standard Libraries
- Ada 95 Reference Manual : Language and Standard Libraries
- Ada for Software Engineers
- Advanced Functional Programming : First International Spring School on Advanced Functional Programming Techniques Båstad, Sweden, May 24-30, 1995 Tutorial Text
- Advanced Functional Programming : Second International School Olympia, WA, USA, August 26-30, 1996 Tutorial Text
- Advanced Information Systems Engineering : 5th International Conference, CAiSE '93 Paris, France, June 8-11, 1993 Proceedings
- Advanced Information Systems Engineering : 7th International Conference, CAiSE '95 Jyväskylä, Finland, June 12-16, 1995 Proceedings
- Advanced Information Systems Engineering : 8th International Conference, CAiSE'96 Heraklion, Crete, Greece, May 20-24, 1996 Proceedings
- Advanced computing
- Advanced lectures on software engineering : LASER summer school 2007/2008
- Advanced software engineering : expanding the frontiers of software technology
- Advanced techniques in computing sciences and software engineering
- Advances in Computing Science ASIAN'97 : Third Asian Computing Science Conference Kathmandu, Nepal, December 911, 1997 Proceedings
- Advances in Multimodal Interfaces " ICMI 2000 : Third International Conference Beijing, China, October 14 16, 2000 Proceedings
- Advances in Web-Based Learning ICWL 2004 : Third International Conference, Beijing, China, August 8-11, 2004. Proceedings
- Advances in computer and information sciences and engineering
- Advances in learning software organizations : 4th International Workshop, LSO 2002, Chicago, IL, USA, August 6, 2002 : revised papers
- Advances in learning software organizations : 6th international workshop, LSO 2004, Banff, Canada, June 20-21, 2004 : proceedings
- Advances in learning software organizations : third international workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001 : proceedings
- Advances in service-oriented and cloud computing : workshops of ESOCC 2013, Málaga, Spain, September 11-13, 2013, revised selected papers
- 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, FGIT 2009, Jeju Island, Korea, December 10-12, 2009 : proceedings
- Advances in software engineering : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007 : revised tutorial lectures
- Advances in software engineering : international conference, ASEA 2008, and its special sessions, Sanya, Hainan Island, China, December 13-15, 2008 : revised selected papers
- Advances in software engineering : international conference, ASEA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010, proceedings
- 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 papers
- Agent-Oriented Software Engineering III : third international workshop AOSE 2002, Bologna, Italy, July 15, 2002 : revised papers and invited contributions
- Agent-Oriented Software Engineering IX : 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised selected papers
- Agent-oriented software engineering : first international workshop, AOSE 2000, Limerick, Ireland, June 10, 2000 : revised papers
- Agent-oriented software engineering : reflections on architectures, methodologies, languages, and frameworks
- Agent-oriented software engineering II : second international workshop, AOSE 2001, Montreal, Canada, May 29, 2001 : revised papers and invited contributions
- Agent-oriented software engineering IV : 4th international workshop, AOSE 2003, Melbourne, Australia, July 15, 2003 : revised papers
- Agent-oriented software engineering V : 5th international workshop, AOSE 2004, New York, NY, USA, July 19, 2004 : revised selected papers
- Agent-oriented software engineering VI : 6th international workshop, AOSE 2005, Utrecht, the Netherlands, July 25, 2005 : revised and invited papers
- Agent-oriented software engineering VII : 7th international workshop, AOSE 2006, Hakodate, Japan, May 8, 2006 : revised and invited papers
- Agent-oriented software engineering VIII : 8th international workshop, AOSE 2007, Honolulu, Hi, USA, May 14, 2007 : revised selected papers
- Agent-oriented software engineering X : 10th international workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009 : revised selected papers
- Agent-oriented software engineering XI : 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010 : revised selected papers
- Agent-oriented software engineering XIII : 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012 : revised selected papers
- Agent-technologies, infrastructures, tools, and applications for E-services : NODe 2002 agent-related workshops, Erfurt, Germany, October 7-10, 2002 : revised papers
- Agents Breaking Away : 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '96 Eindhoven, the Netherlands, January 22-25, 1996 Proceedings
- Agile methods : large-scale development, refactoring, testing, and estimation : XP 2014 international workshops, Rome, Italy, May 26-30, 2014 : revised selected papers
- Agile processes in software engineering and extreme programming : 10th international conference, XP 2009, Pula, Sardinia, Italy, May 25-29, 2009 : proceedings
- Agile processes in software engineering and extreme programming : 11th International Conference, XP 2010, Trondheim, Norway, June 1-4, 2010. Proceedings
- Agile processes in software engineering and extreme programming : 12th International Conference, XP 2011, Madrid, Spain, May 10-13, 2011, Proceedings
- Agile processes in software engineering and extreme programming : 13th International Conference, XP 2012, Malmö, Sweden, May 21-25, 2012. Proceedings
- Agile processes in software engineering and extreme programming : 17th International Conference, XP 2016, Edinburgh, Scotland, May 24-27, 2016. Proceedings
- Agile software engineering
- Algebraic Methodology and Software Technology : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
- Algebraic Methodology and Software Technology : 5th International Conference, AMAST '96 Munich, Germany, July 1-5, 1996 Proceedings
- Algebraic methodology and software technology : 10th international conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 : proceedings
- Algebraic methodology and software technology : 11th international conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006 : proceedings
- Algebraic methodology and software technology : 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 : revised selected papers
- Algebraic methodology and software technology : 4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings
- Algebraic methodology and software technology : 6th international conference, AMAST '97, Sydney, Australia, December 13-17, 1997 : proceedings
- Algebraic methodology and software technology : 7th International Conference, AMAST '98, Amazonia, Brazil, January 4-8, 1999 : proceedings
- Algebraic methodology and software technology : 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings
- Algebraic methodology and software technology : 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings
- Algorithm engineering : 3rd International Workshop, WAE '99 London, UK, July 19-21, 1999 : proceedings
- Algorithm engineering : 5th international workshop, WAE 2001, Aarhus, Denmark, August 28-31, 2001 : proceedings
- Algorithm engineering : {u01C2}b 4th international workshop, WAE 2000, Saarbruc̈ken, Germany, September 5-8, 2000 : proceedings / {u01C2}c Stefan Naḧer, Dorothea Wagner (eds.)
- Aligning business processes and information systems : new approaches to continuous quality engineering
- Ambient Intelligence : First European Symposium, EUSAI 2003, Veldhoven, the Netherlands, November 3-4, 2003. Proceedings
- An integrated approach to software engineering
- Application and Theory of Petri Nets 2000 : 21st International Conference, ICATPN 2000 Aarhus, Denmark, June 26 30, 2000 Proceedings
- Applications and Theory of Petri Nets 2003 : 24th International Conference, ICATPN 2003 Eindhoven, The Netherlands, June 23 27, 2003 Proceedings
- Applications and Theory of Petri Nets 2004 : 25th International Conference, ICATPN 2004, Bologna, Italy, June 21 25, 2004. Proceedings
- Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, revised selected and invited papers
- Applications of Invariance in Computer Vision : Second Joint European -- US Workshop Ponta Delgada, Azores, Portugal October 9-14, 1993 Proceedings
- Applications of graph transformations with industrial relevance : 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised selected and invited papers
- Applied informatics and communication : International Conference, ICAIC 2011, Xi'an, China, August 20-21, 2011, Proceedings, Part II
- Applied informatics and communication : International Conference, ICAIC 2011, Xi'an, China, August 20-21, 2011, Proceedings, Part IV
- Applied informatics and communication : International Conference, ICAIC 2011, Xi'an, China, August 20-21, 2011. Proceedings, Part III
- Applied informatics and communication : International Conference, ICAIC 2011,Xi'an, China, August 20-21, 2011, Proceedings, Part I
- Applied informatics and communication : international conference, ICAIC 2011, Xi'an, China, August 20-21, 2011, Proceedings, Part V
- Approaches to Intelligence Agents : Second Pacific Rim InternationalWorkshop on Multi-Agents, PRIMA99 Kyoto, Japan, December 23, 1999 Proceedings
- Architecting critical systems : first international symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010
- Architecting dependable systems VII
- Architecture-based design of multi-agent systems
- Automata, Languages and Programming : 29th International Colloquium, ICALP 2002 Málaga, Spain, July 8 13, 2002 Proceedings
- Automata, languages and programming : 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008 ; proceedings, Part II
- Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 1822, 2001 Proceedings
- Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings
- Automotive software : connected services in mobile networks : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004 : revised selected papers
- Autonomic computing : principles, design and implementation
- Autonomy requirements engineering for space missions
- 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
- Bringing Telecommunication Services to the People -- IS & N '95 : Third International Conference on Intelligence in Broadband Services and Networks Heraklion, Crete, Greece, October 16-19, 1995 Proceedings
- Broadband Communications Networks, Services, Applications, Future Directions : 1996 International Zurich Seminar on Digital Communications, IZS'96 Zurich, Switzerland, February 21-23, 1996 Proceedings
- Business modeling and software design : first International Symposium, BMSD 2011, Sofia, Bulgaria, July 27-28, 2011, Revised Selected Papers
- Business process models : change management
- CONCURRENCY 88 : International Conference on Concurrency Hamburg, FRG, October 18-19, 1988 Proceedings
- COTS-based software systems : 4th international conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005 : proceedings
- COTS-based software systems : Third International Conference, ICCBSS 2004, Redondo Beach, CA, USA, February 1-4, 2004 : proceedings
- COTS-based software systems : first international conference, ICCBSS 2002, Orlando, FL, USA, February 4-6, 2002 : proceedings
- COTS-based software systems : second international conference, ICCBSS 2003, Ottawa, Canada, February 10-12, 2003 : proceedings
- Categorical Methods in Computer Science With Aspects from Topology
- Cloud Computing and Services Science : Second International Conference, CLOSER 2012, Porto, Portugal, April 18-21, 2012, revised selected papers
- Clustering-based support for software architecture restructuring
- Collaborative software engineering
- Communication and Cooperation in Agent Systems : a Pragmatic Theory
- Compiler Construction : 5th International Conference, CC '94 Edinburgh, U.K., April 7-9, 1994 Proceedings
- Compiler Construction : 6th International Conference, CC'96 Linköping, Sweden, April 24-26, 1996 Proceedings
- Compiler construction : 7th international conference, CC'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 : proceedings
- Compiler construction : 9th International Conference, CC 2000 : held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 : Berlin, Germany, March 25 - April 2, 2000 : proceedings
- Component-based software engineering : 10th international symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007 ; proceedings
- Component-based software engineering : 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008 : proceedings
- Component-based software engineering : 12th international symposium, CBSE 2009, East Stroudsburg, Pa, USA, June 24-26, 2009 : proceedings
- Component-based software engineering : 13th international symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010 ; proceedings
- Component-based software engineering : 7th international symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004 : proceedings
- Component-based software engineering : 8th international symposium, CBSE 2005, St. Louis, Mo, USA, May 14-15, 2005 : proceedings
- Component-based software engineering : 9th international symposium, CBSE 2006, Västerås, Sweden, June 29-July 1, 2006 : proceedings
- Computational Science " ICCS 2002 : International Conference Amsterdam, The Netherlands, April 21 24, 2002 Proceedings, Part II
- Computational Science " ICCS 2002 : International Conference Amsterdam, The Netherlands, April 21 24, 2002 Proceedings, Part III
- Computational Science - ICCS 2004 : 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part I
- Computational Science - ICCS 2004 : 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part II
- Computational Science - ICCS 2004 : 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part III
- Computational Science - ICCS 2004 : 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part IV
- Computational Science -- ICCS 2001 : International Conference San Francisco, CA, USA, May 28-30, 2001 Proceedings, Part I
- Computational Science ICCS 2008 : 8th International Conference, Krakw, Poland, June 23-25, 2008, Proceedings, Part I
- Computational Science ICCS 2008 : 8th International Conference, Krakw, Poland, June 23-25, 2008, Proceedings, Part II
- Computational Science ICCS 2008 : 8th International Conference, Krakw, Poland, June 23-25, 2008, Proceedings, Part III
- Computational Science and Its Applications ICCSA 2003 : International Conference Montreal, Canada, May 18-21, 2003 Proceedings, Part III
- Computational science and its applications -- ICCSA 2014 : 14th International Conference, Guimarães, Portugal, June 30-July 3, 2014, Proceedings, Part I
- Computational science and its applications -- ICCSA 2014 : 14th International Conference, Guimarães, Portugal, June 30-July 3, 2014, Proceedings, Part II
- Computational science and its applications -- ICCSA 2014 : 14th International Conference, Guimarães, Portugal, June 30-July 3, 2014, Proceedings, Part III
- Computational science and its applications -- ICCSA 2014 : 14th International Conference, Guimarães, Portugal, June 30-July 3, 2014, Proceedings, Part IV
- Computational science and its applications -- ICCSA 2014 : 14th International Conference, Guimarães, Portugal, June 30-July 3, 2014, Proceedings, Part V
- Computational science and its applications -- ICCSA 2014 : 14th International Conference, Guimarães, Portugal, June 30-July 3, 2014, Proceedings, Part VI
- Computer Aided Learning and Instruction in Science and Engineering : Third International Conference, CALISCE '96 San Sebastian, Spain, July 29-31, 1996 Proceedings
- Computer Aided Systems Theory - EUROCAST'97 : a Selection of Papers from the 6th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 24-28, 1997 Proceedings
- Computer Aided Systems Theory -- EUROCAST '95 : a Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory Innsbruck, Austria, May 22-25, 1995 Proceedings
- Computer Aided Verification
- Computer Aided Verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings
- Computer Aided Verification : 7th International Conference, CAV '95 Liège, Belgium, July 3-5, 1995 Proceedings
- Computer Aided Verification : 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31- August 3, 1996 Proceedings
- Computer Aided Verification : 9th International Conference, CAV'97 Haifa, Israel, June 2225, 1997 Proceedings
- Computer Performance Evaluation: Modelling Techniques and Tools : 12th International Conference, TOOLS 2002 London, UK, April 1417, 2002 Proceedings
- Computer Safety, Reliability and Security : 19th International Conference, SAFECOMP 2000 Rotterdam, the Netherlands, October 2427, 2000 Proceedings
- Computer and Information Sciences - ISCIS 2003 00 : 18th International Symposium, Antalya, Turkey, November 3-5, 2003. Proceedings
- Computer and Information Sciences - ISCIS 2004 : 19th International Symposium, Kemer-Antalya, Turkey, October 27-29, 2004. Proceedings
- Computer applications for software engineering, disaster recovery, and business continuity : International Conferences, ASEA and DRBC 2012, held in conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings
- Computer safety, reliability and security : 17th international conference, SAFECOMP '98, Heidelberg, Germany, October 5-7, 1998 : proceedings
- Computer-Aided Verification : 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18-21, 1990 Proceedings
- Conceptual Modeling " ER 2001 : 20th International Conference on Conceptual Modeling Yokohama, Japan, November 27 30, 2001 Proceedings
- Conceptual Modeling " ER 2002 : 21st International Conference on Conceptual Modeling Tampere, Finland, October 7 11, 2002 Proceedings
- Conceptual Modeling - ER 2003 : 22nd International Conference on Conceptual Modeling, Chicago, IL, USA, October 13-16, 2003. Proceedings
- Conceptual Modeling ER 2004 : 23rd International Conference on Conceptual Modeling, Shanghai, China, November 8-12, 2004. Proceedings
- Concurrency, graphs and models : essays dedicated to Ugo Montanari on the occasion of his 65th birthday
- Conquering complexity
- Convergence and hybrid information technology : 5th International Conference, ICHIT 2011, Daejeon, Korea, September 22-24, 2011, proceedings
- Convergence and hybrid information technology : 6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012, Proceedings
- Correct Hardware Design and Verification Methods : IFIP WG 10.5 Advanced Research Working Conference, CHARME '95 Frankfurt/Main, Germany, October 2-4, 1995 Proceedings
- Cryptographic Hardware and Embedded Systems - CHES 2002 : 4th International Workshop Redwood Shores, CA, USA, August 13 15, 2002 Revised Papers
- Cryptographic Hardware and Embedded Systems - CHES 2004 00 : 6th International Workshop Cambridge, MA, USA, August 11-13, 2004. Proceedings
- Cryptographic Hardware and Embedded Systems : First InternationalWorkshop, CHES'99 Worcester, MA, USA, August 12-13, 1999 Proceedings
- Current trends in web engineering : ICWE 2012 International Workshops: MDWE, ComposableWeb, WeRE, QWE, and Doctoral Consortium, Berlin, Germany, July 23-27, 2012, revised selected papers
- Data and knowledge engineering : third International Conference, ICDKE 2012, Wuyishan, Fujian, China, November 21-23, 2012. Proceedings
- Declarative Agent Languages and Technologies : First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers
- Dependable Computing : First Latin-American Symposium, LADC 2003, São Paulo, Brazil, October 21-24, 2003. Proceedings
- Dependable and Historic Computing : Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday
- Design and Implementation of Symbolic Computation Systems : International Symposium, DISCO '96 Karlsruhe, Germany, September 18-20, 1996 Proceedings
- Design patterns for e-science
- Digital Libraries: Technology and Management of Indigenous Knowledge for Global Access : 6th International Conference on Asian Digital Libraries, ICADL 2003, Kuala Lumpur, Malaysia, December 8-12, 2003. Proceedings
- Digital information processing and communications : International Conference, ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011, Proceedings, Part I
- Digital information processing and communications : International Conference, ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011, Proceedings, Part II
- Distributed Algorithms : 8th International Workshop, WDAG '1994 Terschelling, the Netherlands, September 29 - October 1, 1994 Proceedings
- Distributed Computing - IWDC 2003 : 5th International Workshop, Kolkata, India, December 27-30, 2003. Proceedings
- Distributed Memory Computing : 2nd European Conference, EDMCC2 Munich, FRG, April 22-24, 1991 Proceedings
- Distributed computing : 28th International Symposium, DISC 2014, Austin, TX, USA, October 12-15, 2014 : proceedings
- Domain engineering : product lines, languages, and conceptual models
- Domain-specific model-driven testing
- E-commerce and Web technologies : 4th International Conference, EC-Web, Prague, Czech Republic, September 2003 proceedings
- E-commerce and Web technologies : 7th international conference, EC-Web 2006, Krakow, Poland, September 5-7, 2006 : proceedings
- E-commerce and Web technologies : third international conference, EC-Web 2002, Aix-en-Provence, France, September 2-6, 2002 : proceedings
- E-commerce and web technologies : 10th International Conference, EC-Web 2009, Linz, Austria, September 1-4, 2009 : proceedings
- E-commerce and web technologies : 5th international conference, EC-Web 2004, Zaragoza, Spain, August 31-September 3, 2004, proceedings
- E-commerce and web technologies : 6th international conference, EC-web 2005, Copenhagen, Denmark, August 23-26, 2005, proceedings
- E-commerce and web technologies : 8th international conference, EC-Web 2007, Regensburg, Germany, September 3-7, 2007 : proceedings
- E-commerce and web technologies : 9th international conference, EC-WEB 2008, Turin, Italy, September 3-4, 2008 : proceedings
- ECOOP '91 : European Conference on Object-Oriented Programming, Geneva, Switzerland, July 15-19, 1991 : proceedings
- ECOOP 2008 - object-oriented programming : 22nd European conference, Paphos, Cyprus, July 7-11, 2008 : proceedings
- ECOOP' 93 -- Object-Oriented Programming : 7th European Conference Kaiserslautern, Germany, July 26-30, 1993 Proceedings
- ECOOP'95 -- Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7-11, 1995
- ECOOP'97 Object-Oriented Programming : 11th European Conference Jyvskyl, Finland, June 913, 1997 Proceedings
- ECOOP'98 - Object-Oriented Programming : 12th European Conference Brussels, Belgium, July 20-24, 1998 Proceedings
- ESEC '87 : 1st European Software Engineering Conference, Strasbourg, France, September 9-11, 1987 : proceedings
- ESEC '89 : 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September, 11-15, 1989 : proceedings
- ESEC '91 : 3rd European Software Engineering Conference, ESEC '91, Milan, Italy, October 21-24, 1991 : proceedings
- ESOP '92 : 4th European Symposium on Programming Rennes, France, February 26-28, 1992 Proceedings
- Efficient Graph Rewriting and Its Implementation
- Electronic commerce and Web technologies : second international conference, EC-WEB 2001, Munich, Germany, September 4-6, 2001 : proceedings
- Electronic commerce and web technologies : first international conference, EC-Web 2000, London, UK, September 4-6, 2000 proceedings
- Emerging trends and applications in information communication technologies : second International Multi Topic Conference, IMTIC 2012, Jamshoro, Pakistan, March 28-30, 2012. Proceedings
- Empirical methods and studies in software engineering : experiences from ESERNET
- Empirical software engineering and verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy : revised tutorial lectures
- Empirical software engineering issues : critical assessment and future directions ; international workshop, Dagstuhl Castle, Germany, June 26-30, 2006 : revised papers
- End-user development : 4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 10-13, 2013. Proceedings
- Engineering Self-Organising Systems : Nature-Inspired Approaches to Software Engineering
- Engineering and managing software requirements
- Engineering environment-mediated multi-agent systems : International Workshop, EEMMAS 2007, Dresden, Germany, October 5, 2007 : selected Rrvised and ivited ppers
- Engineering interactive systems 2008 : Second Conference on Human-Centered Software Engineering, HCSE 2008 and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008 : proceedings
- Engineering interactive systems : EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007, selected papers
- 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
- Engineering of software : the continuing contributions of Leon J. Osterweil
- Engineering secure software and systems : 4th international symposium, ESSoS 2012, Eindhoven, the Netherlands, February, 16-17, 2012 : proceedings
- Engineering secure software and systems : 5th international symposium, ESSoS 2013, Paris, France, February 27-March 1, 2013 : proceedings
- Engineering secure software and systems : 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014 : proceedings
- Engineering secure software and systems : First international symposium, ESSoS 2009, Leuven, Belgium, February 2009, proceedings
- Engineering secure software and systems : second international symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010 : proceedings
- Engineering secure software and systems : third International symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011 : proceedings
- Engineering societies in the agents world VI : 6th international workshop, ESAW 2005, Kusadasi, Turkey, October 26-28, 2005 : revised selected and invited papers
- Engineering societies in the agents world VIII : 8th international workshop, ESAW 2007, Athens, Greece, October 22-24, 2007 : revised selected papers
- Engineering theories of software intensive systems
- Euro-Par'96 Parallel Processing : Second International Euro-Par Conference Lyon, France, August 26-29 1996 Proceedings, Volume I
- Euro-Par'96 Parallel Processing : Second International Euro-Par Conference Lyon, France, August 26-29, 1996 Proceedings, Volume II
- Evaluation of novel approaches to software engineering : 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 ; Milan, Italy, May 9-10, 2009, Revised Selected Papers
- Evaluation of novel approaches to software engineering : 5th international conference, ENASE 2010, Athens, Greece, July 22-24, 2010 : revised selected papers
- Evaluation of novel approaches to software engineering : 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised selected papers
- Evaluation of novel approaches to software engineering : 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised selected papers
- Evaluation of novel approaches to software engineering : 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised selected papers
- Evolving Software Systems
- Experience and knowledge management in software engineering
- Experiences with Distributed Systems : International Workshop Kaiserslautern, FRG, September 28-30, 1987 Proceedings
- Experimental algorithms : 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013, proceedings
- Experimental algorithms : 13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29-July 1, 2014. Proceedings
- Experimental software engineering issues : critical assessment and future directions : international workshop, Dagstuhl Castle, Germany, September 14-18, 1992 : proceedings
- Extreme Programming and Agile Methods - XP : Third XP Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003. Proceedings
- Extreme Programming and Agile Methods - XP/Agile Universe 2004 : 4th Conference on Extreme Programming and Agile Methods, Calgary, Canada, August 15-18, 2004. Proceedings
- FM 2012 : formal methods ; 18th International Symposium, Paris, France, August 27-31, 2012, Proceedings
- FM99 Formal Methods : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 2024, 1999 Proceedings, Volume I
- FM99 Formal Methods : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 2024, 1999 Proceedings, Volume II
- FME '93: Industrial-Strength Formal Methods : First International Symposium of Formal Methods Europe Odense, Denmark, April 19-23, 1993 Proceedings
- FME'96: Industrial Benefit and Advances in Formal Methods : Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18-22, 1996 Proceedings
- FST TCS 2000 : foundations of software technology and theoretical computer science : 20th conference, New Delhi, India, December 13-15, 2000 : proceedings
- FST TCS 2001 : foundations of software technology and theoretical computer science : 21st conference, Bangalore, India, December 13-15, 2001 : proceedings
- FST TCS 2002 : foundations of software technology and theoretical computer science : 22nd conference, Kanpur, India, December 12-14, 2002 : proceedings
- FST TCS 2003 : foundations of software technology and theoretical computer science : 23rd conference, Mumbai, India, December 15-17, 2003 : proceedings
- FSTTCS 2004 : foundations of software technology and theoretical computer science : 24th international conference, Chennai, India, December 16-18, 2004 : proceedings
- FSTTCS 2005 : foundations of software technology and theoretical computer science : 25th international conference, Hyderabad, India, December 15-18, 2005 : proceedings
- FSTTCS 2006: foundations of software technology and theoretical computer science : 26th international conference, Kolkata, India, December 13-15, 2006 ; proceedings
- FSTTCS 2007 : foundations of software technology and theoretical computer science : 27th international conference, New Delhi, India, December 12-14, 2007 : proceedings
- Feature-oriented software product lines : concepts and implementation
- Finding source code on the web for remix and reuse
- Formal Aspects of Security : First International Conference, FASec 2002, London, UK, December 16-18, 2002. Revised Papers
- Formal Methods and Software Engineering
- Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
- Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012 : revised lectures
- Formal Program Development : IFIP TC2/WG 2.1 State-of-the-Art Report
- Formal Techniques for Networked and Distributed Systems FORTE 2004 : 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings
- Formal Techniques in Real-Time and Fault-Tolerant Systems : 4th International Symposium Uppsala, Sweden, September 9-13, 1996 Proceedings
- Formal approaches to agent-based systems : First International Workshop, FAABS 2000, Greenbelt, MD, USA, April 5-7, 2000 : revised papers
- Formal approaches to agent-based systems : Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : revised selected papers
- Formal approaches to agent-based systems : second international workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002 : revised papers
- Formal aspects of component software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, revised selected papers
- Formal foundations for software engineering methods
- 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 and software engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 ; proceedings
- Formal methods and software engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 : proceedings
- Formal methods and software engineering : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011 : proceedings
- Formal methods and software engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings
- Formal methods and software engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29-November 1, 2013, Proceedings
- Formal methods and software engineering : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings
- Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings
- Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings
- Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings
- Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings
- Formal methods and software engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007 : proceedings
- Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers
- Formal methods for components and objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised selected papers
- Formal methods for industrial applications : specifying and programming the steam boiler control
- Formal methods for industrial critical systems : 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers
- Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers
- Formal methods for industrial critical systems : 14th international workshop, FMICS 2009, Eindhoven, the Netherlands, November 2-3, 2009 : proceedings
- Formal methods for industrial critical systems : 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, proceedings
- Formal methods for industrial critical systems : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, proceedings
- Formal methods for industrial critical systems : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings
- Formal methods for industrial critical systems : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings
- Formal methods for industrial critical systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings
- Foundations of Software Science and Computation Structures : 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7-11, 2003 Proceedings
- Foundations of Software Technology and Theoretical Computer Science : 19th Conference Chennai, India, December 13-15, 1999 Proceedings
- Foundations of Software Technology and Theoretical Computer Science : Eighth Conference, Pune, India, December 21-23, 1988. Proceedings
- Foundations of Software Technology and Theoretical Computer Science : Seventh Conference, Pune, India, December 17-19, 1987. Proceedings
- Foundations of algebraic specification and formal software development
- Foundations of computer software : future trends and techniques for development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008 : revised selected papers
- 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
- Foundations of software science and computation structures : 16th International Conference, FOSSACS 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
- Foundations of software science and computational structures : 15th International Conference, FOSSACS 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24-April 1, 2012. Proceedings
- Fundamental approaches to software engineering : 10th international conference, FASE 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : 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, Hungary, March 29-April 6, 2008 : proceedings
- Fundamental approaches to software engineering : 12th International Conference, FASE 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, proceedings
- Fundamental approaches to software engineering : 13th international conference, FASE 2010, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings
- Fundamental approaches to software engineering : 14th International Conference, FASE 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 : proceedings
- Fundamental approaches to software engineering : 15th International Conference, FASE 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24-April 1, 2012. Proceedings
- Fundamental approaches to software engineering : 16th International Conference, FASE 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
- Fundamental approaches to software engineering : 17th International Conference, FASE 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
- Fundamental approaches to software engineering : 4th International Conference, FASE 2001 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
- Fundamental approaches to software engineering : 5th international conference, FASE 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
- Fundamental approaches to software engineering : 6th International Conference, FASE 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings
- Fundamental approaches to software engineering : 7th international conference, FASE 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
- Fundamental approaches to software engineering : 8th international conference, FASE 2005, held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : 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, March 27-28, 2006 : proceedings
- Fundamental approaches to software engineering : first international conference, FASE '98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings
- Fundamental approaches to software engineering : second international conference, FASE '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999 : proceedings
- Fundamental approaches to software engineering : third international conference, FASE 2000 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March/April 2000 : proceedings
- Fundamentals of software engineering : 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised selected papers
- Fundamentals of software engineering : 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, revised selected papers
- Fundamentals of software engineering : third IPM international conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009 : revised selected papers
- Future generation information technology : first international conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009 : proceedings
- GFK-GI-GMR Fachtagung Prozessrechner 1974 : Karlsruhe, 10.-11. Juni 1974
- Games, actions and social software : multidisciplinary aspects
- Generative and component-based software engineering : first international symposium, GCSE'99, Erfurt, Germany, September 28-30, 1999 : revised papers
- Generative and component-based software engineering : second international symposium, GCSE 2000, Erfurt, Germany, October 9-12, 2000 : revised papers
- Generative and component-based software engineering : third international conference, GCSE 2001, Erfurt, Germany, September 10-13, 2001 : proceedings
- Generative and transformational techniques in software engineering : international summer school, GTTSE 2005, Braga, Portugal, July 4-8, 2005 : revised papers
- Generative and transformational techniques in software engineering II : international summer school, GTTSE 2007, Braga, Portugal, July 2-7, 2007 : revised papers
- Generative and transformational techniques in software engineering III : international summer school, GTTSE 2009, Braga, Portugal, July 6-11, 2009 : revised papers
- Generative and transformational techniques in software engineering IV : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised papers
- Generative programming and component engineering : 4th international conference, GPCE 2005, Tallinn, Estonia, September 29-October 1, 2005 : proceedings
- Generative programming and component engineering : ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002 : proceedings
- Generative programming and component engineering : Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004 : proceedings
- Generative programming and component engineering : second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003 : proceedings
- Geo-informatics in resource management and sustainable ecosystem : International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, proceedings, Part I
- Geo-informatics in resource management and sustainable ecosystem : International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, proceedings, Part II
- Grand successes and failures in IT : public and private sectors : IFIP WG 8.6 International Working Conference on Transfer and Diffusion of IT, TDIT 2013, Bangalore, India, June 27-29, 2013. Proceedings
- Graph Drawing : DIMACS International Workshop, GD '94 Princeton, New Jersey, USA, October 10-12, 1994 Proceedings
- Graph Drawing : Symposium on Graph Drawing, GD '95 Passau, Germany, September 20-22, 1995 Proceedings
- Graph Transformation : First International Conference, ICGT 2002 Barcelona, Spain, October 712, 2002 Proceedings
- Graph Transformations : Second International Conference, ICGT 2004, Rome, Italy, September 28-October 1, 2004. Proceedings
- Graph-Grammars and Their Application to Computer Science : 3rd International Workshop Warrenton, Virginia, USA, December 2-6, 1986
- Grid Computing " GRID 2001 : Second International Workshop Denver, CO, USA, November 12, 2001 Proceedings
- Grid Computing : First European Across Grids Conference, Santiago de Compostela, Spain, February 13-14, 2004. Revised Papers
- Grid and Cooperative Computing - GCC 2004 : Third International Conference, Wuhan, China, October 21-24, 2004. Proceedings
- Guide to advanced empirical software engineering
- Guide to software development : designing and managing the life cycle
- High Performance Computing " HiPC 2001 : 8th International Conference Hyderabad, India, December 17 20, 2001 Proceedings
- High Performance Computing - HiPC 2003 : 10th International Conference, Hyderabad, India, December 17-20, 2003. Proceedings
- High Performance Computing for Computational Science " VECPAR 2002 : 5th International Conference Porto, Portugal, June 26 28, 2002 Selected Papers and Invited Talks
- High-Performance Computing and Networking : 7th International Conference, HPCN Europe 1999 Amsterdam, the Netherlands, April 1214, 1999 Proceedings
- Human Computer Interaction : Vienna Conference, VCHCI '93, Fin de Siècle Vienna, Austria, September 20-22, 1993 Proceedings
- Human-Computer Interaction : 4th International Conference, EWHCI '94 St. Petersburg, Russia August 2-5, 1994 Selected Papers
- Human-Computer Interaction : Third International Conference, EWHCI '93 Moscow, Russia, August 3-7, 1993 Selected Papers
- Human-centered software engineering : 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012. Proceedings
- Human-centered software engineering : 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings
- Human-centered software engineering : integrating usability in the software development lifecycle
- Human-centered software engineering : software engineering models, patterns and architectures for HCI
- Human-centred software engineering : third international conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010 : proceedings
- IT revolutions : first International ICST Conference, IT Revolutions 2008, Venice, Italy, December 17-19, 2008, revised selected papers
- Image Analysis and Processing : 8th International Conference, ICIAP'95 San Remo, Italy, September 13-15, 1995 Proceedings
- Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning
- Information Technology and Open Source: Applications for Education, Innovation, and Sustainability : SEFM 2012 Satellite Events, InSuEdu, MoKMaDS, and OpenCert, Thessaloniki, Greece, October 1-2, 2012 : revised selected papers
- Information and communication technologies in education, research, and industrial applications : 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, revised selected papers
- Information and communication technology : International Conference, ICT-EurAsia 2013, Yogyakarta, Indonesia, March 25-29, 2013. Proceedings
- Information and communication technology : second IFIP TC5/8 International Conference, ICT-EurAsia 2014, Bali, Indonesia, April 14-17, 2014. Proceedings
- Information and software technologies : 18th International Conference, ICIST 2012, Kaunas, Lithuania, September 13-14, 2012. Proceedings
- Information and software technologies : 19th International Conference, ICIST 2013, Kaunas, Lithuania, October 2013. Proceedings
- Information and software technologies : 20th International Conference, ICIST 2014, Druskininkai, Lithuania, October 9-10, 2014. Proceedings
- Information computing and applications : second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011, proceedings, Part I
- Information computing and applications : second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011, proceedings, Part II
- Information security : 17th international conference, ISC 2014, Hong Kong, China, October 12-14, 2014 : proceedings
- Information systems and e-business technologies : 2nd International United Information Systems Conference, UNISCON 2008, Klagenfurt, Austria, April 22-25, 2008 : proceedings
- Information systems development : business systems and services: modeling and development
- Information systems development : reflections, challenges and new directions
- Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering
- Innovations for requirements analysis : from stakeholders' needs to formal designs : 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007 : revised selected papers
- Innovations in computing sciences and software engineering
- Innovative computing technology : first international conference, INCT 2011, Tehran, Iran, December 13-15, 2011 : proceedings
- Innovative concepts for agent-based systems : first International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002 : revised papers
- Innovative concepts for autonomic and agent-based systems : Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005 : revised papers
- Integrated Formal Methods : 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings
- Integrated formal methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
- Integrated formal methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
- Intelligent Agents II Agent Theories, Architectures, and Languages : IJCAI'95 Workshop (ATAL) Montréal, Canada, August 19-20, 1995 Proceedings
- Intelligent Agents IV Agent Theories, Architectures, and Languages : 4th International Workshop, ATAL'97 Providence, Rhode Island, USA, July 2426, 1997 Proceedings
- Intelligent Tutoring Systems : 5th International Conference, ITS 2000 Montréal, Canada, June 19 23, 2000 Proceedings
- Intelligent Tutoring Systems : Third International Conference, ITS '96 Montréal, Canada, June 12-14, 1996 Proceedings
- Intelligent perceptual systems : new directions in computational perception
- Intentional perspectives on information systems engineering
- Interactive theorem proving : third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
- International Symposium on Fundamentals of Software Engineering : international symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007 : proceedings
- International journal of software engineering and knowledge engineering : SEKE
- Introduction to software process improvement
- Issues in multi-agent systems : the AgentCities. ES experience