Logics and Meanings of Programs.
Overview
Works: | 921 works in 600 publications in 600 languages |
---|
Titles
Global Computing = IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers /
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)
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)
Practical Aspects of Declarative Languages = 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, 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)
Formal Methods in Software and Systems Modeling = Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday /
by:
(Language materials, printed)
Agent Communication = International Workshop on Agent Communication, AC 2004, New York, NY, July 19, 2004 /
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)
Hybrid Systems: Computation and Control = 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings /
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 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:
(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)
Adaptive Agents and Multi-Agent Systems II = Adaptation and Multi-Agent Learning /
by:
(Language materials, printed)
Machines, Computations, and Universality = 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers /
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)
Recent Trends in Algebraic Development Techniques = 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers /
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)
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)
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)
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)
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)
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)
Typed Lambda Calculi and Applications = 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings /
by:
(Language materials, printed)
Term Rewriting and Applications = 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings /
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)
Rapid Integration of Software Engineering Techniques = First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers /
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)
Component-Based Software Engineering = 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 /
by:
(Language materials, printed)
Global Optimization and Constraint Satisfaction = Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers /
by:
(Language materials, printed)
Natural Language Processing and Information Systems = 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, Proceedings/
by:
(Language materials, printed)
Implementation and Application of Functional Languages = 16th International Workshop, IFL 2004, Lubeck, Germany, September 8-10, 2004, Revised Selected Papers /
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)
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)
Scenarios: Models, Transformations and Tools = International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers /
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)
Extreme Programming and Agile Processes in Software Engineering = 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings /
by:
(Language materials, printed)
Developments in Language Theory = 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 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)
Logic Based Program Synthesis and Transformation = 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers /
by:
(Language materials, printed)
Computer Aided Verification = 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings /
by:
(Language materials, printed)
Reasoning Web = First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures /
by:
(Language materials, printed)
Abstraction, Reformulation and Approximation = 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 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)
ECOOP 2005 - Object-Oriented Programming = 19th European Conference, Glasgow, UK, July 25-29, 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)
Model Checking Software = 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings /
by:
(Language materials, printed)
Computer Science Logic = 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings /
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)
CONCUR 2005 - Concurrency Theory = 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings /
by:
(Language materials, printed)
Theorem Proving in Higher Order Logics = 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings /
by:
(Language materials, printed)
Static Analysis = 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings /
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)
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)
Mathematical Foundations of Computer Science 2005 = 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings /
by:
(Language materials, printed)
Software Composition : = 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers
by:
(Language materials, printed)
Foundations of Security Analysis and Design III : = FOSAD 2004/2005 Tutorial Lectures
by:
(Language materials, printed)
Computer Aided Systems Theory - EUROCAST 2005 : = 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers
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)
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)
Theoretical Computer Science : = 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings
by:
(Language materials, printed)
Theoretical Aspects of Computing - ICTAC 2005 : = Second International Colloquium, Hanoi, Vietnam, October 17-21, 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)
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)
Computer Safety, Reliability, and Security : = 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings
by:
(Language materials, printed)
Logic Programming : = 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings
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)
Principles and Practice of Constraint Programming - CP 2005 : = 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005
by:
(Language materials, printed)
Programming Languages and Systems : = Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings
by:
(Language materials, printed)
The Semantic Web - ISWC 2005 : = 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005, 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)
Rules and Rule Markup Languages for the Semantic Web : = First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 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)
Model Driven Architecture - Foundations and Applications : = First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings
by:
(Language materials, printed)
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science : = 25th International Conference, Hyderabad, India, December 15-18, 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)
Logic for Programming, Artificial Intelligence, and Reasoning : = 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings
by:
(Language materials, printed)
Processes, Terms and Cycles: Steps on the Road to Infinity : = Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
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)
Complexity Theory = Exploring the Limits of Efficient Algorithms /
by:
(Language materials, printed)
Types for proofs and programs = international conference, types 2007, Cividale des Friuli, Italy, May 2-5, 2007 revised selected papers/
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)
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)
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)
Analytical and Stochastic Modeling Techniques and Applications = 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings /
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)
Practical Aspects of Declarative Languages = 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings /
by:
(Electronic resources)
Trustworthy Global Computing = Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers /
by:
(Language materials, printed)
Software Composition = 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings /
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)
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)
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)
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)
Latin 2008 = theoretical informatics : 8th Latin American symposium, Buzios, Brazil, April 7-11, 2008 : proceedings /
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)
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)
Formal methods and testing = an outcome of the FORTEST network : revised selected papers /
by:
(Language materials, printed)
Functional and logic programming = 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 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)
Tests and proofs = second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : 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)
Agent-oriented software engineering VIII = 8th international workshop, AOSE 2007, Honolulu, HI, USA, May 14-18, 2007, revised selected papers /
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)
Foundations of Information and Knowledge Systems = 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings /
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)
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)
Object-Oriented Technology. ECOOP 2007 Workshop Reader = ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports /
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)
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)
Concurrency, Graphs and Models = Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
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)
Model Driven Architecture Foundations and Applications = 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 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)
Performance Evaluation: Metrics, Models and Benchmarks = SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008. Proceedings /
by:
(Language materials, printed)
Static Analysis = 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings /
by:
(Language materials, printed)
25 Years of Model Checking = History, Achievements, Perspectives /
by:
(Language materials, printed)
ECOOP 2008 -- Object-Oriented Programming = 22nd European Conference Paphos, Cyprus, July 7-11, 2008 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)
A Theory of Distributed Objects = Asynchrony, Mobility, Groups, Components /
by:
(Language materials, printed)
A Practical Theory of Reactive Systems = Incremental Modeling of Dynamic Behaviors /
by:
(Language materials, printed)
Computer Aided Verification = 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 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)
Rewriting Techniques and Applications = 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings /
by:
(Language materials, printed)
Implementation and Applications of Automata = 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 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)
Model Checking Software = 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings /
by:
(Language materials, printed)
Mathematical Foundations of Computer Science 2008 = 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008. Proceedings /
by:
(Language materials, printed)
Automated reasoning = 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings /
by:
(Language materials, printed)
Principles and practice of constraint programming = 14th International conference, CP 2008, Sydney, Australia, September 14-18 2008 : proceedings /
by:
(Language materials, printed)
Graph transformations = 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008 ; proceedings /
by:
(Language materials, printed)
Computer science logic = 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, proceedings /
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)
Computer safety, reliability, and security = 27th international conference, Safecomp 2008 Newcastle upon Tyne, UK, September 22-25, 2008 proceedings /
by:
(Language materials, printed)
Verified software: theories, tools, experiments = second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 ; proceedings /
by:
(Language materials, printed)
Grammatical inference = algorithms and applications : 9th international colloquium, ICGI 2008, Saint-Malo, France, September 22-24, 2008 : proceedings /
by:
(Language materials, printed)
Language and automata theory and applications = second international conference, LATA 2008, Tarragona, Spain, March 13-19, 2008 ; revised papers /
by:
(Language materials, printed)
Logic-based program synthesis and transformation = 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 : 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)
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)
Logic programming = 24th international conference, ICLP 2008, Udine, Italy, December 9-13, 2008, 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)
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)
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)
Integrated formal methods = 7th international conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009 ; Proceedings /
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)
Logic-based program synthesis and transformation = 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, revised selected papers /
by:
(Language materials, printed)
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:
(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)
Language and automata theory and applications = third international conference, LATA 2009, Tarragona, Spain, April 2-8, 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)
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)
Web services and formal methods = 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 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)
Hardware and software : verification and testing = 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 ; proceedings /
by:
(Language materials, printed)
Theory and applications of models of computation = 6th international conference, TAMC 2009, Changsha, China, May 18-22, 2009 ; proceedings /
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)
Verification, model checking, and abstract interpretation = 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings /
by:
(Language materials, printed)
Declarative agent languages and technologies VII = 7th international workshop, DALT 2009, Budapest, Hungary, May 11, 2009 : revised selected and invited papers /
by:
(Language materials, printed)
Practical aspects of declarative languages = 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010 : proceedings /
by:
(Language materials, printed)
Fundamentals of software engineering = third IPM international conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009 : revised selected papers /
by:
(Language materials, printed)
Approaches and applications of inductive programming = third international workshop, AAIP 2009, Edinburgh, UK, September 4, 2009 : revised papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
Functional and constraint logic programming = 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009 : revised selected papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
Foundations of software science and computational structures = 13th international conference, FOSSACS 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:
(Language materials, printed)
Software language engineering = second international conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 : revised selected papers /
by:
(Language materials, printed)
High performance networking, computing, communication systems, and mathematical foundations = international conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009 : proceedings/
by:
(Language materials, printed)
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:
(Language materials, printed)
Component-Based Software Engineering = 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings /
by:
(Language materials, printed)
Mathematics of program construction = 10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010 : Proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Unconventional computation = 9th international conference, UC 2010, Tokyo, Japan, June 21-25, 2010 : proceedings /
by:
(Language materials, printed)
Reliable software technologies - Ada-Europe 2010 = 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010 : proceedings /
by:
(Language materials, printed)
Theory and applications of models of computation = 7th annual conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010 : proceedings /
by:
(Language materials, printed)
Modelling foundations and applications = 6th European conference, ECMFA 2010, Paris, France, June 15-18, 2010 : proceedings /
by:
(Language materials, printed)
Applications and theory of Petri nets = 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010 : proceedings /
by:
(Language materials, printed)
A 25-Year perspective on logic programming = achievements of the Italian Association for Logic Programming, GULP /
by:
(Language materials, printed)
Computer aided verification = 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings /
by:
(Language materials, printed)
Testing techniques in software engineering = Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007 : revised lectures /
by:
(Language materials, printed)
Deontic logic in computer science = 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010 : proceedings /
by:
(Language materials, printed)
Theory and applications of satisfiability testing - SAT 2010 = 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010 : proceedings /
by:
(Language materials, printed)
Automated reasoning = 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings /
by:
(Language materials, printed)
Interactive theorem proving = First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010 : proceedings /
by:
(Language materials, printed)
Logic, language, information and computation = 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 : proceedings /
by:
(Language materials, printed)
Inductive logic programming = 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009 : revised papers /
by:
(Language materials, printed)
Language and automata theory and applications = 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 : proceedings /
by:
(Language materials, printed)
Advanced lectures on software engineering = LASER summer school 2007/2008 /
by:
(Language materials, printed)
Logic-based program synthesis and transformation = 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009 : revised selected papers /
by:
(Language materials, printed)
Functional and logic programming = 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010 : proceedings /
by:
(Language materials, printed)
Models in software engineering = workshops and symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009 : reports and revised selected papers /
by:
(Language materials, printed)
Software architecture = 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010, proceedings /
by:
(Language materials, printed)
Business process management = 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010, proceedings /
by:
(Language materials, printed)
Model checking software = 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, proceedings /
by:
(Language materials, printed)
Foundational and practical aspects of resource analysis = First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, revised selected papers /
by:
(Language materials, printed)
Logic, language and meaning = 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, revised selected papers /
by:
(Language materials, printed)
Logics in artificial intelligence = 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, proceedings /
by:
(Language materials, printed)
Evolvable systems = from biology to hardware : 9th International Conference, ICES 2010, York, UK, September 6-8, 2010, proceedings /
by:
(Language materials, printed)
Logical analysis of hybrid systems = proving theorems for complex dynamics /
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)
CONCUR 2008 - Concurrency Theory = 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings /
by:
(Language materials, printed)
Implementation and Application of Functional Languages = 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers /
by:
(Language materials, printed)
Reasoning web = 4th International summer school 2008, Venice Italy, September 7-11, 2008 ; tutorial lectures /
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)
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:
(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)
Languages: from formal to natural = essays dedicated to Nissim Francez on the occasion of his 65th birthday /
by:
(Language materials, printed)
Perspectives of systems informatics = 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers /
by:
(Language materials, printed)
Abstract state machines, Alloy, B and Z = second international conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings /
by:
(Language materials, printed)
Tools and algorithms for the construction and analysis of systems = 16th international conference, TACAS 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:
(Language materials, printed)
Computer science - theory and applications = 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010 : proceedings /
by:
(Language materials, printed)
Theory and practice of model transformations = third international conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Objects, models, components, patterns = 48th international conference, TOOLS 2010, Malaga, Spain, June 28, July 2, 2010 : proceedings /
by:
(Language materials, printed)
Tests and proofs = 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 : proceedings /
by:
(Language materials, printed)
Software composition = 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010 : proceedings /
by:
(Language materials, printed)
ECOOP 2010 - object-oriented programming = 24th European Conference, Maribor, Slovenia, June 21-25, 2010 : proceedings /
by:
(Language materials, printed)
New modeling concepts for today's software processes = International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010 : proceedings /
by:
(Language materials, printed)
Specification and verification of declarative open interaction models = a logic-based approach /
by:
(Language materials, printed)
Automata for branching and layered temporal structures = an investigation into regularities of infinite transition systems /
by:
(Language materials, printed)
Concurrency, compositionality, and correctness = essays in honor of Willem-Paul de Roever /
by:
(Language materials, printed)
Distributed computing and internet technology = 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010 : proceedings /
by:
(Language materials, printed)
Task models and diagrams for user interface design = 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009 : revised selected papers /
by:
(Language materials, printed)
Foundations of information and knowledge systems = 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009 : proceedings /
by:
(Language materials, printed)
Database and XML technologies = 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010, proceedings /
by:
(Language materials, printed)
Computer performance engineering = 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, proceedings /
by:
(Language materials, printed)
Transactions on aspect-oriented software development VII = a common case study for aspect-oriented modeling /
by:
(Language materials, printed)
Formal modeling and analysis of timed systems = 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, proceedings /
by:
(Language materials, printed)
Graph transformations = 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - October 2, 2010, proceedings /
by:
(Language materials, printed)
Formal methods for industrial critical systems = 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, proceedings /
by:
(Language materials, printed)
Multiagent system technologies = 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010, proceedings /
by:
(Language materials, printed)
Principles and practice of constraint programming - CP 2010 = 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, proceedings /
by:
(Language materials, printed)
Automated technology for verification and analysis = 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, proceedings /
by:
(Language materials, printed)
Algorithmic learning theory = 21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010, proceedings /
by:
(Language materials, printed)
Developments in language theory = 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010, proceedings /
by:
(Language materials, printed)
Computer science logic = 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, proceedings /
by:
(Language materials, printed)
Fields of logic and computation = essays dedicated to Yuri Gurevich on the occasion of his 70th birthday /
by:
(Language materials, printed)
Logic and the foundations of game and decision theory - LOFT 8 = 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, revised selected papers /
by:
(Language materials, printed)
Mathematical foundations of computer science 2010 = 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010, proceedings /
by:
(Language materials, printed)
Verified software = theories, tools, experiments : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, proceedings /
by:
(Language materials, printed)
Computational logic in multi-agent systems = 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010, proceedings /
by:
(Language materials, printed)
Finite-state methods and natural language processing = 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, revised selected papers /
by:
(Language materials, printed)
Frontiers in algorithmics = 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010, proceedings /
by:
(Language materials, printed)
The mathematics of language = 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, revised selected papers/
by:
(Language materials, printed)
Testing - practice and research techniques = 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010, proceedings /
by:
(Language materials, printed)
Verification, induction, termination analysis = festschrift for Christoph Walther on the occasion of his 60th birthday /
by:
(Language materials, printed)
Conceptual modeling - ER 2010 = 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010 : proceedings /
by:
(Language materials, printed)
Testing software and systems = 22nd IFIP WG 6.1 international conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Computational logic in multi-agent systems = 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009 : revised selected and invited papers /
by:
(Language materials, printed)
Programming languages and systems = 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010, proceedings /
by:
(Language materials, printed)
Unifying theories of programming = Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, proceedings /
by:
(Language materials, printed)
Graph transformations and model-driven engineering = essays dedicated to manfred nagl on the occasion of his 65th Birthday /
by:
(Language materials, printed)
Theory and applications of models of computation = 8th annual conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011 : proceedings /
by:
(Electronic resources)
Reachability problems = 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010, proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Unifying theories of programming = Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, revised selected papers /
by:
(Language materials, printed)
Distributed, parallel and biologically inspired systems = 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, held as part of WCC 2010, Brisbane, Australia, September 20-23, 2010, proceedings /
by:
(Language materials, printed)
Theoretical computer science = 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, held as part of WCC 2010, Brisbane, Australia, September 20-23, 2010, proceedings /
by:
(Language materials, printed)
Logic for programming, artificial intelligence, and reasoning = 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings /
by:
(Language materials, printed)
Integrated formal methods = 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings /
by:
(Language materials, printed)
Hybrid metaheuristics = 7th international workshop, HM 2010, Vienna, Austria, October 1-2, 2010 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
Formal methods for components and objects = 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009, revised selected papers /
by:
(Language materials, printed)
Runtime verification = First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010, proceedings /
by:
(Language materials, printed)
NASA formal methods = third international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 : proceedings /
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)
Model checking and artificial intelligence = 6th international workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010 : revised selected and invited papers /
by:
(Electronic resources)
Logic-based program synthesis and transformation = 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 : revised selected papers /
by:
(Electronic resources)
Logic programming and nonmonotonic reasoning = 11th international conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011 : proceedings /
by:
(Electronic resources)
Rainbow of computer science = dedicated to Hermann Maurer on the occasion of his 70th birthday /
by:
(Electronic resources)
Logic, language, information and computation = 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA : proceedings /
by:
(Electronic resources)
Process mining = discovery, conformance and enhancement of business processes /
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)
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:
(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)
Practical aspects of declarative languages = 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011 : proceedings /
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)
Generative and transformational techniques in software engineering III = international summer school, GTTSE 2009, Braga, Portugal, July 6-11, 2009 : revised papers /
by:
(Electronic resources)
Rigorous software development = an introduction to program verification /
by:
(Electronic resources)
Distributed computing and internet technology = 7th international conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011 : proceedings /
by:
(Electronic resources)
Implementation and application of automata = 15th international conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010 : revised selected papers /
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)
Software language engineering = third international conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010 : 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)
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)
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)
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)
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)
Verified software = theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings /
by:
(Electronic resources)
Foundations and practice of security = 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 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)
Algebraic and numeric biology = 4th international conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010 : revised selected papers /
by:
(Electronic resources)
Data engineering and management = second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010 : revised selected papers /
by:
(Electronic resources)
Language and automata theory and applications = 6th International Conference, LATA 2012, A Coruna, Spain, March 5-9, 2012 : proceedings /
by:
(Electronic resources)
Foundations of information and knowledge systems = 7th international symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012 : proceedings /
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)
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)
Logic and its applications = 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011 : proceedings /
by:
(Electronic resources)
Mathematical and engineering methods in computer science = 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011 : 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)
Practical aspects of declarative languages = 14th international symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012 : proceedings /
by:
(Electronic resources)
Distributed computing and internet technology = 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012 : proceedings /
by:
(Electronic resources)
Conceptual modelling and its theoretical foundations = essays dedicated to Bernhard Thalheim n the occasion of his 60th birthday /
by:
(Electronic resources)
Recent trends in algebraic development techniques = 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010 : revised selected papers /
by:
(Electronic resources)
Transactions on computational science XV = special issue on advances in autonomic computing : formal engineering methods for nature-inspired computing systems /
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)
NASA formal methods = 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings /
by:
(Electronic resources)
Logic programs, norms and action = essays in honor of Marek J. Sergot on the occasion of his 60th birthday /
by:
(Electronic resources)
Logic and program semantics = essays dedicated to Dexter Kozen on the occasion of his 60th birthday /
by:
(Electronic resources)
Reversible computation = third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised 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)
Runtime verification = second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /
by:
(Electronic resources)
Theory and applications of models of computation = 9th annual conference, TAMC 2012, Beijing, China, May 16-21, 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)
Theory and practice of model transformations = 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012 : proceedings /
by:
(Electronic resources)
Objects, models, components, patterns = 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012 : proceedings /
by:
(Electronic resources)
Software composition = 11th International Conference, SC 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(Electronic resources)
Software service and application engineering = essays dedicated to Bernd Kramer on the occasion of his 65th birthday /
by:
(Electronic resources)
Model checking software = 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012 : 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)
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)
Software language engineering = 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011 : revised selected papers /
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)
Theory and practice of computation = Workshop on Computation: Theory and Practice Quezon City, Philippines, September 2011 : proceedings /
by:
(Electronic resources)
Graph structures for knowledge representation and reasoning = second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised selected papers /
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)
Functional and logic programming = 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings /
by:
(Electronic resources)
Deontic logic in computer science = 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012 : proceedings /
by:
(Electronic resources)
Descriptional complexity of formal systems = 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012 : proceedings /
by:
(Electronic resources)
Developments in language theory = 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012 : 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)
Inductive logic programming = 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 - August 3, 2011 : revised selected papers /
by:
(Electronic resources)
Trends in Functional Programming = 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers /
by:
(Electronic resources)
Generic and indexed programming = International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010 : revised lectures /
by:
(Electronic resources)
Logic-based program synthesis and transformation = 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011 : revised selected papers /
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)
Logic, language, information and computation = 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings /
by:
(Electronic resources)
FM 2012 = formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings /
by:
(Electronic resources)
Coalgebraic methods in computer science = 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31-April 1, 2012 : revised selected papers /
by:
(Electronic resources)
Business process management = 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 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)
Theoretical aspects of computing - ICTAC 2012 = 9th International Colloquium, Bangalore, India, September 24-27, 2012 : proceedings /
by:
(Electronic resources)
Static analysis = 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012 : 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)
Logics in artificial intelligence = 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012 : proceedings /
by:
(Electronic resources)
Computer science - theory and applications = 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012 : proceedings /
by:
(Electronic resources)
Interactive theorem proving = Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012 : proceedings /
by:
(Electronic resources)
Formal methods for industrial critical systems = 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings /
by:
(Electronic resources)
Unconventional computation and natural computation = 11th International Conference, UCNC 2012, Orle?ans, France, September 3-7, 2012 : proceedings /
by:
(Electronic resources)
CONCUR 2012 - Concurrency theory = 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012 : proceedings /
by:
(Electronic resources)
Formal methods: Foundations and applications = 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012 : proceedings /
by:
(Electronic resources)
Relational and algebraic methods in computer science = 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012 : 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)
Reachability problems = 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings /
by:
(Electronic resources)
Stabilization, safety, and security of distributed systems = 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012 : proceedings /
by:
(Electronic resources)
Graph transformations = 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012 : 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)
Computer safety, reliability, and security = SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012 : proceedings /
by:
(Electronic resources)
Software engineering and formal methods = 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 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)
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)
Applications of graph transformations with industrial relevance = 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011 : revised selected and invited papers /
by:
(Electronic resources)
Principles and practice of constraint programming = 18th International Conference, CP 2012, Quebec City, QC, Canada, October 8-12, 2012 : proceedings /
by:
(Electronic resources)
Conceptual modeling = 31st international conference ER 2012, Florence, Italy, October 15-18, 2012 : 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)
Algorithmic learning theory = 23rd International Conference, ALT 2012, Lyon, France, October 29-31, 2012 : proceedings /
by:
(Electronic resources)
Computational issues in fluid construction grammar = a new formalism for the representation of lexicons and grammars /
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)
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)
Implementation and application of functional languages = 23rd international symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011 : revised selected papers /
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)
Certified programs and proofs = second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings /
by:
(Electronic resources)
Applications of graph transformations with industrial relevance = third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007 : revised selected and invited papers /
by:
(Electronic resources)
Automated technology for verification and analysis = 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Logic for programming, artificial intelligence, and reasoning = 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings /
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)
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)
Rule representation, interchange and reasoning on the web = international symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008 : proceedings /
by:
(Electronic resources)
Runtime verification = 8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : selected papers /
by:
(Electronic resources)
Software-intensive systems and new computing paradigms = challenges and visions /
by:
(Electronic resources)
The semantic web = 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008 : proceedings /
by:
(Electronic resources)
The semantic web - ISWC 2008 = 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008 : proceedings /
by:
(Electronic resources)
Theorem proving in higher order logics = 21st international conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 : proceedings /
by:
(Electronic resources)
Programming languages and systems = 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012 : proceedings /
by:
(Electronic resources)
Practical aspects of declarative languages = 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014 : proceedings /
by:
(Electronic resources)
Trends in functional programming = 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013 : revised selected papers /
by:
(Electronic resources)
Big data integration theory = theory and methods of database mappings, programming languages, and semantics /
by:
(Electronic resources)
Verification, model checking, and abstract interpretation = 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014 : proceedings /
by:
(Electronic resources)
Verified software = theories, tools, experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : revised selected papers /
by:
(Electronic resources)
Membrane computing = 14th International Conference, CMC 2013, Chisinau, Republic of Moldova, August 20-23, 2013 : revised selected papers /
by:
(Electronic resources)
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:
(Electronic resources)
Formal aspects of component software = 8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : 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)
Structured object-oriented formal language and method = third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers /
by:
(Electronic resources)
Foundations of information and knowledge systems = 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014 : proceedings /
by:
(Electronic resources)
OpenSHMEM and related technologies = experiences, implementations, and tools : First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014 : proceedings /
by:
(Electronic resources)
Specification, algebra, and software = essays dedicated to Kokichi Futatsugi /
by:
(Electronic resources)
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:
(Electronic resources)
Requirements engineering = foundation for software quality : 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
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:
(Electronic resources)
Formal techniques for safety-critical systems = second international workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013 : revised selected papers /
by:
(Electronic resources)
Collaborative design for embedded systems = co-modelling and co-simulation /
by:
(Electronic resources)
Theory and applications of models of computation = 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014 : proceedings /
by:
(Electronic resources)
NASA formal methods = 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014 : proceedings /
by:
(Electronic resources)
Relational and algebraic methods in computer science = 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014 : proceedings /
by:
(Electronic resources)
FM 2014 = Formal methods : 19th International Symposium, Singapore, May 12-16, 2014 : proceedings /
by:
(Electronic resources)
Categories and types in logic, language, and physics = essays dedicated to Jim Lambek on the occasion of his 90th birthday /
by:
(Electronic resources)
Horizons of the mind = a tribute to Prakash Panangaden : essays dedicated to Prakash Panangaden on the occasion of his 60th birthday /
by:
(Electronic resources)
Functional and logic programming = 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014 : proceedings /
by:
(Electronic resources)
Engineering secure future internet services and systems = current research /
by:
(Electronic resources)
Abstract state machines, Alloy, B, TLA, VDM, and Z = 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014 : proceedings /
by:
(Electronic resources)
Automated reasoning = 7th International Joint Conference, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014 : proceedings /
by:
(Electronic resources)
Computing and combinatorics = 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014 : proceedings /
by:
(Electronic resources)
Theory and practice of model transformations = 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014 : proceedings /
by:
(Electronic resources)
Rewriting and Typed Lambda Calculi = joint international conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings /
by:
(Electronic resources)
Tests and proofs = 8th International Conference, TAP 2014, held as Part of STAF 2014, York, UK, July 24-25, 2014 : proceedings /
by:
(Electronic resources)
Graph transformation = 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014 : proceedings /
by:
(Electronic resources)
Modelling foundations and applications = 10th European Conference, ECMFA 2014, held as part of STAF 2014, York, UK, July 21-25, 2014 : proceedings /
by:
(Electronic resources)
Descriptional complexity of formal systems = 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014 : proceedings /
by:
(Electronic resources)
Computational logic in multi-agent systems = 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014 : proceedings /
by:
(Electronic resources)
Rules on the web = from theory to applications : 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014 : proceedings /
by:
(Electronic resources)
Computer science - theory and applications = 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014 : proceedings /
by:
(Electronic resources)
Formal aspects of component software = 10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013 : revised selected papers /
by:
(Electronic resources)
Web services and formal methods = 10th International Workshop, WS-FM 2013, Beijing, China, August 2013 : revised selected papers /
by:
(Electronic resources)
Reliable software technologies - Ada-Europe 2014 = 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014 : proceedings /
by:
(Electronic resources)
Deontic logic and normative systems = 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014 : proceedings /
by:
(Electronic resources)
Computer aided verification = 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014 : proceedings /
by:
(Electronic resources)
Logical aspects of computational linguistics = 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014 : proceedings /
by:
(Electronic resources)
Software architecture = 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014 : proceedings /
by:
(Electronic resources)
Integrated formal methods = 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014 : proceedings /
by:
(Electronic resources)
Formal methods in macro-biology = First International Conference, FMMB 2014, Noumea, New Caledonia, September 22-24, 2014 : proceedings /
by:
(Electronic resources)
Computer safety, reliability, and security = 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014 : proceedings /
by:
(Electronic resources)
Formal methods for industrial critical systems = 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014 : proceedings /
by:
(Electronic resources)
Theoretical aspects of computing - ICTAC 2014 = 11th International Colloquium, Bucharest, Romania, September 17-19, 2014 : proceedings /
by:
(Electronic resources)
Computer performance engineering = 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014 : proceedings /
by:
(Electronic resources)
Static analysis = 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014 : proceedings /
by:
(Electronic resources)
Runtime verification = 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014 : proceedings /
by:
(Electronic resources)
Reachability problems = 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014 : proceedings /
by:
(Electronic resources)
Logics in artificial intelligence = 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014 : proceedings /
by:
(Electronic resources)
Model-driven engineering languages and systems = 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014 : proceedings /
by:
(Electronic resources)
System analysis and modeling = models and reusability : 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014 : proceedings /
by:
(Electronic resources)
Stabilization, safety, and security of distributed systems = 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 - October 1, 2014 : proceedings /
by:
(Electronic resources)
Model-based safety and assessment = 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014 : proceedings /
by:
(Electronic resources)
Testing software and systems = 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014 : proceedings /
by:
(Electronic resources)
Inductive logic programming = 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013 : revised selected papers /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validation = specialized techniques and applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 : proceedings.. Part II /
by:
(Electronic resources)
Automated technology for verification and analysis = 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014 : proceedings /
by:
(Electronic resources)
Verified software = theories, tools and experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014 : revised selected papers /
by:
(Electronic resources)
Foundational and practical aspects of resource analysis = third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013 : revised selected papers /
by:
(Electronic resources)
Programming languages and systems = 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014 : proceedings /
by:
(Electronic resources)
Information and communication technologies in education, research, and industrial applications = 10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9-12, 2014 : revised selected papers /
by:
(Electronic resources)
Rewriting logic and its applications = 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014 : revised selected papers /
by:
(Electronic resources)
Hardware and software: Verification and Testing = 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014 : proceedings /
by:
(Electronic resources)
Software reuse for dynamic systems in the cloud and beyond = 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015 : proceedings /
by:
(Electronic resources)
Membrane computing = 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014 : revised selected papers /
by:
(Electronic resources)
Logic and its applications = 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015 : proceedings /
by:
(Electronic resources)
Advances in knowledge representation, logic programming, and abstract argumentation = essays dedicated to Gerhard Brewka on the occasion of his 60th birthday /
by:
(Electronic resources)
Unifying theories of programming = 5th International Symposium, UTP 2014, Singapore, May 13, 2014 : revised selected papers /
by:
(Electronic resources)
Formal methods = foundations and applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29 - October 1, 2014 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Formal aspects of component software = 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014 : revised selected papers /
by:
(Electronic resources)
Software, services, and systems = essays dedicated to Martin Wirsing on the occasion of his retirement from the Chair of Programming and Software Engineering /
by:
(Electronic resources)
Central European Functional Programming School = 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013 : revised selected papers /
by:
(Electronic resources)
Requirements engineering = foundation for software quality : 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015 : proceedings /
by:
(Electronic resources)
Compiler construction = 24th International Conference, CC 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015 : proceedings /
by:
(Electronic resources)
Fundamental approaches to software engineering = 18th International Conference, FASE 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015 : proceedings /
by:
(Electronic resources)
Formal techniques for safety-critical systems = third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014 : revised selected papers /
by:
(Electronic resources)
Theory and applications of models of computation = 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015 : proceedings /
by:
(Electronic resources)
Structured object-oriented formal language and method = 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014 : revised selected papers /
by:
(Electronic resources)
NASA formal methods = 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015 : proceedings /
by:
(Electronic resources)
Logic-based program synthesis and transformation = 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014 : revised selected papers /
by:
(Electronic resources)
Perspectives of system informatics = 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014 : revised selected papers /
by:
(Electronic resources)
Formal methods for multicore programming = 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015 : advanced lectures /
by:
(Electronic resources)
FM 2015 = formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015 : proceedings /
by:
(Electronic resources)
Formal methods for industrial critical systems = 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 : proceedings /
by:
(Electronic resources)
Computer science - theory and applications = 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015 : proceedings /
by:
(Language materials, printed)
Reversible computation = 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015 : proceedings /
by:
(Language materials, printed)
Symbolic and quantitative approaches to reasoning with uncertainty = 13th European Conference, ECSQARU 2015, Compiegne, France, July 15-17, 2015 : proceedings /
by:
(Electronic resources)
Graph transformation = 8th International Conference, ICGT 2015, held as part of STAF 2015, L'Aquila, Italy, July 21-23, 2015 : proceedings /
by:
(Electronic resources)
Modelling foundations and applications = 11th European Conference, ECMFA 2015, held as part of STAF 2015, L'Aquila, Italy, July 20-24, 2015 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Tests and proofs = 9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015 : proceedings /
by:
(Electronic resources)
Rule technologies = foundations, tools, and applications : 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015 : proceedings /
by:
(Electronic resources)
Computer aided verification = 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.. Part II /
by:
(Electronic resources)
Computer aided verification = 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.. Part I /
by:
(Electronic resources)
Stabilization, safety, and security of distributed systems = 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015 : proceedings /
by:
(Electronic resources)
Software engineering and formal methods = 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings /
by:
(Electronic resources)
Formal Modeling and Analysis of Timed Systems = 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015 : proceedings /
by:
(Electronic resources)
Machines, computations, and universality = 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015 : proceedings /
by:
(Electronic resources)
Software engineering for resilient systems = 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015 : proceedings /
by:
(Electronic resources)
Logic, rewriting, and concurrency = essays dedicated to Jose Meseguer on the occasion of his 65th birthday /
by:
(Electronic resources)
Model checking software = 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015 : proceedings /
by:
(Electronic resources)
Algebraic informatics = 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015 : proceedings /
by:
(Electronic resources)
Logic programming and nonmonotonic reasoning = 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Runtime verification = 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings /
by:
(Electronic resources)
Frontiers of combining systems = 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015 : proceedings /
by:
(Electronic resources)
Computer safety, reliability, and security = SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015 : proceedings /
by:
(Electronic resources)
Computer safety, reliability, and security = 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015 : proceedings /
by:
(Electronic resources)
Automated reasoning with analytic tableaux and related methods = 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015 : proceedings /
by:
(Electronic resources)
Reachability problems = 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015 : proceedings /
by:
(Electronic resources)
Fundamentals of software engineering = 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015 : revised selected papers /
by:
(Electronic resources)
Dependable software engineering = theories, tools, and applications : first International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Globalizing domain-specific languages = International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014 : revised papers /
by:
(Electronic resources)
Logic-based program synthesis and transformation = 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 : revised selected papers /
by:
(Electronic resources)
Hybrid systems biology = second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014 : revised selected papers /
by:
(Electronic resources)
Information security = 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013 : proceedings /
by:
(Electronic resources)
Recent trends in algebraic development techniques = 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers /
by:
(Electronic resources)
Membrane computing = 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015 : revised selected papers /
by:
(Electronic resources)
Logic for programming, artificial intelligence, and reasoning = 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings /
by:
(Electronic resources)
Hybrid systems biology = fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015 : revised selected papers /
by:
(Electronic resources)
Software engineering = International Summer Schools, LASER 2013-2014, Elba, Italy : revised tutorial lectures /
by:
(Electronic resources)
A polynomial translation of mobile ambients into safe petri nets = understanding a calculus of hierarchical protection domains /
by:
(Electronic resources)
Practical aspects of declarative languages = 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016 : proceedings /
by:
(Electronic resources)
Formal aspects of component software = 12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015 : revised selected papers /
by:
(Electronic resources)
Formal techniques for safety-critical systems = 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015 : revised selected papers /
by:
(Electronic resources)
Engineering trustworthy software systems = first International School, SETSS 2014, Chongqing, China, September 8-13, 2014 : tutorial lectures /
by:
(Electronic resources)
Algorithmic aspects of cloud computing = first International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015 : revised selected papers /
by:
(Electronic resources)
Graphical models for security = second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015 : revised selected papers /
by:
(Electronic resources)
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:
(Electronic resources)
Model checking software = 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016 : proceedings /
by:
(Electronic resources)
ABZ 2014 = the landing gear case study : Case study track, held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014 : proceedings /
by:
(Electronic resources)
Formal methods for executable software models = 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014 : advanced lectures /
by:
(Electronic resources)
From programs to systems - the systems perspective in computing = ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014 : proceedings /
by:
(Electronic resources)
Pristine perspectives on logic, language, and computation = ESSLLI 2012 and ESSLLI 2013 Student Sessions : selected papers /
by:
(Electronic resources)
ECOOP 2014 - Object-oriented programming = 28th European Conference, Uppsala, Sweden, July 28 - August 1, 2014 : proceedings /
by:
(Electronic resources)
Application and theory of petri nets and concurrency = 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014 : proceedings /
by:
(Electronic resources)
Interactive theorem proving = 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings /
by:
(Electronic resources)
Software engineering and formal methods = 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : proceedings /
by:
(Electronic resources)
Formal modeling and analysis of timed systems = 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 : proceedings /
by:
(Electronic resources)
Computer safety, reliability, and security = SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014 : proceedings /
by:
(Electronic resources)
Quantitative evaluation of systems = 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014 : proceedings /
by:
(Electronic resources)
Coalgebraic methods in computer science = 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014 : revised selected papers /
by:
(Electronic resources)
CONCUR 2014 - concurrency theory = 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014 : proceedings /
by:
(Electronic resources)
Theoretical computer science = 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014 : proceedings /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validation = technologies for mastering change : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 : proceedings.. Part I /
by:
(Electronic resources)
Intelligent information processing VII = 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014 : proceedings /
by:
(Electronic resources)
Stochastic model checking = rigorous dependability analysis using model checking techniques for stochastic systems : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012 : advanced lectures /
by:
(Electronic resources)
Trends in functional programming = 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014 : revised selected papers /
by:
(Electronic resources)
Transactional memory = foundations, algorithms, tools, and applications : COST Action Euro-TM IC1001 /
by:
(Electronic resources)
Verification, model checking, and abstract interpretation = 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings /
by:
(Electronic resources)
Software engineering for collective autonomic systems = The ASCENS Approach /
by:
(Electronic resources)
Descriptional complexity of formal systems = 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015 : proceedings /
by:
(Language materials, printed)
Application and theory of petri nets and concurrency = 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015 : proceedings /
by:
(Language materials, printed)
Reliable software technologies - Ada-Europe 2015 = 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015 : proceedings /
by:
(Language materials, printed)
Mathematics of program construction = 12th International Conference, MPC 2015, Konigswinter, Germany, June 29 - July 1, 2015 : proceedings /
by:
(Language materials, printed)
Computing and combinatorics = 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015 : proceedings /
by:
(Language materials, printed)
Interactive theorem proving = 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015 : proceedings /
by:
(Electronic resources)
Fundamentals of computation theory = 20th International Symposium, FCT 2015, Gdansk, Poland, August 17-19, 2015 : proceedings /
by:
(Electronic resources)
Quantitative evaluation of systems = 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015 : proceedings /
by:
(Electronic resources)
The design of requirements modelling languages = how to make formalisms for problem solving in requirements engineering /
by:
(Electronic resources)
SDL 2015 = model-driven engineering for smart cities : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015 : proceedings /
by:
(Electronic resources)
Cyber physical systems = design, modeling, and evaluation : 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015 : proceedings /
by:
(Electronic resources)
Theoretical aspects of computing - ICTAC 2015 = 12th International Colloquium Cali, Colombia, October 29-31, 2015 : proceedings /
by:
(Electronic resources)
Programming languages with applications to biology and security = essays dedicated to Pierpaolo Degano on the occasion of His 65th Birthday /
by:
(Electronic resources)
Hardware and software = verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings /
by:
(Electronic resources)
Static analysis = 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015 : proceedings /
by:
(Electronic resources)
Algorithms - ESA 2015 = 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015 : proceedings /
by:
(Electronic resources)
Logic, rationality, and interaction = 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings /
by:
(Electronic resources)
Inductive logic programming = 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014 : revised selected papers /
by:
(Electronic resources)
Programming languages and systems = 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015 : proceedings /
by:
(Electronic resources)
Verification, model checking, and abstract interpretation = 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Formal methods: foundations and applications = 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015 : proceedings /
by:
(Electronic resources)
Functional and logic programming = 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016 : proceedings /
by:
(Electronic resources)
Verified software = theories, tools, and experiments : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 : revised selected papers /
by:
(Electronic resources)
Requirements engineering = foundation for software quality : 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016 : proceedings /
by:
(Electronic resources)
Theory and practice of formal methods = essays dedicated to Frank de Boer on the occasion of his 60th birthday /
by:
(Electronic resources)
A list of successes that can change the world = essays dedicated to Philip Wadler on the occasion of his 60th birthday /
by:
(Electronic resources)
Structured object-oriented formal language and method = 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 : revised selected papers /
by:
(Electronic resources)
Abstract state machines, Alloy, B, TLA, VDM, and Z = 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016 : proceedings /
by:
(Electronic resources)
Integrated formal methods = 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings /
by:
(Electronic resources)
Software reuse = bridging with social-awareness : 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016 : proceedings /
by:
(Electronic resources)
Reliable software technologies - Ada-Europe 2016 = 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016 : proceedings /
by:
(Electronic resources)
Trends in functional programming = 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015 : revised selected papers /
by:
(Electronic resources)
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:
(Electronic resources)
Application and theory of petri nets and concurrency = 37th International Conference, PETRI NETS 2016, Torun, Poland, June 19-24, 2016 : proceedings /
by:
(Electronic resources)
Automated reasoning = 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016 : proceedings /
by:
(Electronic resources)
Coalgebraic Methods in Computer Science = 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016 : revised selected papers /
by:
(Electronic resources)
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:
(Electronic resources)
Inductive logic programming = 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015 : revised selected papers /
by:
(Electronic resources)
Reversible computation = 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings /
by:
(Electronic resources)
NASA formal methods = 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016 : proceedings /
by:
(Electronic resources)
Tests and proofs = 10th International Conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016 : proceedings /
by:
(Electronic resources)
Unconventional computation and natural computation = 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Software engineering and formal methods = 14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016 : proceedings /
by:
(Electronic resources)
Rule technologies = research, tools, and applications : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016 : proceedings /
by:
(Electronic resources)
Modelling foundations and applications = 12th European Conference, ECMFA 2016, held as part of STAF 2016, Vienna, Austria, July 6-7, 2016 : proceedings /
by:
(Electronic resources)
Intelligent computer mathematics = 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Developments in language theory = 20th International Conference, DLT 2016, Montreal, Canada, July 25-28, 2016 : proceedings /
by:
(Electronic resources)
Interactive theorem proving = 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016 : proceedings /
by:
(Electronic resources)
Quantitative evaluation of systems = 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016 : proceedings /
by:
(Electronic resources)
Formal modeling and analysis of timed systems = 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016 : proceedings /
by:
(Electronic resources)
Implementation and application of automata = 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016 : proceedings /
by:
(Electronic resources)
Computer aided verification = 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016 : proceedings.. Part I /
by:
(Electronic resources)
Computer aided verification = 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016 : proceedings.. Part II /
by:
(Electronic resources)
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:
(Electronic resources)
PRIMA 2016 = princiles and practice of multi-agent systems : 19th International Conference, Phuket, Thailand, August 22-26, 2016 : proceedings /
by:
(Electronic resources)
Computer safety, reliability, and security = SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016 : proceedings /
by:
(Electronic resources)
Software engineering for resilient systems = 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016 : proceedings /
by:
(Electronic resources)
Logic, language, information, and computation = 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : proceedings /
by:
(Electronic resources)
Descriptive set theoretic methods in automata theory = decidability and topological complexity /
by:
(Electronic resources)
Networked systems = 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016 : revised selected papers /
by:
(Electronic resources)
Foundational and practical aspects of resource analysis = 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015 : revised selected papers /
by:
(Electronic resources)
System analysis and modeling = technology-specific aspects of models : 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016 : proceedings /
by:
(Electronic resources)
Programming languages = 20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 22-23, 2016 : proceedings /
by:
(Electronic resources)
Computer safety, reliability, and security = 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016 : proceedings /
by:
(Electronic resources)
Dependable software engineering = theories, tools, and applications : second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016 : proceedings /
by:
(Electronic resources)
Formal methods and software engineering = 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings /
by:
(Electronic resources)
Programming languages and systems = 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016 : proceedings /
by:
(Electronic resources)
Hardware and software = verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings /
by:
(Electronic resources)
Verified Software. Theories, Tools, and Experiments = 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016 : revised selected papers /
by:
(Electronic resources)
Deductive software verification - The KeY Book = from theory to practice /
by:
(Electronic resources)
Evaluation of novel approaches to software engineering = 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016 : revised selected papers /
by:
(Electronic resources)
Concurrency, security, and puzzles = essays dedicated to Andrew William Roscoe on the occasion of his 60th birthday /
by:
(Electronic resources)
Practical aspects of declarative languages = 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017 : proceedings /
by:
(Electronic resources)
Logic and its applications = 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings /
by:
(Electronic resources)
Verification, model checking, and abstract interpretation = 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017 : proceedings /
by:
(Electronic resources)
Formal grammar = 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, revised selected papers. FG 2016, Bozen, Italy, August 2016 : proceedings /
by:
(Electronic resources)
Static analysis = 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016 : proceedings /
by:
(Electronic resources)
Computer performance engineering = 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016 : proceedings /
by:
(Electronic resources)
Runtime verification = 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016 : proceedings /
by:
(Electronic resources)
Guide to discrete mathematics = an accessible introduction to the history, theory, logic and applications /
by:
(Electronic resources)
Reachability problems = 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
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:
(Electronic resources)
Testing software and systems = 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016 : proceedings /
by:
(Electronic resources)
FM 2016 = formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016 : proceedings /
by:
(Electronic resources)
Formal methods = foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Learning and intelligent optimization = 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016 : revised selected papers /
by:
(Electronic resources)
Logical aspects of computational linguistics = celebrating 20 years of LACL (1996-2016) : 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016 : proceedings /
by:
(Electronic resources)
Cyber physical systems = design, modeling, and evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016 : revised selected papers /
by:
(Electronic resources)
Unifying theories of programming = 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016 : revised selected papers /
by:
(Electronic resources)
Requirements engineering = foundation for software quality : 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 - March 2, 2017 : proceedings /
by:
(Electronic resources)
Membrane computing = 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016 : rvised selected papers /
by:
(Electronic resources)
Numerical software verification = 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016 : rvised selected papers /
by:
(Electronic resources)
Networked systems = 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017 : proceedings /
by:
(Electronic resources)
Reliable software technologies - Ada-Europe 2017 = 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017 : proceedings /
by:
(Electronic resources)
Developments in language theory = 21st International Conference, DLT 2017, Liege, Belgium, August 7-11, 2017 : proceedings /
by:
(Electronic resources)
Automated deduction - CADE 26 = 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017 : proceedings /
by:
(Electronic resources)
Logic-based program synthesis and transformation = 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016 : revised selected papers /
by:
(Electronic resources)
Inductive logic programming = 26th International Conference, ILP 2016, London, UK, September 4-6, 2016 : revised selected papers /
by:
(Electronic resources)
Computer aided verification = 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings.. Part I /
by:
(Electronic resources)
Computer aided verification = 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings.. Part II /
by:
(Electronic resources)
Numerical software verification = 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017 : proceedings /
by:
(Electronic resources)
Computer performance engineering = 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017 : proceedings /
by:
(Electronic resources)
Applied logic for computer scientists = computational deduction and formal proofs /
by:
(Electronic resources)
Formal techniques for safety-critical systems = 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016 : revised selected papers /
by:
(Electronic resources)
Small dynamic complexity classes = an investigation into dynamic descriptive complexity /
by:
(Electronic resources)
Fundamental approaches to software engineering = 20th International Conference, FASE 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings /
by:
(Electronic resources)
Engineering trustworthy software systems = second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures /
by:
(Electronic resources)
Computer science - theory and applications = 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017 : proceedings /
by:
(Electronic resources)
Model-based safety and assessment = 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017 : proceedings /
by:
(Electronic resources)
Formal modeling and analysis of timed systems = 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017 : proceedings /
by:
(Electronic resources)
Software engineering for resilient systems = 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017 : proceedings /
by:
(Electronic resources)
Interactive theorem proving = 8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017 : proceedings /
by:
(Electronic resources)
Frontiers of combining systems = 11th International Symposium, FroCoS 2017, Brasilia, Brazil, September 27-29, 2017 : proceedings /
by:
(Electronic resources)
Computer safety, reliability, and security = 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017 : proceedings /
by:
(Electronic resources)
Quantitative evaluation of systems = 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017 : proceedings /
by:
(Electronic resources)
Static analysis = 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017 : proceedings /
by:
(Electronic resources)
Automated reasoning with analytic tableaux and related methods = 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017 : proceedings /
by:
(Electronic resources)
Reachability problems = 11th International Workshop, RP 2017, London, UK, September 7-9, 2017 : proceedings /
by:
(Electronic resources)
Computer safety, reliability, and security = SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017 : proceedings /
by:
(Electronic resources)
Testing software and systems = 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017 : proceedings /
by:
(Electronic resources)
Scalable uncertainty management = 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017 : proceedings /
by:
(Electronic resources)
Theoretical aspects of computing - ICTAC 2017 = 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017 : proceedings /
by:
(Electronic resources)
SDL 2017 = model-driven engineering for future internet : 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017 : proceedings /
by:
(Electronic resources)
Formal aspects of component software = 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017 : proceedings /
by:
(Electronic resources)
Theoretical computer science = 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017 : proceedings /
by:
(Electronic resources)
Formal methods and software engineering = 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017 : proceedings /
by:
(Electronic resources)
Topics in theoretical computer science = second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017 : proceedings /
by:
(Electronic resources)
Fundamentals of software engineering = 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017 : revised selected papers /
by:
(Electronic resources)
PRIMA 2017 = principles and practice of multi-agent systems : 20th International Conference, Nice, France, October 30 - November 3, 2017 : proceedings /
by:
(Electronic resources)
Learning and intelligent optimization = 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017 : revised selected papers /
by:
(Electronic resources)
Dependable software engineering = theories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings /
by:
(Electronic resources)
Transactions on large-scale data- and knowledge-centered systems XXXIV = special issue on consistency and inconsistency in data-centric applications /
by:
(Electronic resources)
Generalized Jeffrey conditionalization = a Frequentist Semantics of Partial Conditionalization /
by:
(Electronic resources)
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:
(Electronic resources)
Perspectives of system informatics = 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017 : revised selected papers /
by:
(Electronic resources)
Inductive logic programming = 27th International Conference, ILP 2017, Orleans, France, September 4-6, 2017 : revised selected papers /
by:
(Electronic resources)
Structured object-oriented formal language and method = 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017 : revised selected papers /
by:
(Electronic resources)
Abstract state machines, Alloy, B, TLA, VDM, and Z = 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
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:
(Electronic resources)
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:
(Electronic resources)
Verification, model checking, and abstract interpretation = 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019 : proceedings /
by:
(Electronic resources)
Multi-agent systems = 16th European Conference, EUMAS 2018, Bergen, Norway, December 6-7, 2018 : revised selected papers /
by:
(Electronic resources)
Artificial intelligence in health = first International Workshop, AIH 2018, Stockholm, Sweden, July 13-14, 2018 : revised selected papers /
by:
(Electronic resources)
Functional and constraint logic programming = 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018 : revised selected papers /
by:
(Electronic resources)
Tools and algorithms for the construction and analysis of systems = 25 Years of TACAS: TOOLympics, held as part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings.. Part III /
by:
(Electronic resources)
Cyber physical systems = design, modeling, and evaluation : 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017 : revised selected papers /
by:
(Electronic resources)
Engineering trustworthy software systems = 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018 : tutorial lectures /
by:
(Electronic resources)
Application and theory of petri nets and concurrency = 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017 : proceedings /
by:
(Electronic resources)
ModelEd, testEd, trustEd = essays dedicated to Ed Brinksma on the occasion of his 60th birthday /
by:
(Electronic resources)
NASA formal methods = 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017 : proceedings /
by:
(Electronic resources)
Programming languages and systems = 26th European Symposium on Programming, ESOP 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings /
by:
(Electronic resources)
Relational and algebraic methods in computer science = 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017 : proceedings /
by:
(Electronic resources)
Theory and applications of models of computation = 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017 : proceedings /
by:
(Electronic resources)
Unconventional computation and natural computation = 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017 : proceedings /
by:
(Electronic resources)
Logic, language, information, and computation = 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019 : proceedings /
by:
(Electronic resources)
Models, mindsets, meta = the what, the how, and the why not? : essays dedicated to Bernhard Steffen on the occasion of his 60th birthday /
by:
(Electronic resources)
Recent trends in algebraic development techniques = 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018 : revised selected papers /
by:
(Electronic resources)
Rules and reasoning = third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019 : proceedings /
by:
(Electronic resources)
Model checking software = 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019 : proceedings /
by:
(Electronic resources)
Formal methods - the next 30 years = third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019 : proceedings /
by:
(Electronic resources)
Unifying theories of programming = 7th International Symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019 : proceedings /
by:
(Electronic resources)
Tests and proofs = 13th International Conference, TAP 2019, held as part of the third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019 : proceedings /
by:
(Electronic resources)
From reactive systems to cyber-physical systems = essays dedicated to Scott A. Smolka on the occasion of his 65th birthday /
by:
(Electronic resources)
Dynamic logic = new trends and applications : second International Workshop, DaLi 2019, Porto, Portugal, October 7-11, 2019 : proceedings /
by:
(Electronic resources)
Verification, model checking, and abstract interpretation = 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020 : proceedings /
by:
(Electronic resources)
Verified software = theories, tools, and experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019 : revised selected papers /
by:
(Electronic resources)
Relational and algebraic methods in computer science = 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020 : proceedings /
by:
(Electronic resources)
Logic-based program synthesis and transformation = 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019 : revised selected papers /
by:
(Electronic resources)
Theoretical aspects of computing - ICTAC 2019 = 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019 : proceedings /
by:
(Electronic resources)
Runtime verification = 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019 : proceedings /
by:
(Electronic resources)
Static analysis = 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019 : proceedings /
by:
(Electronic resources)
From software engineering to formal methods and tools, and back = essays dedicated to Stefania Gnesi on the occasion of her 65th Birthday /
by:
(Electronic resources)
Model-based safety and assessment = 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019 : proceedings /
by:
(Electronic resources)
Mathematics of program construction = 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019 : proceedings /
by:
(Electronic resources)
Automated technology for verification and analysis = 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019 : proceedings /
by:
(Electronic resources)
Nonsequential and distributed programming with Go = synchronization of concurrent processes: communication - cooperation - competition /
by:
(Electronic resources)
Software engineering and formal methods = SEFM 2020 collocated workshops : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, the Netherlands, September 14-15, 2020 : revised selected papers /
by:
(Electronic resources)
Logic-based program synthesis and transformation = 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020 : proceedings /
by:
(Electronic resources)
Formal methods - fun for everybody = first International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019 : revised selected papers /
by:
(Electronic resources)
Recent trends in algebraic development techniques = 25th International Workshop, WADT 2020, virtual event, April 29, 2020 : revised selected papers /
by:
(Electronic resources)
Functional and constraint logic programming = 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020 : revised selected papers /
by:
(Electronic resources)
Logics in artificial intelligence = 17th European Conference, JELIA 2021, virtual event, May 17-20, 2021 : proceedings /
by:
(Electronic resources)
Information refinement technologies for crisis informatics = user expectations and design principles for social media and mobile apps /
by:
(Electronic resources)
Application and theory of petri nets and concurrency = 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23-28, 2019 : proceedings /
by:
(Electronic resources)
Automated deduction - CADE 27 = 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019 : proceedings /
by:
(Electronic resources)
Cellular automata and discrete complex systems = 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26-28, 2019 : proceedings /
by:
(Electronic resources)
Computer science - theory and applications = 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1-5, 2019 : proceedings /
by:
(Electronic resources)
Computing with foresight and industry = 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15-19, 2019 : proceedings /
by:
(Electronic resources)
Description logic, theory combination, and all that = essays dedicated to Franz Baader on the occasion of his 60th birthday /
by:
(Electronic resources)
Descriptional complexity of formal systems = 21st IFIP WG 1.02 International Conference, DCFS 2019, Kosice, Slovakia, July 17-19, 2019 : proceedings /
by:
(Electronic resources)
Formal modeling and analysis of timed systems = 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019 : proceedings /
by:
(Electronic resources)
Foundations of security, protocols, and equational reasoning = essays dedicated to Catherine A. Meadows /
by:
(Electronic resources)
Frontiers of combining systems = 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019 : proceedings /
by:
(Electronic resources)
Implementation and application of automata = 24th International Conference, CIAA 2019, Kosice, Slovakia, July 22-25, 2019 : proceedings /
by:
(Electronic resources)
Language and automata theory and applications = 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019 : proceedings /
by:
(Electronic resources)
Logic-based program synthesis and transformation = 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018 : revised selected papers /
by:
(Electronic resources)
Quantitative evaluation of systems = 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019 : proceedings /
by:
(Electronic resources)
Reachability problems = 13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019 : proceedings /
by:
(Electronic resources)
Reliability, safety, and security of railway systems = modelling, analysis, verification, and certification : third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019 : proceedings /
by:
(Electronic resources)
Symbolic and quantitative approaches to reasoning with uncertainty = 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019 : proceedings /
by:
(Electronic resources)
Testing software and systems = 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019 : proceedings /
by:
(Electronic resources)
Unconventional computation and natural computation = 18th International Conference, UCNC 2019, Tokyo, Japan, June 3-7, 2019 : proceedings /
by:
(Electronic resources)
Functional and logic programming = 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020 : proceedings /
by:
(Electronic resources)
Case-based reasoning research and development = 28th International Conference, ICCBR 2020, Salamanca, Spain, June 8-12, 2020 : proceedings /
by:
(Electronic resources)
Runtime verification = 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020 : proceedings /
by:
(Electronic resources)
Structured object-oriented formal language and method = 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021 : revised selected papers /
by:
(Electronic resources)
Connecting with computability = 17th Conference on Computability in Europe, CiE 2021, virtual event, Ghent, July 5-9, 2021 : proceedings /
by:
(Electronic resources)
Automated deduction - CADE 28 = 28th International Conference on Automated Deduction, virtual event, July 12-15, 2021 : proceedings /
by:
(Electronic resources)
Theoretical aspects of computing - ICTAC 2021 = 18th International Colloquium, virtual event, Nur-Sultan, Kazakhstan, September 8-10, 2021 : proceedings /
by:
(Electronic resources)
Automated reasoning with analytic tableaux and related methods = 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021 : proceedings /
by:
(Electronic resources)
Frontiers of combining systems = 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021 : proceedings /
by:
(Electronic resources)
Transactions on large-scale data- and knowledge-centered systems XLIX = special issue on data management - principles, technologies and applications /
by:
(Electronic resources)
Machine translation = China Conference, CCMT 2021, Xining, China, October 8-10, 2021 : revised selected papers /
by:
(Electronic resources)
Programming languages and systems = 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021 : proceedings /
by:
(Electronic resources)
Static analysis = 28th international symposium, SAS 2021,Chicago, IL, USA : proceedings /
by:
(Electronic resources)
Logic and argumentation = 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021 : proceedings /
by:
(Electronic resources)
Developments in language theory = 24th International Conference, DLT 2020, Tampa, FL, USA, May 11-15, 2020 : proceedings /
by:
(Electronic resources)
Monotonicity in logic and language = second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020 : proceedings /
by:
(Electronic resources)
Inductive logic programming = 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3-5, 2019 : proceedings /
by:
(Electronic resources)
Formal aspects of component software = 17th International Conference, FACS 2021, virtual event, October 28-29, 2021 : proceedings /
by:
(Electronic resources)
Descriptional complexity of formal systems = 23rd IFIP WG 1.02 International Conference, DCFS 2021, virtual event, September 5, 2021 : proceedings /
by:
(Electronic resources)
Model checking, synthesis, and learning = essays dedicated to Bengt Jonsson on the occasion of his 60th birthday /
by:
(Electronic resources)
Fundamentals of computation theory = 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017 : proceedings /
by:
(Electronic resources)
AI*IA 2017 = advances in artificial intelligence : XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017 : proceedings /
by:
(Electronic resources)
Hardware and software = verification and testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017 : proceedings /
by:
(Electronic resources)
Practical aspects of declarative languages = 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018 : proceedings /
by:
(Electronic resources)
Software engineering and formal methods = SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017 : revised selected papers /
by:
(Electronic resources)
Language and automata theory and applications = 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018 : proceedings /
by:
(Electronic resources)
Bidirectional transformations = International Summer School, Oxford, UK, July 25-29, 2016, tutorial lectures /
by:
(Electronic resources)
Theory and applications of formal argumentation = 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017 : revised selected papers /
by:
(Electronic resources)
Application and theory of petri nets and concurrency = 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018 : proceedings /
by:
(Electronic resources)
Machines, computations, and universality = 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018 : proceedings /
by:
(Electronic resources)
Logic-based program synthesis and transformation = 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017 : revised selected papers /
by:
(Electronic resources)
Descriptional complexity of formal systems = 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018 : proceedings /
by:
(Electronic resources)
Formal techniques for safety-critical systems = 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018 : revised selected papers /
by:
(Electronic resources)
Computability and complexity = essays dedicated to Rodney G. Downey on the occasion of his 60th Birthday /
by:
(Electronic resources)
Computational methods in systems biology = 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017 : proceedings /
by:
(Electronic resources)
Computer algebra in scientific computing = 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017 : proceedings /
by:
(Electronic resources)
Implementation and Application of Automata = 22nd International Conference, CIAA 2017, Marne-la-Vallee, France, June 27-30, 2017 : proceedings /
by:
(Electronic resources)
Logic programming and nonmonotonic reasoning = 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019 : proceedings /
by:
(Electronic resources)
Logics in artificial intelligence = 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019 : proceedings /
by:
(Electronic resources)
Language and automata theory and applications = 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020 : proceedings /
by:
(Electronic resources)
Perspectives of system informatics = 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019 : revised selected papers /
by:
(Electronic resources)
Computer aided verification = 33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings.. Part I /
by:
(Electronic resources)
Computer aided verification = 33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings.. Part II /
by:
(Electronic resources)
Model checking software = 27th International Symposium, SPIN 2021, virtual event, July 12, 2021 : proceedings /
by:
(Electronic resources)
Algebraic informatics = 8th International Conference, CAI 2019, Nis, Serbia, June 30-July 4, 2019 : proceedings /
by:
(Electronic resources)
Model-based safety and assessment = 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020 : proceedings /
by:
(Electronic resources)
Frontiers in software engineering education = first International Workshop, FISEE 2019, Villebrumier, France, November 11-13, 2019 : invited papers /
by:
(Electronic resources)
Logic, language, and security = essays dedicated to Andre Scedrov on the occasion of his 65th birthday /
by:
(Electronic resources)
Descriptional complexity of formal systems = 22nd International Conference, DCFS 2020, Vienna, Austria, August 24-26, 2020 : proceedings /
by:
(Electronic resources)
Formal methods = foundations and applications : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020 : proceedings /
by:
(Electronic resources)
Theoretical aspects of computing - ICTAC 2020 = 17th International Colloquium, Macau, China, November 30 - December 4, 2020 : proceedings /
by:
(Electronic resources)
Programming languages and systems = 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020 : proceedings /
by:
(Electronic resources)
Testing software and systems = 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020 : proceedings /
by:
(Electronic resources)
Software verification = 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020 : revised selected papers /
by:
(Electronic resources)
Deductive software verification = future perspectives : reflections on the occasion of 20 years of KeY /
by:
(Electronic resources)
Rewriting logic and its applications = 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020 : revised selected papers /
by:
(Electronic resources)
Machine translation = 16th China Conference, CCMT 2020, Hohhot, China, October 10-12, 2020 : revised selected papers /
by:
(Electronic resources)
Static analysis = 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020 : proceedings /
by:
(Electronic resources)
Application and theory of petri nets and concurrency = 41st International Conference, PETRI NETS 2020, Paris, France, June 24-25, 2020 : proceedings /
by:
(Electronic resources)
Automated reasoning = 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020 : proceedings.. Part II /
by:
(Electronic resources)
Show more
Fewer
Subjects