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

Label: Software Engineering

Authority link: (uri) http://id.loc.gov/authorities/subjects/sh87007398

Software Engineering

528 Items that share the Concept Software Engineering

A Decade of Concurrency Reflections and Perspectives : REX School/Symposium Noordwijkerhout, The Netherlands June 1–4, 1993 Proceedings, edited by J. W. Bakker, W. -P. Roever, G. Rozenberg, (electronic resource)

Borrow it

A Hybrid Deliberative Layer for Robotic Agents : Fusing DL Reasoning with HTN Planning in Autonomous Robots, by Ronny Hartanto, (electronic resource)

Borrow it

Abstract Software Specifications : 1979 Copenhagen Winter School January 22 – February 2, 1979 Proceedings, edited by Dines Bjøorner, (electronic resource)

Borrow it

Abstract State Machines 2003 : Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings, edited by Egon Börger, Angelo Gargantini, Elvinia Riccobene, (electronic resource)

Borrow it

Active Networks : First International Working Conference, IWAN’99, Berlin, Germany, June 30 - July 2, 1999. Proceedings, edited by Stefan Covaci, (electronic resource)

Borrow it

Ad-Hoc, Mobile and Wireless Networks : 9th International Conference, ADHOC-NOW 2010, Edmonton, AB, Canada, August 20-22, 2010. Proceedings, edited by Ioanis Nikolaidis, Kui Wu, (electronic resource)

Borrow it

Ad-hoc, Mobile, and Wireless Networks : 10th International Conference, ADHOC-NOW 2011, Paderborn, Germany, July 18-20, 2011. Proceedings, edited by Hannes Frey, Xu Li, Stefan Ruehrup, (electronic resource)

Borrow it

Ada - Europe '93 : 12th Ada-Europe International Conference, “Ada Sans Frontières” Paris, France, June 14–18, 1993 Proceedings, edited by Michel Gauthier, (electronic resource)

Borrow it

Ada 2005 Rationale : The Language, The Standard Libraries, by John Barnes, (electronic resource)

Borrow it

Ada 2005 Reference Manual. Language and Standard Libraries : International Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1, by S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy, (electronic resource)

Borrow it

Ada 95 Rationale : The Language The Standard Libraries, edited by John Barnes, (electronic resource)

Borrow it

Ada in Europe : First International Eurospace-Ada-Europe Symposium Copenhagen, Denmark, September 26–30, 1994 Proceedings, edited by Marcel Toussaint, (electronic resource)

Borrow it

Ada in Europe : Second International Eurospace — Ada-Europe Symposium Frankfurt/Main, Germany, October 2–6, 1995 Proceedings, edited by Marcel Toussaint, (electronic resource)

Borrow it

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, edited by Karl Tuyls, Ann Nowe, Zahia Guessoum, Daniel Kudenko, (electronic resource)

Borrow it

Adaptive and Natural Computing Algorithms : 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers, edited by Mikko Kolehmainen, Pekka Toivanen, Bartlomiej Beliczynski, (electronic resource)

Borrow it

Advanced Data Mining and Applications : 4th International Conference, ADMA 2008, Chengdu, China, October 8-10, 2008. Proceedings, edited by Changjie Tang, Charles X. Ling, Xiaofang Zhou, Nick J. Cercone, Xue Li, (electronic resource)

Borrow it

Advanced Distributed Systems : 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers, edited by Félix F. Ramos, Victor Larios Rosillo, Herwig Unger, (electronic resource)

Borrow it

Advanced Functional Programming : 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002. Revised Lectures, edited by Johan Jeuring, Simon L. Peyton Jones, (electronic resource)

Borrow it

Advanced Functional Programming : 5th International School, AFP 2004, Tartu, Estonia, August 14 – 21, 2004, Revised Lectures, edited by Varmo Vene, Tarmo Uustalu, (electronic resource)

Borrow it

Advanced Functional Programming : 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures, edited by Pieter Koopman, Rinus Plasmeijer, Doaitse Swierstra, (electronic resource)

Borrow it

Advanced Functional Programming : Third International School, AFP’98, Braga, Portugal, September 12-19, 1998, Revised Lectures, edited by S. Doaitse Swierstra, José N. Oliveira, Pedro R. Henriques, (electronic resource)

Borrow it

Advanced Information Systems Engineering : 23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011. Proceedings, edited by Haralambos Mouratidis, Colette Rolland, (electronic resource)

Borrow it

Advanced Lectures on Software Engineering : LASER Summer School 2007/2008, edited by Peter Müller, (electronic resource)

Borrow it

Advanced Programming Environments : Proceedings of an International Workshop Trondheim, Norway, June 16–18, 1986, edited by Reidar Conradi, Tor M. Didriksen, Dag H. Wanvik, (electronic resource)

Borrow it

Advanced Symbolic Analysis for Compilers : New Techniques and Algorithms for Symbolic Program Analysis and Optimization, edited by Thomas Fahringer, Bernhard Scholz, (electronic resource)

Borrow it

Advances in Agent Communication : International Workshop on Agent Communication Languages, ACL 2003, Melbourne, Australia, July 14, 2003. Revised and Invited Papers, edited by Frank Dignum, (electronic resource)

Borrow it

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, edited by Moonis Ali, Richard Dapoigny, (electronic resource)

Borrow it

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, edited by Vijay A. Saraswat, (electronic resource)

Borrow it

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, edited by Carlos Alberto Heuser, Günther Pernul, (electronic resource)

Borrow it

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, edited by Olga Troyer, Claudia Bauzer Medeiros, Roland Billen, Pierre Hallot, Alkis Simitsis, Hans Mingroot, (electronic resource)

Borrow it

Advances in Exception Handling Techniques, edited by Alexander Romanovsky, Christophe Dony, Jørgen Lindskov Knudsen, Anand Tripathi, (electronic resource)

Borrow it

Advances in Grid and Pervasive Computing : 5th International Conference, GPC 2010, Hualien, Taiwan, May 10-13, 2010. Proceedings, edited by Paolo Bellavista, Ruay-Shiung Chang, Han-Chieh Chao, Shin-Feng Lin, Peter M. A. Sloot, (electronic resource)

Borrow it

Advances in Grid and Pervasive Computing : First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006. Proceedings, edited by Yeh-Ching Chung, José E. Moreira, (electronic resource)

Borrow it

Advances in Grid and Pervasive Computing : Third International Conference, GPC 2008, Kunming, China, May 25-28, 2008. Proceedings, edited by Song Wu, Laurence T. Yang, Tony Li Xu, (electronic resource)

Borrow it

Advances in Learning Software Organizations : 4th International Workshop, LSO 2002, Chicago, IL, USA, August 6, 2002. Revised Papers, edited by Scott Henninger, Frank Maurer, (electronic resource)

Borrow it

Advances in Multimedia Information Processing - PCM 2010 : 11th Pacific Rim Conference on Multimedia, Shanghai, China, September 2010, Proceedings, Part II, edited by Guoping Qiu, Kin Man Lam, Hitoshi Kiya, Xiang-Yang Xue, C.-C. Jay Kuo, Michael S. Lew, (electronic resource)

Borrow it

Advances in Multimedia Information Processing - PCM 2010 : 11th Pacific Rim Conference on Multimedia, Shanghai, China, September 21-24, 2010, Proceedings, Part I, edited by Guoping Qiu, Kin Man Lam, Hitoshi Kiya, Xiang-Yang Xue, C.-C. Jay Kuo, Michael S. Lew, (electronic resource)

Borrow it

Advances in Multimodal Interfaces — ICMI 2000 : Third International Conference Beijing, China, October 14–16, 2000 Proceedings, edited by Tieniu Tan, Yuanchun Shi, Wen Gao, (electronic resource)

Borrow it

Advances in Petri Nets 1984, edited by G. Rozenberg, (electronic resource)

Borrow it

Advances in Self-Organizing Maps : 7th International Workshop, WSOM 2009, St. Augustine, FL, USA, June 8-10, 2009. Proceedings, edited by José C. Príncipe, Risto Miikkulainen, (electronic resource)

Borrow it

Advances in Software Engineering : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures, edited by Egon Börger, Antonio Cisternino, (electronic resource)

Borrow it

Agent Communication : International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers, edited by Rogier M. Eijk, Marc-Philippe Huget, Frank Dignum, (electronic resource)

Borrow it

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, edited by Frank P. M. Dignum, Rogier M. Eijk, Roberto Flores, (electronic resource)

Borrow it

Agent-Oriented Software Engineering : First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers, edited by Paolo Ciancarini, Michael J. Wooldridge, (electronic resource)

Borrow it

Agent-Oriented Software Engineering II : Second International Workshop, AOSE 2001 Montreal, Canada, May 29, 2001 Revised Papers and Invited Contributions, edited by Michael J. Wooldridge, Gerhard Weiß, Paolo Ciancarini, (electronic resource)

Borrow it

Agent-Oriented Software Engineering III : Third International Workshop, AOSE 2002 Bologna, Italy, July 15, 2002 Revised Papers and Invited Contributions, edited by Fausto Giunchiglia, James Odell, Gerhard Weiß, (electronic resource)

Borrow it

Agent-Oriented Software Engineering IV : 4th InternationalWorkshop, AOSE 2003, Melbourne, Australia, July 15, 2003. Revised Papers, edited by Paolo Giorgini, Jörg P. Müller, James Odell, (electronic resource)

Borrow it

Agent-Oriented Software Engineering VI : 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers, edited by Jörg P. Müller, Franco Zambonelli, (electronic resource)

Borrow it

Agent-Oriented Software Engineering VII : 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers, edited by Lin Padgham, Franco Zambonelli, (electronic resource)

Borrow it

Agent-Oriented Software Engineering VIII : 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers, edited by Michael Luck, Lin Padgham, (electronic resource)

Borrow it

Agent-Oriented Software Engineering X : 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers, edited by Marie-Pierre Gleizes, Jorge J. Gomez-Sanz, (electronic resource)

Borrow it

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, edited by Walter Velde, John W. Perram, (electronic resource)

Borrow it

Agents and Data Mining Interaction : 4th International Workshop, ADMI 2009, Budapest, Hungary, May 10-15,2009, Revised Selected Papers, edited by Longbing Cao, Vladimir Gorodetsky, Jiming Liu, Gerhard Weiss, Philip S. Yu, (electronic resource)

Borrow it

Agents for Games and Simulations II : Trends in Techniques, Concepts and Design, edited by Frank Dignum, (electronic resource)

Borrow it

Agents in Principle, Agents in Practice : 14th International Conference, PRIMA 2011, Wollongong, Australia, November 16-18, 2011. Proceedings, edited by David Kinny, Jane Yung-jen Hsu, Guido Governatori, Aditya K. Ghose, (electronic resource)

Borrow it

Agile Processes in Software Engineering and Extreme Programming : 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings, edited by Giulio Concas, Ernesto Damiani, Marco Scotto, Giancarlo Succi, (electronic resource)

Borrow it

Agile Software Construction, by John Hunt, (electronic resource)

Borrow it

Agile Software Engineering, by Orit Hazzan, Yael Dubinsky, (electronic resource)

Borrow it

Algebra and Coalgebra in Computer Science : First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings, edited by José Luiz Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten, (electronic resource)

Borrow it

Algebra and Coalgebra in Computer Science : Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings, edited by Till Mossakowski, Ugo Montanari, Magne Haveraaen, (electronic resource)

Borrow it

Algebraic Biology : Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings, edited by Hirokazu Anai, Katsuhisa Horimoto, Temur Kutsia, (electronic resource)

Borrow it

Algebraic Biology : Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings, edited by Katsuhisa Horimoto, Georg Regensburger, Markus Rosenkranz, Hiroshi Yoshida, (electronic resource)

Borrow it

Algebraic Foundations in Computer Science : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement, edited by Werner Kuich, George Rahonis, (electronic resource)

Borrow it

Algebraic Informatics : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings, edited by Franz Winkler, (electronic resource)

Borrow it

Algebraic Informatics : Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers, edited by Symeon Bozapalidis, George Rahonis, (electronic resource)

Borrow it

Algebraic Informatics : Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings, edited by Symeon Bozapalidis, George Rahonis, (electronic resource)

Borrow it

Algebraic Methodology and Software Technology : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings, edited by José Meseguer, Grigore Roşu, (electronic resource)

Borrow it

Algebraic Methodology and Software Technology : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers, edited by Michael Johnson, Dusko Pavlovic, (electronic resource)

Borrow it

Algebraic Methodology and Software Technology : 6th International Conference, AMAST'97 Sydney, Australia, December13–17, 1997 Proceedings, edited by Michael Johnson, (electronic resource)

Borrow it

Algebraic Methodology and Software Technology : 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20–27, 2000 Proceedings, edited by Teodor Rus, (electronic resource)

Borrow it

Algebraic Methods II: Theory, Tools and Applications, edited by J. A. Bergstra, L. M. G. Feijs, (electronic resource)

Borrow it

Algebraic Specification Techniques in Object Oriented Programming Environments, by Ruth Breu, (electronic resource)

Borrow it

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures, edited by Roland Backhouse, Roy Crole, Jeremy Gibbons, (electronic resource)

Borrow it

Algorithm Engineering : Bridging the Gap between Algorithm Theory and Practice, edited by Matthias Müller-Hannemann, Stefan Schirra, (electronic resource)

Borrow it

Algorithmic Aspects of Wireless Sensor Networks : 5th International Workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009. Revised Selected Papers, edited by Shlomi Dolev, (electronic resource)

Borrow it

Algorithms and Architectures for Parallel Processing : 11th International Conference, ICA300 2011, Melbourne, Australia, October 24-26, 2011, Proceedings, Part II, edited by Yang Xiang, Alfredo Cuzzocrea, Michael Hobbs, Wanlei Zhou, (electronic resource)

Borrow it

Algorithms and Architectures for Parallel Processing : 11th International Conference, ICA3PP, Melbourne, Australia, October 24-26, 2011, Proceedings, Part I, edited by Yang Xiang, Alfredo Cuzzocrea, Michael Hobbs, Wanlei Zhou, (electronic resource)

Borrow it

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, edited by Christian Scheideler, (electronic resource)

Borrow it

All About Maude - A High-Performance Logical Framework : How to Specify, Program and Verify Systems in Rewriting Logic, by Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott, (electronic resource)

Borrow it

Ambient Intelligence : First International Joint Conference, AmI 2010, Malaga, Spain, November 10-12, 2010. Proceedings, edited by Boris Ruyter, Reiner Wichert, David V. Keyson, Panos Markopoulos, Norbert Streitz, Monica Divitini, Nikolaos Georgantas, Antonio Mana Gomez, (electronic resource)

Borrow it

Analytical and Stochastic Modeling Techniques and Applications : 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings, edited by Khalid Al-Begain, Armin Heindl, Miklós Telek, (electronic resource)

Borrow it

Applications of Graph Transformations with Industrial Relevance : International Workshop, AGTIVE’99 Kerkrade, The Netherlands, September 1–3, 1999 Proceedings, edited by Manfred Nagl, Andreas Schürr, Manfred Münch, (electronic resource)

Borrow it

Applications of Graph Transformations with Industrial Relevance : Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, edited by Andy Schürr, Manfred Nagl, Albert Zündorf, (electronic resource)

Borrow it

Applied Formal Methods — FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings, edited by Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann, (electronic resource)

Borrow it

Approaches to Intelligence Agents : Second Pacific Rim InternationalWorkshop on Multi-Agents, PRIMA’99 Kyoto, Japan, December 2–3, 1999 Proceedings, edited by Hideyuki Nakashima, Chengqi Zhang, (electronic resource)

Borrow it

Architecting Critical Systems : First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings, edited by Holger Giese, (electronic resource)

Borrow it

Architecting Dependable Systems V, edited by Rogério Lemos, Felicita Giandomenico, Cristina Gacek, Henry Muccini, Marlon Vieira, (electronic resource)

Borrow it

Architecting Dependable Systems VII, edited by Antonio Casimiro, Rogério Lemos, Cristina Gacek, (electronic resource)

Borrow it

Architecting Dependable Systems, edited by Rogério Lemos, Cristina Gacek, Alexander Romanovsky, (electronic resource)

Borrow it

Artificial Intelligence and Computational Intelligence : International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part I, edited by Fu Lee Wang, Hepu Deng, Yang Gao, Jingsheng Lei, (electronic resource)

Borrow it

Artificial Intelligence and Computational Intelligence : International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part II, edited by Fu Lee Wang, Hepu Deng, Yang Gao, Jingsheng Lei, (electronic resource)

Borrow it

Artificial Intelligence: Theories, Models and Applications : 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008. Proceedings, edited by John Darzentas, George A. Vouros, Spyros Vosinakis, Argyris Arnellos, (electronic resource)

Borrow it

Attribute Grammars, Applications and Systems : International Summer School SAGA Prague, Czechoslovakia, June 4–13, 1991 Proceedings, edited by Henk Alblas, Bořivoj Melichar, (electronic resource)

Borrow it

Automated Deduction – CADE-21 : 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings, edited by Frank Pfenning, (electronic resource)

Borrow it

Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings, edited by Rajeev Goré, Alexander Leitsch, Tobias Nipkow, (electronic resource)

Borrow it

Automated Reasoning with Analytic Tableaux and Related Methods : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings, edited by Nicola Olivetti, (electronic resource)

Borrow it

Automated Reasoning with Analytic Tableaux and Related Methods : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings, edited by Kai Brünnler, George Metcalfe, (electronic resource)

Borrow it

Automated Technology for Verification and Analysis : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings, edited by Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura, (electronic resource)

Borrow it

Automated Technology for Verification and Analysis : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings, edited by Zhiming Liu, Anders P. Ravn, (electronic resource)

Borrow it

Automated and Algorithmic Debugging : First International Workshop, AADEBUG '93 Linköping, Sweden, May 3–5, 1993 Proceedings, edited by Peter A. Fritzson, (electronic resource)

Borrow it

Context

Context of Software Engineering

Subject 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: Carousel Grid List Card

Include data citation:

<div class="citation" vocab="http://schema.org/"> Data from <a href="http://link.bu.edu/resource/WAFvSBTJ4FM/">Software Engineering</a> - <a property="url" href="http://link.bu.edu/">Boston University Libraries</a></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>

Software Engineering Resource Information The concept Software Engineering represents the subject, aboutness, idea or notion of resources found in Boston University Libraries.

528 Items that share the Concept Software Engineering

Context

Subject of

Software Engineering

Resource Information

The concept Software Engineering represents the subject, aboutness, idea or notion of resources found in Boston University Libraries.