Software Engineering.

Software Evolution by: (Language materials, printed)

Agent-Oriented Software Engineering V = 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers / by: (Language materials, printed)

Formal Methods for Mobile Computing = 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures / by: (Language materials, printed)

Distributed Applications and Interoperable Systems = 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings / by: (Language materials, printed)

Innovations in Applied Artificial Intelligence = 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2005, Bari, Italy, June 22-24,2005 : proceedings / by: (Language materials, printed)

Formal Techniques for Computer Systems and Business Processes = European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005 : proceedings / by: (Language materials, printed)

Peer-to-Peer Systems and Applications by: (Language materials, printed)

Advances in Informatics : = 10th Panhellenic Conference on Informatics, PCI 2005, Volas, Greece, November 11-13, 2005, Proceedings by: (Language materials, printed)

Programming Languages and Systems : = Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings by: (Language materials, printed)

Software Process Improvement : = 12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005, Proceedings by: (Language materials, printed)

Web services and formal methods = 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 ; proceedings / by: (Language materials, printed)

Information Systems and e-Business Technologies = 2nd International United Information Systems Conference, UNISCON 2008, Klagenfurt, Austria, April 22-25, 2008. Proceedings / by: (Language materials, printed)

Modeling Semantic Web Services = The Web Service Modeling Language / by: (Language materials, printed)

Analysis and Design of Information Systems by: (Language materials, printed)

Requirements Engineering: Foundation for Software Quality = 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings / by: (Language materials, printed)

A Modular Calculus for the Average Cost of Data Structuring by: (Language materials, printed)

Static Analysis = 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings / by: (Language materials, printed)

Automatic Program Development = A Tribute to Robert Paige / by: (Language materials, printed)

Temporal Logic and State Systems by: (Language materials, printed)

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 / by: (Language materials, printed)

Advances in grid and pervasive computing = third international conference, GPC 2008, Kunming, China, May 25-28, 2008 : proceedings / by: (Language materials, printed)

OpenMP shared memory parallel programming = international workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006 : proceedings / by: (Language materials, printed)

Analytical and Stochastic Modeling Techniques and Applications = 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings / by: (Language materials, printed)

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 / by: (Language materials, printed)

Product-Focused Software Process Improvement = 9th International Conference, PROFES 2008 Monte Porzio Catone, Italy, June 23-25, 2008 Proceedings / by: (Language materials, printed)

Information systems reengineering, integration and normalization by: (Language materials, printed)

The IT Measurement Compendium = Estimating and Benchmarking Success with Functional Size Measurement / by: (Language materials, printed)

UML @ classroom = an introduction to object-oriented modeling / by: (Language materials, printed)

Abstract State Machines, B and Z = First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / by: (Language materials, printed)

Artificial intelligence : theories, models and applications = 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008 ; proceedings / by: (Language materials, printed)

Software Process Improvement = 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings / by: (Language materials, printed)

Advances in service-oriented and cloud computing = workshops of ESOCC 2014, Manchester, UK, September 2-4, 2014 : revised selected papers / by: (Language materials, printed)

Environmental software systems = infrastructures, services and applications : 11th IFIP WG 5.11 International Symposium, ISESS 2015, Melbourne, VIC, Australia, March 25-27, 2015 : proceedings / by: (Language materials, printed)

Self-organizing systems = third international workshop, IWSOS 2008, Vienna, Austria, December 10-12, 2008, proceedings / by: (Language materials, printed)

Software engineering research, management and application by: (Language materials, printed)

Process-aware systems = first International Workshop, PAS 2014, Shanghai, China, October 17, 2014 : proceedings / by: (Language materials, printed)

Solving software challenges for exascale = International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014 : revised selected papers / by: (Language materials, printed)

Ad-hoc networks and wireless = ADHOC-NOW 2014 International Workshops, ETSD, MARSS, MWaoN, SecAN, SSPA, and WiSARN, Benidorm, Spain, June 22-27, 2014 : revised selected papers / by: (Language materials, printed)

Parallel problem solving from nature - PPSN X = 10th international conference, Dortmund, Germany, September 13-17, 2008 : proceedings / by: (Language materials, printed)

Best Practices in Software Measurement = How to use metrics to improve project and process performance / by: (Language materials, printed)

SAP fur Java-Entwickler = Konzepte, Schnittstellen, Technologien / by: (Language materials, printed)

Reliable Software Technology - Ada-Europe 2005 = 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings / by: (Language materials, printed)

Databases, Information Systems, and Peer-to-Peer Computing = Second International Workshop, DBISP2P 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers / by: (Language materials, printed)

Software Engineering and Middleware = 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 Revised Selected Papers / by: (Language materials, printed)

Operational Semantics for Timed Systems = A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems / by: (Language materials, printed)

Coordination Models and Languages = 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings / by: (Language materials, printed)

FM 2005: Formal Methods = International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings / by: (Language materials, printed)

Self-star Properties in Complex Information Systems = Conceptual and Practical Foundations / by: (Language materials, printed)

Advanced Functional Programming = 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures / by: (Language materials, printed)

Network and Parallel Computing : = IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings by: (Language materials, printed)

Trustworthy Global Computing : = International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers by: (Language materials, printed)

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 / by: (Language materials, printed)

Advanced Autonomic Networking and Communication by: (Language materials, printed)

Tools and algorithms for the construction and analysis of systems = 14th International Conference, TACAS 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 / by: (Language materials, printed)

Coordination models and languages = 10th international conference, coordination 2008, Oslo, Norway, June 4-6, 2008. proceedings / by: (Language materials, printed)

NETWORKING 2008 = ad hoc and sensor networks, wireless networks, next generation Internet : 7th International IFIP-TC6 Networking Conference, Singapore, May 5-9, 2008 : proceedings / by: (Language materials, printed)

Validation of evolving software by: (Language materials, printed)

New Frontiers in Applied Artificial Intelligence = 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wrocaw, Poland, June 18-20, 2008 Proceedings / by: (Language materials, printed)

Reliable Software Technologies Ada-Europe 2008 = 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings / by: (Language materials, printed)

ECOOP 2008 -- Object-Oriented Programming = 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings / by: (Language materials, printed)

Data Management in Grid and Peer-to-Peer Systems = First International Conference, Globe 2008, Turin, Italy, September 3, 2008. Proceedings / by: (Language materials, printed)

Architecting Dependable Systems V by: (Language materials, printed)

Software Process and Product Measurement = International Conference, IWSM-Mensura 2007, Palma de Mallorca, Spain, November 5-8, 2007. Revised Papers / by: (Language materials, printed)

Nordic contributions in IS research = 6th Scandinavian Conference on Information Systems, SCIS 2015, Oulu, Finland, August 9-12, 2015 : proceedings / by: (Language materials, printed)

Enterprise information systems = 16th International Conference, ICEIS 2014, Lisbon, Portugal, April 27-30, 2014 : revised selected papers / by: (Language materials, printed)

Swarm, evolutionary, and memetic computing = 5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014 : revised selected papers / by: (Language materials, printed)

Human aspects of information security, privacy, and trust = third International Conference, HAS 2015, held as part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015 : proceedings / by: (Language materials, printed)

Advances in software engineering = Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007 : revised tutorial lectures / by: (Language materials, printed)

Human-computer interaction = design and evaluation : 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015 : proceedings.. Part I / by: (Language materials, printed)

Human-computer interaction = interaction technologies : 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015 : proceedings.. Part II / by: (Language materials, printed)

Human-computer interaction = users and contexts : 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015 : proceedings.. Part III / by: (Language materials, printed)

Graph transformation = 8th International Conference, ICGT 2015, held as part of STAF 2015, L'Aquila, Italy, July 21-23, 2015 : proceedings / by: (Language materials, printed)

Modelling foundations and applications = 11th European Conference, ECMFA 2015, held as part of STAF 2015, L'Aquila, Italy, July 20-24, 2015 : proceedings / by: (Language materials, printed)

Theory and practice of model transformations = 8th International Conference, ICMT 2015, held as part of STAF 2015, L'Aquila, Italy, July 20-21, 2015 : proceedings / by: (Language materials, printed)

Tests and proofs = 9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015 : proceedings / by: (Language materials, printed)

Automated deduction in geometry = 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014 : revised selected papers / by: (Language materials, printed)

Artificial general intelligence = 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015 : proceedings / by: (Language materials, printed)

Behavior modeling = foundations and applications : International Workshops, BM-FA 2009-2014 : revised selected papers / by: (Language materials, printed)

Web reasoning and rule systems = 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015 : proceedings / by: (Language materials, printed)

Search-based software engineering = 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015 : proceedings / by: (Language materials, printed)

Transactions on computational collective intelligence XVIII by: (Language materials, printed)

Introduction to programming with Fortran = with coverage of Fortran 90, 95, 2003, 2008 and 77 / by: (Language materials, printed)

Intelligent software methodologies, tools and techniques = 14th International Conference, SoMet 2015, Naples, Italy, September 15-17, 2015 : proceedings / by: (Language materials, printed)

Stabilization, safety, and security of distributed systems = 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015 : proceedings / by: (Language materials, printed)

Interactive theorem proving = 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015 : proceedings / by: (Language materials, printed)

Fundamentals of computation theory = 20th International Symposium, FCT 2015, Gdansk, Poland, August 17-19, 2015 : proceedings / by: (Language materials, printed)

Wired/wireless internet communications = 13th International Conference, WWIC 2015, Malaga, Spain, May 25-27, 2015 : revised selected papers / by: (Language materials, printed)

Human-computer interaction - INTERACT 2015 = 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015 : proceedings.. Part II / by: (Language materials, printed)

Human-computer interaction - INTERACT 2015 = 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015 : proceedings.. Part I / by: (Language materials, printed)

Analyzing Computer System Performance with Perl::PDQ by: (Language materials, printed)

Prozessubergreifendes Projektmanagement = Grundlagen erfolgreicher Projekte / by: (Language materials, printed)

Model-Driven Software Development by: (Language materials, printed)

Software engineering and formal methods = 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings / by: (Language materials, printed)

Formal Modeling and Analysis of Timed Systems = 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015 : proceedings / by: (Language materials, printed)

Hybrid Systems: Computation and Control = 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings / by: (Language materials, printed)

Software engineering for resilient systems = 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015 : proceedings / by: (Language materials, printed)

Mobile web and intelligent information systems = 12th International Conference, MobiWis 2015, Rome, Italy, August 24-26, 2015 : proceedings / by: (Language materials, printed)

SOFSEM 2005: Theory and Practice of Computer Science = 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovsky Jan, Slovakia, January 22-28, 2005, Proceedings / by: (Language materials, printed)

Service Availability = First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004, Revised Selected Papers / by: (Language materials, printed)

Agent Communication = International Workshop on Agent Communication, AC 2004, New York, NY, July 19, 2004 / by: (Language materials, printed)

Frontiers of Combining Systems : = 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings by: (Language materials, printed)

Logic, rewriting, and concurrency = essays dedicated to Jose Meseguer on the occasion of his 65th birthday / by: (Language materials, printed)

Rapid Integration of Software Engineering Techniques = First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers / by: (Language materials, printed)

Wired/wireless Internet communications = Third International Conference, WWIC 2005, Xanthi, Greece, May 11-13, 2005, Proceedings by: (Language materials, printed)

Formal Methods for Open Object-Based Distributed Systems = 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings / by: (Language materials, printed)

Logic for Programming, Artificial Intelligence, and Reasoning : = 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings by: (Language materials, printed)

Principles of Distributed Systems = 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers / by: (Language materials, printed)

Model Checking Software = 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings / by: (Language materials, printed)

Advanced parallel processing technologies = 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015 : proceedings / by: (Language materials, printed)

Embedded Software and Systems = First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers / by: (Language materials, printed)

Database and XML Technologies = Third International XML Database Symposium, XSym 2005, Trondheim, Norway, August 28-29, 2005, Proceedings / by: (Language materials, printed)

Static Analysis = 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings / by: (Language materials, printed)

Ad-Hoc, Mobile, and Wireless Networks : = 4th International Conference, ADHOC-NOW 2005, Cancun, Mexico, October 6-8, 2005, Proceedings by: (Language materials, printed)

Formal Techniques for Networked and Distributed Systems - FORTE 2005 : = 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings by: (Language materials, printed)

Internet and distributed computing systems = 8th International Conference, IDCS 2015, Windsor, UK, September 2-4, 2015 : proceedings / by: (Language materials, printed)

Formal Methods and Software Engineering : = 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings by: (Language materials, printed)

Model Driven Architecture - Foundations and Applications : = First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings by: (Language materials, printed)

Embedded Software and Systems : = Second International Conference, ICESS 2005, Xi'an, China, December 16-18, 2005, Proceedings by: (Language materials, printed)

Model checking software = 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015 : proceedings / by: (Language materials, printed)

Designing Virtual Reality Systems = The Structured Approach / by: (Language materials, printed)

Multiple access communications = 8th International Workshop, MACOM 2015, Helsinki, Finland, September 3-4, 2015 : proceedings / by: (Language materials, printed)

Combinatorics on words = 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015 : proceedings / by: (Language materials, printed)

Practical Aspects of Declarative Languages = 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings / by: (Electronic resources)

Enterprise Information Systems = 8th International Conference, ICEIS 2006, Paphos, Cyprus, May 23-27, 2006 , Revised Selected Papers / by: (Language materials, printed)

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 / by: (Language materials, printed)

Trustworthy Global Computing = Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers / by: (Language materials, printed)

Cryptographic hardware and embedded systems - CHES 2015 = 17th International Workshop, Saint-Malo, France, September 13-16, 2015 : proceedings / by: (Language materials, printed)

TestGoal = Result-Driven Testing / by: (Language materials, printed)

Formal methods for computational systems biology = 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2 - 7, 2008 : advanced lectures / by: (Language materials, printed)

Concurrency, Graphs and Models = Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / by: (Language materials, printed)

Formal Methods in Systems Biology = First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings / by: (Language materials, printed)

Interactive Systems. Design, Specification, and Verification = 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers / by: (Language materials, printed)

Algebraic Biology = Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings / by: (Language materials, printed)

Euro-Par 2008 -- Parallel Processing = 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008. Proceedings / by: (Language materials, printed)

Intelligent agents and multi-agent systems = 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008, proceedings / by: (Language materials, printed)

The puzzle of granular computing by: (Language materials, printed)

Computer supported cooperative work in design IV = 11th international conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. revised selected papers / by: (Language materials, printed)

Grids, clouds and virtualization by: (Language materials, printed)

Requirements engineering by: (Language materials, printed)

The future of software engineering by: (Language materials, printed)

The seductive computer = why IT systems always fail / by: (Language materials, printed)

Advances in systems safety = proceedings of the nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011 / by: (Language materials, printed)

3D integration for NoC-based SoC architectures by: (Language materials, printed)

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices = International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers by: (Language materials, printed)

Verification, Model Checking, and Abstract Interpretation = 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings / by: (Language materials, printed)

Information Networking = Convergence in Broadband and Mobile Networking. International Conference, ICOIN 2005, Jeju Island, Korea, January 31 - February 2, 2005, Proceedings / by: (Language materials, printed)

Quality of Service in Multiservice IP Networks = Third International Workshop, QoS-IP 2005, Catania, Italy, February 2-4, 2005 / by: (Language materials, printed)

Formal Concept Analysis = Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings / by: (Language materials, printed)

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 / by: (Language materials, printed)

RoboCup 2004: Robot Soccer World Cup VIII by: (Language materials, printed)

Multiparadigm Programming in Mozart = Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers / by: (Language materials, printed)

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 / by: (Language materials, printed)

Dependable Computing - EDCC 2005 = 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings / by: (Language materials, printed)

Communicating Sequential Processes. The First 25 Years = Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers / by: (Language materials, printed)

Testing of Communicating Systems = 17th IFIP TC 6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings / by: (Language materials, printed)

Declarative Agent Languages and Technologies II = Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers / by: (Language materials, printed)

Scenarios: Models, Transformations and Tools = International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers / by: (Language materials, printed)

Extreme Programming and Agile Processes in Software Engineering = 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings / by: (Language materials, printed)

SDL 2005: Model Driven = 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings / by: (Language materials, printed)

Computer Aided Verification = 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings / by: (Language materials, printed)

Engineering Societies in the Agents World V = 5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004, Revised Selected and Invited Papers / by: (Language materials, printed)

Model Driven Architecture = European MDA workshops: foundations and applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linko?ping, Sweden, June 10-11, 2004 : revised selected papers / by: (Language materials, printed)

Model Driven Engineering Languages and Systems : = 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings by: (Language materials, printed)

Correct Hardware Design and Verification Methods : = 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrucken, Germany, October 3-6, 2005, Proceedings by: (Language materials, printed)

Formal Methods for Components and Objects : = Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures by: (Language materials, printed)

Generative Programming and Component Engineering : = 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings by: (Language materials, printed)

Dependable Computing : = Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings by: (Language materials, printed)

Component Deployment : = Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings by: (Language materials, printed)

Advanced Computing = first International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011 : proceedings.. Part III / by: (Language materials, printed)

Testbeds and research infrastructures = development of networks and communities : 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010 : revised selected papers / by: (Language materials, printed)

Formal Modeling and Analysis of Timed Systems : = Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings by: (Language materials, printed)

Explorations in quantum computing by: (Language materials, printed)

Introduction to software process improvement by: (Language materials, printed)

Object-oriented analysis and design by: (Language materials, printed)

Advances in networks and communications = first International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011 : proceedings.. Part II / by: (Language materials, printed)

Advances in computer science and information technology = first International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011 : proceedings.. Part I / by: (Language materials, printed)

Improvements in System Safety by: (Language materials, printed)

Declarative Agent Languages and Technologies V = 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers / by: (Language materials, printed)

Hardware and Software: Verification and Testing = Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings / by: (Language materials, printed)

Verification, Model Checking, and Abstract Interpretation = 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings / by: (Language materials, printed)

Engineering Theories of Software Intensive Systems = Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3-15 August 2004 / by: (Language materials, printed)

Form-Oriented Analysis = A New Methodology to Model Form-Based Applications / by: (Language materials, printed)

UML for SOC Design by: (Language materials, printed)

Relations and Kleene algebra in computer science = 10th International Conference on Relational Methods in Computer Science and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenworth, Germany, April 7-11, 2008 : proceedings / by: (Language materials, printed)

Formal methods and testing = an outcome of the FORTEST network : revised selected papers / by: (Language materials, printed)

Formal verification of object-oriented software = international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers / by: (Language materials, printed)

Integrated circuit and system design = power and timing modeling, optimization, and simulation : 20th international workshop, PATMOS 2010 Grenoble, France, September 7-10, 2010 : revised selected papers / by: (Language materials, printed)

Performance evaluation, measurement and characterization of complex systems = second TPC Technology Conference, TPCTC 2010, Singapore, September 13-17, 2010 : revised selected papers / by: (Language materials, printed)

Multi-agent-based simulation XI = international workshop, MABS 2010, Toronto, Canada, May 11, 2010 : revised selected papers / by: (Language materials, printed)

The evolution of conceptual modeling = from a historical perspective towards the future of conceptual modeling / by: (Language materials, printed)

Algebraic methodology and software technology = 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 : revised selected papers / by: (Language materials, printed)

Practical aspects of declarative languages = 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011 : proceedings / by: (Language materials, printed)

Distributed computing and networking = 12th International Conference, ICDCN 2011, Bangalore, India, January 2-5, 2011 : proceedings / by: (Language materials, printed)

SOFSEM 2011 = theory and practice of computer science : 37th Conference on Current Trends in Theory and Practice of Computer Science, Novy Smokovec, Slovakia, January 22 - 28, 2011 : proceedings / by: (Language materials, printed)

Dependability metrics = advanced lectures / by: (Language materials, printed)

Formal methods for industrial critical systems = 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers / by: (Language materials, printed)

Verification, model checking, and abstract interpretation = 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings / by: (Language materials, printed)

Agents for games and simulations II = trends in techniques, concepts and design / by: (Language materials, printed)

Generative and transformational techniques in software engineering III = international summer school, GTTSE 2009, Braga, Portugal, July 6-11, 2009 : revised papers / by: (Language materials, printed)

Computer and computing technologies in agriculture IV = 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22 - 25, 2010 : selected papers.. Part I / by: (Language materials, printed)

Rigorous software development = an introduction to program verification / by: (Language materials, printed)

Information systems evolution = CAiSE Forum 2010, Hammamet, Tunisia, June 7-9, 2010 : selected extended papers / by: (Language materials, printed)

Testing of Software and Communicating Systems = 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings / by: (Language materials, printed)

FM 2008: Formal Methods = 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings / by: (Language materials, printed)

Autonomic and Trusted Computing = 5th International Conference, ATC 2008, Oslo, Norway, June 23-25, 2008 Proceedings / by: (Language materials, printed)

Performance Evaluation: Metrics, Models and Benchmarks = SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008. Proceedings / by: (Language materials, printed)

RoboCup 2007: Robot Soccer World Cup XI by: (Language materials, printed)

A Practical Programming Model for the Multi-Core Era = 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings / by: (Language materials, printed)

Computer Aided Verification = 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings / by: (Language materials, printed)

Model-Driven Development of Reliable Automotive Services = Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers / by: (Language materials, printed)

Hybrid Systems: Computation and Control = 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings / by: (Language materials, printed)

Algebraic Methodology and Software Technology = 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings / by: (Language materials, printed)

Programming Multi-Agent Systems = Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers / by: (Language materials, printed)

COTS-Based Software Systems = 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005, Proceedings / by: (Language materials, printed)

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 / by: (Language materials, printed)

The Common Component Modeling Example = Comparing Software Component Models / by: (Language materials, printed)

Balancing Agility and Formalism in Software Engineering = Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers / by: (Language materials, printed)

Theoretical Aspects of Computing - ICTAC 2008 = 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings / by: (Language materials, printed)

Engineering Self-Organising Systems = Methodologies and Applications / by: (Language materials, printed)

Model-Based Testing of Reactive Systems = Advanced Lectures by: (Language materials, printed)

Advanced Distributed Systems = 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers / by: (Language materials, printed)

Software Product Lines : = 9th International Conference, SPLC 2005, Rennes, France, September 26-29, 2005, Proceedings by: (Language materials, printed)

Cooperative Design, Visualization, and Engineering : = Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005, Proceedings by: (Language materials, printed)

Architecting Dependable Systems III by: (Language materials, printed)

Automated reasoning = 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings / by: (Language materials, printed)

Formal modeling and analysis of timed systems = 6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : proceedings / by: (Language materials, printed)

Multi-Agent Systems and Applications IV : = 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Proceedings by: (Language materials, printed)

Software architecture = second European conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 proceedings / by: (Language materials, printed)

Engineering societies in the agents world VIII = 8th International Workshop, ESAW 2007, Athens, Greece, October 22-24, 2007, Revised Selected Papers / by: (Language materials, printed)

Graph transformations = 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008 ; proceedings / by: (Language materials, printed)

Parallel and Distributed Processing and Applications : = Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005, Proceedings by: (Language materials, printed)

Multiagent system technologies = 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. proceedings / by: (Language materials, printed)

Guide to Advanced Empirical Software Engineering by: (Language materials, printed)

Distributed computing and internet technology = 7th international conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011 : proceedings / by: (Language materials, printed)

Self-organizing systems = 5th international workshop, IWSOS 2011, Karlsruhe, Germany, February 23-24, 2011 : proceedings / by: (Language materials, printed)

Founders at work = stories of startups' early days / by: (Language materials, printed)

Hardware and software: verification and testing = 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers / by: (Language materials, printed)

Wireless sensor networks = 8th European conference, EWSN 2011, Bonn, Germany, February 23-25, 2011 : proceedings / by: (Language materials, printed)

Architecture of Computing Systems = ARCS 2011 : 24th International Conference, Como, Italy, February 24-25, 2011. Proceedings / by: (Language materials, printed)

Formal methods for components and objects = 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-27, 2007 ; revised papers / by: (Language materials, printed)

Software language engineering = third international conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010 : revised selected papers / by: (Language materials, printed)

Agent-oriented software engineering X = 10th international workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009 : revised selected papers / by: (Language materials, printed)

Object-Oriented Technology. ECOOP 2007 Workshop Reader = ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports / by: (Language materials, printed)

Logics of Specification Languages by: (Language materials, printed)

Computer and computing technologies in agriculture IV = 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22 - 25, 2010 : selected papers.. Part II / by: (Language materials, printed)

Computer and computing technologies in agriculture IV = 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22 - 25, 2010 : selected papers.. Part IV / by: (Language materials, printed)

Technological innovation for sustainability = Second IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2011, Costa de Caparica, Portugal, February 21 - 23, 2011 : proceedings / by: (Language materials, printed)

Multimedia Introduction to Programming Using Java by: (Language materials, printed)

Unfoldings = A Partial-Order Approach to Model Checking / by: (Language materials, printed)

Software Composition = 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings / by: (Language materials, printed)

Enterprise Interoperability. = New Challenges and Industrial Approaches /. III by: (Language materials, printed)

Security in E-Learning by: (Language materials, printed)

Component-Based Software Testing with UML by: (Language materials, printed)

Requirements Engineering by: (Language materials, printed)

Learning Design = A Handbook on Modelling and Delivering Networked Education and Training / by: (Language materials, printed)

Categories for Software Engineering by: (Language materials, printed)

Testing Commercial-off-the-Shelf Components and Systems by: (Language materials, printed)

Ontologies for Agents: Theory and Experiences by: (Language materials, printed)

Rationale-based software engineering by: (Language materials, printed)

Agile business rule development = process, architecture, and JRules examples / by: (Language materials, printed)

Decision Procedures = An Algorithmic Point of View / by: (Language materials, printed)

OpenMP in a New Era of Parallelism = 4th international workshop, IWOMP 2008, West Lafayette, IN, USA, May 12-14, 2008 : proceedings / by: (Language materials, printed)

Service-oriented computing = ICSOC 2010 International Workshops, PAASC, WESOA, SEE, and SOC-LOG, San Francisco, CA, USA, December 7-10, 2010 : revised selected papers / by: (Language materials, printed)

Hardware and software: verification and testing = 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 : revised selected papers / by: (Language materials, printed)

Search computing = trends and developments / by: (Language materials, printed)

Passive and active measurement = 12th international conference, PAM 2011, Atlanta, GA, USA, March 20-22, 2011 : proceedings / by: (Language materials, printed)

Advances in Enterprise Engineering I = 4th International Workshop CIAO! and 4th International Workshop EOMAS, held at CAiSE 2008, Montpellier, France, June 16-17, 2008. Proceedings / by: (Language materials, printed)

Foundations of software science and computational structures = 14th International Conference, FOSSACS 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings / by: (Language materials, printed)

Fundamental approaches to software engineering = 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings / by: (Language materials, printed)

Programming languages and systems = 20th European Symposium on Programming, ESOP 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 :proceedings / by: (Language materials, printed)

Tools and algorithms for the construction and analysis of systems = 17th International Conference, TACAS 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings / by: (Language materials, printed)

Compiler construction = 20th International Conference, CC 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings / by: (Language materials, printed)

Reconfigurable computing = architectures, tools and applications : 7th international symposium, ARC 2011, Belfast, UK, March 23-25, 2011 : proceedings / by: (Language materials, printed)

Enterprise Architecture at Work = Modelling, Communication, and Analysis / by: (Language materials, printed)

Formal methods = foundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers / by: (Language materials, printed)

Requirements engineering: foundation for software quality = 17th International Working Conference, REFSQ 2011, Essen, Germany, March 28-30, 2011, proceedings / by: (Language materials, printed)

Ada 2005 Rationale = The Language, The Standard Libraries / by: (Language materials, printed)

Web services and formal methods = 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010 : revised selected papers / by: (Language materials, printed)

Theory and practice of algorithms in (computer) systems = first international ICST conference, TAPAS 2011, Rome, Italy, April 18-20, 2011 : proceedings / by: (Language materials, printed)

High Confidence Software Reuse in Large Systems = 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedings / by: (Language materials, printed)

Analysis and design of advice by: (Language materials, printed)

25 Years of Model Checking = History, Achievements, Perspectives / by: (Language materials, printed)

Identity-based encryption by: (Language materials, printed)

Pro PHP Security by: (Language materials, printed)

Knowledge discovery, knowlege engineering and knowledge management = first International Joint Conference, IC3K 2009, Funchal, Madeira, Portugal, October 6-8, 2009 : revised selected papers / by: (Language materials, printed)

Guide to Assembly Language Programming in Linux by: (Language materials, printed)

Human-robot personal relationships = third international conference, HRPR 2010, Leiden, The Netherlands, June 23-24, 2010 : revised selected papers / by: (Language materials, printed)

Enterprise interoperability = third international IFIP Working Conference, IWEI 2011, Stockholm, Sweden, March 23-24, 2011 : proceedings / by: (Language materials, printed)

Secure Systems Development with UML by: (Language materials, printed)

Specification of software systems by: (Language materials, printed)

Engineering methods in the service-oriented context = 4th IFIP WG 8.1 Working Conference on Method Engineering, ME 2011, Paris, France, April 20-22, 2011 : proceedings / by: (Language materials, printed)

Global Computing = IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers / by: (Language materials, printed)

UML Modeling Languages and Applications = <<UML>> 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers / by: (Language materials, printed)

Formal Approaches to Software Testing = 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers / by: (Language materials, printed)

Recent Trends in Algebraic Development Techniques = 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers / by: (Language materials, printed)

Fundamental Approaches to Software Engineering = 8th international conference, FASE 2005, held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings / by: (Language materials, printed)

Component-Based Software Engineering = 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 / by: (Language materials, printed)

Applications and Theory of Petri Nets 2005 = 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings / by: (Language materials, printed)

Advances in Grid Computing - EGC 2005 = European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers / by: (Language materials, printed)

Metainformatics = International Symposium, MIS 2004, Salzburg, Austria, September 15-18, 2004, Revised Selected Papers / by: (Language materials, printed)

ECOOP 2005 - Object-Oriented Programming = 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings / by: (Language materials, printed)

Peer-to-Peer Systems IV : = 4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005, Revised Selected Papers by: (Language materials, printed)

Advances in Computational Intelligence in Transport, Logistics, and Supply Chain Management by: (Language materials, printed)

Grid and Cooperative Computing - GCC 2005 : = 4th International Conference, Beijing, China, November 30 -- December 3, 2005, Proceedings by: (Language materials, printed)

Middleware 2005 : = ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005, Proceedings by: (Language materials, printed)

Recent advances in evolutionary computation for combinatorial optimization by: (Language materials, printed)

Maturing Usability = Quality in Software, Interaction and Value / by: (Language materials, printed)

Innovations for requirements analysis :from stakeholders' needs to formal designs = 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007, revised selected papers / by: (Language materials, printed)

Rightshore! = Successfully SAP(R) Projects Offshore / by: (Language materials, printed)

Architecture principles = the cornerstones of enterprise architecture / by: (Language materials, printed)

NASA formal methods = third international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 : proceedings / by: (Language materials, printed)

Declarative Agent Languages and Technologies VIII = 8th international workshop, DALT 2010, Toronto, Canada, May 10, 2010 : revised, selected and invited papers / by: (Language materials, printed)

Adaptive and natural computing algorithms = 10th international conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011 : proceedings.. Part I / by: (Language materials, printed)

Advances in new technologies, interactive interfaces, and communicability = first international conference, ADNTIIC 2010, Huerta Grande, Argentina, October 20-22, 2010 : revised selected papers / by: (Language materials, printed)

Model checking and artificial intelligence = 6th international workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010 : revised selected and invited papers / by: (Language materials, printed)

Logic-based program synthesis and transformation = 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 : revised selected papers / by: (Language materials, printed)

Logic programming and nonmonotonic reasoning = 11th international conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011 : proceedings / by: (Language materials, printed)

Formal concept analysis = 9th international conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011 : proceedings / by: (Language materials, printed)

NETWORKING 2011 = 10th International IFIP TC 6 Networking Conference, Valencia, Spain, May 9-13, 2011 : proceedings.. Part II / by: (Language materials, printed)

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 / by: (Language materials, printed)

Service-oriented perspectives in design science research = 6th international conference, DESRIST 2011, Milwaukee, WI, USA, May 5-6, 2011 : proceedings / by: (Language materials, printed)

Advances in grid and pervasive computing = 6th international conference, GPC 2011, Oulu, Finland, May 11-13, 2011 : proceedings / by: (Language materials, printed)

NETWORKING 2011 = 10th International IFIP TC 6 Networking Conference, Valencia, Spain, May 9-13, 2011 : proceedings.. Part I / by: (Language materials, printed)

Process mining = discovery, conformance and enhancement of business processes / by: (Language materials, printed)

Engineering of software = the continuing contributions of Leon J. Osterweil / by: (Language materials, printed)

Essential software architecture by: (Language materials, printed)

Advances in power electronics and instrumentation engineering = second international conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011 : proceedings / by: (Language materials, printed)

Information technology and mobile communication = international conference, AIM 2011, Nagpur, Maharashtra, India, April 21-22, 2011 : proceedings / by: (Language materials, printed)

Service availability = 5th International Service Availability Symposium, ISAS 2008, Tokyo, Japan, May 19-21, 2008 : proceedings / by: (Language materials, printed)

Wired/wireless internet communications = 6th international conference, WWIC 2008, Tampere, Finland, May 28-30, 2008 ; proceedings / by: (Language materials, printed)

Distributed applications and interoperable systems = 8thIFIP WG 6.1 international conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. proceedings / by: (Language materials, printed)

Making globally distributed software development a success story = International Conference on Software Process, ICSP 2008, Leipzig, Germany, May 10-11, 2008 : proceedings / by: (Language materials, printed)

Applications and Theory of Petri Nets = 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings / by: (Language materials, printed)

Practical Aspects of Declarative Languages = 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings / by: (Language materials, printed)

Scientific Applications of Grid Computing = First International Workshop, SAG 2004, Beijing, China, September, Revised Selected and Invited Papers / by: (Language materials, printed)

Scientific Engineering of Distributed Java Applications = 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers / by: (Language materials, printed)

Programming Languages and Systems = 14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005 : proceedings / by: (Language materials, printed)

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 / by: (Language materials, printed)

Software Architecture = 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005, Proceedings / by: (Language materials, printed)

Advanced Data Mining and Applications = First International Conference, ADMA 2005, Wuhan, China, July 22-24, 2005, Proceedings / by: (Language materials, printed)

Automated Deduction - CADE-20 = 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings / by: (Language materials, printed)

Advanced Data Mining and Applications = 4th International Conference, ADMA 2008, Chengdu, China, October 8-10, 2008. Proceedings / by: (Language materials, printed)

Software engineering, artificial intelligence, networking and parallel/distributed computing by: (Language materials, printed)

Algebra and Coalgebra in Computer Science = First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings / by: (Language materials, printed)

UbiComp 2005: Ubiquitous Computing : = 7th International Conference, UbiComp 2005, Tokyo, Japan, September 11-14, 2005, Proceedings by: (Language materials, printed)

Principles and Practice of Semantic Web Reasoning : = Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings by: (Language materials, printed)

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 by: (Language materials, printed)

Service Availability : = Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25-26, 2005, Revised Selected Papers by: (Language materials, printed)

Conceptual Modeling - ER 2005 : = 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005, Proceedings by: (Language materials, printed)

Parallel and Distributed Processing and Applications - ISPA 2005 Workshops : = ISPA 2005 International Workshops, AEPP, ASTD, BIOS, GCIC, IADS, MASN, SGCA, and WISA, Nanjing, China, November 2-5, 2005, Proceedings by: (Language materials, printed)

On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops : = OTM 2005 Workshops : OTM Confederated International Workshops and Posters : AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005, Agia Napa, Cyprus, October 31-November 4, 2005 : proceedings by: (Language materials, printed)

Engineering interactive systems = EIS 2007 joint working conferences EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007 : selected papers / by: (Language materials, printed)

Component-Based Software Development for Embedded Systems : = An Overview of Current Research Trends by: (Language materials, printed)

Distributed Computing - IWDC 2005 : = 7th International Workshop, Kharagpur, India, December 27-30, 2005, Proceedings by: (Language materials, printed)

A hybrid deliberative layer for robotic agents = fusing DL reasoning with HTN planning in autonomous robots / by: (Language materials, printed)

Euro-Par 2010 parallel processing workshops = HeteroPar, HPCC, HiBB, CoreGrid, UCHPC, HPCF, PROPER, CCPI, VHPC, Ischia, Italy, August 31-September 3 2010 : revised selected papers / by: (Language materials, printed)

Rule-based reasoning, programming, and applications = 5th international symposium, RULEML 2011, Europe, Barcelona, Spain, July 19-21 2011 : proceedings / by: (Language materials, printed)

Descriptional complexity of formal systems = 13th international workshop, DCFS 2011, Giessen/Limburg, Germany, July 25-27, 2011 : proceedings / by: (Language materials, printed)

Transactions on aspect-oriented software development VIII by: (Language materials, printed)

Automated deduction = CADE-23 : 23rd international conference on automated deduction, Wroclaw, Poland, July 31 - August 5, 2011 : proceedings / by: (Language materials, printed)

ECOOP 2011 = Object-Oriented Programming : 25th European Conference, Lancaster, Uk, July 25-29, 2011 : proceedings / by: (Language materials, printed)

Computer aided verification = 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 : proceedings / by: (Language materials, printed)

Model checking software = 18th international SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings / by: (Language materials, printed)

Ad-hoc, mobile, and wireless networks = 10th International Conference, ADHOC-NOW 2011, Paderborn, Germany, July 18-20, 2011. Proceedings / by: (Language materials, printed)

Advanced research on computer science and information engineering = international conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011 : proceedings.. Part I / by: (Language materials, printed)

Analyzing computer system performance with PERL::PDQ by: (Language materials, printed)

Advances in information technology and education = international conference, CSE 2011, Qingdao, China, July 9-10, 2011 : proceedings.. Part I / by: (Language materials, printed)

Advances in computing and communications = first international conference, ACC 2011, Kochi, India, July 22-24, 2011 : proceedings.. Part II / by: (Language materials, printed)

Semantic web services by: (Language materials, printed)

High performance architecture and grid computing = international conference, HPAGC 2011, Chandigarh, India, July 19-20, 2011 : proceedings / by: (Language materials, printed)

Advances in applied economics, business and development = international symposium, ISAEBD 2011, Dalian, China, August 6-7, 2011 : proceedings.. Part II / by: (Language materials, printed)

Trends in network and communications = international conferences, NeCOM, WeST, WiMoN 2011, Chennai, India, July 15-17, 2011 : proceedings / by: (Language materials, printed)

Education and Management = international symposium, ISAEBD 2011, Dalian, China, August 6-7, 2011 : proceedings.. Part III / by: (Language materials, printed)

Cloud computing = web-based dynamic IT services / by: (Language materials, printed)

Applied economics, business and development = international symposium, ISAEBD 2011, Dalian, China, August 6-7, 2011 : proceedings.. Part I / by: (Language materials, printed)

Advances in computer science and education applications = international conference, CSE 2011, Qingdao, China, July 9-10, 2011 : proceedings.. Part II / by: (Language materials, printed)

Parallel and distributed computing and networks = international conference, PDCN 2010, Chongqing, China, December 13-14, 2010 : revised selected papers / by: (Language materials, printed)

Advances in computing and communications = first international conference, ACC 2011, Kochi, India, July 22-24, 2011 : proceedings.. Part I / by: (Language materials, printed)

Advanced research on computer science and information engineering = international conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011 : proceedings.. Part II / by: (Language materials, printed)

e-technologies and networks for development = first international conference, ICeND 2011, Dar-es-Salaam, Tanzania, August 3-5, 2011 : proceedings / by: (Language materials, printed)

Advances in network security and applications = 4th international conference, CNSA 2011, Chennai, India, July 15-17, 2011 / by: (Language materials, printed)

Advances in education and management = international symposium, ISAEBD 2011, Dalian, China, August 6-7, 2011 : proceedings.. Part IV / by: (Language materials, printed)

Advanced information systems engineering workshops = CAiSE 2011 international workshops, London, UK, June 20-24, 2011 : proceedings / by: (Language materials, printed)

Web information systems and technologies = 6th international conference, WEBIST 2010, Valencia, Spain, April 7-10, 2010 : revised selected papers / by: (Language materials, printed)

Distributed Computing and Networking = 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008. Proceedings / by: (Electronic resources)

Wireless Sensor Networks = 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008. Proceedings / by: (Language materials, printed)

Software process improvement and capability determination = 11th international conference, SPICE 2011, Dublin, Ireland, May 30 - June 1, 2011 : proceedings / by: (Language materials, printed)

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 / by: (Language materials, printed)

Semantic Service Provisioning by: (Language materials, printed)

Business Information Systems = 11th International Conference, BIS 2008, Innsbruck, Austria, May 5-7, 2008. Proceedings / by: (Language materials, printed)

The semantic web = research and applications ; 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008, proceedings / by: (Language materials, printed)

Analytical and stochastic modeling techniques and applications = 18th international conference, ASMTA 2011, Venice, Italy, June 20-22, 2011 : proceedings / by: (Language materials, printed)

Pervasive computing = 9th international conference, Pervasive 2011, San Francisco, USA, June 12-15, 2011 : proceedings / by: (Language materials, printed)

Relational and algebraic methods in computer science = 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011 : proceedings / by: (Language materials, printed)

Distributed applications and interoperable systems = 11th IFIP WG 6.1 International Conference, DAIS 2011, Reykjavik, Iceland, June 6-9, 2011 : proceedings / by: (Language materials, printed)

Coordination models and languages = 13th international conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011 : proceedings / by: (Language materials, printed)

OpenMP in the petascale era = 7th international workshop on OpenMP, IWOMP 2011, Chicago, IL, USA, June 13-15, 2011 : proceedings / by: (Language materials, printed)

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 / by: (Language materials, printed)

Modelling foundations and applications = 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 : proceedings / by: (Language materials, printed)

Formal methods for eternal networked software systems = 11th international school on formal methods for the design of computer, communication and software systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011 : advanced lectures / by: (Language materials, printed)

Top productivity through software reuse = 12th international conference on software reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011 : proceedings / by: (Language materials, printed)

Automated reasoning with analytic tableaux and related methods = 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings / by: (Language materials, printed)

Computational science and its applications = ICCSA 2011 : international conference, Santander, Spain, June 20-23, 2011 : proceedings.. Part II / by: (Language materials, printed)

Computational science and its applications = ICCSA 2011 : international conference, Santander, Spain, June 20-23, 2011 : proceedings.. Part I / by: (Language materials, printed)

Computational science and its applications = ICCSA 2011 : international conference, Santander, Spain, June 20-23, 2011 : proceedings.. Part III / by: (Language materials, printed)

Computational science and its applications = ICCSA 2011 : international conference, Santander, Spain, June 20-23, 2011 : proceedings.. Part V / by: (Language materials, printed)

Computational science and its applications = ICCSA 2011 : international conference, Santander, Spain, June 20-23, 2011 : proceedings.. Part IV / by: (Language materials, printed)

System analysis and modeling = about models : 6th international workshop, SAM 2010, Oslo, Norway, October 4-5, 2010 : revised selected papers / by: (Language materials, printed)

Transactions on computational collective intelligence IV by: (Language materials, printed)

Automata, languages and programming = 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.. Part II / by: (Language materials, printed)

FM 2011 = formal methods : 17th international symposium on formal methods, Limerick, Ireland, June 20-24, 2011 : proceedings / by: (Language materials, printed)

Algebraic informatics = 4th international conference, CAI 2011, Linz, Austria, June 21-24, 2011 : ;proceedings / by: (Language materials, printed)

Software composition = 10th international conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings / by: (Language materials, printed)

Objects, models, components, patterns = 49th international conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011 : proceedings / by: (Language materials, printed)

Managing the dynamics of networks and services = 5th international conference on autonomous infrastructure, management, and security, AIMS 2011, Nancy, France, June 13-17, 2011 : proceedings / by: (Language materials, printed)

Wired/wireless internet communications = 9th IFIP TC 6 international conference, WWIC 2011, Vilanova i la Geltru, Spain, June 15-17, 2011 : proceedings / by: (Language materials, printed)

Theory and practice of model transformations = 4th international conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011 : proceedings / by: (Language materials, printed)

Tests and proofs = 5th international conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings / by: (Language materials, printed)

Applications and theory of petri nets = 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011 : proceedings / by: (Language materials, printed)

Reliable software technologies = Ada-Europe 2011 : 16th Ada-Europe international conference on reliable software technologies, Edinburgh, UK, June 20-24, 2011 : proceedings / by: (Language materials, printed)

Advanced information systems engineering = 23rd international conference, CAiSE 2011, London, UK, June 20-24, 2011 : proceedings / by: (Language materials, printed)

Product-focused software process improvement = 12th international conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011 : proceedings / by: (Language materials, printed)

Future information technology = 6th international conference, FutureTech 2011, Loutraki, Greece, June 28-30, 2011 : proceedings.. Part II / by: (Language materials, printed)

Advances in wireless, mobile networks and applications = international conferences, WiMoA 2011 and ICCSEA 2011, Dubai, United Arab Emirates, May 25-27, 2011 : proceedings / by: (Language materials, printed)

Mathematics of Program Construction = 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings / by: (Language materials, printed)

Digital information and communication technology and its applications = international conference, DICTAP 2011, Dijon, France, June 21-23, 2011 :proceedings.. Part I / by: (Language materials, printed)

Digital information and communication technology and its applications = international conference, DICTAP 2011, Dijon, France, June 21-23, 2011 :proceedings.. Part II / by: (Language materials, printed)

Software business = second international conference, ICSOB 2011, Brussels, Belgium, June 8-10, 2011 : proceedings / by: (Language materials, printed)

Systems, software and services process improvement = 18th European conference, EuroSPI 2011, Roskilde, Denmark, June 27-29, 2011. Proceedings / by: (Language materials, printed)

Research and education in robotics - EUROBOT 2011 = international conference, Prague, Czech Republic, June 15-17, 2011 : proceedings / by: (Language materials, printed)

HCI International 2011 - Posters' extended abstracts = international conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011 : roceedings.. Part II / by: (Language materials, printed)

Secure Transaction Protocol Analysis = Models and Applications / by: (Language materials, printed)

HCI International 2011 - Posters' extended abstracts = international conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011 : roceedings.. Part I / by: (Language materials, printed)

Secure and trust computing, data management and applications = 8th FIRA international conference, STA 2011, Loutraki, Greece, June 28-30, 2011 : proceedings / by: (Language materials, printed)

Software engineering and computer systems = second international conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011 : proceedings.. Part III / by: (Language materials, printed)

Future information technology = 6th international conference, FutureTech 2011, Loutraki, Greece, June 28-30, 2011 : proceedings.. Part I / by: (Language materials, printed)

Digital information processing and communications = international conference, ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011 : proceedings.. Part II / by: (Language materials, printed)

Software engineering and computer systems = second international conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011 : proceedings.. Part I / by: (Language materials, printed)

Software engineering and computer systems = second international conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011 : proceedings.. Part II / by: (Language materials, printed)

Digital information processing and communications = international conference, ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011 : proceedings.. Part I / by: (Language materials, printed)

Advances in Computing and Information Technology = first international conference, ACITY 2011, Chennai, India, July 15-17, 2011 : proceedings / by: (Language materials, printed)

Networked digital technologies = third international conference, NDT 2011, Macau, China, July 11-13, 2011 : proceedings / by: (Language materials, printed)

Enterprise, business-process and information systems modeling = 12th international conference, BPMDS 2011, and 16th International Conference, EMMSAD 2011, held at CAiSE 2011, London, UK, June 20-21, 2011 : proceedings / by: (Language materials, printed)

Distributed and Parallel Systems = In Focus: Desktop Grid Computing / by: (Language materials, printed)

Ad-hoc, mobile, and wireless networks = 7th International Conference, ADHOC-NOW 2008 Sophia-Antipolis, France, September 10-12, 2008 Proceedings / by: (Language materials, printed)

Model Driven Engineering Languages and Systems = 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings / by: (Language materials, printed)

Cooperative design, visualization and engineering = 5th international conference, CDVE 2008, Calvia, Mallorca, Spain, September 21-25, 2008 : proceedings / by: (Language materials, printed)

Models in software engineering = workshops and symposia at MODELS 2010, Oslo, Norway, October 3-8, 2010 : reports and revised selected papers / by: (Language materials, printed)

Foundations of computer software = modeling, development, and verification of adaptive systems : 16th Monterey Workshop 2010, Redmond, WA, USA, March 31 - April 2, 2010 : revised selected papers / by: (Language materials, printed)

Coordination, organizations, institutions, and norms in agent systems VI = COIN 2010 International Workshops, COIN@AAMAS 2010, Toronto, Canada, May 2010, COIN@MALLOW 2010, Lyon, France, August 2010 : revised selected papers / by: (Language materials, printed)

Transactions on computational collective intelligence III by: (Language materials, printed)

Model-based software performance analysis by: (Language materials, printed)

Agile processes in software engineering and extreme programming = 12th International Conference, XP 2011, Madrid, Spain, May 10-13, 2011 : proceedings / by: (Language materials, printed)

Business process management workshops = BPM 2010 International Workshops and Education Track, Hoboken, NJ, USA, September 13-15, 2010 : revised selected papers / by: (Language materials, printed)

Programming languages and systems = 6th Asian symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, proceedings / by: (Language materials, printed)

Middleware 2008 = ACM-IFIP-USENIX 9th International Middleware Conference, Leuven Belgium, December 1-5 2008, proceedings / by: (Language materials, printed)

Agile software engineering by: (Language materials, printed)

Validated Designs for Object-oriented Systems by: (Language materials, printed)

An Integrated Approach to Software Engineering by: (Language materials, printed)

Software Product Line Engineering = Foundations, Principles, and Techniques / by: (Language materials, printed)

A Practical Theory of Reactive Systems = Incremental Modeling of Dynamic Behaviors / by: (Language materials, printed)

Artificial Life Models in Software by: (Language materials, printed)

The Best Software Writing I by: (Language materials, printed)

Mechanizing Mathematical Reasoning = Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday / by: (Language materials, printed)

Systems Aspects in Organic and Pervasive Computing - ARCS 2005 = 18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14-17, 2005, Proceedings / by: (Language materials, printed)

Embedded Systems Design = The ARTIST Roadmap for Research and Development / by: (Language materials, printed)

Logic for Programming, Artificial Intelligence, and Reasoning = 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings / by: (Language materials, printed)

Theoretical Aspects of Computing - ICTAC 2004 = First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers / by: (Language materials, printed)

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 / by: (Language materials, printed)

Computational Methods in Systems Biology = International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers / by: (Language materials, printed)

Foundations of Software Science and Computational Structures = 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 / by: (Language materials, printed)

Compiler Construction = 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 / by: (Language materials, printed)

Security in Pervasive Computing = Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings / by: (Language materials, printed)

NETWORKING 2005 : = bnetworking technologies, services, and protocols : performance of computer and communication networks : mobile and wireless communication systems : 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005 : proceedings by: (Language materials, printed)

Ubiquitous Computing Systems = Second International Symposium, UCS, Tokyo, Japan, November 8-9, 2004, Revised Selected Papers / by: (Language materials, printed)

Computer Supported Cooperative Work in Design I : = 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers by: (Language materials, printed)

Engineering Human Computer Interaction and Interactive Systems = Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers by: (Language materials, printed)

The Semantic Web: Research and Applications = Second European Semantic Web Conference, ESWC 2005, Heraklion, Crete, Greece, May 29--June 1, 2005, Proceedings / by: (Language materials, printed)

Product Focused Software Process Improvement = 6th International Conference, PROFES 2005, Oulu, Finland, June 13-18, 2005, Proceedings / by: (Language materials, printed)

Data Management in a Connected World = Essays Dedicated to Hartmut Wedekind on the Occasion of His 70th Birthday / by: (Language materials, printed)

Software Composition : = 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers by: (Language materials, printed)

Automated Technology for Verification and Analysis : = Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings by: (Language materials, printed)

Service-Oriented Computing - ICSOC 2005 : = Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings by: (Language materials, printed)

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 / by: (Language materials, printed)

Formal Concept Analysis = 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings / by: (Language materials, printed)

Architecture of Computing Systems-ARCS 2008 = 21st International Conference, Dresden, Germany, February 25-28, 2008. Proceedings / by: (Language materials, printed)

Programming languages and systems = 17th European Symposium on Programming, ESOP 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 / by: (Language materials, printed)

Tests and proofs = second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings / by: (Language materials, printed)

Programming multi-agent systems = 5th international workshop, PROMAS 2007 Honolulu, HI, USA, May 14-18, 2007 revised and invited papers / by: (Language materials, printed)

Agent-oriented software engineering VIII = 8th international workshop, AOSE 2007, Honolulu, HI, USA, May 14-18, 2007, revised selected papers / by: (Language materials, printed)

Formal techniques for networked and distributed systems--FORTE 2008 = 28th IFIP WG 6.1 international conference, Tokyo, Japan, June 10-13, 2008 : proceedings / by: (Language materials, printed)

Formal methods for open object-based distributed systems = 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 proceedings / by: (Language materials, printed)

Model Driven Architecture Foundations and Applications = 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings / by: (Language materials, printed)

Agile Processes in Software Engineering and Extreme Programming = 9th International Conference, XP 2008, Limerick, Ireland, June 10-14, 2008. Proceedings / by: (Language materials, printed)

Objects, Components, Models and Patterns = 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings / by: (Language materials, printed)

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 / by: (Language materials, printed)

Model Checking Software = 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings / by: (Language materials, printed)

Computer performance engineering = 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008 : proceedings / by: (Language materials, printed)

Software architecture by: (Language materials, printed)

Developing with Ext GWT = enterprise RIA development / by: (Language materials, printed)

Conceptual Modeling - ER 2009 = 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009 : Proceedings / by: (Language materials, printed)

Principles of practice in multi-agent systems = 12th international conference, PRIMA 2009, Nagoya, Japan, December 14-16, 2009 : proceedings / by: (Language materials, printed)

Transactions on pattern languages of programming I by: (Language materials, printed)

Scalable information systems = 4th International ICST Conference, INFOSCALE 2009, Hong Kong, June 10-11, 2009 : revised selected papers / by: (Language materials, printed)

Formal methods for industrial critical systems = 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 : proceedings / by: (Language materials, printed)

Advances in conceptual modeling-challenging perspectives = ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, Qo1S, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009 : proceedings / by: (Language materials, printed)

Transactions on petri nets and other models of concurrency III by: (Language materials, printed)

Rule interchange and applications = international symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5 - 7, 2009 : proceedings / by: (Language materials, printed)

Testing of software and communication systems = 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009 : proceedings / by: (Language materials, printed)

FM 2009 = formal methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings / by: (Language materials, printed)

Software process and product measurement = International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009 : proceedings / by: (Language materials, printed)

Engineering societies in the agents world X = 10th international workshop, ESAW 2009, Utrecht, The Netherlands, November 18-20, 2009 : proceedings / by: (Language materials, printed)

Formal methods and software engineering = 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings / by: (Language materials, printed)

Services-oriented computing = 7th international joint conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009 : proceedings / by: (Language materials, printed)

Middleware 2009 = ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30 - December 4, 2009 : proceedings / by: (Language materials, printed)

Formal methods = foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : revised selected papers / by: (Language materials, printed)

Programming languages and systems = 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009 : proceedings / by: (Language materials, printed)

Advances in Software Engineering = International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers / by: (Language materials, printed)

Semantic methods for execution-level business process modeling = modeling support through process verification and service composition / by: (Language materials, printed)

Advances in communication and networking = Second International Conference on Future Generation Communication and Networking : FGCN 2008, Sanya, Hainan Island, China, December 13-15, 2008 : revised selected papers / by: (Language materials, printed)

Advances in computational science and engineering = Second International Conference, FGCN 2008, Workshops and Symposia, Sanya, Hainan Island, China, December 13-15, 2008 : revised selected papers / by: (Language materials, printed)

Advances in Information Technology = Third International Conference, IAIT 2009, Bangkok, Thailand, December 1-5, 2009 : proceedings / by: (Language materials, printed)

Advances in Software Engineering = International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009 : Proceedings / by: (Language materials, printed)

Software engineering research, management and applications 2009 by: (Language materials, printed)

Advanced functional programming = 6th International School, AFP 2008, Heijen, the Netherlands, May 19-24, 2008 : revised lectures / by: (Language materials, printed)

Runtime verification = 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers / by: (Language materials, printed)

Automated technology for verification and analysis = 7th onternational symposium, ATVA 2009, Macao, China, October 14-16, 2009 : proceedings / by: (Language materials, printed)

Automated reasoning with analytic tableaux and related methods = 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 : proceedings / by: (Language materials, printed)

Transactions on aspect-oriented software development VI = special issue on aspects and model-driven engineering / by: (Language materials, printed)

Model Driven Engineering Languages and Systems = 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings / by: (Language materials, printed)

Computational collective intelligence = semantic web, social networks and multiagent systems : first International Conference, ICCCI 2009, Wrocaw, Poland, October 5-7, 2009 : proceedings / by: (Language materials, printed)

Job Scheduling Strategies for Parallel Processing = 14th international workshop, JSSPP 2009, Rome, Italy, May 29, 2009 : revised papers / by: (Language materials, printed)

Teaching formal methods = second international conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings / by: (Language materials, printed)

Adaptive and natural computing algorithms = 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers / by: (Language materials, printed)

Next generation information technologies and systems = 7th international conference, NGITS 2009, Haifa, Israel, June 16-18, 2009 : revised selected papers / by: (Language materials, printed)

Web reasoning and rule systems = third international conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009 : proceedings / by: (Language materials, printed)

Algorithmic aspects of wireless sensor networks = 5th international workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009 : revised selected papers / by: (Language materials, printed)

Architecting dependable systems VI by: (Language materials, printed)

Performance evaluation and benchmarking = first TPC technology conference, TPCTC 2009, Lyon, France, August 24-28, 2009 : revised selected papers / by: (Language materials, printed)

Enterprise Interoperability = second IFIP WG 5.8 International Workshop, IWEI 2009, Valencia, Spain, October 13-14, 2009 : proceedings / by: (Language materials, printed)

Software and data technologies = Third International Conference, ICSOFT 2008, Porto, Portugal, July 22-24, 2008 : revised selected papers / by: (Language materials, printed)

Analysis, architectures and modelling of embedded systems = Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009 : Proceedings / by: (Language materials, printed)

Efficient algorithms = essays dedicated to Kurt Mehlhorn on the occasion of his 60th birthday / by: (Language materials, printed)

Multiagent system technologies = 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings / by: (Language materials, printed)

Semantics and algebraic specification = essays dedicated to Peter D. Mosses on the occasion of his 60th birthday / by: (Language materials, printed)

Formal foundations of reuse and domain engineering = 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009 : proceedings / by: (Language materials, printed)

Frontiers of combining systems = 7th international symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009 : proceedings / by: (Language materials, printed)

Logic programming and nonmonotonic reasoning = 10th international conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009 : proceedings / by: (Language materials, printed)

Principles and practice of constraint programming - CP 2009 = 15th international conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 : proceedings / by: (Language materials, printed)

Cooperative design, visualization, and engineering = 6th international conference, CDVE 2009, Luxembourg, Luxembourg, September 20-23, 2009 : proceedings / by: (Language materials, printed)

Formal modeling and analysis of timed systems = 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings / by: (Language materials, printed)

Ad-hoc, mobile, and wireless networks = 8th international conference, ADHOC-NOW 2009, Murcia, Spain, September 22-25, 2009 : proceedings / by: (Language materials, printed)

Scalable uncertainty management = third international conference, SUM 2009, Washington, DC, September 28-30, 2009 : proceedings / by: (Language materials, printed)

Computer safety, reliability, and security = 28th international conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009 : proceedings / by: (Language materials, printed)

SDL 2009 = design for motes and mobiles : 14th International SDL Forum, Bochum, Germany, September 22-24, 2009 : proceedings / by: (Language materials, printed)

ECOOP 2009--object-oriented programming = 23rd European conference, Genoa, Italy, July 6-10, 2009 ; proceedings / by: (Language materials, printed)

Software process improvement = 16th European conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 2009 : proceedings / by: (Language materials, printed)

Static analysis = 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : Proceedings / by: (Language materials, printed)

Wireless algorithms, systems, and applications = 4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009. Proceedings / by: (Language materials, printed)

Theoretical aspects of computing - ICTAC 2009 = 6th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings / by: (Language materials, printed)

Database and XML technologies = 6th International XML Database Symposium, XSym 2009, Lyon, France, August 24, 2009 : proceedings / by: (Language materials, printed)

Algebraic informatics = third international conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009 : proceedings / by: (Language materials, printed)

Human computer interaction - INTERACT 2009 = 12th IFIP TC 13 international conference, Uppsala, Sweden, August 24-28, 2009 : proceedings.. Part I / by: (Language materials, printed)

Human computer interaction - INTERACT 2009 = 12th IFIP TC 13 international conference, Uppsala, Sweden, August 24-28, 2009 : proceedings.. Part II / by: (Language materials, printed)

Data management in grid and peer-to-peer systems = Second International Conference, Globe 2009 Linz, Austria, September 1-2, 2009 Proceedings / by: (Language materials, printed)

Euro-Par 2009 - parallel processing = 15th International Euro-Par Conference, Delft, The Netherlands, August 25-28, 2009 : proceedings / by: (Language materials, printed)

Formal Methods for Components and Objects = 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures / by: (Language materials, printed)

Pro Android by: (Language materials, printed)

Software architecture knowledge management = theory and practice / by: (Language materials, printed)

Engineering Web applications by: (Language materials, printed)

Bio-inspired algorithms for the vehicle routing problem by: (Language materials, printed)

Middleware 2011 = ACM/IFIP/USENIX 12th International Middleware Conference, Lisbon, Portugal, December 12-16, 2011 : proceedings / by: (Language materials, printed)

Future generation information technology = third international conference, FGIT 2011 in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011 : proceedings / by: (Language materials, printed)

Performance evaluation of computer and communication systems = milestones and future challenges : IFIP WG 6.3/7.3 international workshop, PERFORM 2010, in Honor of Gunter Haring on the Occasion of His Emeritus Celebration, Vienna, Austria, October 14-16, 2010 : revised selected papers / by: (Language materials, printed)

Programming languages and systems = 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011 : proceedings / by: (Language materials, printed)

Information computing and applications = second international conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011 : proceedings / by: (Language materials, printed)

Smart card research and advanced applications = 10th IFIP WG 8.8/11.2 international conference, CARDIS 2011, Leuven, Belgium, September 14-16, 2011 : revised selected papers / by: (Language materials, printed)

Building the e-World ecosystem = 11th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2011, Kaunas, Lithuania, October 12-14, 2011, revised selected papers / by: (Language materials, printed)

Information computing and applications = second international conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011 : proceedings.. Part I / by: (Language materials, printed)

Principles of distributed systems = 15th international conference, OPODIS 2011, Toulouse, France, December 13-16, 2011 : proceedings / by: (Language materials, printed)

Software engineering, business continuity, and education = international conferences ASEA, DRBC and EL 2011, held as part of the Future Generation Information Technology Conference, FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011 : proceedings / by: (Language materials, printed)

Innovative computing technology = first international conference, INCT 2011, Tehran, Iran, December 13-15, 2011 : proceedings / by: (Language materials, printed)

Computer science = the hardware, software and heart of it / by: (Language materials, printed)

Computational intelligence and information technology = first international conference, CIIT 2011, Pune, India, November 7-8, 2011 : proceedings / by: (Language materials, printed)

Multimedia, computer graphics and broadcasting = international conference, MulGraB 2011, held as part of the Future Generation Information Technology Conference, FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011 : proceedings.. Part II / by: (Language materials, printed)

Grid and distributed computing = international conference, GDC 2011, held as part of the Future Generation Information Technology Conference, FGIT 2011, Jeju Island, Korea, December 8-10, 2011 : proceedings / by: (Language materials, printed)

Control and automation, and energy system engineering = international conferences, CA and CES3 2011, held as part of the Future Generation Information Technology Conference, FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011 : proceedings / by: (Language materials, printed)

Evaluation of novel approaches to software engineering = 5th international conference, ENASE 2010, Athens, Greece, July 22-24, 2010, revised selected papers / by: (Language materials, printed)

Computer information systems - analysis and technologies = 10th International Conference, CISIM 2011, Kolkata, India, December 14-16, 2011 : proceedings / by: (Language materials, printed)

Information computing and applications = second international conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011 : proceedings.. Part II / by: (Language materials, printed)

Certified programs and proofs = first international conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011 : proceedings / by: (Language materials, printed)

Ambient intelligence = second international joint conference on AmI 2011, Amsterdam, The Netherlands, November 16-18, 2011 : proceedings / by: (Language materials, printed)

Research in systems analysis and design = models and methods : 4th SIGSAND/PLAIS EuroSymposium 2011, Gdansk, Poland, September 29, 2011, revised selected papers / by: (Language materials, printed)

Automated deduction in geometry = 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers / by: (Language materials, printed)

Agents in principle, agents in practice = 14th international conference, PRIMA 2011, Wollongong, Australia, November 16-18, 2011 : proceedings / by: (Language materials, printed)

Algebraic foundations in computer science = essays dedicated to Symeon Bozapalidis on the occasion of his retirement / by: (Language materials, printed)

Formal methods, foundations and applications = 14th Brazilian Symposium, SBMF 2011, Sao Paulo, Brazil, September 26-30, 2011 : revised selected papers / by: (Language materials, printed)

Service-oriented computing = 9th international conference, ICSOC 2011, Paphos, Cyprus, December 5-8, 2011 : proceedings / by: (Language materials, printed)

Testing software and systems = 23rd IFIP WG 6.1 international conference, ICTSS 2011, Paris, France, November 7-10, 2011 : proceedings / by: (Language materials, printed)

Internet and network economics = 7th international workshop, WINE 2011, Singapore, December 11-14, 2011 : proceedings / by: (Language materials, printed)

Complex networks = second international workshop, CompleNet 2010, Rio de Janeiro, Brazil, October 13-15, 2010, revised selected papers / by: (Language materials, printed)

Business process model and notation = third international workshop, BPMN 2011, Lucerne, Switzerland, November 21-22, 2011 : proceedings / by: (Language materials, printed)

Adaptive and natural computing algorithms : = 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers / by: (Language materials, printed)

Advances in communication and networking : = Second International Conference on Future Generation Communication and Networking : FGCN 2008, Sanya, Hainan Island, China, December 13-15, 2008 : revised selected papers / by: (Language materials, printed)

Advances in conceptual modeling-challenging perspectives : = ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, Qo1S, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009 : proceedings / by: (Language materials, printed)

Advances in grid and pervasive computing : = 4th international conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009 : proceedings / by: (Language materials, printed)

Advances in Information Technology : = Third International Conference, IAIT 2009, Bangkok, Thailand, December 1-5, 2009 : proceedings / by: (Language materials, printed)

Advances in Software Engineering : = International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers / by: (Language materials, printed)

Data management in grid and peer-to-peer systems : = Second International Conference, Globe 2009 Linz, Austria, September 1-2, 2009 Proceedings / by: (Language materials, printed)

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 / by: (Language materials, printed)

Software engineering and formal methods = 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings / by: (Language materials, printed)

Algorithms and architectures for parallel processing = 11th international conference, ICA300 2011, Melbourne, Australia, October 24-26, 2011 : proceedings.. Part II / by: (Language materials, printed)

Collaboration and technology = 17th international conference, CRIWG 2011, Paraty, Brazil, October 2-7, 2011 : proceedings / by: (Language materials, printed)

Algorithms and architectures for parallel processing = 11th international conference, ICA3PP, Melbourne, Australia, October 24-26, 2011 : proceedings.. Part I / by: (Language materials, printed)

Formal modeling = actors, open systems, biological systems : essays dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday / by: (Language materials, printed)

On the move to meaningful internet systems = OTM 2011 : confederated international conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011 : proceedings.. Part II / by: (Language materials, printed)

Model and data engineering = first international conference, MEDI 2011, Obidos, Portugal, September 28-30, 2011 : proceedings / by: (Language materials, printed)

Conceptual modeling = ER 2011 : 30th international conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011 : proceedings / by: (Language materials, printed)

Formal methods and software engineering = 13th international conference on formal engineering methods, ICFEM 2011, Durham, UK, October 26-28, 2011 : proceedings / by: (Language materials, printed)

On the move to meaningful internet systems = OTM 2011 : confederated international conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011 : proceedings.. Part I / by: (Language materials, printed)

Network and parallel computing = 8th IFIP international conference, NPC 2011, Changsha, China, October 21-23, 2011 : proceedings / by: (Language materials, printed)

Multiagent system technologies = 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011 : proceedings / by: (Language materials, printed)

Agent-oriented software engineering XI = 11th international workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010 : revised selected papers / by: (Language materials, printed)

Implementation and application of functional languages = 22nd international symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010 : revised selected papers / by: (Language materials, printed)

Distributed computing = 25th international symposium, DISC 2011, Rome, Italy, September 20-22, 2011 : proceedings / by: (Language materials, printed)

Rule-based modeling and computing on the Semantic Web = 5th international symposium, RuleML 2011 - America, Ft. Lauderdale, FL, Florida, USA, November 3-5, 2011 : proceedings / by: (Language materials, printed)

Towards a service-based Internet = ServiceWave 2010 workshops : international workshops, OCS, EMSOA, SMART, and EDBPM 2010, Ghent, Belgium, December 13-15, 2010 : revised selected papers / by: (Language materials, printed)

On the move to meaningful internet systems = OTM 2011 Workshops : Confederated International Workshops and Posters: EI2N+NSF ICE, ICSP+INBAST, ISDE, ORM, OTMA, SWWS+MONET+SeDeS, and VADER 2011, Hersonissos, Crete, Greece, October 17-21, 2011 : proceedings / by: (Language materials, printed)

Model driven engineering languages and systems = 14th international conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011 : proceedings / by: (Language materials, printed)

Web information system engineering = WISE 2011 : 12th international conference, Sydney, Australia, October 13-14, 2011 : proceedings / by: (Language materials, printed)

Sensor systems and software = second International ICST Conference, S-Cube 2010, Miami, FL, USA, December 13-15, 2010, revised selected papers / by: (Language materials, printed)

Security-enriched urban computing and smart grid = second international conference, SUComS 2011, Hualien, Taiwan, September 21-23, 2011 : proceedings / by: (Language materials, printed)

New studies in global IT and business service outsourcing = 5th Global Scourcing Workshop 2011, Courchevel, France, March 14-17, 2011, revised selected papers / by: (Language materials, printed)

Open source systems = grounding research : 7th IFIP WG 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011 : proceedings / by: (Language materials, printed)

S-BPM ONE - learning by doing - doing by learning = third international conference, S-BPM ONE 2011, Ingolstadt, Germany, September 29-30, 2011 : proceedings / by: (Language materials, printed)

Advances in parallel, distributed computing = first international conference on parallel, distributed computing technologies and applications, PDCTA 2011, Tirunelveli, India, September 23-25, 2011 : proceedings / by: (Language materials, printed)

Implementation and application of functional languages = 20th international symposium, IFL 2008, Hatfield, UK, September 10-12, 2008 : revised selected papers / by: (Language materials, printed)

Automated technology for verification and analysis = 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 : proceedings / by: (Language materials, printed)

Enterprise information systems = international conference, CENTERIS 2011, Vilamoura, Portugal, October 5-7, 2011 : proceedings.. Part III / by: (Language materials, printed)

Software engineering for resilient systems = third international workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011 : proceedings / by: (Language materials, printed)

Artificial intelligence and computational intelligence = third international conference, AICI 2011, Taiyuan, China, September 24-25, 2011 : proceedings.. Part III / by: (Language materials, printed)

Formal modeling and analysis of timed systems = 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 : proceedings / by: (Language materials, printed)

Reachability problems = 5th international workshop, RP 2011, Genoa, Italy, September 28-30, 2011 : proceedings / by: (Language materials, printed)

Frontiers of combining systems = 8th international symposium, FroCoS 2011, Saarbrucken, Germany, October 5-7, 2011 : proceedings / by: (Language materials, printed)

Web information systems and mining = international conference, WISM 2011, Taiyuan, China, September 24-25, 2011 : proceedings.. Part II / by: (Language materials, printed)

Recent advances in the message passing interface = 18th European MPI Users' Group Meeting, EuroMPI 2011, Santorini, Greece, September 18-21, 2011 : proceedings / by: (Language materials, printed)

Static analysis = 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings / by: (Language materials, printed)

Computational logistics = second international conference, ICCL 2011, Hamburg, Germany, September 19-22, 2011 : proceedings / by: (Language materials, printed)

Software engineering techniques = Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008 : revised selected papers / by: (Language materials, printed)

Rigorous software engineering for service-oriented systems = results of the SENSORIA project on software engineering for service-oriented computing / by: (Language materials, printed)

Artificial intelligence and computational intelligence = third international conference, AICI 2011, Taiyuan, China, September 24-25, 2011 : proceedings.. Part II / by: (Language materials, printed)

Integrated circuit and system design = power and timing modeling, optimization, and simulation : 21st international workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011 : poceedings / by: (Language materials, printed)

Software architecture = 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011 : proceedings / by: (Language materials, printed)

ENTERprise information systems = international conference, CENTERIS 2011, Vilamoura, Portugal, October 5-7, 2011 : proceedings.. Part II / by: (Language materials, printed)

Computer safety, reliability, and security = 30th international conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011 : proceedings / by: (Language materials, printed)

Artificial intelligence and computational intelligence = third international conference, AICI 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part I / by: (Language materials, printed)

Computational logic in multi-agent systems = 12th international workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011 : proceedings / by: (Language materials, printed)

Web information systems and mining = international conference, WISM 2011, Taiyuan, China, September 24-25, 2011 : proceedings.. Part I / by: (Language materials, printed)

Towards a service-based Internet = 4th European Conference, ServiceWave 2011, Poznan, Poland, October 26-28, 2011 : proceedings / by: (Language materials, printed)

Multiple access communications = 4th international workshop, MACOM 2011, Trento, Italy, September 12-13, 2011 : proceedings / by: (Language materials, printed)

Convergence and hybrid information technology = 5th international conference, ICHIT 2011, Daejeon, Korea, September 22-24, 2011 : proceedings / by: (Language materials, printed)

Emerging research in web information systems and mining = international conference, WISM 2011, Taiyuan, China, September 23-25, 2011 : proceedings / by: (Language materials, printed)

Governance and sustainability in information systems = managing the transfer and diffusion of IT : IFIP WG 8.6 International Working Conference, Hamburg, Germany, September 22-24, 2011 : proceedings / by: (Language materials, printed)

Advanced computer science and information technology = Third International Conference, AST 2011, Seoul, Korea, September 27-29, 2011 : proceedings / by: (Language materials, printed)

Ontology-based application integration by: (Language materials, printed)

ENTERprise information systems = International Conference, CENTERIS 2011, Vilamoura, Algarve, Portugal, October 5-7, 2011 : proceedings.. Part I / by: (Language materials, printed)

Mobile networks and management = Second International ICST Conference, MONAMI 2010, Santander, Spain, September 22-24, 2010 : revised selected papers / by: (Language materials, printed)

Software architecture = a comprehensive framework and guide for practitioners / by: (Language materials, printed)

Search based software engineering = third international symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011 : proceedings / by: (Language materials, printed)

Interactive theorem proving = second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011 : proceedings / by: (Language materials, printed)

Information and management engineering = international conference, ICCIC 2011, Wuhan, China, September 17-18, 2011 : proceedings.. Part VI / by: (Language materials, printed)

Subject-oriented business process management = second international conference, S-BPM ONE 2010, Karlsruhe, Germany, October 14, 2010 : selected papers / by: (Language materials, printed)

Computing and intelligent systems = international conference, ICCIC 2011, Wuhan, China, September 17-18, 2011 : proceedings.. Part III / by: (Language materials, printed)

The art of software innovation = eight practice areas to inspire your business / by: (Language materials, printed)

Advances in computer science, environment, ecoinformatics, and education = international conference, CSEE 2011, Wuhan, China, August 21-22, 2011 : proceedings.. Part I / by: (Language materials, printed)

Computing and intelligent systems = international conference, ICCIC 2011, Wuhan, China, September 17-18, 2011 : proceedings.. Part IV / by: (Language materials, printed)

Advances in computer science, environment, ecoinformatics, and education = international conference, CSEE 2011, Wuhan, China, August 21-22, 2011 : proceedings.. Part II / by: (Language materials, printed)

Innovative computing and information = international conference, ICCIC 2011, Wuhan, China, September 17-18, 2011 : proceedings.. Part I / by: (Language materials, printed)

Information and management engineering = international conference, ICCIC 2011, Wuhan, China, September 17-18, 2011 : proceedings.. Part V / by: (Language materials, printed)

Advances in computer science, environment, ecoinformatics, and education = international conference, CSEE 2011, Wuhan, China, August 21-22, 2011 : proceedings.. Part IV / by: (Language materials, printed)

Exploring services science = second international conference, IESS 2011, Geneva, Switzerland, February 16-18, 2011 : revised selected papers / by: (Language materials, printed)

Advances in computer science, environment, ecoinformatics, and education = international conference, CSEE 2011, Wuhan, China, August 21-22, 2011 : proceedings.. Part V / by: (Language materials, printed)

Advances in computer science, environment, ecoinformatics, and education = international conference, CSEE 2011, Wuhan, China, August 21-22, 2011 : proceedings.. Part III / by: (Language materials, printed)

Relating software requirements and architectures by: (Language materials, printed)

Innovative computing and information = international conference, ICCIC 2011, Wuhan, China, September 17-18, 2011 : proceedings.. Part II / by: (Language materials, printed)

Wireless algorithms, systems, and applications = 6th international conference, WASA 2011, Chengdu, China, August 11-13, 2011 : proceedings / by: (Language materials, printed)

Ubiquitous intelligence and computing = 8th international conference, UIC 2011, Banff, Canada, September 2-4, 2011 : proceedings / by: (Language materials, printed)

Trends in functional programming = 11th international symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010 : revised selected papers / by: (Language materials, printed)

NETWORKING 2011 workshops = International IFIP TC 6 Workshops, PE-CRN, NC-Pro, WCNS, and SUNSET 2011, Held at NETWORKING 2011, Valencia, Spain, May 13, 2011 : revised selected papers / by: (Language materials, printed)

Autonomic and trusted computing = 8th international conference, ATC 2011, Banff, Canada, September 2-4, 2011 : proceedings / by: (Language materials, printed)

Transactions on computational collective intelligence V by: (Language materials, printed)

Formal methods for industrial critical systems = 16th international workshop, FMICS 2011, Trento, Italy, August 29-30, 2011 : proceedings / by: (Language materials, printed)

Web reasoning and rule systems = 5th international conference, RR 2011, Galway, Ireland, August 29-30, 2011 : proceedings / by: (Language materials, printed)

Cooperative design, visualization, and engineering = 8th international conference, CDVE 2011, Hong Kong, China, September 11-14, 2011 : proceedings / by: (Language materials, printed)

Data management in grid and peer-to-peer systems = 4th international conference, Globe 2011, Toulouse, France, September 1-2, 2011 : proceedings / by: (Language materials, printed)

Human-computer interaction = INTERACT 2011 : 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011 : proceedings.. Part III / by: (Language materials, printed)

Human-computer interaction = INTERACT 2011 : 13th IFIP TC 13 international conference, Lisbon, Portugal, September 5-9, 2011 : proceedings.. Part IV / by: (Language materials, printed)

Human-computer interaction = INTERACT 2011 : 13th IFIP TC 13 international conference, Lisbon, Portugal, September 5-9, 2011 : proceedings.. Part II / by: (Language materials, printed)

Theoretical aspects of computing = ICTAC 2011 : 8th international colloquium, Johannesburg, South Africa, August 31 - September 2, 2011 : proceedings / by: (Language materials, printed)

CONCUR 2011 = concurrency theory : 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011 : proceedings / by: (Language materials, printed)

Human-computer interaction = INTERACT 2011 : 13th IFIP TC 13 international conference, Lisbon, Portugal, September 5-9, 2011 : proceedings.. Part I / by: (Language materials, printed)

Energy-aware communications = 17th international workshop, EUNICE 2011, Dresden, Germany, September 5-7, 2011 : proceedings / by: (Language materials, printed)

Business process management = 9th international conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011 : proceedings / by: (Language materials, printed)

REST = from research to practice / by: (Language materials, printed)

Founders at work = stories of startups' early days / by: (Language materials, printed)

The Fortran 2003 handbook = the complete syntax, features and procedures / by: (Language materials, printed)

Model-driven engineering and software development = second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014 : revised selected papers / by: (Language materials, printed)

Evaluation of novel approaches to software engineering = 9th International Conference, ENASE 2014, Lisbon, Portugal, April 28-30, 2014 : revised selected papers / by: (Language materials, printed)

Languages, applications and technologies = 4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015 : revised selected papers / by: (Language materials, printed)

OpenSHMEM and related technologies = experiences, implementations, and technologies : second workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015 : revised selected papers / by: (Language materials, printed)

Programming languages and systems = 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015 : proceedings / by: (Language materials, printed)

Security standardisation research = second International Conference, SSR 2015, Tokyo, Japan, December 15-16, 2015 : proceedings / by: (Language materials, printed)

Information security = 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013 : proceedings / by: (Language materials, printed)

Advances in computer games = 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015 : revised selected papers / by: (Language materials, printed)

Recent trends in algebraic development techniques = 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers / by: (Language materials, printed)

Membrane computing = 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015 : revised selected papers / by: (Language materials, printed)

Transactions on computational collective intelligence XIX by: (Language materials, printed)

Beginning django CMS by: (Language materials, printed)

Make an e-commerce site in a weekend = using PHP / by: (Language materials, printed)

Selenium WebDriver recipes in C# by: (Language materials, printed)

Broken Agile = stories from the trenches / by: (Language materials, printed)

JavaScript object programming by: (Language materials, printed)

Algebraic informatics = 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015 : proceedings / by: (Language materials, printed)

Algorithms and architectures for parallel processing = 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015 : proceedings.. Part II / by: (Language materials, printed)

Algorithms and architectures for parallel processing = 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015 : proceedings.. Part IV / by: (Language materials, printed)

Algorithms and architectures for parallel processing = ICA3PP International Workshops and Symposiums, Zhangjiajie, China, November 18-20, 2015 : proceedings / by: (Language materials, printed)

Algorithms and architectures from parallel processing = 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015 : proceedings.. Part III / by: (Language materials, printed)

Algorithms - ESA 2015 = 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015 : proceedings / by: (Language materials, printed)

Algorithms, probability, networks, and games = scientific papers and essays dedicated to Paul G. Spirakis on the occasion of his 60th birthday / by: (Language materials, printed)

Ambient assisted living = ICT-based solutions in real life situations : 7th International Work-Conference, IWAAL 2015, Puerto Varas, Chile, December 1-4, 2015 : proceedings / by: (Language materials, printed)

Automated reasoning with analytic tableaux and related methods = 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015 : proceedings / by: (Language materials, printed)

Automated technology for verification and analysis = 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015 : proceedings / by: (Language materials, printed)

Collaboration and technology = 21st International Conference, CRIWG 2015, Yerevan, Armenia, September 22-25, 2015 : proceedings / by: (Language materials, printed)

Computational logistics = 6th International Conference, ICCL 2015, Delft, The Netherlands, September 23-25, 2015 : proceedings / by: (Language materials, printed)

Computational methods in systems biology = 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015 : proceedings / by: (Language materials, printed)

Computer safety, reliability, and security = SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015 : proceedings / by: (Language materials, printed)

Computer safety, reliability, and security = 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015 : proceedings / by: (Language materials, printed)

Correct system design = symposium in honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015 : proceedings / by: (Language materials, printed)

Current Trends in Web Engineering = 15th International Conference, ICWE 2015 Workshops, NLPIT, PEWET, SoWEMine, Rotterdam, The Netherlands, June 23-26, 2015 : revised selected papers / by: (Language materials, printed)

Cyber physical systems = design, modeling, and evaluation : 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015 : proceedings / by: (Language materials, printed)

Dependable software engineering = theories, tools, and applications : first International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015 : proceedings / by: (Language materials, printed)

The design of requirements modelling languages = how to make formalisms for problem solving in requirements engineering / by: (Language materials, printed)

Distributed computing = 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015 : proceedings / by: (Language materials, printed)

Enhanced building information models = using IoT services and integration patterns / by: (Language materials, printed)

Exploring the Raspberry Pi 2 with C++ by: (Language materials, printed)

Formal methods and software engineering = 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings / by: (Language materials, printed)

Globalizing domain-specific languages = International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014 : revised papers / by: (Language materials, printed)

Fundamentals of software engineering = 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015 : revised selected papers / by: (Language materials, printed)

Hardware and software = verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings / by: (Language materials, printed)

Information and software technologies = 21st International Conference, ICIST 2015, Druskininkai, Lithuania, October 15-16, 2015 : proceedings / by: (Language materials, printed)

Logic programming and nonmonotonic reasoning = 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 : proceedings / by: (Language materials, printed)

Mobile, secure, and programmable networking = first International Conference, MSPN 2015, Paris, France, June 15-17, 2015 : selected papers / by: (Language materials, printed)

Model and data engineering = 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015 : proceedings / by: (Language materials, printed)

On the move to meaningful internet systems = OTM 2015 Workshops : Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, EI2N, FBM, INBAST, ISDE, META4eS, and MSC 2015, Rhodes, Greece, October 26-30, 2015 : proceedings / by: (Language materials, printed)

On the move to meaningful internet systems = OTM 2015 Conferences : Confederated International Conferences: CoopIS, ODBASE, and C&TC 2015, Rhodes, Greece, October 26-30, 2015 : proceedings / by: (Language materials, printed)

The practice of enterprise modeling = 8th IFIP WG 8.1. Working Conference, PoEM 2015, Valencia, Spain, November 10-12, 2015 : proceedings / by: (Language materials, printed)

PRIMA 2015 = principles and practice of multi-agent systems :: 18th International Conference, Bertinoro, Italy, October 26-30, 2015 : proceedings / by: (Language materials, printed)

Programming languages with applications to biology and security = essays dedicated to Pierpaolo Degano on the occasion of His 65th Birthday / by: (Language materials, printed)

Real-Time C++ = efficient object-oriented and template microcontroller programming / by: (Language materials, printed)

Requirements engineering in the big data era = Second Asia Pacific Symposium, APRES 2015, Wuhan, China, October 18-20, 2015 : proceedings / by: (Language materials, printed)

Runtime verification = 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings / by: (Language materials, printed)

Service oriented and cloud computing = 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015 : proceedings / by: (Language materials, printed)

Service-oriented computing - ICSOC 2014 Workshops = WESOA; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and satellite events, Paris, France, November 3-6, 2014 : revised selected papers / by: (Language materials, printed)

Software architecture = 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015 : proceedings / by: (Language materials, printed)

Software measurement = 25th International Workshop on Software Measurement and 10th International Conference on Software Process and Product Measurement, IWSM-Mensura 2015, Krakow, Poland, October 5-7, 2015 : proceedings / by: (Language materials, printed)

Software technologies = 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers / by: (Language materials, printed)

Static analysis = 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015 : proceedings / by: (Language materials, printed)

Systems, software and services process improvement = 22nd European Conference, EuroSPI 2015, Ankara, Turkey, September 30 - October 2, 2015 : proceedings / by: (Language materials, printed)

Testing Software and Systems = 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015 : proceedings / by: (Language materials, printed)

Theory and practice of natural computing = fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015 : proceedings / by: (Language materials, printed)

Transactions on petri nets and other models of concurrency X by: (Language materials, printed)

Web information systems engineering - WISE 2015 = 16th International Conference, Miami, FL, USA, November 1-3, 2015 : proceedings.. Part II / by: (Language materials, printed)

Web information systems engineering - WISE 2015 = 16th International Conference, Miami, FL, USA, November 1-3, 2015 : proceedings.. Part I / by: (Language materials, printed)

Cloud computing and services sciences = International Conference in Cloud Computing and Services Sciences, CLOSER 2014 Barcelona Spain, April 3-5, 2014 : revised selected papers / by: (Language materials, printed)

Model-driven engineering and software development = third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015 : revised selected papers / by: (Language materials, printed)

Transactions on computational collective intelligence XX by: (Language materials, printed)

Software engineering = International Summer Schools, LASER 2013-2014, Elba, Italy : revised tutorial lectures / by: (Language materials, printed)

Cloud computing and big data = second International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015 : revised selected papers / by: (Language materials, printed)

Adaptive Resource Management and Scheduling for Cloud Computing = Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastian, Spain, July 20, 2015 : revised selected papers / by: (Language materials, printed)

Models of strategic reasoning = logics, games, and communities / by: (Language materials, printed)

Networked systems = third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015 : revised selected papers / by: (Language materials, printed)

Enterprise information systems = 17th International Conference, ICEIS 2015, Barcelona, Spain, April 27-30, 2015 : revised selected papers / by: (Language materials, printed)

RoboCup 2015 = Robot World Cup XIX / by: (Language materials, printed)

Creativity and rationale = enhancing human experience by design / by: (Language materials, printed)

Enterprise architecture at work = modelling, communication and analysis / by: (Language materials, printed)

Meta-programming and model-driven meta-program development = principles, processes and techniques / by: (Language materials, printed)

Connecting families = the impact of new communication technologies on domestic life / by: (Language materials, printed)

Physical layer multi-core prototyping = a dataflow-based approach for LTE eNodeB / by: (Language materials, printed)

Software engineering, artificial intelligence, networking and parallel/distributed computing 2012 by: (Language materials, printed)

Distributed programming = theory and practice / by: (Language materials, printed)

Requirements engineering and management for software development projects by: (Language materials, printed)

Proceedings of the 2012 International Conference on Information Technology and Software Engineering = information technology & computing intelligence / by: (Language materials, printed)

Proceedings of the 2012 International Conference on Information Technology and Software Engineering = information technology / by: (Language materials, printed)

Proceedings of the 2012 International Conference on Information Technology and Software Engineering = software engineering & digital media technology / by: (Language materials, printed)

Ontology-driven software development by: (Language materials, printed)

Knowledge discovery, knowledge engineering and knowledge management = second International Joint Conference, IC3K 2010, Valencia, Spain, October 25-28, 2010 : revised selected papers / by: (Language materials, printed)

Software cost estimation, benchmarking, and risk assessment = the software decision-makers' guide to predictable software development / by: (Language materials, printed)

Evaluation of novel approaches to software engineering = 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011 : revised selected papers / by: (Language materials, printed)

Software quality = increasing value in software and systems development : 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013 : proceedings / by: (Language materials, printed)

ICT in education, research, and industrial applications = 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers / by: (Language materials, printed)

Trustworthy computing and services = International Conference, ISCTCS 2012, Beijing, China, May 28 - June 2, 2012 : revised selected papers / by: (Language materials, printed)

Mobile communication and power engineering = second International Joint Conference, AIM/CCPE 2012, Bangalore, India, April 27-28, 2012 : revised selected papers / by: (Language materials, printed)

Software and data technologies = 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011 : revised selected papers / by: (Language materials, printed)

Web information systems and technologies = 8th International Conference, WEBIST 2012, Porto, Portugal, April 18-21, 2012 : revised selected papers / by: (Language materials, printed)

Runtime verification = third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012 : revised selected papers / by: (Language materials, printed)

Distributed computing and networking = 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013 : proceedings / by: (Language materials, printed)

Unifying theories of programming = 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012 : revised selected papers / by: (Language materials, printed)

Software engineering for self-adaptive systems II = International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 : revised selected and invited papers / by: (Language materials, printed)

SOFSEM 2013: Theory and practice of computer science = 39th International Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlyn, Czech Republic, January 26-31, 2013. Proceedings / by: (Language materials, printed)

Formal aspects of component software = 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 : revised selected papers / by: (Language materials, printed)

Job scheduling strategies for parallel processing = 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012 : revised selected papers / by: (Language materials, printed)

Verification, model checking, and abstract interpretation = 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013 : proceedings / by: (Language materials, printed)

Formal methods for components and objects = 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers / by: (Language materials, printed)

Generative and transformational techniques in software engineering IV = International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011 : revised papers / by: (Language materials, printed)

Mathematical and engineering methods in computer science = 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012 : revised selected papers / by: (Language materials, printed)

Software engineering = International Summer Schools, ISSSE 2009-2011, Salerno, Italy : revised tutorial lectures / by: (Language materials, printed)

Software language engineering = 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012 : revised selected papers / by: (Language materials, printed)

Construction and evolution of code generators = a model-driven and service-oriented approach / by: (Language materials, printed)

Assurances for self-adaptive systems = Principles, Models, and Techniques / by: (Language materials, printed)

Reversible computation = 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012 : revised papers / by: (Language materials, printed)

Land subsidence analysis in urban areas = the Bangkok Metropolitan area case study / by: (Language materials, printed)

Fundamentals of business process management by: (Language materials, printed)

Exploring services science = 4th International Conference, IESS 2013, Porto, Portugal, February 7-8, 2013 : proceedings / by: (Language materials, printed)

Architecture of computing systems - ARCS 2013 = 26th International Conference, Prague, Czech Republic, February 19-22, 2013 : proceedings / by: (Language materials, printed)

Selected Topics in Performance Evaluation and Benchmarking = 4th TPC Technology Conference, TPCTC 2012, Istanbul, Turkey, August 27, 2012 : revised selected papers / by: (Language materials, printed)

Tools and algorithms for the construction and analysis of systems = 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 : proceedings / by: (Language materials, printed)

Membrane computing = 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012 : revised selected papers / by: (Language materials, printed)

System analysis and modeling = theory and practice : 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012 : revised selected papers / by: (Language materials, printed)

Computer performance engineering = 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012 : revised selected papers / by: (Language materials, printed)

Programming languages and systems = 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 : proceedings / by: (Language materials, printed)

Compiler construction = 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 : proceedings / by: (Language materials, printed)

Fundamental approaches to software engineering = 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 : proceedings / by: (Language materials, printed)

Foundations of software science and computation structures = 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 : proceedings / by: (Language materials, printed)

QoS management of web services by: (Language materials, printed)

Aliasing in object-oriented programming = types, analysis, and verification / by: (Language materials, printed)

Real-Time C++ = efficient object-oriented and template microcontroller programming / by: (Language materials, printed)

S-BPM ONE - Running processes = 5th International Conference, S-BPM ONE 2013, Deggendorf, Germany, March 11-12, 2013 : proceedings / by: (Language materials, printed)

Enterprise interoperability = 5th International IFIP Working Conference, IWEI 2013, Enschede, The Netherlands, March 27-28, 2013 : proceedings / by: (Language materials, printed)

Foundations and practice of security = 5th International Symposium, FPS 2012, Montreal, QC, Canada, October 25-26, 2012 : revised selected papers / by: (Language materials, printed)

Transactions on aspect-oriented software development X by: (Language materials, printed)

Smart card research and advanced applications = 11th International Conference, CARDIS 2012, Graz, Austria, November 28-30, 2012 : revised selected papers / by: (Language materials, printed)

Requirements engineering = foundation for software quality : 19th International Working Conference, REFSQ 2013, Essen, Germany, April 8-11, 2013 : proceedings / by: (Language materials, printed)

Mechanism design for sustainability = techniques and cases / by: (Language materials, printed)

Software engineering frameworks for the cloud computing paradigm by: (Language materials, printed)

Semantic mashups = intelligent reuse of web resources / by: (Language materials, printed)

Business modeling and software design = second International Symposium, BMSD 2012, Geneva, Switzerland, July 4-6, 2012 : revised selected papers / by: (Language materials, printed)

Mobile networks and management = 4th International Conference, MONAMI 2012, Hamburg, Germany, September 24-26, 2012 : revised selected papers / by: (Language materials, printed)

Logic-based program synthesis and transformation = 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012 : revised selected papers / by: (Language materials, printed)

Model-based methodologies for pervasive and embedded software = 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012 : revised papers / by: (Language materials, printed)

Advanced infocomm technology = 5th IEEE International Conference, ICAIT 2012, Paris, France, July 25-27, 2012 : revised papers / by: (Language materials, printed)

Languages and compilers for parallel computing = 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012 : revised selected papers / by: (Language materials, printed)

Service-oriented computing - ICSOC 2012 Workshops = ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012 : revised selected papers / by: (Language materials, printed)

Declarative agent languages and technologies X = 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012 : revised selected papers / by: (Language materials, printed)

Transactions on petri nets and other models of concurrency VII by: (Language materials, printed)

Computation, logic, games, and quantum foundations = the many facets of Samson Abramsky : essays dedicated to Samson Abramsky on the occasion of his 60th birthday / by: (Language materials, printed)

Cloud computing = methods and practical approaches / by: (Language materials, printed)

SmartShadow = models and methods for pervasive computing / by: (Language materials, printed)

Software process improvement and capability determination = 13th International Conference, SPICE 2013, Bremen, Germany, June 4-6, 2013 : proceedings / by: (Language materials, printed)

Open source software = Quality verification : 9th IFIP WG 2.13 International Conference, OSS 2013, Koper-Capodistria, Slovenia, June 25-28, 2013 : proceedings / by: (Language materials, printed)

NASA formal methods = 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013 : proceedings / by: (Language materials, printed)

Web services and formal methods = 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012 : revised selected papers / by: (Language materials, printed)

Formal concept analysis = 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013 : proceedings / by: (Language materials, printed)

Coordination models and languages = 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013 : proceedings / by: (Language materials, printed)

Formal techniques for distributed systems = Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, held as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013 : proceedings / by: (Language materials, printed)

Reliable software technologies - Ada-Europe 2013 = 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013 : proceedings / by: (Language materials, printed)

Business process models = change management / by: (Language materials, printed)

Integrated formal methods = 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013 : proceedings / by: (Language materials, printed)

Transactions on pattern languages of programming III by: (Language materials, printed)

Programming multi-agent systems = 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012 : revised selected papers / by: (Language materials, printed)

Model checking software = 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013 : proceedings / by: (Language materials, printed)

Software engineering, artificial intelligence, networking and parallel/distributed computing by: (Language materials, printed)

Formal methods for dynamical systems = 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013 : advanced lectures / by: (Language materials, printed)

Using Event-B for critical device software systems by: (Language materials, printed)

Information systems = methods, models, and applications : 4th International United Information Systems Conference, UNISCON 2012, Yalta, Ukraine, June 1-3, 2012 : revised selected papers / by: (Language materials, printed)

Enterprise, business-process and information systems modeling = 14th International Conference, BPMDS 2013, 18th International Conference, EMMSAD 2013, held at CAiSE 2013, Valencia, Spain, June 17-18, 2013 : proceedings / by: (Language materials, printed)

Advanced information systems engineering workshops = CAiSE 2013 International Workshops, Valencia, Spain, June 17-21, 2013 : proceedings / by: (Language materials, printed)

Embedded systems = design, analysis and verification : 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013 : proceedings / by: (Language materials, printed)

Managing requirements knowledge by: (Language materials, printed)

Systems and software variability management = concepts, tools and experiences / by: (Language materials, printed)

Seminal contributions to information systems engineering = 25 Years of CAiSE / by: (Language materials, printed)

Perspectives on the future of software engineering = essays in honor of Dieter Rombach / by: (Language materials, printed)

Agile processes in software engineering and extreme programming = 14th International Conference, XP 2013, Vienna, Austria, June 3-7, 2013 : proceedings / by: (Language materials, printed)

Software architecture = 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013 : proceedings / by: (Language materials, printed)

ECOOP 2013 = object-oriented programming : 27th European Conference, Montpellier, France, July 1-5, 2013 : proceedings / by: (Language materials, printed)

Software business = from physical products to software services and solutions : 4th International Conference, ICSOB 2013, Potsdam, Germany, June 11-14, 2013 : proceedings / by: (Language materials, printed)

Automated deduction - CADE-24 = 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013 : proceedings / by: (Language materials, printed)

Application and theory of petri nets and concurrency = 34th international conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013 : proceedings / by: (Language materials, printed)

End-user development = 4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 10-13, 2013 : proceedings / by: (Language materials, printed)

Advanced information systems engineering = 25th international conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013 : proceedings / by: (Language materials, printed)

Design science at the intersection of physical and virtual design = 8th International Conference, DESRIST 2013, Helsinki, Finland, June 11-12, 2013 : proceedings / by: (Language materials, printed)

Static analysis = 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013 : proceedings / by: (Language materials, printed)

Theory and practice of model transformations = 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013 : proceedings / by: (Language materials, printed)

SDL 2013 = model-driven dependability engineering : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013 : proceedings / by: (Language materials, printed)

Tests and proofs = 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013 : proceedings / by: (Language materials, printed)

Safe and secure software reuse = 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20 : proceedings / by: (Language materials, printed)

Emerging management mechanisms for the future internet = 7th IFIP WG 6.6 International Conference On Autonomous Infrastructure, Management, And Security, AIMS 2013, Barcelona, Spain, June 25-28, 2013 : proceedings / by: (Language materials, printed)

Modelling foundations and applications = 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013 : proceedings / by: (Language materials, printed)

Foundations of health information engineering and systems = second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012 : revised selected papers / by: (Language materials, printed)

Ad-hoc, mobile, and wireless network = 12th International Conference, ADHOC-NOW 2013, Wroclaw, Poland, July 8-10, 2013 : proceedings / by: (Language materials, printed)

RoboCup 2012 = Robot Soccer World Cup XVI / by: (Language materials, printed)

Product-focused software process improvement = 14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013 : proceedings / by: (Language materials, printed)

Analytical and stochastic modeling techniques and applications = 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013 : proceedings / by: (Language materials, printed)

Big data = 29th British National Conference on Databases, BNCOD 2013, Oxford, UK, July 8-10, 2013 : proceedings / by: (Language materials, printed)

Artificial general intelligence = 6th International Conference, AGI 2013, Beijing, China, July 31-August 3, 2013 : proceedings / by: (Language materials, printed)

Software composition = 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013 : proceedings / by: (Language materials, printed)

Computational science and its applications - ICCSA 2013 = 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013 : proceedings.. Part I / by: (Language materials, printed)

Computational science and its applications - ICCSA 2013 = 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings.. Part V / by: (Language materials, printed)

Computational science and its applications - ICCSA 2013 = 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013 : proceedings.. Part II / by: (Language materials, printed)

Computational science and its applications - ICCSA 2013 = 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013 : proceedings.. Part III / by: (Language materials, printed)

Computational science and its applications - ICCSA 2013 = 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013 : proceedings.. Part IV / by: (Language materials, printed)

Business process management = 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013 : proceedings / by: (Language materials, printed)

Semantic models for adaptive interactive systems by: (Language materials, printed)

Enterprise architecture patterns = practical solutions for recurring IT-architecture problems / by: (Language materials, printed)

Software product quality control by: (Language materials, printed)

Benchmarking peer-to-peer systems = understanding quality of service in large-scale distributed systems / by: (Language materials, printed)

Web engineering = 13th International Conference, ICWE 2013, Aalborg, Denmark, July 8-12, 2013 : proceedings / by: (Language materials, printed)

Detection of intrusions and malware, and vulnerability assessment = 10th International Conference, DIMVA 2013, Berlin, Germany, July 18-19, 2013 : proceedings / by: (Language materials, printed)

Hardware and software = verification and testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012 : revised selected papers / by: (Language materials, printed)

Theory, practice, and applications of rules on the web = 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013 : proceedings / by: (Language materials, printed)

Interactive theorem proving = 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013 : proceedings / by: (Language materials, printed)

Web reasoning and rule systems = 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013 : proceedings / by: (Language materials, printed)

Theories of programming and formal methods = essays dedicated to Jifeng He on the Occasion of His 70th Birthday / by: (Language materials, printed)

Knowledge science, engineering and management = 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013 : proceedings / by: (Language materials, printed)

Computer aided verification = 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013 : proceedings / by: (Language materials, printed)

The personal web = a research agenda / by: (Language materials, printed)

CONCUR 2013 - Concurrency theory = 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013 : proceedings / by: (Language materials, printed)

Formal modeling and analysis of timed systems = 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013 : proceedings / by: (Language materials, printed)

Mobile web information systems = 10th International Conference, MobiWIS 2013, Paphos, Cyprus, August 26-29, 2013 : proceedings / by: (Language materials, printed)

Human-computer interaction - INTERACT 2013 = 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013 : proceedings.. Part III / by: (Language materials, printed)

Human-computer interaction - INTERACT 2013 = 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013 : proceedings.. Part II / by: (Language materials, printed)

Human-computer interaction - INTERACT 2013 = 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013 : proceedings.. Part I / by: (Language materials, printed)

Human-computer interaction - INTERACT 2013 = 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013 : proceedings.. Part IV / by: (Language materials, printed)

Algebra and coalgebra in computer science = 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013 : proceedings / by: (Language materials, printed)

Fundamentals of software engineering = 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013 : revised selected papers / by: (Language materials, printed)

Early software reliability prediction = a fuzzy logic approach / by: (Language materials, printed)

Domain engineering = product lines, languages, and conceptual models / by: (Language materials, printed)

Wireless sensor networks for developing countries = first international conference, WSN4DC, Jamshoro, Pakistan, April 24-26, 2013 : revised selected papers / by: (Language materials, printed)

Automated technology for verification and analysis = 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013 : proceedings / by: (Language materials, printed)

Structured object-oriented formal language and method = second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012 : revised selected papers / by: (Language materials, printed)

Theoretical aspects of computing - ICTAC 2013 = 10th international colloquium, Shanghai, China, September 4-6, 2013 : proceedings / by: (Language materials, printed)

Unifying theories of programming and formal engineering methods = International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013 : advanced lectures / by: (Language materials, printed)

Search based software engineering = 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013 : proceedings / by: (Language materials, printed)

Agent-oriented software engineering XIII = 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012 : revised selected papers / by: (Language materials, printed)

Transactions on petri nets and other models of concurrency VIII by: (Language materials, printed)

Combinatorics on words = 9th international conference, WORDS 2013, Turku, Finland, September 16-20 : proceedings / by: (Language materials, printed)

Formal methods for components and objects = 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012 : revised lectures / by: (Language materials, printed)

Service-oriented and cloud computing = Second European Conference, ESOCC 2013, Malaga, Spain, September 11-13, 2013 : proceedings / by: (Language materials, printed)

Algebraic informatics = 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013 : proceedings / by: (Language materials, printed)

Computer performance engineering = 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings / by: (Language materials, printed)

Computer safety, reliability, and security = 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013 : proceedings / by: (Language materials, printed)

Middleware solutions for the internet of things by: (Language materials, printed)

Information systems = development, learning, security : 6th SIGSAND/PLAIS EuroSymposium 2013, Gdansk, Poland, September 26, 2013 : proceedings / by: (Language materials, printed)

Advances in global sourcing = models, governance, and relationships : 7th Global Sourcing Workshop 2013, Val d'Isere, France, March 11-14, 2013 : revised selected papers / by: (Language materials, printed)

Environmental software systems = fostering information sharing : 10th IFIP WG 5.11 International Symposium, ISESS 2013, Neusiedl am See, Austria, October 9-11, 2013 : proceedings / by: (Language materials, printed)

Multicore software engineering, performance, and tools = international conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013 : proceedings / by: (Language materials, printed)

Automated reasoning with analytic tableaux and related methods = 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013 : proceedings / by: (Language materials, printed)

Software engineering and formal methods = 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013 : proceedings / by: (Language materials, printed)

Logic programming and nonmonotonic reasoning = 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013 : proceedings / by: (Language materials, printed)

Computational logic in multi-agent systems = 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013 : proceedings / by: (Language materials, printed)

Automated deduction in geometry = 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012 : revised selected papers / by: (Language materials, printed)

Computational methods in systems biology = 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013 : proceedings / by: (Language materials, printed)

Runtime verification = 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013 : proceedings / by: (Language materials, printed)

Frontiers of combining systems = 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013 : proceedings / by: (Language materials, printed)

Software engineering for resilient systems = 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013 : proceedings / by: (Language materials, printed)

Programming languages = 17th Brazilian Symposium, SBLP 2013, Brasilia, Brazil, October 3 - 4, 2013 : proceedings / by: (Language materials, printed)

Computer information systems and industrial management = 12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013 : proceedings / by: (Language materials, printed)

Formal methods for industrial critical systems = 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013 : proceedings / by: (Language materials, printed)

Computational logistics = 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013 : proceedings / by: (Language materials, printed)

On the move to meaningful internet systems: OTM 2013 Conferences = Confederated International Conferences: CoopIS, DOA-Trusted Cloud, and ODBASE 2013, Graz, Austria, September 9-13, 2013 : proceedings / by: (Language materials, printed)

Reachability problems = 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 : proceedings / by: (Language materials, printed)

Security and trust management = 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013 : proceedings / by: (Language materials, printed)

Trustworthy global computing = 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012 : revised selected papers / by: (Language materials, printed)

Measurement methodology and tools = first European Workshop, FP7 FIRE/EULER Project, Aalborg, Denmark, May 9, 2012 : Revised and Extended Papers / by: (Language materials, printed)

Model and data engineering = third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013 : proceedings / by: (Language materials, printed)

Model-driven engineering languages and systems = 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013 : proceedings / by: (Language materials, printed)

The road map to software engineering = a standards-based guide / by: (Language materials, printed)

The China information technology handbook by: (Language materials, printed)

On the move to meaningful internet systems: OTM 2012 = confederated international conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012 : proceedings.. Part I / by: (Language materials, printed)

On the move to meaningful internet systems: OTM 2012 = confederated international conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012 : proceedings.. Part II / by: (Language materials, printed)

Active knowledge modeling of enterprises by: (Language materials, printed)

Model-driven testing = using the UML testing profile / by: (Language materials, printed)

Applications of graph transformations with industrial relevance = third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007 : revised selected and invited papers / by: (Language materials, printed)

Automated technology for verification and analysis = 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 : proceedings / by: (Language materials, printed)

Component-based software engineering = 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008 : proceedings / by: (Language materials, printed)

Computational methods in systems biology = 6th international conference, CMSB 2008, Rostock, Germany, October 12-15, 2008 : proceedings / by: (Language materials, printed)

Conceptual modeling - ER 2008 = 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008 : proceedings / by: (Language materials, printed)

Engineering interactive systems 2008 = second Conference on Human-Centered Software Engineering, HCSE 2008 and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008 : proceedings / by: (Language materials, printed)

Formal methods and software engineering = 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings / by: (Language materials, printed)

Generative and transformational techniques in software engineering II = international summer school, GTTSE 2007, Braga, Portugal, July 2-7, 2007 : revised papers / by: (Language materials, printed)

Logic for programming, artificial intelligence, and reasoning = 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings / by: (Language materials, printed)

Information networking = towards ubiquitous networking and services : International Conference, ICOIN 2007, Estoril, Portugal, January 23-25, 2007 : revised selected papers / by: (Language materials, printed)

On the move to meaningful internet systems: OTM 2008 workshops = OTM Confederated international workshops and posters, ADI, AWeSoMe, COMBEK, EI2N, IWSSA, MONET, OnToContent + QSI, ORM, PerSys, RDDS, SEMELS, and SWWS 2008, Monterrey, Mexico, November 9-14, 2008 : proceedings / by: (Language materials, printed)

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 / by: (Language materials, printed)

Rule representation, interchange and reasoning on the web = international symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008 : proceedings / by: (Language materials, printed)

Runtime verification = 8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : selected papers / by: (Language materials, printed)

Service-oriented computing - ICSOC 2008 = 6th international conference, Sydney, Australia, December 1-5, 2008 : proceedings / by: (Language materials, printed)

Software process and product measurement = international conferences IWSM 2008, MetriKon 2008, and Mensura 2008, Munich, Germany, November 18-19, 2008 : proceedings / by: (Language materials, printed)

Software-intensive systems and new computing paradigms = challenges and visions / by: (Language materials, printed)

Theorem proving in higher order logics = 21st international conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 : proceedings / by: (Language materials, printed)

Web reasoning and rule systems = second international conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008 : proceedings / by: (Language materials, printed)

Wireless algorithms, systems, and applications = third international conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008 : proceedings / by: (Language materials, printed)

Swarm, evolutionary, and memetic computing = third international conference, SEMCCO 2012, Bhubaneswar, India, December 20-22, 2012 : proceedings / by: (Language materials, printed)

Principles of distributed systems = 16th international conference, OPODIS 2012, Rome, Italy, December 18-20, 2012 : proceedings / by: (Language materials, printed)

Advances in information technology = 5th international conference, IAIT 2012, Bangkok, Thailand, December 6-7, 2012 : proceedings / by: (Language materials, printed)

Testbeds and research infrastructure = development of networks and communities : 8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012 : revised selected papers / by: (Language materials, printed)

Computer applications for communication, networking, and digital contents = international conferences, FGCN and DCA 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012 : proceedings / by: (Language materials, printed)

Computer applications for graphics, grid computing, and industrial environment = international conferences, GDC, IESH and CGAG 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012 : proceedings / by: (Language materials, printed)

Computer applications for database, education, and ubiquitous computing = international conferences, EL, DTA and UNESST 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012 : proceedings / by: (Language materials, printed)

Product lifecycle management = towards knowledge rich enterprises : IFIP WG 5.1 International Conference, PLM 2012, Montreal, QC, Canada, July 9-11, 2012 : revised selected papers / by: (Language materials, printed)

Advances in new technologies, interactive interfaces and communicability = second international conference, ADNTIIC 2011, Huerta Grande, Argentina, December 5-7, 2011 : revised selected papers / by: (Language materials, printed)

Advances in multimedia information processing - PCM 2012 = 13th Pacific-Rim Conference on Multimedia, Singapore, December 4-6, 2012 : proceedings / by: (Language materials, printed)

Economics of grids, clouds, systems, and services = 9th international conference, GECON 2012, Berlin, Germany, November 27-28, 2012 : proceedings / by: (Language materials, printed)

Internet and network economics = 8th international workshop, WINE 2012, Liverpool, UK, December 10-12, 2012 : proceedings / by: (Language materials, printed)

Ambient assisted living and home care = 4th international workshop, IWAAL 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012 : proceedings / by: (Language materials, printed)

Artificial general intelligence = 5th international conference, AGI 2012, Oxford, UK, December 8-11, 2012 : proceedings / by: (Language materials, printed)

Transactions on aspect-oriented software development IX by: (Language materials, printed)

Future generation information technology = 4th international conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012 : proceedings / by: (Language materials, printed)

Current trends in web engineering = ICWE 2012 International Workshops: MDWE, ComposableWeb, WeRE, QWE, and Doctoral Consortium, Berlin, Germany, July 23-27, 2012 : revised selected papers / by: (Language materials, printed)

Programming languages and systems = 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012 : proceedings / by: (Language materials, printed)

Recent advances in the message passing interface = 19th European MPI Users' group meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012 : proceedings / by: (Language materials, printed)

Coordination, organizations, institutions, and norms in agent system VII = COIN 2011 International Workshops, COIN@AAMAS 2011, Taipei, Taiwan, May 3, 2011, COIN@WI-IAT 2011, Lyon, France, August 22, 2011 : revised selected papers / by: (Language materials, printed)

Formal aspects of component software = 8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers / by: (Language materials, printed)

Tools for practical software verification = LASER, International Summer School 2011, Elba Island, Italy : revised tutorial lectures / by: (Language materials, printed)

Resilience assessment and evaluation of computing systems by: (Language materials, printed)

Model-based engineering of embedded systems = the SPES 2020 methodology / by: (Language materials, printed)

Computer applications for modeling, simulation, and automobile = international conferences, MAS and ASNT 2012, held in conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012 : proceedings / by: (Language materials, printed)

Green and smart technology with sensor applications = international conferences, GST and SIA 2012 Jeju Island, Korea, November 28-December 2, 2012 : proceedings / by: (Language materials, printed)

Computer applications for software engineering, disaster recovery, and business continuity = International Conferences, ASEA and DRBC 2012, held in conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012 : proceedings / by: (Language materials, printed)

Search computing = broadening web search / by: (Language materials, printed)

Implementation and application of functional languages = 23rd international symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011 : revised selected papers / by: (Language materials, printed)

Testing software and systems = 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012 : proceedings / by: (Language materials, printed)

Ambient intelligence = third international joint conference, AmI 2012, Pisa, Italy, November 13-15, 2012 : proceedings / by: (Language materials, printed)

Multiple access communications = 5th International Workshop, MACOM 2012, Maynooth, Ireland, November 19-20, 2012 : proceedings / by: (Language materials, printed)

Web information systems engineering - WISE 2012 = 13th international conference, Paphos, Cyprus, November 28-30, 2012 : proceedings / by: (Language materials, printed)

Middleware 2012 = ACM/IFIP/USENIX 13th international middleware conference, Montreal, QC, Canada, December 3-7, 2012 : proceedings / by: (Language materials, printed)

Transactions on petri nets and other models of concurrency VI by: (Language materials, printed)

Certified programs and proofs = second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings / by: (Language materials, printed)

Ubiquitous computing and ambient intelligence = 6th international conference, UCAmI 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012 : proceedings / by: (Language materials, printed)

Constituents of modern system-safety thinking = proceedings of the Thirteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10 February 2005 / by: (Language materials, printed)

Constructing correct software by: (Language materials, printed)

Software testing in the cloud = migration and execution / by: (Language materials, printed)

Collaborative networks in the internet of services = 13th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2012, Bournemouth, UK, October 1-3, 2012 : proceedings / by: (Language materials, printed)

Enterprise interoperability = 4th International IFIP Working Conference, IWEI 2012, Harbin, China, September 6-7, 2012 : proceedings / by: (Language materials, printed)

Information and software technologies = 18th International Conference, ICIST 2012, Kaunas, Lithuania, September 13-14, 2012 : proceedings / by: (Language materials, printed)

Open source systems = long-term sustainability : 8th IFIP WG 2.13 International Conference, OSS 2012, Hammamet, Tunisia, September 10-13, 2012 : proceedings / by: (Language materials, printed)

Reachability problems = 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings / by: (Language materials, printed)

Practical aspects of design science = European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011 : revised selected papers / by: (Language materials, printed)

CONCUR 2012 - Concurrency theory = 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012 : proceedings / by: (Language materials, printed)

Algorithms and architectures for parallel processing = 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012 : proceedings.. Part II / by: (Language materials, printed)

Algorithms and architectures for parallel processing = 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012 : proceedings.. Part I / by: (Language materials, printed)

Search based software engineering = 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012 : proceedings / by: (Language materials, printed)

Software engineering for resilient systems = 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012 : proceedings / by: (Language materials, printed)

Programming languages = 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012 : proceedings / by: (Language materials, printed)

Computer information systems and industrial management = 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012 : proceedings / by: (Language materials, printed)

Formal methods: Foundations and applications = 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012 : proceedings / by: (Language materials, printed)

Relational and algebraic methods in computer science = 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012 : proceedings / by: (Language materials, printed)

Automated technology for verification and analysis = 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012 : proceedings / by: (Language materials, printed)

Stabilization, safety, and security of distributed systems = 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012 : proceedings / by: (Language materials, printed)

Model and data engineering = 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012 : proceedings / by: (Language materials, printed)

Computational methods in systems biology = 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012 : proceedings / by: (Language materials, printed)

Graph transformations = 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012 : proceedings / by: (Language materials, printed)

Model driven engineering languages and systems = 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30-October 5, 2012 : proceedings / by: (Language materials, printed)

Computer safety, reliability, and security = SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012 : proceedings / by: (Language materials, printed)

Computer safety, reliability, and security = 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012 : proceedings / by: (Language materials, printed)

Software engineering and formal methods = 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012 : proceedings / by: (Language materials, printed)

Theory and practice of natural computing = first International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012 : proceedings / by: (Language materials, printed)

Knowledge engineering and knowledge management = 18th International Conference, EKAW 2012, Galway City, Ireland, October 8-12, 2012 : proceedings / by: (Language materials, printed)

Leveraging applications of formal methods, verification and validation. Technologies for mastering change = 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings.. Part I / by: (Language materials, printed)

Leveraging applications of formal methods, verification and validation. Applications and case studies = 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings.. Part II / by: (Language materials, printed)

Information computing and applications = third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012 : proceedings / by: (Language materials, printed)

Human-centered software engineering = 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012 : proceedings / by: (Language materials, printed)

Uncertainty quantification in scientific computing = 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011 : revised selected papers / by: (Language materials, printed)

Convergence and hybrid information technology = 6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012 : proceedings / by: (Language materials, printed)

Business process management = 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012 : proceedings / by: (Language materials, printed)

Computational logic in multi-agent systems = 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012 : proceedings / by: (Language materials, printed)

Datalog in academia and industry = second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012 : proceedings / by: (Language materials, printed)

Theoretical aspects of computing - ICTAC 2012 = 9th International Colloquium, Bangalore, India, September 24-27, 2012 : proceedings / by: (Language materials, printed)

Wireless algorithms, systems, and applications = 7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012 : proceedings / by: (Language materials, printed)

Interactive theorem proving = Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012 : proceedings / by: (Language materials, printed)

Business system management and engineering = from open issues to applications / by: (Language materials, printed)

Formal methods for industrial critical systems = 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings / by: (Language materials, printed)

Topics in performance evaluation, measurement and characterization = third TPC Technology Conference, TPCTC 2011, Seattle, WA, USA, August 29-September 3, 2011 : revised selected papers / by: (Language materials, printed)

Convergence and hybrid information technology = 6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012 : proceedings / by: (Language materials, printed)

Rules on the web = research and applications ; 6th International Symposium, RuleML 2012, Montpellier, France, August 27-29, 2012 : proceedings / by: (Language materials, printed)

FM 2012 = formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings / by: (Language materials, printed)

Static analysis = 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012 : proceedings / by: (Language materials, printed)

omputer security - ESORICS 2012 = 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012 : proceedings / by: (Language materials, printed)

Web reasoning and rule systems = 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012 : proceedings / by: (Language materials, printed)

Formal modeling and analysis of timed systems = 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012 : proceedings / by: (Language materials, printed)

Service-oriented and cloud computing = First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012 : proceedings / by: (Language materials, printed)

Computational logistics = third International Conference, ICCL 2012, Shanghai, China, September 24-26, 2012 : proceedings / by: (Language materials, printed)

Software business = third International Conference, ICSOB 2012, Cambridge, MA, USA, June 18-20, 2012 : proceedings / by: (Language materials, printed)

Advanced information systems engineering workshops = CAiSE 2012 International Workshops, Gdansk, Poland, June 25-26, 2012 : proceedings / by: (Language materials, printed)

Enterprise, business-process and information systems modeling = 13th International Conference, BPMDS 2012, 17th International Conference, EMMSAD 2012, and 5th EuroSymposium, held at CAiSE 2012, Gdansk, Poland, June 25-26, 2012 : proceedings / by: (Language materials, printed)

Virtual and networked organizations, emergent technologies and tools = first International Conference, ViNOrg 2011, Ofir, Portugal, July 6-8, 2011 : revised selected papers / by: (Language materials, printed)

Mobile computing, applications, and services = third International Conference, MobiCASE 2011, Los Angeles, CA, USA, October 24-27, 2011 : revised selected papers / by: (Language materials, printed)

Signal processing and information technology = first International Joint Conference, SPIT 2011 and IPC 2011, Amsterdam, The Netherlands, December 1-2, 2011 : revised selected papers / by: (Language materials, printed)

Bio-inspired models of network, information, and computing systems = 5th International ICST Conference, BIONETICS 2010, Boston, USA, December 1-3, 2010 : revised selected papers / by: (Language materials, printed)

Persuasive technology = design for health and safety : 7th International Conference, PERSUASIVE 2012, Linkoping, Sweden, June 6-8, 2012 : proceedings / by: (Language materials, printed)

Advanced information systems engineering = 24th international conference, CAiSE 2012, Gdansk, Poland, June 25-29, 2012 : proceedings / by: (Language materials, printed)

Parallel processing and applied mathematics = 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011 : revised selected papers.. Part I / by: (Language materials, printed)

Parallel processing and applied mathematics = 9th international conference, PPAM 2011, Torun, Poland, September 11-14, 2011 : revised selected papers.. Part II / by: (Language materials, printed)

Ad-hoc, mobile, and wireless networks = 11th International Conference, ADHOC-NOW 2012, Belgrade, Serbia, July 9-11, 2012 : proceedings / by: (Language materials, printed)

Web Engineering = 12th International Conference, ICWE 2012, Berlin, Germany, July 23-27, 2012. Proceedings / by: (Language materials, printed)

Model checking software = 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012 : proceedings / by: (Language materials, printed)

Formal verification of object-oriented software = international conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011 : revised selected papers / by: (Language materials, printed)

Service-oriented computing - ICSOC 2011 Workshops = ICSOC 2011, International Workshops WESOA, NFPSLAM-SOC, and Satellite Events, Paphos, Cyprus, December 5-8, 2011 : revised selected papers / by: (Language materials, printed)

Programming multi-agent systems = 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011 : revised selected papers / by: (Language materials, printed)

RoboCup 2011 = Robot Soccer World Cup XV / by: (Language materials, printed)

Transactions on computational collective intelligence VII by: (Language materials, printed)

Central European Functional Programming School = 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011 : revised selected papers / by: (Language materials, printed)

Generic and indexed programming = International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010 : revised lectures / by: (Language materials, printed)

Logic-based program synthesis and transformation = 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011 : revised selected papers / by: (Language materials, printed)

Agents for educational games and simulations = International Workshop, AEGS 2011, Taipei, Taiwan, May 2, 2011 : revised papers / by: (Language materials, printed)

Foundational and practical aspects of resource analysis = second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011 : revised selected papers / by: (Language materials, printed)

PRIMA 2012 = principles and practice of multi-agent systems : 15th International Conference, Kuching, Sarawak, Malaysia, September 3-7, 2012 : proceedings / by: (Language materials, printed)

Formal concept analysis = 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012 : proceedings / by: (Language materials, printed)

Trustworthy global computing = 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011 : revised selected papers / by: (Language materials, printed)

Reliable software technologies - Ada-Europe 2012 = 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012 : proceedings / by: (Language materials, printed)

Integrated formal methods = 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings / by: (Language materials, printed)

Correct reasoning = essays on logic-based AI in honour of Vladimir Lifschitz / by: (Language materials, printed)

Formal techniques for distributed systems = Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012 : proceedings / by: (Language materials, printed)

Distributed applications and interoperable systems = 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012 : proceedings / by: (Language materials, printed)

Coordination models and languages = 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012 : proceedings / by: (Language materials, printed)

Formal methods for model-driven engineering = 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012 : advanced lectures / by: (Language materials, printed)

ECOOP 2012 - Object-oriented programming = 26th European Conference, Beijing, China, June 11-16, 2012 : proceedings / by: (Language materials, printed)

Computational science and its applications - ICCSA 2012 = 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012 : proceedings.. Part II / by: (Language materials, printed)

Mathematics of program construction = 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012 : proceedings / by: (Language materials, printed)

Computational science and its applications - ICCSA 2012 = 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012 : proceedings.. Part I / by: (Language materials, printed)

Computational science and its applications - ICCSA 2012 = 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012 : proceedings.. Part IV / by: (Language materials, printed)

Application and theory of petri nets = 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012 : proceedings / by: (Language materials, printed)

Computational science and its applications - ICCSA 2012 = 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012 : proceedings.. Part III / by: (Language materials, printed)

Automated reasoning = 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012 : proceedings / by: (Language materials, printed)

Computer Aided Verification = 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings / by: (Language materials, printed)

Modelling foundations and applications = 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012 : proceedings / by: (Language materials, printed)

Automated configuration problem solving by: (Language materials, printed)

Semantic web services = advancement through evaluation / by: (Language materials, printed)

Experimentation in software engineering by: (Language materials, printed)

On the mathematics of modelling, metamodelling, ontologies and modelling languages by: (Language materials, printed)

Software process improvement and capability determination = 12th international conference, SPICE 2012, Palma, Spain, May 29-31, 2012 : proceedings / by: (Language materials, printed)

Networked digital technologies = 4th international conference, NDT 2012, Dubai, UAE, April 24-26, 2012 : proceedings.. Part I / by: (Language materials, printed)

Systems, software and services process improvement = 19th European Conference, EuroSPI 2012, Vienna, Austria, June 25-27, 2012 : proceedings / by: (Language materials, printed)

Computer networks = 19th International Conference, CN 2012, Szczyrk, Poland, June 19-23, 2012 : proceedings / by: (Language materials, printed)

Software engineering and knowledge engineering: Theory and Practice = selected papers from 2012 International Conference on Software Engineering, Knowledge Engineering and Information Engineering (SEKEIE 2012) / by: (Language materials, printed)

Tests and proofs = 6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / by: (Language materials, printed)

Software process definition and management by: (Language materials, printed)

Business process management = concepts, languages, architectures / by: (Language materials, printed)

Enterprise information systems = 13th International Conference, ICEIS 2011, Beijing, China, June 8-11, 2011, Revised selected papers / by: (Language materials, printed)

Agile processes in software engineering and extreme programming = 13th International Conference, XP 2012, Malmo, Sweden, May 21-25, 2012. Proceedings / by: (Language materials, printed)

Game theory for networks by: (Language materials, printed)

Mobile networks and management = third International ICST Conference, MONAMI 2011, Aveiro, Portugal, September 21-23, 2011, Revised selected papers / by: (Language materials, printed)

Mobile wireless middleware, operating systems, and applications = 4th International ICST Conference, Mobilware 2011, London, UK, June 22-24, 2011, Revised selected papers / by: (Language materials, printed)

Mobile and ubiquitous systems: Computing, networking, and services = 8th International ICST Conference, MobiQuitous 2011, Copenhagen, Denmark, December 6-9, 2011, Revised selected papers / by: (Language materials, printed)

Transactions on compuational collective intelligence VI by: (Language materials, printed)

Perspectives of systems informatics = 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers / by: (Language materials, printed)

Functional and logic programming = 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings / by: (Language materials, printed)

Runtime verification = second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers / by: (Language materials, printed)

Design science research in information systems = advances in theory and practice ; 7th international conference, DESRIST 2012, Las Vegas,NV, USA, May 14-15, 2012 : proceedings / by: (Language materials, printed)

NETWORKING 2012 workshops = International IFIP TC 6 Workshops, ETICS, HetsNets, and CompNets, held at NETWORKING 2012, Prague, Czech Republic, May 25, 2012 : proceedings / by: (Language materials, printed)

NETWORKING 2012 = 11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012 : proceedings.. Part I / by: (Language materials, printed)

NETWORKING 2012 = 11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012 : proceedings.. Part II / by: (Language materials, printed)

Theory and practice of model transformations = 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012 : proceedings / by: (Language materials, printed)

Objects, models, components, patterns = 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012 : proceedings / by: (Language materials, printed)

Software composition = 11th International Conference, SC 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / by: (Language materials, printed)

Wired/Wireless internet communication = 10th International Conference, WWIC 2012, Santorini, Greece, June 6-8, 2012 : proceedings / by: (Language materials, printed)

Dependable networks and services = 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012 : proceedings / by: (Language materials, printed)

Advances in grid and pervasive computing = 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012 : proceedings / by: (Language materials, printed)

Analytical and stochastic modeling techniques and applications = 19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012 : proceedings / by: (Language materials, printed)

Software service and application engineering = essays dedicated to Bernd Kramer on the occasion of his 65th birthday / by: (Language materials, printed)

Product-focused software process improvement = 13th International Conference, PROFES 2012, Madrid, Spain, June 13-15, 2012 : proceedings / by: (Language materials, printed)

Multicore software engineering, performance, and tools = International Conference, MSEPT 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / by: (Language materials, printed)

Software engineering research, management and applications 2012 by: (Language materials, printed)

Code generation with templates by: (Language materials, printed)

Handbook of conceptual modeling = theory, practice, and research challenges / by: (Language materials, printed)

Datalog reloaded = first International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010 : revised selected papers / by: (Language materials, printed)

Dependable and historic computing = essays dedicated to Brian Randell on the occasion of his 75th birthday / by: (Language materials, printed)

Computer performance engineering = 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011 : proceedings / by: (Language materials, printed)

Feature-oriented software product lines = concepts and implementation / by: (Language materials, printed)

Model-driven dependability assessment of software systems by: (Language materials, printed)

Enabling things to talk = designing IoT solutions with the IoT architectural reference model / by: (Language materials, printed)

Information and software technologies = 19th International Conference, ICIST 2013, Kaunas, Lithuania, October 2013 : proceedings / by: (Language materials, printed)

Software language engineering = 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013 : proceedings / by: (Language materials, printed)

Hardware and software = verification and testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013 : proceedings / by: (Language materials, printed)

Stabilization, safety, and security of distributed systems = 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013 : proceedings / by: (Language materials, printed)

Ambient assisted living and active aging = 5th International Work-Conference, IWAAL 2013, Carrillo, Costa Rica, December 2-6, 2013 : proceedings / by: (Language materials, printed)

Web information systems engineering - WISE 2013 = 14th International Conference, Nanjing, China, October 13-15, 2013 : proceedings.. Part II / by: (Language materials, printed)

Formal methods and software engineering = 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013 : proceedings / by: (Language materials, printed)

Web information systems engineering - WISE 2013 = 14th International Conference, Nanjing, China, October 13-15, 2013 : proceedings.. Part I / by: (Language materials, printed)

Internet and distributed computing systems = 6th International Conference, IDCS 2013, Hangzhou, China, October 28-30, 2013, Proceedings / by: (Language materials, printed)

Evolution of telecommunication services = the convergence of telecom and internet: technologies and ecosystems / by: (Language materials, printed)

Constraint solving and language processing = 7th International Workshop, CSLP 2012, Orleans, France, September 13-14, 2012 : revised selected papers / by: (Language materials, printed)

Testing software and systems = 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013 : proceedings / by: (Language materials, printed)

Practical aspects of declarative languages = 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013 : proceedings / by: (Language materials, printed)

Software reliability assessment with OR applications by: (Language materials, printed)

Trends in mobile web information systems = MobiWIS 2013 International Workshops, Paphos, Cyprus, August 26-28, 2013 : revised selected papers / by: (Language materials, printed)

Aspect-oriented requirements engineering by: (Language materials, printed)

Time and petri nets by: (Language materials, printed)

Product lifecycle management for society = 10th IFIP WG 5.1 International Conference, PLM 2013, Nantes, France, July 6-10, 2013 : proceedings / by: (Language materials, printed)

Lean enterprise software and systems = 4th International Conference, LESS 2013, Galway, Ireland, December 1-4, 2013 : proceedings / by: (Language materials, printed)

Trustworthy eternal systems via evolving software, data and knowledge = second international workshop, EternalS 2012, Montpellier, France, August 28, 2012 : revised selected papers / by: (Language materials, printed)

Ubiquitous computing and ambient intelligence = context-awareness and context-driven interaction : 7th International Conference, UCAmI 2013, Carrillo, Costa Rica, December 2-6, 2013 : proceedings / by: (Language materials, printed)

Multiple access communcations = 6th International Workshop, MACOM 2013, Vilnius, Lithuania, December 16-17, 2013 : proceedings / by: (Language materials, printed)

Implementation and application of functional languages = 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012 : revised selected papers / by: (Language materials, printed)

Conceptual modeling = 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013 : proceedings / by: (Language materials, printed)

PRIMA 2013 = principles and practice of multi-agent systems : 16th International Conference, Dunedin, New Zealand, December 1-6, 2013 : proceedings / by: (Language materials, printed)

Service-oriented computing = 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013 : proceedings / by: (Language materials, printed)

Theory and practice of natural computing = Second International Conference, TPNC 2013, Caceres, Spain, December 3-5, 2013 : proceedings / by: (Language materials, printed)

Ada 2012 rationale = The Language, The Standard Libraries / by: (Language materials, printed)

Resource discovery = 5th International Workshop, RED 2012, Co-located with the 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Greece, May 27, 2012 : revised selected papers / by: (Language materials, printed)

Programming languages and systems = 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013 : proceedings / by: (Language materials, printed)

Advances in multimedia information processing - PCM 2013 = 14th Pacific-Rim Conference on Multimedia, Nanjing, China, December 13-16, 2013 : proceedings / by: (Language materials, printed)

Swarm, evolutionary, and memetic computing = 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013 : proceedings.. Part I / by: (Language materials, printed)

Swarm, evolutionary, and memetic computing = 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013 : proceedings.. Part II / by: (Language materials, printed)

Principles of distributed systems = 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013 : proceedings / by: (Language materials, printed)

Algorithms and architectures for parallel processing = 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013 : proceedings.. Part I / by: (Language materials, printed)

Algorithms and architectures for parallel processing = 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013 : proceedings.. Part II / by: (Language materials, printed)

Middleware 2013 = ACM/IFIP/USENIX 14th International Middleware Conference, Beijing, China, December 9-13, 2013 : proceedings / by: (Language materials, printed)

Logic for programming, artificial intelligence, and reasoning = 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 : proceedings / by: (Language materials, printed)

Engineering multi-agent systems = first International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013 : revised selected papers / by: (Language materials, printed)

User-level workflow design = a bioinformatics perspective / by: (Language materials, printed)

Cloud computing = Third International Conference, CloudComp 2012, Vienna, Austria, September 24-26, 2012 : revised selected papers / by: (Language materials, printed)

Information and communication technologies in education, research, and industrial applications = 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013 : revised selected papers / by: (Language materials, printed)

Advances in service-oriented and cloud computing = Workshops of ESOCC 2013, Malaga, Spain, September 11-13, 2013 : revised selected papers / by: (Language materials, printed)

Evaluation of novel approaches to software engineering = 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012 : revised selected papers / by: (Language materials, printed)

Evaluation of novel approaches to software engineering = 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013 : revised selected papers / by: (Language materials, printed)

Ada 2012 reference manual = language and standard libraries : International Standard ISO/IEC 8652/2012 (E) / by: (Language materials, printed)

Enterprise information systems = 14th International Conference, ICEIS 2012, Wroclaw, Poland, June 28 - July 1, 2012 : revised selected papers / by: (Language materials, printed)

Earth system modelling.. Volume 3,. Coupling software and strategies by: (Language materials, printed)

Foundational Java = key elements and practical programming / by: (Language materials, printed)

Software engineering research, management and applications 2011 by: (Language materials, printed)

Principles and practice of multi-agent systems = 13th international conference, PRIMA 2010, Kolkata, India, November 12-15, 2010 : revised selected papers / by: (Language materials, printed)

Proceedings of the International Conference on IT Convergence and Security 2011 by: (Language materials, printed)

Computer science and convergence = CSA 2011 & WCC 2011 proceedings / by: (Language materials, printed)

Design thinking research = studying co-creation in practice / by: (Language materials, printed)

Algebraic and numeric biology = 4th international conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010 : revised selected papers / by: (Language materials, printed)

Software and systems traceability by: (Language materials, printed)

Achieving systems safety = proceedings of the twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012 / by: (Language materials, printed)

Mathematical and engineering methods in computer science = 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011 : revised selected papers / by: (Language materials, printed)

Distributed computing and networking = 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012 : proceedings / by: (Language materials, printed)

Formal aspects of component software = 7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers / by: (Language materials, printed)

Theory of security and applications = Joint Workshop, TOSCA 2011, Saarbrucken, Germany, March 31 - April 1, 2011 : revised selected papers / by: (Language materials, printed)

Resource discovery = third International Workshop, RED 2010, Paris, France, November 5, 2010 : revised selected papers / by: (Language materials, printed)

SOFSEM 2012 = theory and practice of computer science : 38th conference on current trends in theory and practice of computer science, Spindleruv Mlyn, Czech Republic, January 21-27, 2012 : proceedings / by: (Language materials, printed)

Verified software = theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings / by: (Language materials, printed)

Foundations and practice of security = 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011 : revised selected papers / by: (Language materials, printed)

Verification, model checking, and abstract = 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012 : proceedings / by: (Language materials, printed)

Software quality = process automation in software development : 4th International Conference, SWQD 2012, Vienna, Austria, January 17-19, 2012 : proceedings / by: (Language materials, printed)

Computer and computing technologies in agriculture V = 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011 : proceedings.. Part III / by: (Language materials, printed)

Computer and computing technologies in agriculture V = 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011 : proceedings.. Part II / by: (Language materials, printed)

Computer and computing technologies in agriculture V = 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011 : proceedings.. Part I / by: (Language materials, printed)

Web information systems and technologies = 7th International Conference, WEBIST 2011, Noordwijkerhout, The Netherlands, May 6-9, 2011 : revised selected papers / by: (Language materials, printed)

Business process management workshops = BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011 : revised selected papers.. Part I / by: (Language materials, printed)

Business process management workshops = BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011 : revised selected papers.. Part II / by: (Language materials, printed)

Software engineering and knowledge engineering = theory and practice.. Volume 1 / by: (Language materials, printed)

From the web to the grid and beyond = computing paradigms driven by high-energy physics / by: (Language materials, printed)

Improving software testing = technical and organizational developments / by: (Language materials, printed)

Guide to scientific computing in C++ by: (Language materials, printed)

Practical aspects of declarative languages = 14th international symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012 : proceedings / by: (Language materials, printed)

Grid and pervasive computing workshops = International Workshops, S3E, HWTS, Doctoral Colloquium, Held in Conjunction with GPC 2011, Oulu, Finland, May 11-13, 2011 : revised selected papers / by: (Language materials, printed)

Current trends in web engineering = workshops, doctoral symposium, and tutorials, held at ICWE 2011, Paphos, Cyprus, June 20-21, 2011 : revised selected papers / by: (Language materials, printed)

Wireless sensor networks = 9th European conference, EWSN 2012, Trento, Italy, February 15-17, 2012 : proceedings / by: (Language materials, printed)

Algorithms for sensor systems = 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbrucken, Germany, September 8-9, 2011 : revised selected papers / by: (Language materials, printed)

Building a national distributed e-Infrastructure - PL-Grid = scientific and technical achievements / by: (Language materials, printed)

Conceptual modelling and its theoretical foundations = essays dedicated to Bernhard Thalheim n the occasion of his 60th birthday / by: (Language materials, printed)

Architecture of computing systems - ARCS 2012 = 25th International Conference, Munich, Germany, February 28 - March 2, 2012 : proceedings / by: (Language materials, printed)

Multi-agent-based simulation XII = international workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011 : revised selected papers / by: (Language materials, printed)

Transactions on computational science XV = special issue on advances in autonomic computing : formal engineering methods for nature-inspired computing systems / by: (Language materials, printed)

Introduction to programming with Fortran = with coverage of Fortran 90, 95, 2003, 2008 and 77 / by: (Language materials, printed)

Advances in computer science and information technology = computer science and engineering : second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012 : proceedings.. Part III / by: (Language materials, printed)

Technological innovation for value creation = third IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2012, Costa de Caparica, Portugal, February 27-29, 2012 : proceedings / by: (Language materials, printed)

Distributed, embedded and real-time Java systems by: (Language materials, printed)

Enterprise Interoperability V = shaping enterprise interoperability in the future internet / by: (Language materials, printed)

Reconfigurable computing = architectures, tools and applications : 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012 : proceedings / by: (Language materials, printed)

Data engineering and management = second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010 : revised selected papers / by: (Language materials, printed)

Passive and active measurement = 13th International Conference, PAM 2012, Vienna, Austria, March 12-14th, 2012 : proceedings / by: (Language materials, printed)

Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance = 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012 : proceedings / by: (Language materials, printed)

Self-organizing systems = 6th IFIP TC 6 International Workshop, IWSOS 2012, Delft, The Netherlands, March 15-16, 2012 : proceedings / by: (Language materials, printed)

Compiler construction = 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings / by: (Language materials, printed)

Economics of grids, clouds, systems, and services = 8th International Workshop, GECON 2011, Paphos, Cyprus, December 5, 2011 : revised selected papers / by: (Language materials, printed)

Requirements engineering: Foundation for software quality = 18th International Working Conference, REFSQ 2012, Essen, Germany, March 19-22, 2012 : proceedings / by: (Language materials, printed)

Logic for programming, artificial intelligence, and reasoning = 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012 : proceedings / by: (Language materials, printed)

Foundations of software science and computational structures = 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings / by: (Language materials, printed)

Tools and algorithms for the construction and analysis of systems = 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings / by: (Language materials, printed)

Programming languages and systems = 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings / by: (Language materials, printed)

Fundamental approaches to software engineering = 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings / by: (Language materials, printed)

NASA formal methods = 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings / by: (Language materials, printed)

Programming multi-agent systems = 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010 : revised selected papers / by: (Language materials, printed)

Transactions on petri nets and other models of concurrency V by: (Language materials, printed)

Declarative agent languages and technologies IX = 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011 : revised selected and invited papers / by: (Language materials, printed)

S-BPM ONE - Scientific research = 4th International Conference, S-BPM ONE 2012, Vienna, Austria, April 4-5, 2012 : proceedings / by: (Language materials, printed)

Information systems, technology and management = 6th International Conference, ICISTM 2012, Grenoble, France, March 28-30, 2012 : proceedings / by: (Language materials, printed)

Testbeds and research infrastructure Development of Networks and Communities = development of networks and communities : 7th International ICST Conference,TridentCom 2011, Shanghai, China, April 17-19, 2011 : revised selected papers / by: (Language materials, printed)

Mobile and ubiquitous Systems: Computing, networking, and services = 7th International ICST Conference, MobiQuitous 2010, Sydeny, Australia, December 6-9, 2010 : revised selected papers / by: (Language materials, printed)

Quality, reliability, security and robustness in heterogeneous networks = 7th International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2010, and Dedicated Short Range Communications Workshop, DSRC 2010, Houston, TX, USA, November 17-19, 2010 : revised selected papers / by: (Language materials, printed)

Mobile computing, applications, and services = second International ICST Conference, MobiCASE 2010, Santa Clara, CA, USA, October 25-28, 2010 : revised selected papers / by: (Language materials, printed)

Mobile lightweight wireless systems = third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011 : revised selected papers / by: (Language materials, printed)

IS Olympics = Information systems in a diverse world : CAiSE Forum 2011, London, UK, June 20-24, 2011 : selected extended papers / by: (Language materials, printed)

Business modeling and software design = first International Symposium, BMSD 2011, Sofia, Bulgaria, July 27-28, 2011 : revised selected papers / by: (Language materials, printed)

Advances in software engineering techniques = 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009 : revised selected papers / by: (Language materials, printed)

Software language engineering = 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011 : revised selected papers / by: (Language materials, printed)

Agile service development = combining adaptive methods and flexible solutions / by: (Language materials, printed)

Advanced computing, networking and security = International Conference, ADCONS 2011, Surathkal, India, December 16-18, 2011 : revised selected papers / by: (Language materials, printed)

Games, actions and social software = multidisciplinary aspects / by: (Language materials, printed)

Logic programs, norms and action = essays in honor of Marek J. Sergot on the occasion of his 60th birthday / by: (Language materials, printed)

Logic and program semantics = essays dedicated to Dexter Kozen on the occasion of his 60th birthday / by: (Language materials, printed)

Reversible computation = third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised papers / by: (Language materials, printed)

Models in software engineering = workshops and symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011 : reports and revised selected papers / by: (Language materials, printed)

Euro-Par 2011: Parallel processing workshops = CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 - September 2, 2011 : revised selected papers.. Part I / by: (Language materials, printed)

Euro-Par 2011: Parallel processing workshops = CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 - September 2, 2011 : revised selected papers.. Part II / by: (Language materials, printed)

Web services and formal methods = 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011 : revised selected papers / by: (Language materials, printed)

Advances in computer science and information technology = Networks and Communications : second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012 : proceedings.. Part I / by: (Language materials, printed)

Advances in computer science and information technology = computer science and engineering : second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012 : proceedings.. Part II / by: (Language materials, printed)

The correctness-by-construction approach to programming by: (Language materials, printed)

Broadband communications, networks, and systems = 7th International ICST Conference, BROADNETS 2010, Athens, Greece, October 25-27, 2010 : revised selected papers / by: (Language materials, printed)

Mobile multimedia communications = 7th International ICST Conference, MOBIMEDIA 2011, Cagliari, Italy, September 5-7, 2011 : revised selected papers / by: (Language materials, printed)

Using Microsoft Dynamics AX 2012 by: (Language materials, printed)

Adoption-centric usability engineering = systematic deployment, assessment and improvement of usability methods in software engineering / by: (Language materials, printed)

Security engineering for service-oriented architectures by: (Language materials, printed)

Pattern recognition using neural and functional networks by: (Language materials, printed)

Enterprise Architecture = Creating Value by Informed Governance / by: (Language materials, printed)

Semantic web services challenge = results from the first year / by: (Language materials, printed)

Verification, model checking, and abstract interpretation = 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 : proceedings / by: (Language materials, printed)

Declarative agent languages and technologies VI = 6th international workshop, DALT 2008, Estoril, Portugal, May 12, 2008 : revised selected and invited papers / by: (Language materials, printed)

Design and use of serious games by: (Language materials, printed)

Theory and practice of uncertain programming by: (Language materials, printed)

Software engineering = international summer schools, ISSSE 2006-2008, Salerno, Italy ; revised tutorial lectures / by: (Language materials, printed)

Wireless sensor networks = 6th European conference, EWSN 2009, Cork, Ireland, February 11-13, 2009 ; proceedings / by: (Language materials, printed)

Safety-critical systems = problems, process and practice: proceedings of the seventeenth Safety-Critical Symposium, Brighton, UK, 3-5 February 2009 / by: (Language materials, printed)

Design requirements engineering = a ten-year perspective: Design Requirements Workshop, Cleveland, OH, USA, June 3-6, 2007 : revised and invited papers / by: (Language materials, printed)

Hardware software co-design of a multimedia SOC platform / by: (Language materials, printed)

Enterprise, business-process and information systems modeling = 10th International Workshop, BPMDS 2009 and 14th International Conference, EMMSAD 2009 held at CAiSE 2009 Amsterdam, The Netherlands, June 8-9, 2009 : proceedings / by: (Language materials, printed)

Integrated formal methods = 7th international conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009 ; Proceedings / by: (Language materials, printed)

Network control and optimization = Second Euro-NF Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008. Revised Selected Papers / by: (Language materials, printed)

Model checking and artificial intelligence = 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers / by: (Language materials, printed)

Architecture of computing systems - ARCS 2009 = 22nd International Conference, Delft, The Netherlands, March 10-13, 2009, Proceedings / by: (Language materials, printed)

Logic-based program synthesis and transformation = 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, revised selected papers / by: (Language materials, printed)

Trusted computing = second international conference, Trust 2009, Oxford, UK, April 6-8, 2009 ; Proceedings / by: (Language materials, printed)

Methods, models and tools for fault tolerance by: (Language materials, printed)

Middleware for Network Eccentric and Mobile Applications by: (Language materials, printed)

Advances in modeling agricultural systems by: (Language materials, printed)

Transactions on petri nets and other models of concurrency.. II,. Special issue on concurrency in process-aware information systems by: (Language materials, printed)

Distributed computing and networking = 10th international conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009 : proceedings / by: (Language materials, printed)

Software language engineering = First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised selected papers / by: (Language materials, printed)

Engineering secure software and systems = First international symposium, ESSoS 2009, Leuven, Belgium, February 4-6, 2009, proceedings / by: (Language materials, printed)

Human machine interaction = research results of the MMI program / by: (Language materials, printed)

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, Marsha Chechik, Martin Wirsing / by: (Language materials, printed)

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 / by: (Language materials, printed)

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 / by: (Language materials, printed)

Agent-oriented software engineering IX = 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 : revised selected papers / by: (Language materials, printed)

Agent computing and multi-agent systems = 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007 : revised papers / by: (Language materials, printed)

Object-oriented technology. ECOOP 2008 workshop reader = ECOOP 2008 workshops, Paphos, Cyrus, July 7-11, 2008, final reports / by: (Language materials, printed)

Wired/wireless internet communications = 7th international conference, WWIC 2009, Enschede, The Netherlands, May 27-29, 2009 ; proceedings / by: (Language materials, printed)

The semantic web: research and applications = 6th European Semantic Web Conference, ESWC 2009, Heraklion, Crete, Greece, May 31 - June 4, 2009 ; proceedings / by: (Language materials, printed)

Hybrid systems = computation and control, 12th international conference, HSCC 2009, San Francisco, CA,USA, April 13-15, 2009, proceedings / by: (Language materials, printed)

Trustworthy global computing = 4th international symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008 ; revised selected papers / by: (Language materials, printed)

Active and programmable networks = IFIP TC6 7th international working conference, IWAN 2005, Sophia Antipolis, France, November 21-23, 2005 : revised papers / by: (Language materials, printed)

Service-oriented computing - ICSOC 2008 workshops = ICSOC 2008 international workshops, Sydney, Australia, December 1, 2008 ; revised selected papers / by: (Language materials, printed)

Web services and formal methods = 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008 ; revised selected papers / by: (Language materials, printed)

Models in software engineering = workshops and symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008 ; reports and revised selected papers / by: (Language materials, printed)

Advances in grid and pervasive computing = 4th international conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009 : proceedings / by: (Language materials, printed)

Hardware and software : verification and testing = 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 ; proceedings / by: (Language materials, printed)

Security and dependability for ambient intelligence by: (Language materials, printed)

Principles of programming languages by: (Language materials, printed)

Software verification and analysis = an integrated, hands-on approach / by: (Language materials, printed)

New trends on human-computer interaction = research, development, new tools and methods / by: (Language materials, printed)

Information systems : modeling, development, and integration = third International United Information Systems Conference, UNISCON 2009, Sydney, Australia, April 21-24, 2009 : proceedings / by: (Language materials, printed)

Mobile Wireless Middleware, Operating Systems and Applications = Second International Conference, Mobilware 2009, Berlin, Germany, April 28-29, 2009 Proceedings / by: (Language materials, printed)

Software engineering, artificial intelligence, networking and parallel/distributed computing by: (Language materials, printed)

Networking 2009 = 8th International IFIP-TC 6 Networking Conference, Aachen, Germany, May 11-15, 2009 ; proceedings / by: (Language materials, printed)

Trustworthy software development processes = International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 ; Proceedings / by: (Language materials, printed)

Formal concept analysis = 7th international conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008 ; proceedings / by: (Language materials, printed)

Modular ontologies = concepts, theories and techniques for knowledge modularization / by: (Language materials, printed)

Formal methods for web services = 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, advanced lectures / by: (Language materials, printed)

Agile processes in software engineering and extreme programming = 10th International Conference, XP 2009, Pula, Sardinia, Italy, May 25-29, 2009. Proceedings / by: (Language materials, printed)

Software engineering approaches for offshore and outsourced development = Second international conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008. Revised papers / by: (Language materials, printed)

Hagenberg research by: (Language materials, printed)

Android essentials by: (Language materials, printed)

Software engineering research, management and applications by: (Language materials, printed)

Design thinking research = building innovation eco-systems / by: (Language materials, printed)

Refinement in Z and Object-Z = foundations and advanced applications / by: (Language materials, printed)

Soft city culture and technology = the Betaville Project / by: (Language materials, printed)

High performance cloud auditing and applications by: (Language materials, printed)

Software reliability modeling = fundamentals and applications / by: (Language materials, printed)

Practical aspects of declarative languages = 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014 : proceedings / by: (Language materials, printed)

Software quality = model-based approaches for advanced software and systems engineering : 6th International Conference, SWQD 2014, Vienna, Austria, January 14-16, 2014 : proceedings / by: (Language materials, printed)

JRuby Rails web application development by: (Language materials, printed)

Exploring services science = 5th International Conference, IESS 2014, Geneva, Switzerland, February 5-7, 2014 : proceedings / by: (Language materials, printed)

Evolving software systems by: (Language materials, printed)

SOFSEM 2014 = theory and practice of computer science : 40th International Conference on Current Trends in Theory and Practice of Computer Science, Novy Smokovec, Slovakia, January 26-29, 2014 : proceedings / by: (Language materials, printed)

Wireless sensor networks = 11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014 : proceedings / by: (Language materials, printed)

Frontiers in gaming simulation = 44th International Simulation and Gaming Association Conference, ISAGA 2013 and 17th IFIP WG 5.7 Workshop on Experimental Interactive Learning in Industrial Management, Stockholm, Sweden, June 24-28, 2013 : revised selected papers / by: (Language materials, printed)

Distributed computing and networking = 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014 : proceedings / by: (Language materials, printed)

Foundations of health information engineering and systems = third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013 : revised selected papers / by: (Language materials, printed)

Verification, model checking, and abstract interpretation = 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014 : proceedings / by: (Language materials, printed)

Verified software = theories, tools, experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : revised selected papers / by: (Language materials, printed)

The art of software thermal management for embedded systems by: (Language materials, printed)

Future business software = current trends in business software development / by: (Language materials, printed)

Software engineering education for a global e-service economy = state of the art, trends and developments / by: (Language materials, printed)

Architecture of computing systems - ARCS 2014 = 27th International Conference, Lubeck, Germany, February 25-28, 2014 : proceedings / by: (Language materials, printed)

Structured object-oriented formal language and method = third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers / by: (Language materials, printed)

OpenSHMEM and related technologies = experiences, implementations, and tools : First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014 : proceedings / by: (Language materials, printed)

Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance = 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014 : proceedings / by: (Language materials, printed)

Self-organizing systems = 7th IFIP TC 6 International Workshop, IWSOS 2013, Palma de Mallorca, Spain, May 9-10, 2013 : revised selected papers / by: (Language materials, printed)

Information technology and open source: applications for education, innovation, and sustainability = SEFM 2012 Satellite Events, InSuEdu, MoKMaDS, and OpenCert, Thessaloniki, Greece, October 1-2, 2012, Revised Selected Papers / by: (Language materials, printed)

Web information systems engineering - WISE 2013 workshops = WISE 2013 international workshops BigWebData, MBC, PCS, STeH, QUAT, SCEH, and STSC 2013, Nanjing, China, October 13-15, 2013 : revised selected papers / by: (Language materials, printed)

Agile risk management by: (Language materials, printed)

Handbook on agent-oriented design processes by: (Language materials, printed)

Software Engineering and Formal Methods = SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013 : revised selected papers / by: (Language materials, printed)

Requirements engineering = foundation for software quality : 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014 : proceedings / by: (Language materials, printed)

Fundamental approaches to software engineering = 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings / by: (Language materials, printed)

Compiler Construction = 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings / by: (Language materials, printed)

Foundations of software science and computation structures = 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings / by: (Language materials, printed)

Programming languages and systems = 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings / by: (Language materials, printed)

Tools and algorithms for the construction and analysis of systems = 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings / by: (Language materials, printed)

Design thinking research = building innovators / by: (Language materials, printed)

Agile project management = managing for success / by: (Language materials, printed)

Regulated open multi-agent systems (ROMAS) = a multi-agent approach for designing normative open systems / by: (Language materials, printed)

Transactional memory = foundations, algorithms, tools, and applications : COST Action Euro-TM IC1001 / by: (Language materials, printed)

Verification, model checking, and abstract interpretation = 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings / by: (Language materials, printed)

The scrum culture = introducing agile methods in organizations / by: (Language materials, printed)

From requirements to Java in a snap = model-driven requirements engineering in practice / by: (Language materials, printed)

Software quality = Software and systems quality in distributed and mobile environments : 7th International Conference, SWQD 2015, Vienna, Austria, January 20-23, 2015 : proceedings / by: (Language materials, printed)

Exploring services science = 6th International Conference, IESS 2015, Porto, Portugal, February 4-6, 2015 : proceedings / by: (Language materials, printed)

Programming Smalltalk - object-orientation from the beginning = an introduction to the principles of programming / by: (Language materials, printed)

Unifying theories of programming = 5th International Symposium, UTP 2014, Singapore, May 13, 2014 : revised selected papers / by: (Language materials, printed)

Formal methods = foundations and applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29 - October 1, 2014 : proceedings / by: (Language materials, printed)

Software engineering and formal methods = SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014 : revised selected papers / by: (Language materials, printed)

Formal aspects of component software = 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014 : revised selected papers / by: (Language materials, printed)

Wireless sensor networks = 12th European Conference, EWSN 2015, Porto, Portugal, February 9-11, 2015 : proceedings / by: (Language materials, printed)

SOFSEM 2015 = theory and practice of computer science : 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Snezkou, Czech Republic, January 24-29, 2015 : proceedings / by: (Language materials, printed)

Understanding network hacks = attack and defense with Python / by: (Language materials, printed)

Hybrid soft computing approaches = research and applications / by: (Language materials, printed)

Collaborative quality assurance in information systems development = the interaction of software development techniques and team cognition / by: (Language materials, printed)

Trends and applications in software engineering = proceedings of the 4th International Conference on Software Process Improvement CIMPS'2015 / by: (Language materials, printed)

Proceedings of 4th International Conference in Software Engineering for Defence Applications = SEDA 2015 / by: (Language materials, printed)

Agile Software Development Teams by: (Language materials, printed)

Software quality = the future of systems- and software development : 8th International Conference, SWQD 2016, Vienna, Austria, January 18-21, 2016 : proceedings / by: (Language materials, printed)

Verification, model checking, and abstract interpretation = 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings / by: (Language materials, printed)

Program arcade games = with Python and Pygame / by: (Language materials, printed)

Pro Docker by: (Language materials, printed)

Distributed simulation = a model driven engineering approach / by: (Language materials, printed)

Rapid mashup development tools = first International Rapid Mashup Challenge, RMC 2015, Rotterdam, The Netherlands, June 23, 2015 : revised selected papers / by: (Language materials, printed)

Practical aspects of declarative languages = 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016 : proceedings / by: (Language materials, printed)

Advances in network science = 12th International Conference and School, NetSci-X 2016, Wroclaw, Poland, January 11-13, 2016 : proceedings / by: (Language materials, printed)

Formal aspects of component software = 12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015 : revised selected papers / by: (Language materials, printed)

SOFSEM 2016 = theory and practice of computer science : 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016 : proceedings / by: (Language materials, printed)

Computational intelligence and quantitative software engineering by: (Language materials, printed)

Software design for resilient computer systems by: (Language materials, printed)

Formal techniques for safety-critical systems = 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015 : revised selected papers / by: (Language materials, printed)

Cloud computing and services sciences = 5th International Conference, CLOSER 2015, Lisbon, Portugal, May 20-22, 2015 : revised selected papers / by: (Language materials, printed)

Software technologies = 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015 : revised selected papers / by: (Language materials, printed)

Information and communication technologies in education, research, and industrial applications = 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015 : revised selected papers / by: (Language materials, printed)

Engineering trustworthy software systems = first International School, SETSS 2014, Chongqing, China, September 8-13, 2014 : tutorial lectures / by: (Language materials, printed)

Languages and compilers for parallel computing = 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015 : revised selected papers / by: (Language materials, printed)

Graphical models for security = second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015 : revised selected papers / by: (Language materials, printed)

Formal methods: foundations and applications = 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015 : proceedings / by: (Language materials, printed)

Evaluation of novel approaches to software engineering = 10th International Conference, ENASE 2015, Barcelona, Spain, April 29-30, 2015 : revised selected papers / by: (Language materials, printed)

Functional and logic programming = 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016 : proceedings / by: (Language materials, printed)

Verified software = theories, tools, and experiments : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 : revised selected papers / by: (Language materials, printed)

Mathematical and engineering methods in computer science = 10th International Doctoral Workshop, MEMICS 2015, Telc, Czech Republic, October 23-25, 2015 : revised selected papers / by: (Language materials, printed)

Requirements engineering = foundation for software quality : 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016 : proceedings / by: (Language materials, printed)

Architecture of computing systems - ARCS 2016 = 29th International Conference, Nuremberg, Germany, April 4-7, 2016 : proceedings / by: (Language materials, printed)

Theory and practice of formal methods = essays dedicated to Frank de Boer on the occasion of his 60th birthday / by: (Language materials, printed)

A list of successes that can change the world = essays dedicated to Philip Wadler on the occasion of his 60th birthday / by: (Language materials, printed)

Structured object-oriented formal language and method = 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 : revised selected papers / by: (Language materials, printed)

Multi-agent based simulation XVI = International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015 : revised selected papers / by: (Language materials, printed)

Measurement, modelling and evaluation of dependable computer and communication systems = 18th International GI/ITG Conference, MMB & DFT 2016, Munster, Germany, April 4-6, 2016 : proceedings / by: (Language materials, printed)

Programming languages and systems = 25th European Symposium on Programming, ESOP 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016 : proceedings / by: (Language materials, printed)

Foundations of software science and computation structures = 19th International Conference, FOSSACS 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016 : proceedings / by: (Language materials, printed)

Fundamental approaches to software engineering = 19th International Conference, FASE 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016 : proceedings / by: (Language materials, printed)

OSS reliability measurement and assessment by: (Language materials, printed)

Tangible interactive systems = grasping the real world with computers / by: (Language materials, printed)

Hagenberg business process modelling method by: (Language materials, printed)

Advances in service-oriented and cloud computing = workshops of ESOCC 2015, Taormina, Italy, September 15-17, 2015 : revised selected papers / by: (Language materials, printed)

Process mining = data science in action / by: (Language materials, printed)

Parallel processing and applied mathematics = 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015 : revised selected papers.. Part I / by: (Language materials, printed)

Parallel processing and applied mathematics = 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015 : revised selected papers.. Part II / by: (Language materials, printed)

Model checking software = 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016 : proceedings / by: (Language materials, printed)

Multi-agent systems and agreement technologies = 13th European Conference, EUMAS 2015, and third International Conference, AT 2015, Athens, Greece, December 17-18, 2015 : revised selected papers / by: (Language materials, printed)

Web services, formal methods, and behavioral types = 11th International Workshop, WS-FM 2014, Eindhoven, the Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015 : revised selected papers / by: (Language materials, printed)

Tools and algorithms for the construction and analysis of systems = 22nd International Conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings / by: (Language materials, printed)

Transactions on computational science XXVII by: (Language materials, printed)

Service-oriented computing - ICSOC 2015 Workshops = WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015 : revised selected papers / by: (Language materials, printed)

Computational sustainability by: (Language materials, printed)

Modelling and implementation of complex systems = proceedings of the 4th International Symposium, MISC 2016, May 7-8, 2016, Constantine, Algeria / by: (Language materials, printed)

Devops on the Microsoft stack by: (Language materials, printed)

Jumpstart Tableau = a step-by-step guide to better data visualization / by: (Language materials, printed)

Software engineering education going agile = 11th China-Europe International Symposium on Software Engineering Education (CEISEE 2015) / by: (Language materials, printed)

Managing humans = biting and humorous tales of a software engineering manager / by: (Language materials, printed)

Exploring services science = 7th International Conference, IESS 2016, Bucharest, Romania, May 25-27, 2016 : proceedings / by: (Language materials, printed)

Agile processes in software engineering and extreme programming = 17th International Conference, XP 2016, Edinburgh, UK, May 24-27, 2016 : proceedings / by: (Language materials, printed)

Cloud computing = 6th International Conference, CloudComp 2015, Daejeon, South Korea, October 28-29, 2015 : proceedings / by: (Language materials, printed)

Software process improvement and capability determination = 16th International Conference, SPICE 2016, Dublin, Ireland, June 9-10, 2016 : proceedings / by: (Language materials, printed)

Open source systems = integrating communities : 12th IFIP WG 2.13 International Conference, OSS 2016, Gothenburg, Sweden, May 30 - June 2, 2016 : proceedings / by: (Language materials, printed)

Abstract state machines, Alloy, B, TLA, VDM, and Z = 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016 : proceedings / by: (Language materials, printed)

Integrated formal methods = 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings / by: (Language materials, printed)

Software reuse = bridging with social-awareness : 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016 : proceedings / by: (Language materials, printed)

Web engineering = 16th International Conference, ICWE 2016, Lugano, Switzerland, June 6-9, 2016 : proceedings / by: (Language materials, printed)

Green, pervasive, and cloud computing = 11th International Conference, GPC 2016, Xi'an, China, May 6-8, 2016 : proceedings / by: (Language materials, printed)

Reliable software technologies - Ada-Europe 2016 = 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016 : proceedings / by: (Language materials, printed)

Trends in functional programming = 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015 : revised selected papers / by: (Language materials, printed)

Coordination models and languages = 18th IFIP WG 6.1 International Conference, COORDINATION 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016 : proceedings / by: (Language materials, printed)

Formal techniques for distributed objects components, and systems = 36th IFIP WG 6.1 International Conference, FORTE 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016 : proceedings / by: (Language materials, printed)

Advanced information systems engineering workshops = 28th International Conference, CAiSE 2016, Ljubljana, Slovenia, June 13-17, 2016 : proceedings / by: (Language materials, printed)

Mobile and wireless technologies 2016 by: (Language materials, printed)

Beginning Samsung ARTIK = a guide for developers / by: (Language materials, printed)

Enterprise, business-process and information systems modeling = 17th International Conference, BPMDS 2016, 21st International Conference, EMMSAD 2016, held at CAiSE 2016, Ljubljana, Slovenia, June 13-14, 2016 : proceedings / by: (Language materials, printed)

Advanced information systems engineering workshops = CAiSE 2016 International Workshops, Ljubljana, Slovenia, June 13-17, 2016 : proceedings / by: (Language materials, printed)

Business modeling and software design = 5th International Symposium, BMSD 2015, Milan, Italy, July 6-8, 2015 : revised selected papers / by: (Language materials, printed)

Software business = 7th international conference, ICSOB 2016, Ljubljana, Slovenia, June 13-14, 2016 : proceedings / by: (Language materials, printed)

Trustworthy open self-organising systems by: (Language materials, printed)

Smart city 360 = first EAI International Summit, Smart City 360, Bratislava, Slovakia and Toronto, Canada, October 13-16, 2015 : revised selected papers / by: (Language materials, printed)

Automated software and service composition = a survey and evaluating review / by: (Language materials, printed)

Pragmatic evaluation of software architectures by: (Language materials, printed)

Databases and information systems = 12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016 : proceedings / by: (Language materials, printed)

Reliability, safety, and security of railway systems = modelling, analysis, verification, and certification : first International Conference, RSSRail 2016, Paris, France, June 28-30, 2016 : proceedings / by: (Language materials, printed)

Formal methods for the quantitative evaluation of collective adaptive systems = 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016 : advanced lectures / by: (Language materials, printed)

Human-computer interaction = theory, design, development and practice : 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016 : proceedings.. Part I / by: (Language materials, printed)

Human-computer interaction = novel user experiences : 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016 : proceedings.. Part III / by: (Language materials, printed)

Games and learning alliance = 4th International Conference, GALA 2015, Rome, Italy, December 9-11, 2015 : revised selected papers / by: (Language materials, printed)

Automated reasoning = 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016 : proceedings / by: (Language materials, printed)

Design, user experience, and usability = novel user experiences : 5th International Conference, DUXU 2016, held as part of HCI International 2016, Toronto, Canada, July 17-22, 2016 : proceedings.. Part II / by: (Language materials, printed)

Design, user experience, and usability = technological contexts : 5th International Conference, DUXU 2016, held as part of HCI International 2016, Toronto, Canada, July 17-22, 2016 : proceedings.. Part III / by: (Language materials, printed)

Design, user experience, and usability = design thinking and methods : 5th International Conference, DUXU 2016, held as part of HCI International 2016, Toronto, Canada, July 17-22, 2016 : proceedings.. Part I / by: (Language materials, printed)

Graph transformation = 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, held as part of STAF 2016, Vienna, Austria, July 5-6, 2016 : proceedings / by: (Language materials, printed)

NASA formal methods = 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016 : proceedings / by: (Language materials, printed)

Theory and applications of satisfiability testing - SAT 2016 = 19th International Conference, Bordeaux, France, July 5-8, 2016 : proceedings / by: (Language materials, printed)

Tests and proofs = 10th International Conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016 : proceedings / by: (Language materials, printed)

Biomedical data management and graph online querying = VLDB 2015 Workshops, Big-O(Q) and DMAH, Waikoloa, HI, USA, August 31 - September 4, 2015 : revised selected papers / by: (Language materials, printed)

Perspectives of system informatics = 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015 : revised selected papers / by: (Language materials, printed)

Software engineering and formal methods = 14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016 : proceedings / by: (Language materials, printed)

Rule technologies = research, tools, and applications : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016 : proceedings / by: (Language materials, printed)

Modelling foundations and applications = 12th European Conference, ECMFA 2016, held as part of STAF 2016, Vienna, Austria, July 6-7, 2016 : proceedings / by: (Language materials, printed)

Theory and practice of model transformations = 9th International Conference, ICMT 2016, held as part of STAF 2016, Vienna, Austria, July 4-5, 2016 : proceedings / by: (Language materials, printed)

Computational science and its applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.. Part IV / by: (Language materials, printed)

Computational science and its applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.. Part V / by: (Language materials, printed)

Finite difference computing with exponential decay models by: (Language materials, printed)

Creating Google Chrome extensions by: (Language materials, printed)

Migrating large-scale services to the cloud by: (Language materials, printed)

Building Arduino projects for the internet of things = experiments with real-world applications / by: (Language materials, printed)

Beginning Backdrop CMS by: (Language materials, printed)

.NET development using the compiler API by: (Language materials, printed)

Managing information technology by: (Language materials, printed)

Domain-specific conceptual modeling = concepts, methods and tools / by: (Language materials, printed)

Controlled natural language = 5th International Workshop, CNL 2016, Aberdeen, UK, July 25-27, 2016 : proceedings / by: (Language materials, printed)

Computational science and its applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.. Part I / by: (Language materials, printed)

Computational science and its applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.. Part II / by: (Language materials, printed)

Computational science and its applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.. Part III / by: (Language materials, printed)

Intelligent computer mathematics = 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016 : proceedings / by: (Language materials, printed)

Coordination, organizations, institutions, and norms in agent systems XI = COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015 : revised selected papers / by: (Language materials, printed)

Economics of grids, clouds, systems, and services = 12th International Conference, GECON 2015, Cluj-Napoca, Romania, September 15-17, 2015 : revised selected papers / by: (Language materials, printed)

Penetration testing basics = a quick-start guide to breaking into systems / by: (Language materials, printed)

Perpectives in business informatics research = 15th International Conference, BIR 2016, Prague, Czech Republic, September 15-16, 2016 : proceedings / by: (Language materials, printed)

Information systems: development, research, applications, education = 9th SIGSAND/PLAIS EuroSymposium 2016, Gdansk, Poland, September 29, 2016 : proceedings / by: (Language materials, printed)

Project management basics = how to manage your project with checklists / by: (Language materials, printed)

Design thinking research = taking breakthrough innovation home / by: (Language materials, printed)

Nordic contributions in IS research = 7th Scandinavian Conference on Information Systems, SCIS 2016 and IFIP8.6 2016, Ljungskile, Sweden, August 7-10, 2016 : proceedings / by: (Language materials, printed)

Tamed agility = pragmatic contracting and collaboration in agile software projects / by: (Language materials, printed)

Systems, software and services process improvement = 23rd European Conference, EuroSPI 2016, Graz, Austria, September 14-16, 2016 : proceedings / by: (Language materials, printed)

Interactive theorem proving = 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016 : proceedings / by: (Language materials, printed)

Analytical and stochastic modeling techniques and applications = 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016 : proceedings / by: (Language materials, printed)

Mobile web and intelligent information systems = 13th International Conference, MobiWIS 2016, Vienna, Austria, August 22-24, 2016 : proceedings / by: (Language materials, printed)

Trust, privacy, and security in digital business = 13th International Conference, TrustBus 2016, Porto, Portugal, September 7-8, 2016 : proceedings / by: (Language materials, printed)

Service-oriented and cloud computing = 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016 : proceedings / by: (Language materials, printed)

Rewriting logic and its applications = 11th International Workshop, WRLA 2016, held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016 : revised selected papers / by: (Language materials, printed)

Formal modeling and analysis of timed systems = 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016 : proceedings / by: (Language materials, printed)

Computational logistics = 7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016 : proceedings / by: (Language materials, printed)

Human-centered and error-resilient systems development = IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016 : proceedings / by: (Language materials, printed)

Computer safety, reliability, and security = SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016 : proceedings / by: (Language materials, printed)

Software engineering for resilient systems = 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016 : proceedings / by: (Language materials, printed)

Descriptive set theoretic methods in automata theory = decidability and topological complexity / by: (Language materials, printed)

Static analysis = 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016 : proceedings / by: (Language materials, printed)

Moving to responsive web design = bring existing static sites into today's multi-device world with responsive web design / by: (Language materials, printed)

Computational methods in systems biology = 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016 : proceedings / by: (Language materials, printed)

Programming languages = 20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 22-23, 2016 : proceedings / by: (Language materials, printed)

Understanding control flow = concurrent programming using [mu]C++ / by: (Language materials, printed)

Managing software process evolution = traditional, agile and beyond - how to handle process change / by: (Language materials, printed)

Integrating user-centred design in agile development by: (Language materials, printed)

Ontology-based procedural modelling of traversable buildings composed by arbitrary shapes by: (Language materials, printed)

Architectural design = conception and specification of interactive systems / by: (Language materials, printed)

Big data technologies and applications by: (Language materials, printed)

Behavioural models = from modelling finite automata to analysing business processes / by: (Language materials, printed)

Collaboration in a hyperconnected world = 17th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2016, Porto, Portugal, October 3-5, 2016 : proceedings / by: (Language materials, printed)

Information and software technologies = 22nd International Conference, ICIST 2016, Druskininkai, Lithuania, October 13-15, 2016 : proceedings / by: (Language materials, printed)

Collaboration and technology = 22nd International Conference, CRIWG 2016, Kanazawa, Japan, September 14-16, 2016 : proceedings / by: (Language materials, printed)

Computer safety, reliability, and security = 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016 : proceedings / by: (Language materials, printed)

Model and data engineering = 6th International Conference, MEDI 2016, Almeria, Spain, September 21-23, 2016 : proceedings / by: (Language materials, printed)

OpenMP = memory, devices, and tasks : 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016 : proceedings / by: (Language materials, printed)

Research in attacks, intrusions, and defenses = 19th International Symposium, RAID 2016, Paris, France, September 19-21, 2016 : proceedings / by: (Language materials, printed)

Multiagent System Technologies = 14th German Conference, MATES 2016, Klagenfurt, Osterreich, September 27-30, 2016 : proceedings / by: (Language materials, printed)

Usability- and accessibility-focused requirements engineering = first International Workshop, UsARE 2012, held in Conjunction with ICSE 2012, Zurich, Switzerland, June 4, 2012 and second International Workshop, UsARE 2014, held in Conjunction with RE 2014, Karlskrona, Sweden, August 25, 2014 : revised selected papers / by: (Language materials, printed)

Critical systems = formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016 : proceedings / by: (Language materials, printed)

Networked systems = 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016 : revised selected papers / by: (Language materials, printed)

Graphical models for security = third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016 : revised selected papers / by: (Language materials, printed)

Service-oriented computing = 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016 : proceedings / by: (Language materials, printed)

Computer performance engineering = 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016 : proceedings / by: (Language materials, printed)

Scala = from a functional programming perspective : an introduction to the programming language / by: (Language materials, printed)

Transactions on foundations for mastering change I by: (Language materials, printed)

Foundational and practical aspects of resource analysis = 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015 : revised selected papers / by: (Language materials, printed)

System analysis and modeling = technology-specific aspects of models : 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016 : proceedings / by: (Language materials, printed)

Autonomous agents and multiagent systems = AAMAS 2016 Workshops, Visionary Papers, Singapore, Singapore, May 9-10, 2016 : revised selected papers / by: (Language materials, printed)

Transactions on modularity and composition I by: (Language materials, printed)

Runtime verification = 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016 : proceedings / by: (Language materials, printed)

Search based software engineering = 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016 : proceedings / by: (Language materials, printed)

Transactions on petri nets and other models of concurrency XI by: (Language materials, printed)

Transactions on computational collective intelligence XXV by: (Language materials, printed)

Pro ASP.NET Core MVC by: (Language materials, printed)

Information systems for crisis response and management in mediterranean countries = third International Conference, ISCRAM-med 2016, Madrid, Spain, October 26-28, 2016 : proceedings / by: (Language materials, printed)

The practice of enterprise modeling = 9th IFIP WG 8.1. Working Conference, PoEM 2016, Skovde, Sweden, November 8-10, 2016 : proceedings / by: (Language materials, printed)

Quality in business process modeling by: (Language materials, printed)

Software developers as users = semiotic investigations in human-centered software development / by: (Language materials, printed)

Software architecture in action = designing and executing architectural models with SysADL grounded on the OMG SysML standard / by: (Language materials, printed)

ICT education = 45th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2016, Cullinan, South Africa, July 5-6, 2016 : revised selected papers / by: (Language materials, printed)

Current trends in web engineering = ICWE 2016 International Workshops, DUI, TELERISE, SoWeMine, and Liquid Web, Lugano, Switzerland, June 6-9, 2016 : revised selected papers / by: (Language materials, printed)

Leveraging applications of formal methods, verification and validation = foundational techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.. Part I / by: (Language materials, printed)

Leveraging applications of formal methods, verification and validation = discussion, dissemination, applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.. Part II / by: (Language materials, printed)

Testing software and systems = 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016 : proceedings / by: (Language materials, printed)

Dependable software engineering = theories, tools, and applications : second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016 : proceedings / by: (Language materials, printed)

Advances in conceptual modeling = ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Gifu, Japan, November 14-17, 2016 : proceedings / by: (Language materials, printed)

Formal methods and software engineering = 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings / by: (Language materials, printed)

Programming languages and systems = 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016 : proceedings / by: (Language materials, printed)

On the move to meaningful internet systems = OTM 2016 Conferences : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016 : proceedings / by: (Language materials, printed)

Enterprise interoperability VII = enterprise interoperability in the digitized and networked factory of the future / by: (Language materials, printed)

Migrating to Swift from Flash and ActionScript by: (Language materials, printed)

Requirements writing for system engineering by: (Language materials, printed)

The art of scrum = how Scrum masters bind dev teams and unleash agility / by: (Language materials, printed)

DevOps for digital leaders = reignite business with a modern DevOps-enabled software factory / by: (Language materials, printed)

Data science = create teams that ask the right questions and deliver real value / by: (Language materials, printed)

Interactive modeling and simulation in business system design by: (Language materials, printed)

Internet of things = IoT Infrastructures : second International Summit, IoT 360 2015, Rome, Italy, October 27-29, 2015 : revised selected papers.. Part I / by: (Language materials, printed)

Internet of things = IoT Infrastructures : second International Summit, IoT 360 2015, Rome, Italy, October 27-29, 2015 : revised selected papers.. Part II / by: (Language materials, printed)

Project-management in practice = a guideline and toolbox for successful projects / by: (Language materials, printed)

Requirements engineering toward sustainable world = third Asia-Pacific Symposium, APRES 2016, Nagoya, Japan, November 10-12, 2016 : proceedings / by: (Language materials, printed)

Principles of practice in multi-agent systems = International Workshops: IWEC 2014, Gold Coast, QLD, Australia, December 1-5, 2014, and CMNA XV and IWEC 2015, Bertinoro, Italy, October 26, 2015 : revised selected papers / by: (Language materials, printed)

Web information systems engineering - WISE 2016 = 17th International Conference, Shanghai, China, November 8-10, 2016 : proceedings.. Part I / by: (Language materials, printed)

Web information systems engineering - WISE 2016 = 17th International Conference, Shanghai, China, November 8-10, 2016 : proceedings.. Part II / by: (Language materials, printed)

Verified Software. Theories, Tools, and Experiments = 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016 : revised selected papers / by: (Language materials, printed)

Swarm, evolutionary, and mimetic computing = 6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015 : revised selected papers / by: (Language materials, printed)

FM 2016 = formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016 : proceedings / by: (Language materials, printed)

Software architecture = 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 - December 2, 2016 : proceedings / by: (Language materials, printed)

Knowledge engineering and knowledge management = 20th International Conference, EKAW 2016, Bologna, Italy, November 19-23, 2016 : proceedings / by: (Language materials, printed)

Product-focused software process improvement = 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016 : proceedings / by: (Language materials, printed)

Stabilization, safety, and security of distributed systems = 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016 : proceedings / by: (Language materials, printed)

Algorithms and architectures for parallel processing = 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016 : proceedings / by: (Language materials, printed)

Formal methods = foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016 : proceedings / by: (Language materials, printed)

Algorithms and architectures for parallel processing = ICA3PP 2016 Collocated Workshops: SCDT, TAPEMS, BigTrust, UCER, DLMCS, Granada, Spain, December 14-16, 2016 : proceedings / by: (Language materials, printed)

Software technologies = applications and foundations : STAF 2016 Collocated workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016 : revised selected papers / by: (Language materials, printed)

Professional Sitecore 8 development = a complete guide to solutions and best practices / by: (Language materials, printed)

Practical Microsoft Visual Studio 2015 by: (Language materials, printed)

C++/CLI primer = for .NET development / by: (Language materials, printed)

Lean Python = learn just enough Python to build useful tools / by: (Language materials, printed)

Real-world decision support systems by: (Language materials, printed)

Advanced model-based engineering of embedded systems = extensions of the SPES 2020 methodology / by: (Language materials, printed)

Leveraging applications of formal methods, verification, and validation = 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : revised selected papers / by: (Language materials, printed)

Internetware = a new software paradigm for internet computing / by: (Language materials, printed)

Cyber-physical systems of systems = foundations - a conceptual model and some derivations: the AMADEOS legacy / by: (Language materials, printed)

Deductive software verification - The KeY Book = from theory to practice / by: (Language materials, printed)

Mobile, secure, and programmable networking = second International Conference, MSPN 2016, Paris, France, June 1-3, 2016 : revised selected papers / by: (Language materials, printed)

Computers and games = 9th International Conference, CG 2016, Leiden, the Netherlands, June 29 - July 1, 2016 : revised selected papers / by: (Language materials, printed)

Engineering Multi-Agent Systems = 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016 : revised, selected, and invited papers / by: (Language materials, printed)

OpenSHMEM and related technologies = enhancing OpenSHMEM for hybrid environments : third workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016 : revised selected papers / by: (Language materials, printed)

Source Code Analytics With Roslyn and JavaScript Data Visualization by: (Language materials, printed)

Microservices from day one = build robust and scalable software from the start / by: (Language materials, printed)

Devops, DBAS, and DBaaS = managing data platforms to support continuous integration / by: (Language materials, printed)

iOS penetration testing = a definitive guide to iOS security / by: (Language materials, printed)

Collaboration meets interactive spaces by: (Language materials, printed)

Software engineering and methodology for emerging domains = 15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3-5, 2016 : proceedings / by: (Language materials, printed)

Advances in production management systems = initiatives for a sustainable world : IFIP WG 5.7 International Conference, APMS 2016, Iguassu Falls, Brazil, September 3-7, 2016 : revised selected papers / by: (Language materials, printed)

Stakeholders and information technology in education = IFIP TC 3 International Conference, SaITE 2016, Guimaraes, Portugal, July 5-8, 2016 : revised selected papers / by: (Language materials, printed)

Evaluation of novel approaches to software engineering = 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016 : revised selected papers / by: (Language materials, printed)

Business modeling and software design = 6th International Symposium, BMSD 2016, Rhodes, Greece, June 20-22, 2016 : revised selected papers / by: (Language materials, printed)

Requirements engineering for service and cloud computing by: (Language materials, printed)

The handbook of formal methods in human-computer interaction by: (Language materials, printed)

Software project management for distributed computing = life-cycle methods for developing scalable and reliable tools / by: (Language materials, printed)

Data analytics and management in data intensive domains = XVIII International Conference, DAMDID/RCDL 2016, Ershovo, Moscow, Russia, October 11 -14, 2016 : revised selected papers / by: (Language materials, printed)

Agile processes in software engineering and extreme programming = 18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017 : proceedings / by: (Language materials, printed)

Agile modeling with UML = code generation, testing, refactoring / by: (Language materials, printed)

Reproducible research in pattern recognition = first International Workshop, RRPR 2016, Cancun, Mexico, December 4, 2016 : revised selected papers / by: (Language materials, printed)

Engineering trustworthy software systems = second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures / by: (Language materials, printed)

Interoperability and open-source solutions for the Internet of Things = second International Workshop, InterOSS-IoT 2016, held in Conjunction with IoT 2016, Stuttgart, Germany, November 7, 2016 : invited papers / by: (Language materials, printed)

Conflict resolution in decision making = second International Workshop, COREDEMA 2016, The Hague, The Netherlands, August 29-30, 2016 : revised selected papers / by: (Language materials, printed)

Risk assessment and risk-driven quality assurance = 4th International Workshop, RISK 2016, held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016 : revised selected papers / by: (Language materials, printed)

Formal aspects of component software = 13th International Conference, FACS 2016, Besancon, France, October 19-21, 2016 : revised selected papers / by: (Language materials, printed)

Learn Ionic 2 = develop multi-platform mobile apps / by: (Language materials, printed)

Enterprise, business-process and information systems modeling = 18th International Conference, BPMDS 2017, 22nd International Conference, EMMSAD 2017, held at CAiSE 2017, Essen, Germany, June 12-13, 2017 : proceedings / by: (Language materials, printed)

ACS without an attitude by: (Language materials, printed)

Practial Azure application development = a step-by-step approach to build feature-rich cloud-ready solutions / by: (Language materials, printed)

Concise guide to software engineering = from fundamentals to application methods / by: (Language materials, printed)

Software-based acoustical measurements by: (Language materials, printed)

The journey to enterprise agility = systems thinking and organizational legacy / by: (Language materials, printed)

Engineering scalable, elastic, and cost-efficient cloud computing applications = the CloudScale method / by: (Language materials, printed)

Five design-sheets = creative design and sketching for computing and visualisation / by: (Language materials, printed)

Conversations around semiotic engineering by: (Language materials, printed)

Information and communication technologies for development = 14th IFIP WG 9.4 International Conference on Social Implications of Computers in Developing Countries, ICT4D 2017, Yogyakarta, Indonesia, May 22-24, 2017 : proceedings / by: (Language materials, printed)

Trust management XI = 11th IFIP WG 11.11 International Conference, IFIPTM 2017, Gothenburg, Sweden, June 12-16, 2017 : proceedings / by: (Language materials, printed)

Smart cities = the internet of things, people and systems / by: (Language materials, printed)

Cyber-physical system design from an architecture analysis viewpoint = communications of NII Shonan Meetings / by: (Language materials, printed)

The semantic web = 14th International Conference, ESWC 2017, Portoroz, Slovenia, May 28 - June 1, 2017 : proceedings.. Part I / by: (Language materials, printed)

The semantic web = 14th International Conference, ESWC 2017, Portoroz, Slovenia, May 28 - June 1, 2017 : proceedings.. Part II / by: (Language materials, printed)

End-user development = 6th International Symposium, IS-EUD 2017, Eindhoven, The Netherlands, June 13-15, 2017 : proceedings / by: (Language materials, printed)

Advanced information systems engineering = 29th International Conference, CAiSE 2017, Essen, Germany, June 12-16, 2017 : proceedings / by: (Language materials, printed)

Networked systems = 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017 : proceedings / by: (Language materials, printed)

Web engineering = 17th International Conference, ICWE 2017, Rome, Italy, June 5-8, 2017 : proceedings / by: (Language materials, printed)

Reliable software technologies - Ada-Europe 2017 = 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017 : proceedings / by: (Language materials, printed)

Human centered software product lines by: (Language materials, printed)

Mastering software variability with FeatureIDE by: (Language materials, printed)

Source code modularization = theory and techniques / by: (Language materials, printed)

Conceptual modeling perspectives by: (Language materials, printed)

Software business = 8th International Conference, ICSOB 2017, Essen, Germany, June 12-13, 2017 : proceedings / by: (Language materials, printed)

Combinatorial testing in cloud computing by: (Language materials, printed)

Multi-agent based simulation XVII = International Workshop, MABS 2016, Singapore, Singapore, May 10, 2016 : revised selected papers / by: (Language materials, printed)

Service-oriented computing - ICSOC 2016 workshops = ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016 : revised selected papers / by: (Language materials, printed)

Automated technology for verification and analysis = 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017 : proceedings / by: (Language materials, printed)

Computational logistics = 8th International Conference, ICCL 2017, Southampton, UK, October 18-20, 2017 : proceedings / by: (Language materials, printed)

Electronic voting = second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017 : proceedings / by: (Language materials, printed)

Formal methods and software engineering = 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017 : proceedings / by: (Language materials, printed)

Fundamentals of software engineering = 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017 : revised selected papers / by: (Language materials, printed)

Intelligent, secure, and dependable systems in distributed and cloud environments = first International Conference, ISDDC 2017, Vancouver, BC, Canada, October 26-28, 2017 : proceedings / by: (Language materials, printed)

On the move to meaningful internet systems = OTM 2017 Conferences : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017 : proceedings.. Part II / by: (Language materials, printed)

On the move to meaningful internet systems = OTM 2017 Conferences : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017 : proceedings.. Part I / by: (Language materials, printed)

Dependable software engineering = theories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings / by: (Language materials, printed)

Conceptual modeling = 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017 : proceedings / by: (Language materials, printed)

Practical Python design patterns = Pythonic solutions to common problems / by: (Language materials, printed)

Embedded systems architecture for agile development = a layers-based model / by: (Language materials, printed)

Web service implementation and composition techniques by: (Language materials, printed)

Automotive software architectures = an introduction / by: (Language materials, printed)

Advanced information systems engineering workshops = CAiSE 2017 International Workshops, Essen, Germany, June 12-16, 2017 : proceedings / by: (Language materials, printed)

Enterprise information systems = 18th International Conference, ICEIS 2016, Rome, Italy, April 25-28, 2016 : revised selected papers / by: (Language materials, printed)

Data management technologies and applications = 5th International Conference, DATA 2016, Colmar, France, July 24-26, 2016 : revised selected papers / by: (Language materials, printed)

Multi-agent systems and agreement technologies = 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016 : revised selected papers / by: (Language materials, printed)

Post-Quantum cryptography = 8th International Workshop, PQCrypto 2017, Utrecht, The Netherlands, June 26-28, 2017 : proceedings / by: (Language materials, printed)

Grand timely topics in software engineering = International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015 : tutorial lectures / by: (Language materials, printed)

Augmented reality, virtual reality, and computer graphics = 4th International Conference, AVR 2017, Ugento, Italy, June 12-15, 2017 : proceedings.. Part I / by: (Language materials, printed)

Augmented reality, virtual reality, and computer graphics = 4th International Conference, AVR 2017, Ugento, Italy, June 12-15, 2017 : proceedings.. Part II / by: (Language materials, printed)

Applied cryptography and network security = 15th International Conference, ACNS 2017, Kanazawa, Japan, July 10-12, 2017 : proceedings / by: (Language materials, printed)

Serviceology for services = 5th International Conference, ICServ 2017, Vienna, Austria, July 12-14, 2017 : proceedings / by: (Language materials, printed)

Rules and reasoning = International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017 : proceedings / by: (Language materials, printed)

Analytical and stochastic modelling techniques and applications = 24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10-11, 2017 : proceedings / by: (Language materials, printed)

Tests and proofs = 11th International Conference, TAP 2017, held as part of STAF 2017, Marburg, Germany, July 19-20, 2017 : proceedings / by: (Language materials, printed)

Theory and practice of model transformation = 10th International Conference, ICMT 2017, held as part of STAF 2017, Marburg, Germany, July 17-18, 2017 : proceedings / by: (Language materials, printed)

Modelling foundations and applications = 13th European Conference, ECMFA 2017, held as part of STAF 2017, Marburg, Germany, July 19-20, 2017 : proceedings / by: (Language materials, printed)

Logic programming and nonmonotonic reasoning = 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017 : proceedings / by: (Language materials, printed)

Intelligent computer mathematics = 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017 : proceedings / by: (Language materials, printed)

Engineering secure software and systems = 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017 : proceedings / by: (Language materials, printed)

iOS code testing = test-driven development and behavior-driven development with Swift / by: (Language materials, printed)

Representing scientific knowledge = the role of uncertainty / by: (Language materials, printed)

Failure-modes-based software reading by: (Language materials, printed)

Present and ulterior software engineering by: (Language materials, printed)

ICT education = 46th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2017, Magaliesburg, South Africa, July 3-5, 2017 : revised selected papers / by: (Language materials, printed)

Spatial cognition X = 13th Biennial Conference, KogWis 2016, Bremen, Germany, September 26-30, 2016, and 10th International Conference, Spatial Cognition 2016, Philadelphia, PA, USA, August 2-5, 2016 : revised selected papers / by: (Language materials, printed)

Hardware and software = verification and testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017 : proceedings / by: (Language materials, printed)

Advances in conceptual modeling = ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6-9, 2017 : proceedings / by: (Language materials, printed)

Transactions on computational collective intelligence XXVII by: (Language materials, printed)

Formal methods = foundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017 : proceedings / by: (Language materials, printed)

Agents and multi-agent systems for health care = 10th International Workshop, A2HC 2017, Sao Paulo, Brazil, May 8, 2017, and International Workshop, A-HEALTH 2017, Porto, Portugal, June 21, 2017 : revised and extended selected papers / by: (Language materials, printed)

Information theoretic security = 10th International Conference, ICITS 2017, Hong Kong, China, November 29 - December 2, 2017 : proceedings / by: (Language materials, printed)

Oracle Application Express by design = managing cost, schedule, and quality / by: (Language materials, printed)

Java unit testing with JUnit 5 = test driven development with JUnit 5 / by: (Language materials, printed)

Machine learning and cognition in enterprises = business intelligence transformed / by: (Language materials, printed)

Simulating crowds in egress scenarios by: (Language materials, printed)

Advances in computer games = 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3-5, 2017 : revised selected papers / by: (Language materials, printed)

Recent trends in algebraic development techniques = 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016 : revised selected papers / by: (Language materials, printed)

Verified software = theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017 : revised selected papers / by: (Language materials, printed)

Mathematical aspects of computer and information sciences = 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017 : proceedings / by: (Language materials, printed)

String analysis for software verification and security by: (Language materials, printed)

Unraveling software maintenance and evolution = thinking outside the Box / by: (Language materials, printed)

Software engineering for self-adaptive systems. = International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013 : revised selected and invited papers /. III,. Assurances by: (Language materials, printed)

Machine learning for decision makers = cognitive computing fundamentals for better decision making / by: (Language materials, printed)

Environmental software systems = computer science for environmental protection : 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017 : proceedings / by: (Language materials, printed)

Designing reliable distributed systems = a formal methods approach based on executable modeling in Maude / by: (Language materials, printed)

Architectural coordination of enterprise transformation by: (Language materials, printed)

Guide to scientific computing in C++ by: (Language materials, printed)

Working with coders = a guide to software development for the perplexed non-techie / by: (Language materials, printed)

TRIZ - the theory of inventive problem solving = current research and trends in French academic institutions / by: (Language materials, printed)

Guide to distributed simulation with HLA by: (Language materials, printed)

Software Technologies = 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016 : revised selected papers / by: (Language materials, printed)

Cloud computing and services science = 6th International Conference, CLOSER 2016, Rome, Italy, April 23-25, 2016 : revised selected papers / by: (Language materials, printed)

Software quality assurance = consistency in the face of complexity and change / by: (Language materials, printed)

Economics of grids, clouds, systems, and services = 13th International Conference, GECON 2016, Athens, Greece, September 20-22, 2016 : revised selected papers / by: (Language materials, printed)

Computational science and its applications - ICCSA 2017 = 17th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.. Part V / by: (Language materials, printed)

Computational science and its applications - ICCSA 2017 = 17th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.. Part VI / by: (Language materials, printed)

AI 2017 = advances in artificial intelligence : 30th Australasian Joint Conference, Melbourne, VIC, Australia, August 19-20, 2017 : proceedings / by: (Language materials, printed)

Automated deduction - CADE 26 = 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017 : proceedings / by: (Language materials, printed)

Logic-based program synthesis and transformation = 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016 : revised selected papers / by: (Language materials, printed)

Software engineering in health care = 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014 : revised selected papers / by: (Language materials, printed)

Computer aided verification = 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings.. Part I / by: (Language materials, printed)

Computer aided verification = 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings.. Part II / by: (Language materials, printed)

Numerical software verification = 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017 : proceedings / by: (Language materials, printed)

Collaboration and technology = 23rd International Conference, CRIWG 2017, Saskatoon, SK, Canada, August 9-11, 2017 : proceedings / by: (Language materials, printed)

Learn Unity for Android game development = a guide to game design, development, and marketing / by: (Language materials, printed)

Essential angular for ASP.NET Core MVC by: (Language materials, printed)

Agile UX storytelling = crafting stories for software development / by: (Language materials, printed)

Scaling a software business = the digitalization journey / by: (Language materials, printed)

New perspectives in end-user development by: (Language materials, printed)

Requirements engineering by: (Language materials, printed)

Fundamentals of secure system modelling by: (Language materials, printed)

Concise guide to formal methods = theory, fundamentals and industry applications / by: (Language materials, printed)

Systems, software and services process improvement = 24th European Conference, EuroSPI 2017, Ostrava, Czech Republic, September 6-8, 2017 : proceedings / by: (Language materials, printed)

Advances in production management systems = the path to intelligent, collaborative and sustainable manufacturing : IFIP WG 5.7 International Conference, APMS 2017, Hamburg, Germany, September 3-7, 2017 : proceedings.. Part I / by: (Language materials, printed)

Advances in production management systems = the path to intelligent, collaborative and sustainable manufacturing : IFIP WG 5.7 International Conference, APMS 2017, Hamburg, Germany, September 3-7, 2017 : proceedings.. Part II / by: (Language materials, printed)

QoS prediction in cloud and service computing = approaches and applications / by: (Language materials, printed)

Challenges and opportunity with big data = 19th Monterey Workshop 2016, Beijing, China, October 8 - 11, 2016 : revised selected papers / by: (Language materials, printed)

Advances in cryptology - CRYPTO 2017 = 37th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 20-24, 2017 : proceedings.. Part III / by: (Language materials, printed)

Model-based safety and assessment = 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017 : proceedings / by: (Language materials, printed)

Electronic government = 16th IFIP WG 8.5 International Conference, EGOV 2017, St. Petersburg, Russia, September 4-7, 2017 : proceedings / by: (Language materials, printed)

Algorithms and architectures for parallel processing = 17th International Conference, ICA3PP 2017, Helsinki, Finland, August 21-23, 2017 : proceedings / by: (Language materials, printed)

Formal modeling and analysis of timed systems = 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017 : proceedings / by: (Language materials, printed)

Software architecture = 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017 : proceedings / by: (Language materials, printed)

Software engineering for resilient systems = 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017 : proceedings / by: (Language materials, printed)

Interactive theorem proving = 8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017 : proceedings / by: (Language materials, printed)

Frontiers of combining systems = 11th International Symposium, FroCoS 2017, Brasilia, Brazil, September 27-29, 2017 : proceedings / by: (Language materials, printed)

Verification and evaluation of computer and communication systems = 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017 : proceedings / by: (Language materials, printed)

Software engineering and formal methods = 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017 : proceedings / by: (Language materials, printed)

Theory and applications of satisfiability testing - SAT 2017 = 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017 : proceedings / by: (Language materials, printed)

Computer safety, reliability, and security = 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017 : proceedings / by: (Language materials, printed)

Coding theory and applications = 5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017 : proceedings / by: (Language materials, printed)

Search based software engineering = 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017 : proceedings / by: (Language materials, printed)

Computer security - ESORICS 2017 = 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017 : proceedings.. Part II / by: (Language materials, printed)

Computer performance engineering = 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017 : proceedings / by: (Language materials, printed)

Coordination, organizations, institutions, and norms in agent systems XII = COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016 : revised selected papers / by: (Language materials, printed)

Static analysis = 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017 : proceedings / by: (Language materials, printed)

Automated reasoning with analytic tableaux and related methods = 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017 : proceedings / by: (Language materials, printed)

Critical systems = formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017 : proceedings / by: (Language materials, printed)

Fundamentals of computation theory = 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017 : proceedings / by: (Language materials, printed)

Pro Java clustering and scalability = building real-time apps with Spring, Cassandra, Redis, WebSocket and RabbitMQ / by: (Language materials, printed)

Software engineering = specification, implementation, verification / by: (Language materials, printed)

Model-driven engineering and software development = 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016 : revised selected papers / by: (Language materials, printed)

Software process improvement and capability determination = 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4-5, 2017 : proceedings / by: (Language materials, printed)

Information and software technologies = 23rd International Conference, ICIST 2017, Druskininkai, Lithuania, October 12-14, 2017 : proceedings / by: (Language materials, printed)

Enterprise and organizational modeling and simulation = 13th International Workshop, EOMAS 2017, held at CAiSE 2017, Essen, Germany, June 12-13, 2017 : selected papers / by: (Language materials, printed)

Computer safety, reliability, and security = SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017 : proceedings / by: (Language materials, printed)

Model and data engineering = 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017 : proceedings / by: (Language materials, printed)

Advanced parallel processing technologies = 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017 : proceedings / by: (Language materials, printed)

Runtime verification = 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017 : proceedings / by: (Language materials, printed)

Testing software and systems = 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017 : proceedings / by: (Language materials, printed)

Theoretical aspects of computing - ICTAC 2017 = 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017 : proceedings / by: (Language materials, printed)

SDL 2017 = model-driven engineering for future internet : 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017 : proceedings / by: (Language materials, printed)

Formal aspects of component software = 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017 : proceedings / by: (Language materials, printed)

Security and trust management = 13th International Workshop, STM 2017, Oslo, Norway, September 14-15, 2017 : proceedings / by: (Language materials, printed)

Similarity search and applications = 10th International Conference, SISAP 2017, Munich, Germany, October 4-6, 2017 : proceedings / by: (Language materials, printed)

Transactions on petri nets and other models of concurrency XII by: (Language materials, printed)

Handbook of hardware/software codesign by: (Language materials, printed)

ASP.NET core recipes = a problem-solution approach / by: (Language materials, printed)

Clean C++ = sustainable software development patterns and best practices with C++ 17 / by: (Language materials, printed)

Practical C++ design = from programming to architecture / by: (Language materials, printed)

Service research and innovation = 5th and 6th Australasian Symposium, ASSRI 2015 and ASSRI 2017, Sydney, NSW, Australia, November 2-3, 2015, and October 19-20, 2017, revised selected papers / by: (Language materials, printed)

The scrum culture = introducing agile methods in organizations / by: (Language materials, printed)

Advances in service-oriented and cloud computing = workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017 : revised selected papers / by: (Language materials, printed)

Thinking-driven testing = the most reasonable approach to quality control / by: (Language materials, printed)

Modeling companion for software practitioners by: (Language materials, printed)

Business modeling and software design = 7th International Symposium, BMSD 2017, Barcelona, Spain, July 3-5, 2017 : revised selected papers / by: (Language materials, printed)

Fundamentals of business process management by: (Language materials, printed)

NASA formal methods = 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018 : proceedings / by: (Language materials, printed)

Fundamental approaches to software engineering = 21st International Conference, FASE 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings / by: (Language materials, printed)

Parallel processing and applied mathematics = 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017 : revised selected papers.. Part I / by: (Language materials, printed)

Parallel processing and applied mathematics = 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017 : revised selected papers.. Part II / by: (Language materials, printed)

Big data for urban sustainability = a human-centered perspective / by: (Language materials, printed)

Designing usable and secure software with IRIS and CAIRIS by: (Language materials, printed)

TraceME = a traceability-based method for conceptual model evolution : model-driven techniques, tools, guidelines, and open challenges in conceptual model evolution / by: (Language materials, printed)

Real-Time C++ = efficient object-oriented and template microcontroller programming / by: (Language materials, printed)

Trends in functional programming = 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017 : revised selected papers / by: (Language materials, printed)

Functional and logic programming = 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018 : proceedings / by: (Language materials, printed)

Transactions on computational collective intelligence XXVIII by: (Language materials, printed)

Managing software crisis = a smart way to enterprise agility / by: (Language materials, printed)

Pro Entity Framework Core 2 for ASP.NET Core MVC by: (Language materials, printed)

Design patterns in modern C++ = reusable approaches for object-oriented software design / by: (Language materials, printed)

Enterprise, business-process and information systems modeling = 19th International Conference, BPMDS 2018, 23rd International Conference, EMMSAD 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11-12, 2018, proceedings / by: (Language materials, printed)

Software-defined cloud centers = operational and management technologies and tools / by: (Language materials, printed)

Agile process in software engineering and extreme programming = 19th International Conference, XP 2018, Porto, Portugal, May 21-25, 2018 : proceedings / by: (Language materials, printed)

Software languages = syntax, semantics, and metaprogramming / by: (Language materials, printed)

New frontiers in quantitative methods in informatics = 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017 : revised selected papers / by: (Language materials, printed)

Engineering multi-agent systems = 5th international workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017 : revised selected papers / by: (Language materials, printed)

Understanding human activities through 3D sensors = second international workshop, UHA3DS 2016, held in conjunction with the 23rd International Conference on pattern recognition, ICPR 2016, Cancun, Mexico, December 4, 2016 : revised selected papers / by: (Language materials, printed)

Multi-agent based simulation XVIII = International Workshop, MABS 2017, Sao Paulo, Brazil, May 8-12, 2017 : revised selected papers / by: (Language materials, printed)

Artificial intelligence and soft computing = 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018 : proceedings.. Part I / by: (Language materials, printed)

Artificial intelligence and soft computing = 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018 : proceedings.. Part II / by: (Language materials, printed)

Web engineering = 18th International Conference, ICWE 2018, Caceres, Spain, June 5-8, 2018 : proceedings / by: (Language materials, printed)

Application and theory of petri nets and concurrency = 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018 : proceedings / by: (Language materials, printed)

Global thoughts, local designs = INTERACT 2017 IFIP TC 13 Workshops, Mumbai, India, September 25-27, 2017 : revised selected papers / by: (Language materials, printed)

Formal Techniques for Distributed Objects, Components, and Systems = 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018 : proceedings / by: (Language materials, printed)

Advanced information systems engineering = 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018 : proceedings / by: (Language materials, printed)

Comparing and aligning process representations = foundations and technical solutions / by: (Language materials, printed)

Advanced information systems engineering workshops = CAiSE 2018 International Workshops, Tallinn, Estonia, June 11-15, 2018 : proceedings / by: (Language materials, printed)

Open source systems = enterprise software and solutions : 14th IFIP WG 2.13 International Conference, OSS 2018, Athens, Greece, June 8-10, 2018 : proceedings / by: (Language materials, printed)

The essence of software engineering by: (Language materials, printed)

Enterprise information systems = 19th International Conference, ICEIS 2017, Porto, Portugal, April 26-29, 2017 : revised selected papers / by: (Language materials, printed)

Web content credibility by: (Language materials, printed)

Evaluation of novel approaches to software engineering = 12th International Conference, ENASE 2017, Porto, Portugal, April 28-29, 2017 : revised selected papers / by: (Language materials, printed)

Data management technologies and applications = 6th International Conference, DATA 2017, Madrid, Spain, July 24-26, 2017 : revised selected papers / by: (Language materials, printed)

Software technologies = 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24-26, 2017 : revised selected papers / by: (Language materials, printed)

Business modeling and software design = 8th International Symposium, BMSD 2018, Vienna, Austria, July 2-4, 2018 : proceedings / by: (Language materials, printed)

Service-oriented computing - ICSOC 2017 Workshops = ASOCA, ISyCC, WESOACS, and Satellite Events, Malaga, Spain, November 13-16, 2017 : revised selected papers / by: (Language materials, printed)

Advances in swarm intelligence = 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018 : proceedings.. Part I / by: (Language materials, printed)

Model checking software = 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings / by: (Language materials, printed)

Advances in practical applications of agents, multi-agent systems, and complexity = the PAAMS Collection : 16th International Conference, PAAMS 2018, Toledo, Spain, June 20-22, 2018 : proceedings / by: (Language materials, printed)

Services - SERVICES 2018 = 14th World Congress, held as part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018 : proceedings / by: (Language materials, printed)

Theory and applications of satisfiability testing - SAT 2018 = 21st International Conference, SAT 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018 : proceedings / by: (Language materials, printed)

Logic, language, information, and computation = 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018 : proceedings / by: (Language materials, printed)

Model-driven engineering and software development = 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017 : revised selected papers / by: (Language materials, printed)

Fundamentals of software culture by: (Language materials, printed)

Capability management in digital enterprises by: (Language materials, printed)

Learning technology for education challenges = 7th International Workshop, LTEC 2018, Zilina, Slovakia, August 6-10, 2018 : proceedings / by: (Language materials, printed)

Fog computing = concepts, frameworks and technologies / by: (Language materials, printed)

Software development measurement programs = development, management and evolution / by: (Language materials, printed)

Cloud computing and service science = 7th International Conference, CLOSER 2017, Porto, Portugal, April 24-26, 2017 : revised selected papers / by: (Language materials, printed)

Computer aided verification = 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018 : proceedings.. Part I / by: (Language materials, printed)

Formal methods = 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018 : proceedings / by: (Language materials, printed)

Computer aided verification = 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018 : proceedings.. Part II / by: (Language materials, printed)

Internet and distributed computing systems = 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017 : proceedings / by: (Language materials, printed)

Artificial General Intelligence = 11th International Conference, AGI 2018, Prague, Czech Republic, August 22-25, 2018 : proceedings / by: (Language materials, printed)

Transactions on large-scale data- and knowledge-centered systems XXXVII by: (Language materials, printed)

Combinatorial algorithms = 29th International Workshop, IWOCA 2018, Singapore, July 16-19, 2018 : proceedings / by: (Language materials, printed)

Interactive theorem proving = 9th International Conference, ITP 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018 : proceedings / by: (Language materials, printed)

Logic-based program synthesis and transformation = 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017 : revised selected papers / by: (Language materials, printed)

Practical Docker with Python = build, release and distribute your Python App with Docker / by: (Language materials, printed)

The Kitty Hawk Venture = a novel about continuous testing in DevOps to support continuous delivery and business success / by: (Language materials, printed)

Introduction to programming with Fortran by: (Language materials, printed)

Systems, software and services process improvement = 25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018 : proceedings / by: (Language materials, printed)

Advances in production management systems = production management for data-driven, intelligent, collaborative, and sustainable manufacturing : IFIP WG 5.7 International Conference, APMS 2018, Seoul, Korea, August 26-30, 2018 : proceedings.. Part I / by: (Language materials, printed)

Software processes and life cycle models = an introduction to modelling, using and managing Agile, plan-driven and hybrid processes / by: (Language materials, printed)

Advances in production management systems = production management for data-driven, intelligent, collaborative, and sustainable manufacturing : IFIP WG 5.7 International Conference, APMS 2018, Seoul, Korea, August 26-30, 2018 : proceedings.. Part II / by: (Language materials, printed)

Information and software technologies = 24th International Conference, ICIST 2018, Vilnius, Lithuania, October 4-6, 2018 : proceedings / by: (Language materials, printed)

Rewriting logic and its applications = 12th International Workshop, WRLA 2018, held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018 : proceedings / by: (Language materials, printed)

Refinement = semantics, languages and applications / by: (Language materials, printed)

Collaborative networks of cognitive systems = 19th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2018, Cardiff, UK, September 17-19, 2018 : proceedings / by: (Language materials, printed)

Beyond databases, architectures and structures = facing the challenges of data proliferation and growing variety : 14th International Conference, BDAS 2018, held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018 : proceedings / by: (Language materials, printed)

Integrated formal methods = 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018 : proceedings / by: (Language materials, printed)

Search-based software engineering = 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018 : proceedings / by: (Language materials, printed)

Dependable software engineering = theories, tools, and applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018 : proceedings / by: (Language materials, printed)

Formal modeling and analysis of timed systems = 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018 : proceedings / by: (Language materials, printed)

Collaboration technologies and social computing = 10th International Conference, CollabTech 2018, Costa de Caparica, Portugal, September 5-7, 2018 : proceedings / by: (Language materials, printed)

Quantitative evaluation of systems = 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018 : proceedings / by: (Language materials, printed)

Computational methods in systems biology = 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018 : proceedings / by: (Language materials, printed)

Static analysis = 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018 : proceedings / by: (Language materials, printed)

Formal methods for industrial critical systems = 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018 : proceedings / by: (Language materials, printed)

Reversible computation = 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018 : proceedings / by: (Language materials, printed)

Business process management = 16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9-14, 2018 : proceedings / by: (Language materials, printed)

Computer safety, reliability, and security = 37th International Conference, SAFECOMP 2018, Vasteras, Sweden, September 19-21, 2018 : proceedings / by: (Language materials, printed)

Computer safety, reliability, and security = SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Vasteras, Sweden, September 18, 2018 : proceedings / by: (Language materials, printed)

Service-oriented and cloud computing = 7th IFIP WG 2.14 European Conference, ESOCC 2018, Como, Italy, September 12-14, 2018 : proceedings / by: (Language materials, printed)

Provenance and annotation of data and processes = 7th International Provenance and Annotation Workshop, IPAW 2018, London, UK, July 9-10, 2018 : proceedings / by: (Language materials, printed)

Programming with actors = state-of-the-art and research perspectives / by: (Language materials, printed)

Testing software and systems = 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cadiz, Spain, October 1-3, 2018 : proceedings / by: (Language materials, printed)

Regex quick syntax reference = understanding and using regular expressions / by: (Language materials, printed)

Enterprise and organizational modeling and simulation = 14th International Workshop, EOMAS 2018, held at CAiSE 2018, Tallinn, Estonia, June 11-12, 2018 : selected papers / by: (Language materials, printed)

Computer and information sciences = 32nd International Symposium, ISCIS 2018, held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 20-21, 2018 : proceedings / by: (Language materials, printed)

Software process improvement and capability determination = 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9-10, 2018 : proceedings / by: (Language materials, printed)

Tree-based convolutional neural networks = principles and applications / by: (Language materials, printed)

Formal Aspects of Component Software = 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018 : proceedings / by: (Language materials, printed)

RoboCup 2017 = Robot World Cup XXI / by: (Language materials, printed)

Software architecture = 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24-28, 2018 : proceedings / by: (Language materials, printed)

Conceptual modeling = 37th International Conference, ER 2018, Xi'an, China, October 22-25, 2018 : proceedings / by: (Language materials, printed)

Declarative programming and knowledge management = Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Wurzburg, Germany, September 19-22, 2017 : revised selected papers / by: (Language materials, printed)

Symposium on real-time and hybrid systems = essays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday / by: (Language materials, printed)

Automated technology for verification and analysis = 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018 : proceedings / by: (Language materials, printed)

Security and trust management = 14th International Workshop, STM 2018, Barcelona, Spain, September 6-7, 2018 : proceedings / by: (Language materials, printed)

System analysis and modeling = languages, methods, and tools for systems engineering : 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15-16, 2018 : proceedings / by: (Language materials, printed)

Leveraging applications of formal methods, verification and validation = modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.. Part II / by: (Language materials, printed)

Leveraging applications of formal methods, verification and validation = modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.. Part III / by: (Language materials, printed)

Leveraging applications of formal methods, verification and validation = modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.. Part IV / by: (Language materials, printed)

The practice of enterprise modeling = 11th IFIP WG 8.1. Working Conference, PoEM 2018, Vienna, Austria, October 31 - November 2, 2018 : proceedings / by: (Language materials, printed)

Principled software development = essays dedicated to Arnd Poetzsch-Heffter on the occasion of his 60th birthday / by: (Language materials, printed)

A study guide to the ISTQB foundation level 2018 syllabus = test techniques and sample mock exams / by: (Language materials, printed)

Towards extensible and adaptable methods in computing by: (Language materials, printed)

Software fault detection and correction = modeling and applications / by: (Language materials, printed)

Reliability aspect of cloud computing environment by: (Language materials, printed)

Multi-agent systems and agreement technologies = 15th European Conference, EUMAS 2017, and 5th International Conference, AT 2017, Evry, France, December 14-15, 2017 : revised selected papers / by: (Language materials, printed)

Advances in conceptual modeling = ER 2018 Workshops Emp-ER, MoBiD, MREBA, QMMQ, SCME, Xi'an, China, October 22-25, 2018 : proceedings / by: (Language materials, printed)

Theoretical aspects of computing - ICTAC 2018 = 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018 : proceedings / by: (Language materials, printed)

Formal methods and software engineering = 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018 : proceedings / by: (Language materials, printed)

On the move to meaningful internet systems = OTM 2018 Conferences : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018 : proceedings.. Part II / by: (Language materials, printed)

Leveraging applications of formal methods, verification and validation = modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.. Part I / by: (Language materials, printed)

Pro Angular 6 by: (Language materials, printed)

Practical TLA+ = planning driven development / by: (Language materials, printed)

Testing and tuning market trading systems = algorithms in C++ / by: (Language materials, printed)

SafeScrum = agile development of safety-critical software / by: (Language materials, printed)

Runtime verification = 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018 : proceedings / by: (Language materials, printed)

Engineering trustworthy software systems = third International School, SETSS 2017, Chongqing, China, April 17-22, 2017 : tutorial lectures / by: (Language materials, printed)

Software analysis, testing, and evolution = 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23-24, 2018 : proceedings / by: (Language materials, printed)

Security standardisation research = 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018 : proceedings / by: (Language materials, printed)