Programming Languages, Compilers, Interpreters.
Overview
Works: | 543 works in 543 publications in 543 languages |
---|
Titles
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:
(Electronic resources)
Software composition = 11th International Conference, SC 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(Electronic resources)
Theory of security and applications = Joint Workshop, TOSCA 2011, Saarbrucken, Germany, March 31 - April 1, 2011 : revised selected papers /
by:
(Electronic resources)
Testing software and systems = 22nd IFIP WG 6.1 international conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 : proceedings /
by:
(Electronic resources)
Hardware and Software: Verification and Testing = 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers /
by:
(Electronic resources)
Formal techniques for distributed systems = Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 : proceedings /
by:
(Electronic resources)
Types for proofs and programs = International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers /
by:
(Electronic resources)
Model checking software = 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 ; proceedings /
by:
(Electronic resources)
Fundamental problems in computing = essays in honor of Professor Daniel J. Rosenkrantz /
by:
(Electronic resources)
Agent-oriented software engineering VIII = 8th international workshop, AOSE 2007, Honolulu, HI, USA, May 14-18, 2007, revised selected papers /
by:
(Electronic resources)
Logic for programming, artificial intelligence, and reasoning = 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings /
by:
(Electronic resources)
Formal methods for components and objects = 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009, revised selected papers /
by:
(Electronic resources)
Unifying theories of programming = Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, proceedings /
by:
(Electronic resources)
Automated technology for verification and analysis = 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, proceedings /
by:
(Electronic resources)
Model checking software = 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, proceedings /
by:
(Electronic resources)
Models in software engineering = workshops and symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009 : reports and revised selected papers /
by:
(Electronic resources)
Transactions on aspect-oriented software development VII = a common case study for aspect-oriented modeling /
by:
(Electronic resources)
Compiler construction = 19th international conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings /
by:
(Electronic resources)
The Fortran 2003 handbook = the complete syntax, features and procedures /
by:
(Electronic resources)
ECOOP 2008 -- Object-Oriented Programming = 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings /
by:
(Electronic resources)
Advanced functional programming = 6th International School, AFP 2008, Heijen, the Netherlands, May 19-24, 2008 : revised lectures /
by:
(Electronic resources)
Agent-oriented software engineering XI = 11th international workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010 : revised selected papers /
by:
(Electronic resources)
Formal methods for components and objects = 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-27, 2007 ; revised papers /
by:
(Electronic resources)
Advances in software engineering = Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007 : revised tutorial lectures /
by:
(Electronic resources)
Logic-based program synthesis and transformation = 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009 : revised selected papers /
by:
(Electronic resources)
Advanced lectures on software engineering = LASER summer school 2007/2008 /
by:
(Electronic resources)
Transactions on aspect-oriented software development VI = special issue on aspects and model-driven engineering /
by:
(Electronic resources)
CONCUR 2011 = concurrency theory : 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011 : proceedings /
by:
(Electronic resources)
Pro Core Data for iOS = data access and persistence engine for iPhone, iPad, and iPod touch /
by:
(Electronic resources)
Computer aided verification = 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 : proceedings /
by:
(Electronic resources)
Functional and constraint logic programming = 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010 : revised selected papers /
by:
(Electronic resources)
System analysis and modeling = about models : 6th international workshop, SAM 2010, Oslo, Norway, October 4-5, 2010 : revised selected papers /
by:
(Electronic resources)
High performance embedded architectures and compilers = 5th international conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010 : proceedings /
by:
(Electronic resources)
Integrated formal methods = 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings /
by:
(Electronic resources)
Model Checking Software = 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings /
by:
(Electronic resources)
Principles and practice of constraint programming - CP 2010 = 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, proceedings /
by:
(Electronic resources)
Automata for branching and layered temporal structures = an investigation into regularities of infinite transition systems /
by:
(Electronic resources)
Perspectives of systems informatics = 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers /
by:
(Electronic resources)
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:
(Electronic resources)
Static analysis = 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings /
by:
(Electronic resources)
Programming languages and systems = 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010, proceedings /
by:
(Electronic resources)
Software language engineering = second international conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 : revised selected papers /
by:
(Electronic resources)
Objects, models, components, patterns = 49th international conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011 : proceedings /
by:
(Electronic resources)
Practical aspects of declarative languages = 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010 : proceedings /
by:
(Electronic resources)
Top productivity through software reuse = 12th international conference on software reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011 : proceedings /
by:
(Electronic resources)
Formal verification of object-oriented software = international conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011 : revised selected papers /
by:
(Electronic resources)
Requirements engineering = foundation for software quality : 16th international working conference, REFSQ 2010, Essen, Germany, June 30-July 2, 2010 : proceedings /
by:
(Electronic resources)
Formal methods: Foundations and applications = 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012 : proceedings /
by:
(Electronic resources)
Computational logic in multi-agent systems = 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012 : proceedings /
by:
(Electronic resources)
Programming Multi-Agent Systems = 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008 : Revised Invited and Selected Papers /
by:
(Electronic resources)
Reachability problems = 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010, proceedings /
by:
(Electronic resources)
Models in software engineering = workshops and symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008 ; reports and revised selected papers /
by:
(Electronic resources)
Trustworthy Global Computing : = International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
by:
(Electronic resources)
Functional and logic programming = 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010 : proceedings /
by:
(Electronic resources)
Testing techniques in software engineering = Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007 : revised lectures /
by:
(Electronic resources)
Worst-case execution time aware compilation techniques for real-time systems
by:
(Electronic resources)
Open source software = new horizons : 6th international IFIP WG 2.13 Conference on Open Source Systems, OSS 2010, Notre Dame, IN, USA, May 30 - June 2, 2010 : proceedings /
by:
(Electronic resources)
ECOOP 2010 - object-oriented programming = 24th European Conference, Maribor, Slovenia, June 21-25, 2010 : proceedings /
by:
(Electronic resources)
Testing software and systems = 23rd IFIP WG 6.1 international conference, ICTSS 2011, Paris, France, November 7-10, 2011 : proceedings /
by:
(Electronic resources)
Objects, models, components, patterns = 48th international conference, TOOLS 2010, Malaga, Spain, June 28, July 2, 2010 : proceedings /
by:
(Electronic resources)
Expert Oracle database architecture = Oracle database 9i, 10g, and 11g programming techniques and solutions /
by:
(Electronic resources)
Introduction to Assembly Language Programming = For Pentium and RISC Processors /
by:
(Electronic resources)
Models in software engineering = workshops and symposia at MODELS 2010, Oslo, Norway, October 3-8, 2010 : reports and revised selected papers /
by:
(Electronic resources)
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:
(Electronic resources)
Trustworthy global computing = 4th international symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008 ; revised selected papers /
by:
(Electronic resources)
Rewriting Techniques and Applications = 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings /
by:
(Electronic resources)
Requirements engineering, foundation for software quality = 15th International Working Conference, REFSQ 2009, Amsterdam, the Netherlands, June 8-9, 2009 : proceedings /
by:
(Electronic resources)
Model and data engineering = 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012 : proceedings /
by:
(Electronic resources)
Leveraging applications of formal methods, verification, and validation = 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings.. Part I /
by:
(Electronic resources)
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:
(Electronic resources)
Formal methods for industrial critical systems = 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 : proceedings /
by:
(Electronic resources)
Perspectives of systems informatics = 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers /
by:
(Electronic resources)
Software Composition = 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings /
by:
(Electronic resources)
Computational logic in multi-agent systems = 12th international workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011 : proceedings /
by:
(Electronic resources)
Reliable software technologies - Ada-Europe 2012 = 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012 : proceedings /
by:
(Electronic resources)
Open source systems = grounding research : 7th IFIP WG 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011 : proceedings /
by:
(Electronic resources)
Advances in conceptual modeling - applications and challenges = ER 2010 Workshops ACM-L, CMLSA, CMS, DE@ER, FP-UML, SeCoGIS, WISM, Vancouver, BC, Canada, November 1-4, 2010 : proceedings /
by:
(Electronic resources)
Verification, Model Checking, and Abstract Interpretation = 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings /
by:
(Electronic resources)
Agent-Oriented Software Engineering V = 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers /
by:
(Electronic resources)
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:
(Electronic resources)
Distributed Applications and Interoperable Systems = 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings /
by:
(Electronic resources)
FM 2005: Formal Methods = International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Verified software = theories, tools, experiments : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, proceedings /
by:
(Electronic resources)
Conceptual modeling - ER 2010 = 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010 : proceedings /
by:
(Electronic resources)
Programming languages and systems = 18th European Symposium on Programming, ESOP 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:
(Electronic resources)
Model driven engineering languages and systems = 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30-October 5, 2012 : proceedings /
by:
(Electronic resources)
Software Composition : = 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers
by:
(Electronic resources)
Rewriting techniques and applications = 20th International Conference, RTA 2009 Brasilia, Brazil, June 29 - July 1, 2009 ; proceedings /
by:
(Electronic resources)
Recent advances in constraints = 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers /
by:
(Electronic resources)
Logic and program semantics = essays dedicated to Dexter Kozen on the occasion of his 60th birthday /
by:
(Electronic resources)
Cooperative design, visualization, and engineering = 6th international conference, CDVE 2009, Luxembourg, Luxembourg, September 20-23, 2009 : proceedings /
by:
(Electronic resources)
Formal Methods in Software and Systems Modeling = Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday /
by:
(Electronic resources)
Component-Based Software Engineering = 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings /
by:
(Electronic resources)
Declarative Agent Languages and Technologies II = Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers /
by:
(Electronic resources)
Verification, model checking, and abstract interpretation = 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Open source systems = long-term sustainability : 8th IFIP WG 2.13 International Conference, OSS 2012, Hammamet, Tunisia, September 10-13, 2012 : proceedings /
by:
(Electronic resources)
High Performance Embedded Architectures and Compilers = Third International Conference, HiPEAC 2008, Goteborg, Sweden, January 27-29, 2008. Proceedings /
by:
(Electronic resources)
Conceptual modeling = ER 2011 : 30th international conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011 : proceedings /
by:
(Electronic resources)
Reachability problems = 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings /
by:
(Electronic resources)
Model Checking Software = 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings /
by:
(Electronic resources)
Theoretical Aspects of Computing - ICTAC 2004 = First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers /
by:
(Electronic resources)
Operational Semantics for Timed Systems = A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems /
by:
(Electronic resources)
Static Analysis = 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings /
by:
(Electronic resources)
Verification, Model Checking, and Abstract Interpretation = 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings /
by:
(Electronic resources)
Foundational and practical aspects of resource analysis = second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011 : revised selected papers /
by:
(Electronic resources)
Verification, model checking, and abstract = 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012 : proceedings /
by:
(Electronic resources)
Object-Oriented Technology. ECOOP 2007 Workshop Reader = ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports /
by:
(Electronic resources)
Expert Oracle Database Architecture = 9i and 10g Programming Techniques and Solutions /
by:
(Electronic resources)
Theoretical Aspects of Computing - ICTAC 2005 : = Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings
by:
(Electronic resources)
Practical aspects of declarative languages = 14th international symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012 : proceedings /
by:
(Electronic resources)
Foundations of Security Analysis and Design III : = FOSAD 2004/2005 Tutorial Lectures
by:
(Electronic resources)
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:
(Electronic resources)
Fundamentals of software engineering = 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011 : revised selected papers /
by:
(Electronic resources)
Principles and practice of constraint programming = CP 2011 : 17th international conference, CP 2011, Perugia, Italy, September 12-16, 2011 : proceedings /
by:
(Electronic resources)
Languages and compilers for parallel computing = 21st international workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008 : revised selected papers /
by:
(Electronic resources)
Formal methods and software engineering = 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings /
by:
(Electronic resources)
Model Driven Engineering Languages and Systems = 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings /
by:
(Electronic resources)
Adaptive Agents and Multi-Agent Systems II = Adaptation and Multi-Agent Learning /
by:
(Electronic resources)
Implementation and application of functional languages = 23rd international symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011 : revised selected papers /
by:
(Electronic resources)
Programming languages and systems = 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012 : proceedings /
by:
(Electronic resources)
Algebraic and numeric biology = 4th international conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010 : revised selected papers /
by:
(Electronic resources)
Architectures for adaptive software systems = 5th International Conference on the Quality of Software Architectures, QOSA 2009, East Stroudsburg, Pa, USA, June 24-26, 2009 : proceedings /
by:
(Electronic resources)
Large-scale complex IT systems = development, operation and management : 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012 : revised selected papers /
by:
(Electronic resources)
Digital VLSI Design with Verilog = A Textbook from Silicon Valley Technical Institute /
by:
(Electronic resources)
Theory and practice of model transformations = third international conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010 : proceedings /
by:
(Electronic resources)
Teaching formal methods = second international conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings /
by:
(Electronic resources)
Evaluation of novel approaches to software engineering = 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009, revised selected papers /
by:
(Electronic resources)
Multicore software engineering, performance, and tools = International Conference, MSEPT 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
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:
(Electronic resources)
Reliable Software Technologies Ada-Europe 2008 = 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings /
by:
(Electronic resources)
Programming Multi-Agent Systems = Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers /
by:
(Electronic resources)
Software language engineering = 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011 : revised selected papers /
by:
(Electronic resources)
Software Engineering and Middleware = 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 Revised Selected Papers /
by:
(Electronic resources)
Verified software: theories, tools, experiments = second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 ; proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Recent Advances in Parallel Virtual Machine and Message Passing Interface : = 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings
by:
(Electronic resources)
Languages and Compilers for High Performance Computing = 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers
by:
(Electronic resources)
NASA formal methods = 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings /
by:
(Electronic resources)
ECOOP 2012 - Object-oriented programming = 26th European Conference, Beijing, China, June 11-16, 2012 : proceedings /
by:
(Electronic resources)
Static analysis = 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : Proceedings /
by:
(Electronic resources)
Requirements engineering: Foundation for software quality = 18th International Working Conference, REFSQ 2012, Essen, Germany, March 19-22, 2012 : proceedings /
by:
(Electronic resources)
Formal Modeling and Analysis of Timed Systems : = Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
by:
(Electronic resources)
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:
(Electronic resources)
Algebraic foundations in computer science = essays dedicated to Symeon Bozapalidis on the occasion of his retirement /
by:
(Electronic resources)
Logic Programming : = 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings
by:
(Electronic resources)
Programming Languages and Systems : = Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings
by:
(Electronic resources)
Transactions on high-performance embedded architectures and compilers.. II
by:
(Electronic resources)
Requirements engineering: foundation for software quality = 17th International Working Conference, REFSQ 2011, Essen, Germany, March 28-30, 2011, proceedings /
by:
(Electronic resources)
Multiparadigm Programming in Mozart = Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers /
by:
(Electronic resources)
Practical Aspects of Declarative Languages = 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings /
by:
(Electronic resources)
Automated Technology for Verification and Analysis : = Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
by:
(Electronic resources)
Software language engineering = third international conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010 : revised selected papers /
by:
(Electronic resources)
Constraint Solving and Language Processing = First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers /
by:
(Electronic resources)
Formal methods and software engineering = 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, proceedings /
by:
(Electronic resources)
Applications and theory of petri nets = 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011 : proceedings /
by:
(Electronic resources)
Model Driven Engineering Languages and Systems = 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings /
by:
(Electronic resources)
Rewriting logic and its applications = 9th International Workshop, WRLA 2012, held as a satellite event of ETAPS, Tallinn, Estonia, March 24-25, 2012 : revised selected papers /
by:
(Electronic resources)
Models in software engineering = workshops and symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011 : reports and revised selected papers /
by:
(Electronic resources)
Conceptual modelling and its theoretical foundations = essays dedicated to Bernhard Thalheim n the occasion of his 60th birthday /
by:
(Electronic resources)
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:
(Electronic resources)
Reliable Software Technology - Ada-Europe 2005 = 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Recent advances in parallel virtual machine and message passing interface = 16th European PVM/MPI Users' Group Meeting, Helsinki, Finland, September 7-10, 2009 : proceedings /
by:
(Electronic resources)
Dependable and historic computing = essays dedicated to Brian Randell on the occasion of his 75th birthday /
by:
(Electronic resources)
S-BPM ONE - setting the stage for subject-oriented business process management = First International Workshop, Karlsruhe, Germany, October 22, 2009, revised selected papers /
by:
(Electronic resources)
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:
(Electronic resources)
Formal methods for industrial critical systems = 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers /
by:
(Electronic resources)
Euro-Par 2012 parallel processing = 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012 : proceedings /
by:
(Electronic resources)
Introduction to programming with Fortran = with coverage of Fortran 90, 95, 2003, 2008 and 77 /
by:
(Electronic resources)
Functional and logic programming = 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Software-intensive systems and new computing paradigms = challenges and visions /
by:
(Electronic resources)
Logic for programming, artificial intelligence, and reasoning = 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012 : proceedings /
by:
(Electronic resources)
Software and Data Technologies = First International Conference, ICSOFT 2006, Setubal, Portugal, September 11-14, 2006, Revised Selected Papers /
by:
(Electronic resources)
Distributed applications and interoperable systems = 8thIFIP WG 6.1 international conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. proceedings /
by:
(Electronic resources)
Implementation and Application of Functional Languages = 16th International Workshop, IFL 2004, Lubeck, Germany, September 8-10, 2004, Revised Selected Papers /
by:
(Electronic resources)
ECOOP 2009--object-oriented programming = 23rd European conference, Genoa, Italy, July 6-10, 2009 ; proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Hardware and software : verification and testing = 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 ; proceedings /
by:
(Electronic resources)
Quantifiers in action = generalized quantification in query, logical and natural languages /
by:
(Electronic resources)
Runtime verification = 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers /
by:
(Electronic resources)
Software engineering = international summer schools, ISSSE 2006-2008, Salerno, Italy ; revised tutorial lectures /
by:
(Electronic resources)
Automated technology for verification and analysis = 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 : proceedings /
by:
(Electronic resources)
Generic and indexed programming = International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010 : revised lectures /
by:
(Electronic resources)
Mathematics of program construction = 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012 : proceedings /
by:
(Electronic resources)
Business process management = 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010, proceedings /
by:
(Electronic resources)
Software engineering and formal methods = 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012 : proceedings /
by:
(Electronic resources)
Tests and proofs = 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 : proceedings /
by:
(Electronic resources)
Formal methods for quantitative aspects of programming languages = 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 : advanced lectures /
by:
(Electronic resources)
CONCUR 2012 - Concurrency theory = 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012 : proceedings /
by:
(Electronic resources)
UML Modeling Languages and Applications = <<UML>> 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers /
by:
(Electronic resources)
Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance = 15th International GI/ITG Conference, MMB & DFT 2010, Essen, Germany, March 15-17, 2010 : proceedings /
by:
(Electronic resources)
Functional and constraint logic programming = 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009 : revised selected papers /
by:
(Electronic resources)
Trends in functional programming = 11th international symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010 : revised selected papers /
by:
(Electronic resources)
Network and parallel computing = 9th IFIP international conference, NPC 2012, Gwangju, Korea, September 6-8, 2012 : proceedings /
by:
(Electronic resources)
Languages and compilers for parallel computing = 23rd international workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010 : revised selected papers /
by:
(Electronic resources)
Implementation and application of functional languages = 20th international symposium, IFL 2008, Hatfield, UK, September 10-12, 2008 : revised selected papers /
by:
(Electronic resources)
Central European Functional Programming School = 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011 : revised selected papers /
by:
(Electronic resources)
Formal methods for industrial critical systems = 16th international workshop, FMICS 2011, Trento, Italy, August 29-30, 2011 : proceedings /
by:
(Electronic resources)
Euro-Par 2011 parallel processing = 17th international conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011 : proceedings.. Part I /
by:
(Electronic resources)
Modelling foundations and applications = 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 : proceedings /
by:
(Electronic resources)
Declarative agent languages and technologies IX = 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011 : revised selected and invited papers /
by:
(Electronic resources)
Formal modeling = actors, open systems, biological systems : essays dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday /
by:
(Electronic resources)
Formal verification of object-oriented software = international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers /
by:
(Electronic resources)
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science : = 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings
by:
(Electronic resources)
Static analysis = 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012 : proceedings /
by:
(Electronic resources)
Transactions on high-performance embedded architectures and compilers III
by:
(Electronic resources)
CONCUR 2005 - Concurrency Theory = 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings /
by:
(Electronic resources)
Formal methods = foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : revised selected papers /
by:
(Electronic resources)
Service research challenges and solutions for the future internet = S-Cube : towards engineering, managing and adapting service-based systems /
by:
(Electronic resources)
Foundations of security analysis and design VI = FOSAD tutorial lectures /
by:
(Electronic resources)
NASA formal methods = third international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 : proceedings /
by:
(Electronic resources)
Recent advances in constraints = 12th annual ERCIM international workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, Rocquencourt, France, June 7-8, 2007 : revised selected papers /
by:
(Electronic resources)
Agent-oriented software engineering X = 10th international workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009 : revised selected papers /
by:
(Electronic resources)
Formal modeling and analysis of timed systems = 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 : proceedings /
by:
(Electronic resources)
Verification, model checking, and abstract interpretation = 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Programming languages and systems = 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009 : proceedings /
by:
(Electronic resources)
Recent advances in parallel virtual machine and message passing interface = 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008 : proceedings /
by:
(Electronic resources)
Generating Hardware Assertion Checkers = For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring /
by:
(Electronic resources)
Extreme Programming and Agile Processes in Software Engineering = 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings /
by:
(Electronic resources)
Formal methods and software engineering = 13th international conference on formal engineering methods, ICFEM 2011, Durham, UK, October 26-28, 2011 : proceedings /
by:
(Electronic resources)
Formal modeling and analysis of timed systems = 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012 : proceedings /
by:
(Electronic resources)
Tools for high performance computing 2011 = proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden /
by:
(Electronic resources)
Hardware and software: verification and testing = 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 : revised selected papers /
by:
(Electronic resources)
Systems, software and services process improvement = 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010, proceedings /
by:
(Electronic resources)
Generative Programming and Component Engineering : = 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings
by:
(Electronic resources)
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:
(Electronic resources)
Formal aspects of component software = 7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers /
by:
(Electronic resources)
Theoretical aspects of computing - ICTAC 2012 = 9th International Colloquium, Bangalore, India, September 24-27, 2012 : proceedings /
by:
(Electronic resources)
Reachability problems = 5th international workshop, RP 2011, Genoa, Italy, September 28-30, 2011 : proceedings /
by:
(Electronic resources)
Automated technology for verification and analysis = 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 : proceedings /
by:
(Electronic resources)
Languages and compilers for parallel computing = 22nd international workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009 : revised selected papers /
by:
(Electronic resources)
Rigorous software engineering for service-oriented systems = results of the SENSORIA project on software engineering for service-oriented computing /
by:
(Electronic resources)
Reliable software technologies - Ada-Europe 2010 = 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010 : proceedings /
by:
(Electronic resources)
Formal techniques for distributed systems = Jjoint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010 : proceedings /
by:
(Electronic resources)
Model driven engineering languages and systems = 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, proceedings.. Part II /
by:
(Electronic resources)
Formal methods for industrial critical systems = 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, proceedings /
by:
(Electronic resources)
Leveraging applications of formal methods, verification, and validation = 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings.. Part II /
by:
(Electronic resources)
Unifying theories of programming = Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, revised selected papers /
by:
(Electronic resources)
Software composition = 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010 : proceedings /
by:
(Electronic resources)
Recent advances in constraints = 14th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009 : revised selected papers /
by:
(Electronic resources)
Declarative Agent Languages and Technologies VIII = 8th international workshop, DALT 2010, Toronto, Canada, May 10, 2010 : revised, selected and invited papers /
by:
(Electronic resources)
Agent-oriented software engineering IX = 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 : revised selected papers /
by:
(Electronic resources)
Formal Approaches to Software Testing = 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers /
by:
(Electronic resources)
Recent Advances in Constraints = joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004 : revised selected and invited papers /
by:
(Electronic resources)
Model Driven Engineering Languages and Systems : = 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings
by:
(Electronic resources)
Algebraic methodology and software technology = 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 : revised selected papers /
by:
(Electronic resources)
Software and data technologies = 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009 : revised selected papers /
by:
(Electronic resources)
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:
(Electronic resources)
Languages and Compilers for Parallel Computing = 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers /
by:
(Electronic resources)
Object-oriented technology. ECOOP 2008 workshop reader = ECOOP 2008 workshops, Paphos, Cyrus, July 7-11, 2008, final reports /
by:
(Electronic resources)
Programming multi-agent systems = 5th international workshop, PROMAS 2007 Honolulu, HI, USA, May 14-18, 2007 revised and invited papers /
by:
(Electronic resources)
Formal methods and software engineering = 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings /
by:
(Electronic resources)
Hardware and software: verification and testing = 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers /
by:
(Electronic resources)
Theory and practice of model transformations = Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009 : proceedings /
by:
(Electronic resources)
Static Analysis = 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Programming languages = 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012 : proceedings /
by:
(Electronic resources)
Runtime verification = 8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : selected papers /
by:
(Electronic resources)
An introduction to PHP for scientists and engineers = Beyond JavaScript /
by:
(Electronic resources)
Generative and transformational techniques in software engineering II = international summer school, GTTSE 2007, Braga, Portugal, July 2-7, 2007 : revised papers /
by:
(Electronic resources)
FM 2008: Formal Methods = 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings /
by:
(Electronic resources)
Certified programs and proofs = first international conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011 : proceedings /
by:
(Electronic resources)
Logic programming = 24th international conference, ICLP 2008, Udine, Italy, December 9-13, 2008, proceedings /
by:
(Electronic resources)
Model checking software = 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012 : proceedings /
by:
(Electronic resources)
Testing - practice and research techniques = 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010, proceedings /
by:
(Electronic resources)
Types for proofs and programs = international conference, types 2007, Cividale des Friuli, Italy, May 2-5, 2007 revised selected papers /
by:
(Electronic resources)
Logic programming = 25th international conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009 : proceedings /
by:
(Electronic resources)
Foundations of security analysis and design V = FOSAD 2007/2008/2009 tutorial lectures /
by:
(Electronic resources)
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:
(Electronic resources)
Verified software = theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings /
by:
(Electronic resources)
Mathematics of Program Construction = 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings /
by:
(Electronic resources)
Runtime verification = First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010, proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Concurrency, compositionality, and correctness = essays in honor of Willem-Paul de Roever /
by:
(Electronic resources)
The logic of categorial grammars = a deductive account of natural language syntax and semantics /
by:
(Electronic resources)
Modelling foundations and applications = 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012 : proceedings /
by:
(Electronic resources)
Programming languages and systems = 6th Asian symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, proceedings /
by:
(Electronic resources)
Model driven engineering languages and systems = 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, proceedings.. Part I /
by:
(Electronic resources)
Foundational and practical aspects of resource analysis = First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, revised selected papers /
by:
(Electronic resources)
Euro-Par 2011 parallel processing = 17th international conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011 : proceedings.. Part II /
by:
(Electronic resources)
Formal methods, foundations and applications = 14th Brazilian Symposium, SBMF 2011, Sao Paulo, Brazil, September 26-30, 2011 : revised selected papers /
by:
(Electronic resources)
Computer performance engineering = 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, proceedings /
by:
(Electronic resources)
Formal modeling and analysis of timed systems = 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, proceedings /
by:
(Electronic resources)
Rewriting logic and its applications = 8th international workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010 : revised selected papers /
by:
(Electronic resources)
Tools for practical software verification = LASER, International Summer School 2011, Elba Island, Italy : revised tutorial lectures /
by:
(Electronic resources)
ECOOP 2011 = Object-Oriented Programming : 25th European Conference, Lancaster, Uk, July 25-29, 2011 : proceedings /
by:
(Electronic resources)
Software architecture = second European conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 proceedings /
by:
(Electronic resources)
Practical Aspects of Declarative Languages = 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings /
by:
(Electronic resources)
Functional and constraint logic programming = 20th international workshop, WFLP 2011, Odense, Denmark, July 19th : proceedings /
by:
(Electronic resources)
Data engineering and management = second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010 : revised selected papers /
by:
(Electronic resources)
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:
(Electronic resources)
Component-based software engineering = 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008 : proceedings /
by:
(Electronic resources)
Computer science logic = 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Correct reasoning = essays on logic-based AI in honour of Vladimir Lifschitz /
by:
(Electronic resources)
Formal modeling and analysis of timed systems = 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings /
by:
(Electronic resources)
Trustworthy Global Computing = Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers /
by:
(Electronic resources)
Compiler construction = 18th International Conference, CC 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:
(Electronic resources)
Software architecture = 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011 : proceedings /
by:
(Electronic resources)
Model driven engineering languages and systems = 14th international conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011 : proceedings /
by:
(Electronic resources)
Dynamically reconfigurable systems = architectures, design methods and applications /
by:
(Electronic resources)
Research into practice - reality and gaps = 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010 : proceedings /
by:
(Electronic resources)
Programming languages and systems = 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings /
by:
(Electronic resources)
Languages and Compilers for Parallel Computing : = 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers
by:
(Electronic resources)
Advanced Functional Programming = 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures /
by:
(Electronic resources)
Unconventional Programming Paradigms = International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers /
by:
(Electronic resources)
Typed Lambda Calculi and Applications = 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
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:
(Electronic resources)
Systems, software and services process improvement = 18th European conference, EuroSPI 2011, Roskilde, Denmark, June 27-29, 2011. Proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
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:
(Electronic resources)
Functional and logic programming = 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 ; proceedings /
by:
(Electronic resources)
Distributed Embedded Control Systems = Improving Dependability with Coherent Design /
by:
(Electronic resources)
Logic for programming, artificial intelligence, and reasoning = 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers /
by:
(Electronic resources)
ECOOP 2005 - Object-Oriented Programming = 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings /
by:
(Electronic resources)
Automated technology for verification and analysis = 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012 : proceedings /
by:
(Electronic resources)
Principles and Practice of Constraint Programming - CP 2005 : = 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005
by:
(Electronic resources)
Transactions on pattern languages of programming II = special issue on applying patterns /
by:
(Electronic resources)
Trends in Functional Programming = 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers /
by:
(Electronic resources)
Objects, models, components, patterns = 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012 : proceedings /
by:
(Electronic resources)
Tests and proofs = 6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(Electronic resources)
Domain-specific languages = IFIP TC 2 working conference, DSL 2009, Oxford, UK, July 15-17, 2009 ; proceedings /
by:
(Electronic resources)
Software composition = 8th international conference, SC 2009, Zurich, Switzerland, July 2-3, 2009 : proceedings /
by:
(Electronic resources)
OpenMP in a heterogeneous world = 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Languages for embedded systems and their applications = selected contributions on specification, design, and verification from FDL'08 /
by:
(Electronic resources)
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:
(Electronic resources)
Declarative Agent Languages and Technologies V = 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers /
by:
(Electronic resources)
Business process technology = a unified view on business processes, workflows and enterprise applications /
by:
(Electronic resources)
Theory and practice of model transformations = 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012 : proceedings /
by:
(Electronic resources)
CONCUR 2010 - concurrency theory = 21st international conference, CONCUR 2010, Paris, France, August 31-September 3, 2010 : proceedings /
by:
(Electronic resources)
Principles and practice of constraint programming = 14th International conference, CP 2008, Sydney, Australia, September 14-18 2008 : proceedings /
by:
(Electronic resources)
Central European functional programming school = third summer school, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komarno, Slovakia, May 25-30, 2009 : revised selected lectures /
by:
(Electronic resources)
Modelling autonomic communication environments = 5th IEEE international workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010 : proceedings /
by:
(Electronic resources)
Programming multi-agent systems = 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011 : revised selected papers /
by:
(Electronic resources)
Reliable software technologies = Ada-Europe 2011 : 16th Ada-Europe international conference on reliable software technologies, Edinburgh, UK, June 20-24, 2011 : proceedings /
by:
(Electronic resources)
Reversible computation = third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised papers /
by:
(Electronic resources)
Embedded Systems Design = The ARTIST Roadmap for Research and Development /
by:
(Electronic resources)
New modeling concepts for today's software processes = International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010 : proceedings /
by:
(Electronic resources)
Modelling foundations and applications = 6th European conference, ECMFA 2010, Paris, France, June 15-18, 2010 : proceedings /
by:
(Electronic resources)
Term Rewriting and Applications = 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings /
by:
(Electronic resources)
Pro Core Data for iOS = data access and persistence engine for iPhone, iPad, and iPod touch /
by:
(Electronic resources)
Hardware and Software: Verification and Testing = Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings /
by:
(Electronic resources)
Programming languages and systems = 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011 : proceedings /
by:
(Electronic resources)
Fields of logic and computation = essays dedicated to Yuri Gurevich on the occasion of his 70th birthday /
by:
(Electronic resources)
Principles and practice of constraint programming - CP 2009 = 15th international conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 : proceedings /
by:
(Electronic resources)
Software engineering and formal methods = 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Hybrid metaheuristics = 7th international workshop, HM 2010, Vienna, Austria, October 1-2, 2010 : proceedings /
by:
(Electronic resources)
Interactive theorem proving = second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011 : proceedings /
by:
(Electronic resources)
Language engineering and rigorous software development = International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 : revised tutorial lectures /
by:
(Electronic resources)
Integrated formal methods = 7th international conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009 ; Proceedings /
by:
(Electronic resources)
Formal Methods for Components and Objects = 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures /
by:
(Electronic resources)
Implementation and Application of Functional Languages = 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers /
by:
(Electronic resources)
Abstract State Machines, B and Z = First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
by:
(Electronic resources)
Reliable software technologies-Ada-Europe 2009 = 14th Ada-Europe International Conference on Reliable Software Technologies, Brest, France, June 8-12, 2009 : proceedings /
by:
(Electronic resources)
Middleware 2005 : = ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005, Proceedings
by:
(Electronic resources)
Runtime verification = second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /
by:
(Electronic resources)
Graph transformations and model-driven engineering = essays dedicated to manfred nagl on the occasion of his 65th Birthday /
by:
(Electronic resources)
A Software Process Model Handbook for Incorporating People's Capabilities
by:
(Electronic resources)
Software architecture = 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010, proceedings /
by:
(Electronic resources)
Computational logic in multi-agent systems = 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010, proceedings /
by:
(Electronic resources)
Formal methods and software engineering = 14th international conference on formal engineering methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings /
by:
(Electronic resources)
Testing software and systems = 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012 : proceedings /
by:
(Electronic resources)
High Performance Embedded Architectures and Compilers : = First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005, Proceedings
by:
(Electronic resources)
Component-based software engineering = 12th international symposium, CBSE 2009, East Stroudsburg, Pa, USA, June 24-26, 2009 : proceedings /
by:
(Electronic resources)
Mathematics of program construction = 10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010 : Proceedings /
by:
(Electronic resources)
Conceptual modeling - ER 2008 = 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008 : proceedings /
by:
(Electronic resources)
Declarative agent languages and technologies VII = 7th international workshop, DALT 2009, Budapest, Hungary, May 11, 2009 : revised selected and invited papers /
by:
(Electronic resources)
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:
(Electronic resources)
Conceptual modeling, foundations and applications = essays in honor of John Mylopoulos /
by:
(Electronic resources)
Formal methods = foundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers /
by:
(Electronic resources)
Formal methods for industrial critical systems = 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers /
by:
(Electronic resources)
Automated technology for verification and analysis = 7th onternational symposium, ATVA 2009, Macao, China, October 14-16, 2009 : proceedings /
by:
(Electronic resources)
Certified programs and proofs = second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings /
by:
(Electronic resources)
Formal methods and testing = an outcome of the FORTEST network : revised selected papers /
by:
(Electronic resources)
FM 2011 = formal methods : 17th international symposium on formal methods, Limerick, Ireland, June 20-24, 2011 : proceedings /
by:
(Electronic resources)
New Directions in Logic, Language and Computation = ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers /
by:
(Electronic resources)
Interactive theorem proving = First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010 : proceedings /
by:
(Electronic resources)
Practical aspects of declarative languages = 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011 : proceedings /
by:
(Electronic resources)
Formal Methods for Components and Objects : = Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
by:
(Electronic resources)
Fundamental approaches to software engineering = 13th international conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings /
by:
(Electronic resources)
Conceptual Modeling - ER 2009 = 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009 : Proceedings /
by:
(Electronic resources)
Models in Software Engineering = Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers /
by:
(Electronic resources)
Open source ecosystems = diverse communities interacting : 5th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2009, Skovde, Sweden, June 3-6, 2009 : proceedings /
by:
(Electronic resources)
Prozessubergreifendes Projektmanagement = Grundlagen erfolgreicher Projekte /
by:
(Electronic resources)
Integrated formal methods = 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings /
by:
(Electronic resources)
Generative and transformational techniques in software engineering III = international summer school, GTTSE 2009, Braga, Portugal, July 6-11, 2009 : revised papers /
by:
(Electronic resources)
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices = International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
by:
(Electronic resources)
Evaluation of novel approaches to software engineering = 5th international conference, ENASE 2010, Athens, Greece, July 22-24, 2010, revised selected papers /
by:
(Electronic resources)
Advances in design methods from modeling languages for embedded systems and SoC's = selected contributions on specification, design, and verification from FDL 2009 /
by:
(Electronic resources)
Component-Based Software Engineering = 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 /
by:
(Electronic resources)
Tests and proofs = 5th international conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Formal Methods and Software Engineering : = 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
by:
(Electronic resources)
Component Deployment : = Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings
by:
(Electronic resources)
Research in Attacks, Intrusions, and Defenses = 15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012 : proceedings /
by:
(Electronic resources)
Applications and theory of Petri nets = 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010 : proceedings /
by:
(Electronic resources)
Software language engineering = First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised selected papers /
by:
(Electronic resources)
Computer aided verification = 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings /
by:
(Electronic resources)
Theory and practice of model transformations = 4th international conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011 : proceedings /
by:
(Electronic resources)
Formal modeling and analysis of timed systems = 6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : proceedings /
by:
(Electronic resources)
Software composition = 10th international conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings /
by:
(Electronic resources)
Model checking software = 18th international SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings /
by:
(Electronic resources)
Formal aspects of component software = 8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers /
by:
(Electronic resources)
Show more
Fewer
Subjects