Software Engineering
Resource Information
The concept Software Engineering represents the subject, aboutness, idea or notion of resources found in Boston University Libraries.
The Resource
Software Engineering
Resource Information
The concept Software Engineering represents the subject, aboutness, idea or notion of resources found in Boston University Libraries.
- Label
- Software Engineering
- Authority link
- (uri) http://id.loc.gov/authorities/subjects/sh87007398
528 Items that share the Concept Software Engineering
Context
Context of Software EngineeringSubject of
No resources found
No enriched resources found
- ≪UML≫ 2002 — The Unified Modeling Language : Model Engineering, Concepts, and Tools 5th International Conference Dresden, Germany, September 30 – October 4, 2002 Proceedings
- A Decade of Concurrency Reflections and Perspectives : REX School/Symposium Noordwijkerhout, The Netherlands June 1–4, 1993 Proceedings
- A Hybrid Deliberative Layer for Robotic Agents : Fusing DL Reasoning with HTN Planning in Autonomous Robots
- Abstract Software Specifications : 1979 Copenhagen Winter School January 22 – February 2, 1979 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
- Ad-Hoc, Mobile and Wireless Networks : 9th International Conference, ADHOC-NOW 2010, Edmonton, AB, Canada, August 20-22, 2010. Proceedings
- Ad-hoc, Mobile, and Wireless Networks : 10th International Conference, ADHOC-NOW 2011, Paderborn, Germany, July 18-20, 2011. Proceedings
- Ada - Europe '93 : 12th Ada-Europe International Conference, “Ada Sans Frontières” Paris, France, June 14–18, 1993 Proceedings
- Ada 2005 Rationale : The Language, The Standard Libraries
- Ada 2005 Reference Manual. Language and Standard Libraries : International Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1
- Ada 95 Rationale : The Language The Standard Libraries
- Ada in Europe : First International Eurospace-Ada-Europe Symposium Copenhagen, Denmark, September 26–30, 1994 Proceedings
- Ada in Europe : Second International Eurospace — Ada-Europe Symposium Frankfurt/Main, Germany, October 2–6, 1995 Proceedings
- Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning : 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers
- Adaptive and Natural Computing Algorithms : 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers
- Advanced Data Mining and Applications : 4th International Conference, ADMA 2008, Chengdu, China, October 8-10, 2008. Proceedings
- Advanced Distributed Systems : 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers
- Advanced Functional Programming : 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002. Revised Lectures
- Advanced Functional Programming : 5th International School, AFP 2004, Tartu, Estonia, August 14 – 21, 2004, Revised Lectures
- Advanced Functional Programming : 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures
- Advanced Functional Programming : Third International School, AFP’98, Braga, Portugal, September 12-19, 1998, Revised Lectures
- Advanced Information Systems Engineering : 23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011. Proceedings
- Advanced Lectures on Software Engineering : LASER Summer School 2007/2008
- Advanced Programming Environments : Proceedings of an International Workshop Trondheim, Norway, June 16–18, 1986
- Advanced Symbolic Analysis for Compilers : New Techniques and Algorithms for Symbolic Program Analysis and Optimization
- Advances in Agent Communication : International Workshop on Agent Communication Languages, ACL 2003, Melbourne, Australia, July 14, 2003. Revised and Invited Papers
- Advances in Applied Artificial Intelligence : 19th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2006, Annecy, France, June 27-30, 2006. Proceedings
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-12, 2003. Proceedings
- Advances in Conceptual Modeling - Challenging Perspectives : ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009. Proceedings
- Advances in Conceptual Modeling. Recent Developments and New Directions : ER 2011 Workshops FP-UML, MoRE-BI, Onto-CoM, SeCoGIS, Variability@ER, WISM, Brussels, Belgium, October 31 - November 3, 2011. Proceedings
- Advances in Exception Handling Techniques
- Advances in Grid and Pervasive Computing : 5th International Conference, GPC 2010, Hualien, Taiwan, May 10-13, 2010. Proceedings
- Advances in Grid and Pervasive Computing : First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006. Proceedings
- Advances in Grid and Pervasive Computing : Third International Conference, GPC 2008, Kunming, China, May 25-28, 2008. Proceedings
- Advances in Learning Software Organizations : 4th International Workshop, LSO 2002, Chicago, IL, USA, August 6, 2002. Revised Papers
- Advances in Multimedia Information Processing - PCM 2010 : 11th Pacific Rim Conference on Multimedia, Shanghai, China, September 2010, Proceedings, Part II
- Advances in Multimedia Information Processing - PCM 2010 : 11th Pacific Rim Conference on Multimedia, Shanghai, China, September 21-24, 2010, Proceedings, Part I
- Advances in Multimodal Interfaces — ICMI 2000 : Third International Conference Beijing, China, October 14–16, 2000 Proceedings
- Advances in Petri Nets 1984
- Advances in Self-Organizing Maps : 7th International Workshop, WSOM 2009, St. Augustine, FL, USA, June 8-10, 2009. Proceedings
- Advances in Software Engineering : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures
- Agent Communication : International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers
- Agent Communication II : International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers
- Agent-Oriented Software Engineering : First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers
- Agent-Oriented Software Engineering II : Second International Workshop, AOSE 2001 Montreal, Canada, May 29, 2001 Revised Papers and Invited Contributions
- Agent-Oriented Software Engineering III : Third International Workshop, AOSE 2002 Bologna, Italy, July 15, 2002 Revised Papers and Invited Contributions
- Agent-Oriented Software Engineering IV : 4th InternationalWorkshop, AOSE 2003, Melbourne, Australia, July 15, 2003. Revised 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
- 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
- Agents and Data Mining Interaction : 4th International Workshop, ADMI 2009, Budapest, Hungary, May 10-15,2009, Revised Selected Papers
- Agents for Games and Simulations II : Trends in Techniques, Concepts and Design
- Agents in Principle, Agents in Practice : 14th International Conference, PRIMA 2011, Wollongong, Australia, November 16-18, 2011. Proceedings
- Agile Processes in Software Engineering and Extreme Programming : 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings
- Agile Software Construction
- Agile Software Engineering
- Algebra and Coalgebra in Computer Science : First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings
- Algebra and Coalgebra in Computer Science : Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings
- Algebraic Biology : Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings
- Algebraic Biology : Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings
- Algebraic Foundations in Computer Science : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement
- Algebraic Informatics : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings
- Algebraic Informatics : Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers
- Algebraic Informatics : Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings
- Algebraic Methodology and Software Technology : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 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 : 6th International Conference, AMAST'97 Sydney, Australia, December13–17, 1997 Proceedings
- Algebraic Methodology and Software Technology : 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20–27, 2000 Proceedings
- Algebraic Methods II: Theory, Tools and Applications
- Algebraic Specification Techniques in Object Oriented Programming Environments
- Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures
- Algorithm Engineering : Bridging the Gap between Algorithm Theory and Practice
- Algorithmic Aspects of Wireless Sensor Networks : 5th International Workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009. Revised Selected Papers
- Algorithms and Architectures for Parallel Processing : 11th International Conference, ICA300 2011, Melbourne, Australia, October 24-26, 2011, Proceedings, Part II
- Algorithms and Architectures for Parallel Processing : 11th International Conference, ICA3PP, Melbourne, Australia, October 24-26, 2011, Proceedings, Part I
- Algorithms for Sensor Systems : 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers
- All About Maude - A High-Performance Logical Framework : How to Specify, Program and Verify Systems in Rewriting Logic
- Ambient Intelligence : First International Joint Conference, AmI 2010, Malaga, Spain, November 10-12, 2010. Proceedings
- Analytical and Stochastic Modeling Techniques and Applications : 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings
- Applications of Graph Transformations with Industrial Relevance : International Workshop, AGTIVE’99 Kerkrade, The Netherlands, September 1–3, 1999 Proceedings
- Applications of Graph Transformations with Industrial Relevance : Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers
- Applied Formal Methods — FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings
- Approaches to Intelligence Agents : Second Pacific Rim InternationalWorkshop on Multi-Agents, PRIMA’99 Kyoto, Japan, December 2–3, 1999 Proceedings
- Architecting Critical Systems : First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings
- Architecting Dependable Systems
- Architecting Dependable Systems V
- Architecting Dependable Systems VII
- Artificial Intelligence and Computational Intelligence : International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part I
- Artificial Intelligence and Computational Intelligence : International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part II
- Artificial Intelligence: Theories, Models and Applications : 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008. Proceedings
- Attribute Grammars, Applications and Systems : International Summer School SAGA Prague, Czechoslovakia, June 4–13, 1991 Proceedings
- Automated Deduction – CADE-21 : 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings
- Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings
- Automated Reasoning with Analytic Tableaux and Related Methods : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings
- Automated Reasoning with Analytic Tableaux and Related Methods : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings
- Automated Technology for Verification and Analysis : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings
- Automated Technology for Verification and Analysis : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings
- Automated and Algorithmic Debugging : First International Workshop, AADEBUG '93 Linköping, Sweden, May 3–5, 1993 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 and Trusted Computing : 6th International Conference, ATC 2009 Brisbane, Australia, July 7-9, 2009 Proceedings
- B 2007: Formal Specification and Development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings
- 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
- B’98: Recent Advances in the Development and Use of the B Method : Second International B Conference Montpellier, France, April 22–24, 1998 Proceedings
- CASL User Manual : Introduction to Using the Common Algebraic Specification Language
- COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12–16, 1988 Proceedings
- Categorical Methods in Computer Science With Aspects from Topology
- Category Theory and Computer Science : Manchester, UK, September 5–8, 1989 Proceedings
- Category Theory and Computer Science : Paris, France, September 3–6, 1991 Proceedings
- Central European Functional Programming School : First Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures
- Compiler Compilers : Third International Workshop, CC '90 Schwerin, FRG, October 22–24, 1990 Proceedings
- Compiler Compilers and High Speed Compilation : 2nd CCHSC Workshop Berlin, GDR, October 10–14, 1988 Proceedings
- Compiler Construction : 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings
- Compiler Construction : 12th International Conference, CC 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings
- Compiler Construction : 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
- Compiler Construction : 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings
- Compiler Construction : 17th International Conference, CC 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
- Compiler Construction : 4th International Conference, CC '92 Paderborn, FRG, October 5–7, 1992 Proceedings
- 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
- Component Deployment : IFIP/ACM Working Conference, CD 2002 Berlin, Germany, June 20–21, 2002 Proceedings
- Component-Based Software Engineering : 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings
- Component-Based Software Engineering : 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedings
- Composition of Embedded Systems. Scientific and Industrial Issues : 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers
- Compositionality, Concurrency and Partial Correctness : Proof Theories for Networks of Processes, and Their Relationship
- Computational Logic in Multi-Agent Systems : 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings
- Computer Aided Verification : 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings
- Computer Aided Verification : 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings
- Computer Aided Verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings
- Computer Aided Verification : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings
- Computer Aided Verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings
- Computer Aided Verification : 5th International Conference, CAV '93 Elounda, Greece, June 28–July 1, 1993 Proceedings
- Computer Aided Verification : 9th International Conference, CAV'97 Haifa, Israel, June 22–25, 1997 Proceedings
- Computer Performance Evaluation : Modelling Techniques and Tools 10th International Conference, Tools’98 Palma de Mallorca, Spain September 14–18, 1998 Proceedings
- Computer Performance Evaluation.Modelling Techniques and Tools : 11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 27–31, 2000 Proceedings
- Computer Safety, Reliability, and Security : 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings
- Computer Safety, Reliability, and Security : 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings
- Computer Vision Systems : Second International Workshop, ICVS 2001 Vancouver, Canada, July 7–8, 2001 Proceedings
- Conclog: A Methodological Approach to Concurrent Logic Programming
- Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
- Cooperative Design, Visualization, and Engineering : 4th International Conference, CDVE 2007, Shanghai, China, September 16-20, 2007. Proceedings
- Cooperative Design, Visualization, and Engineering : 5th International Conference, CDVE 2008 Calvià, Mallorca, Spain, September 21-25, 2008 Proceedings
- Coordinatio Languages and Models : Third International Conference COORDINATION’99 Amsterdam, The Netherlands, April 26–28, 1999 Proceedings
- Coordination Models and Languages : 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings
- Coordination Models and Languages : 6th International Conference, COORDINATION 2004 Pisa Italy, February 24-27, 2004 Proceedings
- Coordination Models and Languages : 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings
- Coordination, Organizations, Institutions, and Norms in Agent Systems III : COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers
- Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems : AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers
- Datatype-Generic Programming : International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures
- Declarative Agent Languages and Technologies : First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers
- Declarative Agent Languages and Technologies III : Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers
- Declarative Agent Languages and Technologies IV : 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers
- Declarative Agent Languages and Technologies VI : 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers
- Dependable Computing : Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings
- Dependable Computing : Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings
- Dependable Computing EDCC-4 : 4th European Dependable Computing Conference Toulouse, France, October 23–25, 2002 Proceedings
- Dependable Computing — EDCC-2 : Second European Dependable Computing Conference Taormina, Italy, October 2–4, 1996 Proceedings
- Dependable Computing — EDCC-3 : Third European Dependable Computing Conference Prague, Czech Republic, September 15–17, 1999 Proceedings
- Dependable Systems: Software, Computing, Networks : Research Results of the DICS Program
- Dependable and Historic Computing : Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday
- Distributed Applications and Interoperable Systems : 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings
- Distributed Applications and Interoperable Systems : 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings
- Distributed Computing and Networking : 10th International Conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009. Proceedings
- Distributed Memory Computing : 2nd European Conference, EDMCC2 Munich, FRG, April 22–24, 1991 Proceedings
- Distributed Programming Paradigms with Cryptography Applications
- ECOOP 2005 - Object-Oriented Programming : 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings
- ECOOP 2006 – Object-Oriented Programming : 20th European Conference, Nantes, France, July 3-7, 2006. Proceedings
- ECOOP 2007 – Object-Oriented Programming : 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings
- ECOOP 2009 – Object-Oriented Programming : 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings
- ECOOP 2010 – Object-Oriented Programming : 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings
- ECOOP’ 87 European Conference on Object-Oriented Programming : Paris, France, June 15–17, 1987 Proceedings
- ESEC '91 : 3rd European Software Engineering Conference, ESEC '91 Milan, Italy, October 21–24, 1991 Proceedings
- Efficient Algorithms : Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday
- Efficient Checking of Polynomials and Proofs and the Hardness of Appoximation Problems
- Embedded Processor Design Challenges : Systems, Architectures, Modeling, and Simulation — SAMOS
- Embedded Software and Systems : Second International Conference, ICESS 2005, Xi’an, China, December 16-18, 2005. Proceedings
- Embedded Software and Systems : Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007. Proceedings
- Empirical Methods and Studies in Software Engineering : Experiences from ESERNET
- Empirical Software Engineering Issues. Critical Assessment and Future Directions : International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006. Revised Papers
- Engineering Secure Software and Systems : First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings
- Engineering Self-Organising Systems : Nature-Inspired Approaches to Software Engineering
- Engineering Societies in the Agents World II : Second International Workshop, ESAW 2001 Prague, Czech Republic, July 7, 2001 Revised Papers
- Engineering Societies in the Agents World IX : 9th International Workshop, ESAW 2008, Saint-Etienne, France, September 24-26, 2008, Revised Selected Papers
- Engineering Societies in the Agents World V : 5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004. Revised Selected and Invited Papers
- Engineering Societies in the Agents World VI : 6th International Workshop, ESAW 2005, Kuşadasi, Turkey, October 26-28, 2005, Revised Selected and Invited Papers
- Engineering Societies in the Agents World VII : 7th International Workshop, ESAW 2006 Dublin, Ireland, September 6-8, 2006 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
- Extensions of the UNITY Methodology : Compositionality, Fairness and Probability in Parallelism
- Extreme Programming and Agile Processes in Software Engineering : 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006. Proceedings
- FM 2005: Formal Methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings
- FM 2008: Formal Methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings
- FM’99 — Formal Methods : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I
- Formal Approaches to Agent-Based Systems : First InternationalWorkshop, FAABS 2000 Greenbelt, MD, USA, April 5–7, 2000 Revised Papers
- Formal Approaches to Agent-Based Systems : Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002. Revised Papers
- Formal Approaches to Software Testing and Runtime Verification : First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
- Formal Aspects of Security : First International Conference, FASec 2002, London, UK, December 16-18, 2002. Revised Papers
- Formal Development of Reactive Systems : Case Study Production Cell
- Formal Methods and Software Development : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985
- Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
- Formal Methods and Software Engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. 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 Stochastic Models for Performance Evaluation : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings
- Formal Methods and Stochastic Models for Performance Evaluation : Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedings
- Formal Methods and Testing : An Outcome of the FORTEST Network, Revised Selected Papers
- Formal Methods for Components and Objects : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures
- Formal Methods for Components and Objects : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
- Formal Methods for Components and Objects : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures
- Formal Methods for Hardware Verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures
- Formal Methods for Open Object-Based Distributed Systems : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003. Proceedings
- Formal Methods for Open Object-Based Distributed Systems : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings
- Formal Methods for Open Object-Based Distributed Systems : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings
- Formal Methods for Real-Time and Probabilistic Systems : 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings
- Formal Methods for the Design of Real-Time Systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures
- Formal Methods in Computer-Aided Design : First International Conference, FMCAD '96 Palo Alto, CA, USA, November 6–8, 1996 Proceedings
- Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings
- Formal Modeling and Analysis of Timed Systems : First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers
- Formal Models of Agents : ESPRIT Project ModelAge Final Workshop Selected Papers
- Formal Program Development : IFIP TC2/WG 2.1 State-of-the-Art Report
- Formal Syntax and Semantics of Java
- Formal Systems Specification : The RPC-Memory Specification Case Study
- Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
- Formal Techniques for Networked and Distributed Systems - FORTE 2003 : 23rd IFIP WG 6.1 International Conference Berlin, Germany, September 29 – October 2, 2003 Proceedings
- Formal Techniques for Networked and Distributed Systems - FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings
- Foundations of Object-Oriented Languages : REX School/Workshop Noordwijkerhout, The Netherlands, May 28–June 1, 1990 Proceedings
- Foundations of Software Science and Computation Structures : 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings
- Foundations of Software Science and Computation Structures : 5th International Conference, FOSSACS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 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 Science and Computation Structures : 7th International Conference, FOSSACS 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
- Foundations of Software Science and Computation Structures : 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings
- Foundations of Software Science and Computation Structures : First International Conference, FoSSaCS'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
- Foundations of Software Science and Computation Structures : Third International Conference, FOSSACS 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
- Foundations of Software Science and Computational Structures : 11th International Conference, FOSSACS 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
- Foundations of Software Science and Computational Structures : 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. 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
- From Object-Orientation to Formal Methods : Essays in Memory of Ole-Johan Dahl
- From Theory to Practice in Multi-Agent Systems : Second International Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS 2001 Cracow, Poland, September 26–29, 2001 Revised Papers
- Frontiers of Combining Systems : 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005. 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 : 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 : 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. 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
- Global Computing : IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers
- Graph Drawing : 6th International Symposium, GD’ 98 Montréal, Canada, August 13–15, 1998 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 7–12, 2002 Proceedings
- Graph Transformations : 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings
- Graph Transformations : Second International Conference, ICGT 2004, Rome, Italy, September 28–October 1, 2004. Proceedings
- Grid Computing in Life Science : First International Workshop on Life Science Grid, LSGRID 2004, Kanazawa, Japan, May 31-June 1, 2004, Revised Selected and Invited Papers
- Hardware and Software, Verification and Testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers
- Hardware and Software: Verification and Testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings
- High Confidence Software Reuse in Large Systems : 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedings
- High Performance Computing and Networking : 8th International Conference, HPCN Europe 2000 Amsterdam, The Netherlands, May 8–10, 2000 Proceedings
- High-Level Parallel Programming Models and Supportive Environments : 6th International Workshop, HIPS 2001 San Francisco, CA, USA, April 23, 2001 Proceedings
- High-Performance Computing : 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers
- High-Performance Computing and Networking : International Conference and Exhibition Munich, Germany, April 18–20, 1994 Proceedings, Volume I: Applications
- Human Computer Interaction : Vienna Conference, VCHCI '93, Fin de Siècle Vienna, Austria, September 20–22, 1993 Proceedings
- Human Machine Interaction : Research Results of the MMI Program
- Human-Computer Interaction : Third International Conference, EWHCI '93 Moscow, Russia, August 3–7, 1993 Selected Papers
- Human-Computer Interaction – INTERACT 2007 : 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part I
- Human-Computer Interaction – INTERACT 2009 : 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part I
- Human-Computer Interaction – INTERACT 2009 : 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part II
- Hybrid Systems
- Hybrid Systems III : Verification and Control
- Hybrid Systems V
- Hybrid Systems: Computation and Control : 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings
- Hybrid Systems: Computation and Control : 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings
- Hybrid Systems: Computation and Control : 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings
- Hybrid Systems: Computation and Control : First International Workshop, HSCC'98 Berkeley, California, USA, April 13 – 15, 1998 Proceedings
- Implementation and Application of Automata : 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings
- Inductive Synthesis of Functional Programs : Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning
- Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs : 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers
- Innovations in Applied Artificial Intelligence : 17th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2004, Ottawa, Canada, May 17-20, 2004. Proceedings
- 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 : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings
- Integrated Formal Methods : Second International Conference, IFM 2000 Dagstuhl Castle, Germany, November 1–3,2000 Proceedings
- Intelligence in Services and Networks: Technology for Ubiquitous Telecom Services : 5th International Conference on Intelligence in Services and Networks, IS&N’98 Antwerp, Belgium, May 25–28, 1998 Proceedings
- Intelligent Agents : ECAI-94 Workshop on Agent Theories, Architectures, and Languages Amsterdam, The Netherlands August 8–9, 1994 Proceedings
- Intelligent Agents III Agent Theories, Architectures, and Languages : ECAI'96 Workshop (ATAL) Budapest, Hungary, August 12–13, 1996 Proceedings
- Intelligent Agents VI. Agent Theories, Architectures, and Languages : 6th International Workshop, ATAL’99, Orlando, Florida, USA, July 15-17, 1999. Proceedings
- Intelligent Agents and Multi-Agent Systems : 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers
- Intelligent Agents: Specification, Modeling, and Applications : 4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001 Taipei, Taiwan, July 28–29, 2001 Proceedings
- Intelligent Information Technology : 7th International Conference on Information Technology, CIT 2004, Hyderabad, India, December 20-23, 2004. Proceedings
- Intelligent Systems and Soft Computing : Prospects, Tools and Applications
- Intelligent Tutoring Systems : Third International Conference, ITS '96 Montréal, Canada, June 12–14, 1996 Proceedings
- Interacting Code Motion Transformations: Their Impact and Their Complexity
- Interactive Markov Chains : And the Quest for Quantified Quality
- Interactive Systems Design, Specification, and Verification : 7th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5–6, 2000 Revised Papers
- Interactive Systems: Design, Specification, and Verification : 8th International Workshop, DSV-IS 2001 Glasgow, Scotland, UK, June 13–15, 2001 Revised Papers
- Internet and Network Economics : 6th International Workshop, WINE 2010, Stanford, CA, USA, December 13-17, 2010. Proceedings
- KORSO: Methods, Languages, and Tools for the Construction of Correct Software : Final Report
- Lectures on Formal Methods and PerformanceAnalysis : First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures
- Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
- Logic Programming and Nonmonotonic Reasoning : 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings
- Logic at Botik '89 : Symposium on Logical Foundations of Computer Science Pereslavl-Zalessky, USSR, July 3–8, 1989 Proceedings
- Logic for Programming, Artificial Intelligence, and Reasoning : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings
- Logic for Programming, Artificial Intelligence, and Reasoning : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings
- Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
- Logic for Programming, Artificial Intelligence, and Reasoning : 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings
- Managing Traffic Performance in Converged Networks : 20th International Teletraffic Congress, ITC20 2007, Ottawa, Canada, June 17-21, 2007. Proceedings
- Mathematical Foundations of Computer Science 1992 : 17th International Symposium Prague, Czechoslovakia, August 24–28, 1992 Proceedings
- Mathematical Foundations of Computer Science 1995 : 20th International Symposium, MFCS '95 Prague, Czech Republic, August 28–September 1, 1995 Proceedings
- Mathematics of Program Construction : 375th Anniversary of the Groningen University International Conference Groningen, The Netherlands, June 26–30, 1989 Proceedings
- Mathematics of Program Construction : 4th International Conference, MPC'98 Marstrand, Sweden, June 15–17, 1998 Proceedings
- Mathematics of Program Construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings
- Mathematics of Program Construction : 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings
- Mechanizing Mathematical Reasoning : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
- Metainformatics : International Symposium, MIS 2003, Graz, Austria, September 17-20, 2003. Revised Papers
- Metalevel Architectures and Separation of Crosscutting Concerns : Third International Conference, REFLECTION 2001 Kyoto, Japan, September 25–28, 2001 Proceedings
- Methods of Programming : Selected Papers on the CIP-Project
- Methods, Models and Tools for Fault Tolerance
- Middleware 2000 : IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing New York, NY, USA, April 4–7, 2000 Proceedings
- Middleware 2003 : ACM/IFIP/USENIX International Middleware Conference Rio de Janeiro, Brazil, June 16–20, 2003 Proceedings
- Middleware 2004 : ACM/IFIP/USENIX International Middleware Conference, Toronto, Canada, October 18-22, 2004. Proceedings
- Mobile Agents : First International Workshop, MA '97 Berlin, Germany, April 7–8, 1997 Proceedings
- Mobile Agents for Telecommunication Applications : 4th International Workshop, MATA 2002 Barcelona, Spain, October 23–24, 2002 Proceedings
- Mobile and Wireless Communications Networks : IFIP-TC6/European Commission NETWORKING 2000 International Workshop, MWCN 2000 Paris, France, May 16–17, 2000 Proceedings
- Model Checking Software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings
- Model Checking Software : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings
- Model Checking Software : 8th International SPIN Workshop Toronto, Canada, May 19–20, 2001 Proceedings
- Model Checking Software : 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings
- Model Driven Engineering Languages and Systems : 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings
- Model-Based Testing of Reactive Systems : Advanced Lectures
- Models in Software Engineering : Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers
- Modular Programming Languages : Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003. Proceedings
- Modular Programming Languages : Joint Modular Languages Conference, JMLC'97 Linz, Austria, March 19–21, 1997 Proceedings
- Multi-Agent Systems and Applications V : 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007. Proceedings
- Multi-Agent-Based Simulation X : International Workshop, MABS 2009, Budapest, Hungary, May 11-12, 2009 Revised Selected Papers
- NETWORKING 2004. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications : Third International IFIP-TC6 Networking Conference, Athens, Greece, May 9-14, 2004. Proceedings
- NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems : 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005. Proceedings
- NETWORKING 2008 Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet : 7th International IFIP-TC6 Networking Conference Singapore, May 5-9, 2008 Proceedings
- NETWORKING 2011 : 10th International IFIP TC 6 Networking Conference, Valencia, Spain, May 9-13, 2011, Proceedings, Part I
- Network Control and Optimization : First EuroFGI International Conference, NET-COOP 2007, Avignon, France, June 5-7, 2007. Proceedings
- Network and Parallel Computing : IFIP International Conference, NPC 2004, Wuhan, China, October 18-20, 2004. Proceedings
- Network and Parallel Computing : IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005. Proceedings
- New Modeling Concepts for Today’s Software Processes : International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings
- New Trends in Applied Artificial Intelligence : 20th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2007, Kyoto, Japan, June 26-29, 2007. Proceedings
- Next Generation Teletraffic and Wired/Wireless Advanced Networking : 8th International Conference, NEW2AN and 1st Russian Conference on Smart Spaces, ruSMART 2008 St. Petersburg, Russia, September 3-5, 2008. Proceedings
- Numerical Software with Result Verification : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003. Revised Papers
- Object-Based Distributed Programming : ECOOP '93 Workshop Kaiserslautern, Germany, July 26–27, 1993 Proceedings
- Object-Based Models and Languages for Concurrent Systems : ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution Bologna, Italy, July 5, 1994 Proceedings
- Object-Based Parallel and Distributed Computation : France-Japan Workshop, OBPDC '95 Tokyo, Japan, June 21–23, 1995 Selected Papers
- Object-Oriented Technology. ECOOP 2006 Workshop Reader : ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports
- Object-Oriented Technology. ECOOP 2007 Workshop Reader : ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports
- Objective Software Quality : Objective Quality: Second Symposium on Software Quality Techiniques and Acquisition Criteria Florence, Italy, May 29–31, 1995 Proceedings
- Objects, Agents, and Features : International Seminar, Dagstuhl Castle, Germany, February 16-21, 2003, Revised and Invited Papers
- Optical Network Design and Modeling : 11th International IFIP TC6 Conference, ONDM 2007, Athens, Greece, May 29-31, 2007. Proceedings
- PARLE'94 Parallel Architectures and Languages Europe : 6th International PARLE Conference Athens, Greece, July 4–8, 1994 Proceedings
- PREMO: A Framework for Multimedia Middleware : Specification, Rationale, and Java Binding
- Paragon : A Language Using Type Hierarchies for the Specification, Implementation and Selection of Abstract Data Types
- Parallel Execution of Logic Programs : ICLP '91 Pre-Conference Workshop Paris, June 24, 1991 Proceedings
- Parallel Problem Solving from Nature – PPSN X : 10th International Conference Dortmund, Germany, September 13-17, 2008 Proceedings
- Parallel Processing: CONPAR 92—VAPP V : Second Joint International Conference on Vector and Parallel Processing Lyon, France, September 1–4, 1992 Proceedings
- Parallel Symbolic Languages and Systems : International Workshop PSLS'95 Beaune, France, October 2–4, 1995 Proceedings
- Performance Evaluation of Complex Systems: Techniques and Tools : Performance 2002 Tutorial Lectures
- Performance Evaluation: Metrics, Models and Benchmarks : SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008. Proceedings
- Performance Tools and Applications to Networked Systems : Revised Tutorial Lectures
- Policies for Distributed Systems and Networks : International Workshop, POLICY 2001 Bristol, UK, January 29–31, 2001 Proceedings
- Practical Aspects of Declarative Languages : 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings
- Practical Aspects of Declarative Languages : 4th International Symposium, PADL 2002 Portland, OR, USA, January 19–20, 2002 Proceedings
- Practical Aspects of Declarative Languages : 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings
- Practical Aspects of Declarative Languages : 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006. Proceedings
- Practical Aspects of Declarative Languages : 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings
- Practical Aspects of Declarative Languages : Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11–12, 2001 Proceedings
- Principles of Distributed Systems : 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007. Proceedings
- Principles of Distributed Systems : 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Papers
- Process Algebra and Probabilistic Methods: Performance Modeling and Verification : Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proceedings
- Product Focused Software Process Improvement : 5th International Conference, PROFES 2004, Kansai Science City, Japan, April 5-8, 2004. Proceedings
- Product Focused Software Process Improvement : 6th International Conference, PROFES 2005, Oulu, Finland, June 13-15, 2005. Proceedings
- Programming Language Implementation and Logic Programming : 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings
- Programming Language Implementation and Logic Programming : International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings
- Programming Languages and System Architectures : International Conference Zurich, Switzerland, March 2–4,1994 Proceedings
- Programming Languages and Systems : 13th European Symposium on Programming, ESOP 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
- Programming Languages and Systems : 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings
- Programming Languages and Systems : 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings
- Programming Languages and Systems : 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings
- Programming Languages and Systems : First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003. Proceedings
- Programming Languages and Systems : Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings
- Programming Languages and Systems — ESOP '94 : 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings
- Programming Languages and Systems — ESOP '96 : 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings
- Programming Multi-Agent Systems : 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers
- Programming Multi-Agent Systems : Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004, Selected Revised and Invited Papers
- Quality of Software Architectures and Software Quality : First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedings
- Quality of Software Architectures. Models and Architectures : 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings
- Rapid Integration of Software Engineering Techniques : Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers
- Real-World Wireless Sensor Networks : 4th International Workshop, REALWSN 2010, Colombo, Sri Lanka, December 16-17, 2010. Proceedings
- Reasearch Directions in High-Level Parallel Programming Languages : Mont Saint-Michel, France, June 17–19, 1991 Proceedings
- Recent Trends in Algebraic Development Techniques : 13th International Workshop, WADT’98 Lisbon, Portugal, April 2–4, 1998 Selected Papers
- Recent Trends in Algebraic Development Techniques : 15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting Genova, Italy, April 1–3, 2001 Selected Papers
- Recent Trends in Data Type Specification : 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19–23, 1995 Selected Papers
- Recent Trends in Data Type Specification : 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop Caldes de Malavella, Spain, October 26–30, 1992 Selected Papers
- Reflection and Software Engineering
- Relational Methods in Computer Science : 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16–21, 2001 Revised Papers
- Relations and Kleene Algebra in Computer Science : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proceedings
- Reliable Software Technologies – Ada Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedings
- Reliable Software Technologies – Ada-Europe 2006 : 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006. Proceedings
- Reliable Software Technologies – Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
- Reliable Software Technologies – Ada-Europe 2009 : 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings
- Reliable Software Technologies — Ada-Europe '96 : 1996 Ada-Europe International Conference on Reliable Software Technologies Montreux, Switzerland, June 10–14, 1996 Proceedings
- Reliable Software Technologies — Ada-Europe '97 : 1997 Ada-Europe International Conference on Reliable Software Technologies London, UK, June 2–6, 1997 Proceedings
- Reliable Software Technologies — Ada-Europe 2003 : 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16–20, 2003 Proceedings
- Reliable Software Technologies — Ada-Europe’ 99 : 1999 Ada-Europe International Conference on Reliable Software Technologies Santander, Spain, June 7–11, 1999 Proceedings
- Reliable Systems on Unreliable Networked Platforms : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers
- Runtime Verification : 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers
- Runtime Verification : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers
- Satellite Events at the MoDELS 2005 Conference : MoDELS 2005 International Workshops Doctoral Symposium, Educators Symposium Montego Bay, Jamaica, October 2-7, 2005 Revised Selected Papers
- Scalable Uncertainty Management : Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009. Proceedings
- Search Computing : Challenges and Directions
- Security Engineering with Patterns : Origins, Theoretical Model, and New Applications
- Security in Pervasive Computing : First International Conference, Boppard, Germany, March 12-14, 2003. Revised Papers
- Security in Pervasive Computing : Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005. Proceedings
- Security in Pervasive Computing : Third International Conference, SPC 2006, York, UK, April 18-21, 2006. Proceedings
- Self-Managed Networks, Systems, and Services : Second IEEE International Workshop, SelfMan 2006, Dublin, Ireland, June 16, 2006. Proceedings
- Semantics and Algebraic Specification : Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
- Semantics, Applications, and Implementation of Program Generation : International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings
- Semantics, Applications, and Implementation of Program Generation : Second International Workshop, SAIG 2001 Florence, Italy, September 6, 2001 Proceedings
- Semantics: Foundations and Applications : REX Workshop Beekbergen, The Netherlands, June 1–4, 1992 Proceedings
- Software Architecture : 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005. Proceedings
- Software Architecture : First European Workshop, EWSA 2004, St Andrews, UK, May 21-22, 2004. Proceedings
- Software Architectures for Product Families : International Workshop IW-SAPF-3 Las Palmas de Gran Canaria, Spain, March 15-17, 2000. Proceedings
- Software Composition : 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papers
- Software Composition : 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers
- Software Composition : 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings
- Software Engineering Approaches for Offshore and Outsourced Development : First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007. Revised Papers
- Software Engineering Education : 7th SEI CSEE Conference San Antonio, Texas, USA, January 5–7, 1994 Proceedings
- Software Engineering Education : 8th SEI CSEE Conference New Orleans, LA, USA, March 29–April 1, 1995 Proceedings
- Software Engineering Education : SEI Conference 1988 Fairfax, Virginia, USA, April 28–29, 1988 Proceedings
- Software Engineering Environments : International Workshop on Environments Chinon, France, September 18–20, 1989 Proceedings
- Software Engineering and Middleware : Third International Workshop, SEM 2002 Orlando, FL, USA, May 20–21, 2002 Revised Papers
- Software Engineering for Multi-Agent Systems II : Research Issues and Practical Applications
- Software Engineering for Multi-Agent Systems III : Research Issues and Practical Applications
- Software Engineering — ESEC '93 : 4th European Software Engineering Conference Garmisch-Partenkirchen, Germany September 13–17, 1993 Proceedings
- Software Engineering — ESEC '95 : 5th European Software Engineering Conference Sitges, Spain, September 25–28, 1995 Proceedings
- Software Engineering — ESEC/FSE ’99 : 7th European Software Engineering Conference Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering Toulouse, France, September 6–10, 1999 Proceedings
- Software Engineering — ESEC/FSE'97 : 6th European Software Engineering Conference Held Jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering Zurich, Switzerland, September 22–25, 1997 Proceedings
- Software Process Dynamics and Agility : International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007. Proceedings
- Software Process Technology : Third European Workshop, EWSPT '94 Villard de Lans, France, February 7–9, 1994 Proceedings
- Software Process and Product Measurement : International Conference, IWSM-Mensura 2007, Palma de Mallorca, Spain, November 5-8, 2007. Revised Papers
- Software Product Lines : 9th International Conference, SPLC 2005, Rennes, France, September 26-29, 2005. Proceedings
- Software Reliability Modelling and Identification
- Software Reuse: Methods, Techniques, and Tools : 8th International Conference, ICSR 2004, Madrid, Spain, July 5-9, 2009. Proceedings
- Software-Intensive Systems and New Computing Paradigms : Challenges and Visions
- Static Analysis : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings
- Static Analysis : 5th International Symposium, SAS’98 Pisa, Italy, September 14–16, 1998 Proceedings
- Static Analysis : 6th International Symposium, SAS’99 Venice, Italy, September 22–24, 1999 Proceedings
- Static Analysis : First International Static Analysis Symposium, SAS'94 Namur, Belgium, September 28–30, 1994 Proceedings
- Static Analysis : Second International Symposium, SAS '95 Glasgow, UK, September 25–27, 1995 Proceedings
- System Configuration Management : 19th International Symposium, SCM-9 Toulouse, France, September 5–7, 1999 Proceedings
- System Development and Ada : CRAI Workshop on Software Factories and Ada Capri, Italy, May 26–30, 1986 Proceedings
- TAPSOFT '91 : Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991
- Telecommunications and IT Convergence Towards Service E-volution : 7th International Conference on Intelligence in Services and Networks, IS&N 2000 Athens, Greece, February 23–25, 2000 Proceedings
- Telecommunications and beyond: The BroaderApplicability of SDL and MSC : Third International Workshop, SAM 2002 Aberystwyth, UK, June 24–26, 2002 Revised Papers
- Termination Proofs for Logic Programs
- Testing of Communicating Systems : 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006. Proceedings
- Testing of Software and Communicating Systems : 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings
- Tests and Proofs : 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings
- Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
- The Design of Intelligent Agents : A Layered Approach
- The Seventeen Provers of the World : Foreword by Dana S. Scott
- Theorem Proving in Higher Order Logics : 10th International Conference, TPHOLs '97 Murray Hill, NJ, USA, August 19–22, 1997 Proceedings
- Theorem Proving in Higher Order Logics : 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings
- Theorem Proving in Higher Order Logics : 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14–18, 2000 Proceedings
- Theorem Proving in Higher Order Logics : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings
- Theorem Proving in Higher Order Logics : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
- Theorem Proving in Higher Order Logics : 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings
- Theoretical Aspects of Computer Software : International Conference TACS '91 Sendai, Japan, September 24–27, 1991 Proceedings
- Theoretical Aspects of Computing - ICTAC 2004 : First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers
- Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings
- Theoretical Aspects of Computing - ICTAC 2008 : 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings
- Theoretical Aspects of Computing – ICTAC 2007 : 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings
- Theoretical and Practical Aspects of SPIN Model Checking : 5th and 6th International SPIN Workshops Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999 Proceedings
- Theory and Practice of Model Transformations : Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings
- Theory and Practice of Parallel Programming : International Workshop TPPP '94 Sendai, Japan, November 7–9, 1994 Proceedings
- Theory of Program Structures: Schemes, Semantics, Verification
- Tools and Algorithms for the Construction and Analysis of Systems : 10th International Conference, TACAS 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
- Tools and Algorithms for the Construction and Analysis of Systems : 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
- Tools and Algorithms for the Construction and Analysis of Systems : 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings
- Tools and Algorithms for the Construction and Analysis of Systems : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
- Tools and Algorithms for the Construction and Analysis of Systems : 4th International Conference, TACAS'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
- Tools and Algorithms for the Construction and Analysis of Systems : 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings
- Tools and Algorithms for the Construction and Analysis of Systems : 9th International Conference, TACAS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings
- Tools and Algorithms for the Construction and Analysis of Systems : First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected Papers
- Tools and Algorithms for the Construction and Analysis of Systems : Third International Workshop, TACAS'97 Enschede, The Netherlands, April 2–4, 1997 Proceedings
- Top Productivity through Software Reuse : 12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011. Proceedings
- Transactions on Modularity and Composition I
- Transformation-Based Reactive Systems Development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97 Palma, Mallorca, Spain, May 21–23, 1997 Proceedings
- Trusted Computing - Challenges and Applications : First International Conference on Trusted Computing and Trust in Information Technologies, Trust 2008 Villach, Austria, March 11-12, 2008 Proceedings
- Trustworthy Global Computing : International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
- Trustworthy Global Computing : Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers
- Trustworthy Global Computing : Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
- UbiComp 2004: Ubiquitous Computing : 6th International Conference, Nottingham, UK, September 7-10, 2004. Proceedings
- Ubiquitous Computing Systems : Second International Symposium, UCS 2004, Tokyo, Japan, November 8-9, 2004, Revised Selected Papers
- Unifying Theories of Programming : First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers
- VDM '87 VDM — A Formal Method at Work : VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings
- VDM '88 VDM — The Way Ahead : 2nd VDM-Europe Symposium Dublin, Ireland, September 11–16, 1988 Proceedings
- Validation of Stochastic Systems : A Guide to Current Research
- Variations on Constants : Flow Analysis of Sequential and Parallel Programs
- Verification, Model Checking, and Abstract Interpretation : 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 Proceedings
- Verification, Model Checking, and Abstract Interpretation : 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings
- Verification, Model Checking, and Abstract Interpretation : Third International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papers
- Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
- Visualization in Human-Computer Interaction : 7th Interdisciplinary Workshop on Informatics and Psychology Schärding, Austria, May 24–27, 1988 Selected Contributions
- Visualization of Scientific Parallel Programs
- Web Engineering and Peer-to-Peer Computing : NETWORKING 2002 Workshops Pisa, Italy, May 19–24, 2002 Revised Papers
- Web Services and Formal Methods : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers
- Web Services and Formal Methods : Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings
- Wired/Wireless Internet Communications : 5th International Conference, WWIC 2007, Coimbra, Portugal, May 23-25, 2007. Proceedings
- Wired/Wireless Internet Communications : Third International Conference, WWIC 2005, Xanthi, Greece, May 11-13, 2005. Proceedings
- Wireless Algorithms, Systems, and Applications : First International Conference, WASA 2006, Xi’an, China, August 15-17, 2006. Proceedings
- Wireless Algorithms, Systems, and Applications : Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008. Proceedings
- Wireless Sensor Networks : 4th European Conference, EWSN 2007, Delft, The Netherlands, January 29-31, 2007. Proceedings
- Wireless Sensor Networks : 6th European Conference, EWSN 2009, Cork, Ireland, February 11-13, 2009. Proceedings
- Wireless Sensor Networks : First EuropeanWorkshop, EWSN 2004, Berlin, Germany, January 19-21, 2004. Proceedings
- Wireless Sensor Networks : Third European Workshop, EWSN 2006, Zurich, Switzerland, February 13-15, 2006. Proceedings
- ZB 2000: Formal Specification and Development in Z and B : First International Conference of B and Z Users York, UK, August 29 – September 2, 2000 Proceedings
- ZB 2003: Formal Specification and Development in Z and B : Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings
- ZB 2005: Formal Specification and Development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings
- ZUM '97: The Z Formal Specification Notation : 10th International Conference of Z Users Reading, UK, April 3–4, 1997 Proceedings
- ZUM ’98: The Z Formal Specification Notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.bu.edu/resource/WAFvSBTJ4FM/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/WAFvSBTJ4FM/">Software Engineering</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Concept Software Engineering
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.bu.edu/resource/WAFvSBTJ4FM/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/WAFvSBTJ4FM/">Software Engineering</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>