Logics and Meanings of Programs.
Overview
| Works: | 294 works in 294 publications in 294 languages | |
|---|---|---|
Titles
Mathematical and engineering methods in computer science[electronic resource] :7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011 : revised selected papers /
by:
(Language materials, printed)
Formal aspects of component software[electronic resource] :7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers /
by:
(Language materials, printed)
Verified software[electronic resource] :theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings /
by:
(Language materials, printed)
Foundations and practice of security[electronic resource] :4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011 : revised selected papers /
by:
(Language materials, printed)
Verification, model checking, and abstract[electronic resource] :13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012 : proceedings /
by:
(Language materials, printed)
Algebraic and numeric biology[electronic resource] :4th international conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010 : revised selected papers /
by:
(Language materials, printed)
Foundations of algebraic specification and formal software development[electronic resource] /
by:
(Language materials, printed)
Computation, physics and beyond[electronic resource] :International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012 : revised selected and invited papers /
by:
(Language materials, printed)
Practical aspects of declarative languages[electronic resource] :14th international symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012 : proceedings /
by:
(Language materials, printed)
Distributed computing and internet technology[electronic resource] :8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012 : proceedings /
by:
(Language materials, printed)
Conceptual modelling and its theoretical foundations[electronic resource] :essays dedicated to Bernhard Thalheim n the occasion of his 60th birthday /
by:
(Language materials, printed)
Recent trends in algebraic development techniques[electronic resource] :20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010 : revised selected papers /
by:
(Language materials, printed)
Transactions on computational science XV[electronic resource] :special issue on advances in autonomic computing : formal engineering methods for nature-inspired computing systems /
by:
(Language materials, printed)
Data engineering and management[electronic resource] :second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010 : revised selected papers /
by:
(Language materials, printed)
Language and automata theory and applications[electronic resource] :6th International Conference, LATA 2012, A Coruna, Spain, March 5-9, 2012 : proceedings /
by:
(Language materials, printed)
Foundations of information and knowledge systems[electronic resource] :7th international symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012 : proceedings /
by:
(Language materials, printed)
Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance[electronic resource] :16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012 : proceedings /
by:
(Language materials, printed)
Logic for programming, artificial intelligence, and reasoning[electronic resource] :18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012 : proceedings /
by:
(Language materials, printed)
Foundations of software science and computational structures[electronic resource] :15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings /
by:
(Language materials, printed)
Tools and algorithms for the construction and analysis of systems[electronic resource] :18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings /
by:
(Language materials, printed)
Programming languages and systems[electronic resource] :21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings /
by:
(Language materials, printed)
Fundamental approaches to software engineering[electronic resource] :15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings /
by:
(Language materials, printed)
NASA formal methods[electronic resource] :4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings /
by:
(Language materials, printed)
Declarative agent languages and technologies IX[electronic resource] :9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011 : revised selected and invited papers /
by:
(Language materials, printed)
Advances in software engineering techniques[electronic resource] :4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009 : revised selected papers /
by:
(Language materials, printed)
Software language engineering[electronic resource] :4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011 : revised selected papers /
by:
(Language materials, printed)
Fundamentals of software engineering[electronic resource] :4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011 : revised selected papers /
by:
(Language materials, printed)
Logic programs, norms and action[electronic resource] :essays in honor of Marek J. Sergot on the occasion of his 60th birthday /
by:
(Language materials, printed)
Logic and program semantics[electronic resource] :essays dedicated to Dexter Kozen on the occasion of his 60th birthday /
by:
(Language materials, printed)
Reversible computation[electronic resource] :third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised papers /
by:
(Language materials, printed)
Models in software engineering[electronic resource] :workshops and symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011 : reports and revised selected papers /
by:
(Language materials, printed)
The correctness-by-construction approach to programming[electronic resource] /
by:
(Language materials, printed)
Theory and practice of computation[electronic resource] :Workshop on Computation: Theory and Practice Quezon City, Philippines, September 2011 : proceedings /
by:
(Language materials, printed)
Answer set programming for continuous domains[electronic resource] :a fuzzy logic approach /
by:
(Language materials, printed)
Graph structures for knowledge representation and reasoning[electronic resource] :second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised selected papers /
by:
(Language materials, printed)
Perspectives of systems informatics[electronic resource] :8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers /
by:
(Language materials, printed)
Functional and logic programming[electronic resource] :11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings /
by:
(Language materials, printed)
Runtime verification[electronic resource] :second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /
by:
(Language materials, printed)
Theory and applications of models of computation[electronic resource] :9th annual conference, TAMC 2012, Beijing, China, May 16-21, 2012 : proceedings /
by:
(Language materials, printed)
Tests and proofs[electronic resource] :6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(Language materials, printed)
Theory and practice of model transformations[electronic resource] :5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012 : proceedings /
by:
(Language materials, printed)
Objects, models, components, patterns[electronic resource] :50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012 : proceedings /
by:
(Language materials, printed)
Software composition[electronic resource] :11th International Conference, SC 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(Language materials, printed)
Software service and application engineering[electronic resource] :essays dedicated to Bernd Kramer on the occasion of his 65th birthday /
by:
(Language materials, printed)
Computer applications for software engineering, disaster recovery, and business continuity[electronic resource] :International Conferences, ASEA and DRBC 2012, held in conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012 : proceedings /
by:
(Language materials, printed)
Implementation and application of functional languages[electronic resource] :23rd international symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011 : revised selected papers /
by:
(Language materials, printed)
Testing software and systems[electronic resource] :24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012 : proceedings /
by:
(Language materials, printed)
Certified programs and proofs[electronic resource] :second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings /
by:
(Language materials, printed)
Applications of graph transformations with industrial relevance[electronic resource] :third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007 : revised selected and invited papers /
by:
(Language materials, printed)
Automated technology for verification and analysis[electronic resource] :6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 : proceedings /
by:
(Language materials, printed)
Engineering interactive systems 2008[electronic resource] :second Conference on Human-Centered Software Engineering, HCSE 2008 and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008 : proceedings /
by:
(Language materials, printed)
Logic for programming, artificial intelligence, and reasoning[electronic resource] :15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings /
by:
(Language materials, printed)
Quality of software architectures[electronic resource] :models and architectures : 4th international conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008 : proceedings /
by:
(Language materials, printed)
Recent advances in constraints[electronic resource] :12th annual ERCIM international workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, Rocquencourt, France, June 7-8, 2007 : revised selected papers /
by:
(Language materials, printed)
Rule representation, interchange and reasoning on the web[electronic resource] :international symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008 : proceedings /
by:
(Language materials, printed)
Runtime verification[electronic resource] :8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : selected papers /
by:
(Language materials, printed)
Software-intensive systems and new computing paradigms[electronic resource] :challenges and visions /
by:
(Language materials, printed)
The semantic web[electronic resource] :3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008 : proceedings /
by:
(Language materials, printed)
The semantic web - ISWC 2008[electronic resource] :7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008 : proceedings /
by:
(Language materials, printed)
Theorem proving in higher order logics[electronic resource] :21st international conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 : proceedings /
by:
(Language materials, printed)
Transactions on aspect-oriented software development IX[electronic resource] /
by:
(Language materials, printed)
Programming languages and systems[electronic resource] :10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012 : proceedings /
by:
(Language materials, printed)
Formal aspects of component software[electronic resource] :8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers /
by:
(Language materials, printed)
Tools for practical software verification[electronic resource] :LASER, International Summer School 2011, Elba Island, Italy : revised tutorial lectures /
by:
(Language materials, printed)
ABZ 2014[electronic resource] :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:
(Language materials, printed)
Horizons of the mind[electronic resource] :a tribute to Prakash Panangaden : essays dedicated to Prakash Panangaden on the occasion of his 60th birthday /
by:
(Language materials, printed)
Functional and logic programming[electronic resource] :12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014 : proceedings /
by:
(Language materials, printed)
Formal methods for executable software models[electronic resource] :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:
(Language materials, printed)
Engineering secure future internet services and systems[electronic resource] :current research /
by:
(Language materials, printed)
Coordination models and languages[electronic resource] :16th IFIP WG 6.1 International Conference, COORDINATION 2014, held as part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014 : proceedings /
by:
(Language materials, printed)
Formal techniques for distributed objects, components, and systems[electronic resource] :34th IFIP WG 6.1 International Conference, FORTE 2014, held as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014 : proceedings /
by:
(Language materials, printed)
Abstract state machines, Alloy, B, TLA, VDM, and Z[electronic resource] :4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014 : proceedings /
by:
(Language materials, printed)
Software architecture[electronic resource] :8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014 : proceedings /
by:
(Language materials, printed)
Integrated formal methods[electronic resource] :11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014 : proceedings /
by:
(Language materials, printed)
Formal methods in macro-biology[electronic resource] :First International Conference, FMMB 2014, Noumea, New Caledonia, September 22-24, 2014 : proceedings /
by:
(Language materials, printed)
Software engineering and formal methods[electronic resource] :12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : proceedings /
by:
(Language materials, printed)
Formal modeling and analysis of timed systems[electronic resource] :12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 : proceedings /
by:
(Language materials, printed)
Computer safety, reliability, and security[electronic resource] :SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014 : proceedings /
by:
(Language materials, printed)
Quantitative evaluation of systems[electronic resource] :11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014 : proceedings /
by:
(Language materials, printed)
Coalgebraic methods in computer science[electronic resource] :12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014 : revised selected papers /
by:
(Language materials, printed)
CONCUR 2014 - concurrency theory[electronic resource] :25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014 : proceedings /
by:
(Language materials, printed)
Theoretical computer science[electronic resource] :8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014 : proceedings /
by:
(Language materials, printed)
Computer science - theory and applications[electronic resource] :9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014 : proceedings /
by:
(Language materials, printed)
Formal aspects of component software[electronic resource] :10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013 : revised selected papers /
by:
(Language materials, printed)
Application and theory of petri nets and concurrency[electronic resource] :35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014 : proceedings /
by:
(Language materials, printed)
Web services and formal methods[electronic resource] :10th International Workshop, WS-FM 2013, Beijing, China, August 2013 : revised selected papers /
by:
(Language materials, printed)
Reliable software technologies - Ada-Europe 2014[electronic resource] :19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014 : proceedings /
by:
(Language materials, printed)
Deontic logic and normative systems[electronic resource] :12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014 : proceedings /
by:
(Language materials, printed)
Computer aided verification[electronic resource] :26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014 : proceedings /
by:
(Language materials, printed)
Interactive theorem proving[electronic resource] :5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings /
by:
(Language materials, printed)
Logical aspects of computational linguistics[electronic resource] :8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014 : proceedings /
by:
(Language materials, printed)
Automated reasoning[electronic resource] :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:
(Language materials, printed)
Computing and combinatorics[electronic resource] :20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014 : proceedings /
by:
(Language materials, printed)
Theory and practice of model transformations[electronic resource] :7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014 : proceedings /
by:
(Language materials, printed)
Rewriting and Typed Lambda Calculi[electronic resource] :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:
(Language materials, printed)
Tests and proofs[electronic resource] :8th International Conference, TAP 2014, held as Part of STAF 2014, York, UK, July 24-25, 2014 : proceedings /
by:
(Language materials, printed)
Graph transformation[electronic resource] :7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014 : proceedings /
by:
(Language materials, printed)
Modelling foundations and applications[electronic resource] :10th European Conference, ECMFA 2014, held as part of STAF 2014, York, UK, July 21-25, 2014 : proceedings /
by:
(Language materials, printed)
Descriptional complexity of formal systems[electronic resource] :16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014 : proceedings /
by:
(Language materials, printed)
Computational logic in multi-agent systems[electronic resource] :15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014 : proceedings /
by:
(Language materials, printed)
Rules on the web[electronic resource] :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:
(Language materials, printed)
From programs to systems - the systems perspective in computing[electronic resource] :ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014 : proceedings /
by:
(Language materials, printed)
Pristine perspectives on logic, language, and computation[electronic resource] :ESSLLI 2012 and ESSLLI 2013 Student Sessions : selected papers /
by:
(Language materials, printed)
ECOOP 2014 - Object-oriented programming[electronic resource] :28th European Conference, Uppsala, Sweden, July 28 - August 1, 2014 : proceedings /
by:
(Language materials, printed)
Logic and its applications[electronic resource] :6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015 : proceedings /
by:
(Language materials, printed)
Trends in functional programming[electronic resource] :15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014 : revised selected papers /
by:
(Language materials, printed)
Transactional memory[electronic resource] :foundations, algorithms, tools, and applications : COST Action Euro-TM IC1001 /
by:
(Language materials, printed)
Verification, model checking, and abstract interpretation[electronic resource] :16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings /
by:
(Language materials, printed)
Advances in knowledge representation, logic programming, and abstract argumentation[electronic resource] :essays dedicated to Gerhard Brewka on the occasion of his 60th birthday /
by:
(Language materials, printed)
Unifying theories of programming[electronic resource] :5th International Symposium, UTP 2014, Singapore, May 13, 2014 : revised selected papers /
by:
(Language materials, printed)
Formal methods[electronic resource] :foundations and applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29 - October 1, 2014 : proceedings /
by:
(Language materials, printed)
Software engineering and formal methods[electronic resource] :SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014 : revised selected papers /
by:
(Language materials, printed)
Formal aspects of component software[electronic resource] :11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014 : revised selected papers /
by:
(Language materials, printed)
Practical aspects of declarative languages[electronic resource] :16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014 : proceedings /
by:
(Language materials, printed)
Trends in functional programming[electronic resource] :14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013 : revised selected papers /
by:
(Language materials, printed)
Big data integration theory[electronic resource] :theory and methods of database mappings, programming languages, and semantics /
by:
(Language materials, printed)
Verification, model checking, and abstract interpretation[electronic resource] :15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014 : proceedings /
by:
(Language materials, printed)
Verified software[electronic resource] :theories, tools, experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : revised selected papers /
by:
(Language materials, printed)
Membrane computing[electronic resource] :14th International Conference, CMC 2013, Chisinau, Republic of Moldova, August 20-23, 2013 : revised selected papers /
by:
(Language materials, printed)
Structured object-oriented formal language and method[electronic resource] :third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers /
by:
(Language materials, printed)
Foundations of information and knowledge systems[electronic resource] :8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014 : proceedings /
by:
(Language materials, printed)
OpenSHMEM and related technologies[electronic resource] :experiences, implementations, and tools : First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014 : proceedings /
by:
(Language materials, printed)
Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance[electronic resource] :17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014 : proceedings /
by:
(Language materials, printed)
Algebraic and algorithmic aspects of differential and integral operators[electronic resource] :5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012 : selected and invited papers /
by:
(Language materials, printed)
Specification, algebra, and software[electronic resource] :essays dedicated to Kokichi Futatsugi /
by:
(Language materials, printed)
Programming languages and operational semantics[electronic resource] :a concise overview /
by:
(Language materials, printed)
Software Engineering and Formal Methods[electronic resource] :SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013 : revised selected papers /
by:
(Language materials, printed)
Requirements engineering[electronic resource] :foundation for software quality : 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014 : proceedings /
by:
(Language materials, printed)
Fundamental approaches to software engineering[electronic resource] :17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings /
by:
(Language materials, printed)
Foundations of software science and computation structures[electronic resource] :17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings /
by:
(Language materials, printed)
Programming languages and systems[electronic resource] :23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings /
by:
(Language materials, printed)
Tools and algorithms for the construction and analysis of systems[electronic resource] :20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings /
by:
(Language materials, printed)
Formal methods for multicore programming[electronic resource] :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[electronic resource] :formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015 : proceedings /
by:
(Electronic resources)
Descriptional complexity of formal systems[electronic resource] :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[electronic resource] :36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015 : proceedings /
by:
(Language materials, printed)
Reliable software technologies - Ada-Europe 2015[electronic resource] :20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015 : proceedings /
by:
(Language materials, printed)
Mathematics of program construction[electronic resource] :12th International Conference, MPC 2015, Konigswinter, Germany, June 29 - July 1, 2015 : proceedings /
by:
(Language materials, printed)
Computer science - theory and applications[electronic resource] :10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015 : proceedings /
by:
(Language materials, printed)
Reversible computation[electronic resource] :7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015 : proceedings /
by:
(Language materials, printed)
Computing and combinatorics[electronic resource] :21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015 : proceedings /
by:
(Language materials, printed)
Symbolic and quantitative approaches to reasoning with uncertainty[electronic resource] :13th European Conference, ECSQARU 2015, Compiegne, France, July 15-17, 2015 : proceedings /
by:
(Language materials, printed)
Graph transformation[electronic resource] :8th International Conference, ICGT 2015, held as part of STAF 2015, L'Aquila, Italy, July 21-23, 2015 : proceedings /
by:
(Language materials, printed)
Modelling foundations and applications[electronic resource] :11th European Conference, ECMFA 2015, held as part of STAF 2015, L'Aquila, Italy, July 20-24, 2015 : proceedings /
by:
(Language materials, printed)
Theory and practice of model transformations[electronic resource] :8th International Conference, ICMT 2015, held as part of STAF 2015, L'Aquila, Italy, July 20-21, 2015 : proceedings /
by:
(Language materials, printed)
Tests and proofs[electronic resource] :9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015 : proceedings /
by:
(Language materials, printed)
Rule technologies[electronic resource] :foundations, tools, and applications : 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015 : proceedings /
by:
(Language materials, printed)
Computer aided verification[electronic resource] :27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.Part II /
by:
(Language materials, printed)
Computer aided verification[electronic resource] :27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.Part I /
by:
(Language materials, printed)
Stabilization, safety, and security of distributed systems[electronic resource] :17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015 : proceedings /
by:
(Language materials, printed)
Interactive theorem proving[electronic resource] :6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015 : proceedings /
by:
(Language materials, printed)
Fundamentals of computation theory[electronic resource] :20th International Symposium, FCT 2015, Gdansk, Poland, August 17-19, 2015 : proceedings /
by:
(Language materials, printed)
Quantitative evaluation of systems[electronic resource] :12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015 : proceedings /
by:
(Language materials, printed)
Software engineering and formal methods[electronic resource] :13th International Conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings /
by:
(Language materials, printed)
Formal Modeling and Analysis of Timed Systems[electronic resource] :13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015 : proceedings /
by:
(Language materials, printed)
Machines, computations, and universality[electronic resource] :7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015 : proceedings /
by:
(Language materials, printed)
Software engineering for resilient systems[electronic resource] :7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015 : proceedings /
by:
(Language materials, printed)
Logic, rewriting, and concurrency[electronic resource] :essays dedicated to Jose Meseguer on the occasion of his 65th birthday /
by:
(Language materials, printed)
Model checking software[electronic resource] :22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015 : proceedings /
by:
(Language materials, printed)
The design of requirements modelling languages[electronic resource] :how to make formalisms for problem solving in requirements engineering /
by:
(Language materials, printed)
Algebraic informatics[electronic resource] :6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015 : proceedings /
by:
(Language materials, printed)
Logic programming and nonmonotonic reasoning[electronic resource] :13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 : proceedings /
by:
(Language materials, printed)
Correct system design[electronic resource] :symposium in honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015 : proceedings /
by:
(Language materials, printed)
Runtime verification[electronic resource] :6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings /
by:
(Language materials, printed)
Frontiers of combining systems[electronic resource] :10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015 : proceedings /
by:
(Language materials, printed)
Computer safety, reliability, and security[electronic resource] :SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015 : proceedings /
by:
(Language materials, printed)
Computer safety, reliability, and security[electronic resource] :34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015 : proceedings /
by:
(Language materials, printed)
Automated reasoning with analytic tableaux and related methods[electronic resource] :24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015 : proceedings /
by:
(Language materials, printed)
Reachability problems[electronic resource] :9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015 : proceedings /
by:
(Language materials, printed)
Fundamentals of software engineering[electronic resource] :6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015 : revised selected papers /
by:
(Language materials, printed)
SDL 2015[electronic resource] :model-driven engineering for smart cities : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015 : proceedings /
by:
(Language materials, printed)
Cyber physical systems[electronic resource] :design, modeling, and evaluation : 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015 : proceedings /
by:
(Language materials, printed)
Theoretical aspects of computing - ICTAC 2015[electronic resource] :12th International Colloquium Cali, Colombia, October 29-31, 2015 : proceedings /
by:
(Language materials, printed)
Programming languages with applications to biology and security[electronic resource] :essays dedicated to Pierpaolo Degano on the occasion of His 65th Birthday /
by:
(Language materials, printed)
Dependable software engineering[electronic resource] :theories, tools, and applications : first International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015 : proceedings /
by:
(Language materials, printed)
Testing Software and Systems[electronic resource] :27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015 : proceedings /
by:
(Language materials, printed)
Globalizing domain-specific languages[electronic resource] :International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014 : revised papers /
by:
(Language materials, printed)
Hardware and software[electronic resource] :verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings /
by:
(Language materials, printed)
Static analysis[electronic resource] :22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015 : proceedings /
by:
(Language materials, printed)
Algorithms - ESA 2015[electronic resource] :23rd Annual European Symposium, Patras, Greece, September 14-16, 2015 : proceedings /
by:
(Language materials, printed)
Logic, rationality, and interaction[electronic resource] :5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings /
by:
(Language materials, printed)
Transactions on petri nets and other models of concurrency X[electronic resource] /
by:
(Language materials, printed)
The 2-tuple linguistic model[electronic resource] :computing with words in decision making /
by:
(Language materials, printed)
Inductive logic programming[electronic resource] :24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014 : revised selected papers /
by:
(Language materials, printed)
Programming languages and systems[electronic resource] :13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015 : proceedings /
by:
(Language materials, printed)
Logic-based program synthesis and transformation[electronic resource] :25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 : revised selected papers /
by:
(Language materials, printed)
Hybrid systems biology[electronic resource] :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:
(Language materials, printed)
Information security[electronic resource] :16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013 : proceedings /
by:
(Language materials, printed)
Recent trends in algebraic development techniques[electronic resource] :22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers /
by:
(Language materials, printed)
Membrane computing[electronic resource] :16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015 : revised selected papers /
by:
(Language materials, printed)
Logic for programming, artificial intelligence, and reasoning[electronic resource] :20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings /
by:
(Language materials, printed)
Hybrid systems biology[electronic resource] :fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015 : revised selected papers /
by:
(Language materials, printed)
Software engineering[electronic resource] :International Summer Schools, LASER 2013-2014, Elba, Italy : revised tutorial lectures /
by:
(Language materials, printed)
Models of strategic reasoning[electronic resource] :logics, games, and communities /
by:
(Language materials, printed)
Formal methods: foundations and applications[electronic resource] :18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015 : proceedings /
by:
(Language materials, printed)
Functional and logic programming[electronic resource] :13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016 : proceedings /
by:
(Language materials, printed)
Verified software[electronic resource] :theories, tools, and experiments : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 : revised selected papers /
by:
(Language materials, printed)
Requirements engineering[electronic resource] :foundation for software quality : 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016 : proceedings /
by:
(Language materials, printed)
Theory and practice of formal methods[electronic resource] :essays dedicated to Frank de Boer on the occasion of his 60th birthday /
by:
(Language materials, printed)
A list of successes that can change the world[electronic resource] :essays dedicated to Philip Wadler on the occasion of his 60th birthday /
by:
(Language materials, printed)
Structured object-oriented formal language and method[electronic resource] :5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 : revised selected papers /
by:
(Language materials, printed)
Programming languages and systems[electronic resource] :25th European Symposium on Programming, ESOP 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016 : proceedings /
by:
(Language materials, printed)
Foundations of software science and computation structures[electronic resource] :19th International Conference, FOSSACS 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016 : proceedings /
by:
(Language materials, printed)
Fundamental approaches to software engineering[electronic resource] :19th International Conference, FASE 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016 : proceedings /
by:
(Language materials, printed)
Model checking software[electronic resource] :23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016 : proceedings /
by:
(Language materials, printed)
Web services, formal methods, and behavioral types[electronic resource] :11th International Workshop, WS-FM 2014, Eindhoven, the Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015 : revised selected papers /
by:
(Language materials, printed)
Tools and algorithms for the construction and analysis of systems[electronic resource] :22nd International Conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings /
by:
(Language materials, printed)
Abstract state machines, Alloy, B, TLA, VDM, and Z[electronic resource] :5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016 : proceedings /
by:
(Language materials, printed)
Integrated formal methods[electronic resource] :12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings /
by:
(Language materials, printed)
Software reuse[electronic resource] :bridging with social-awareness : 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016 : proceedings /
by:
(Language materials, printed)
Reliable software technologies - Ada-Europe 2016[electronic resource] :21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016 : proceedings /
by:
(Language materials, printed)
Trends in functional programming[electronic resource] :16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015 : revised selected papers /
by:
(Language materials, printed)
Coordination models and languages[electronic resource] :18th IFIP WG 6.1 International Conference, COORDINATION 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016 : proceedings /
by:
(Language materials, printed)
Verification, model checking, and abstract interpretation[electronic resource] :17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings /
by:
(Language materials, printed)
A polynomial translation of mobile ambients into safe petri nets[electronic resource] :understanding a calculus of hierarchical protection domains /
by:
(Language materials, printed)
Practical aspects of declarative languages[electronic resource] :18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016 : proceedings /
by:
(Language materials, printed)
Formal aspects of component software[electronic resource] :12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015 : revised selected papers /
by:
(Language materials, printed)
Formal techniques for safety-critical systems[electronic resource] :4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015 : revised selected papers /
by:
(Language materials, printed)
Information and communication technologies in education, research, and industrial applications[electronic resource] :11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015 : revised selected papers /
by:
(Language materials, printed)
Engineering trustworthy software systems[electronic resource] :first International School, SETSS 2014, Chongqing, China, September 8-13, 2014 : tutorial lectures /
by:
(Language materials, printed)
Algorithmic aspects of cloud computing[electronic resource] :first International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015 : revised selected papers /
by:
(Language materials, printed)
Graphical models for security[electronic resource] :second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015 : revised selected papers /
by:
(Language materials, printed)
Reliability, safety, and security of railway systems[electronic resource] :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[electronic resource] :37th International Conference, PETRI NETS 2016, Torun, Poland, June 19-24, 2016 : proceedings /
by:
(Electronic resources)
Automated reasoning[electronic resource] :8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016 : proceedings /
by:
(Electronic resources)
Coalgebraic Methods in Computer Science[electronic resource] :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[electronic resource] :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[electronic resource] :25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015 : revised selected papers /
by:
(Electronic resources)
Reversible computation[electronic resource] :8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings /
by:
(Electronic resources)
NASA formal methods[electronic resource] :8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016 : proceedings /
by:
(Electronic resources)
Tests and proofs[electronic resource] :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[electronic resource] :15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016 : proceedings /
by:
(Electronic resources)
Perspectives of system informatics[electronic resource] :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[electronic resource] :14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016 : proceedings /
by:
(Electronic resources)
Rule technologies[electronic resource] :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[electronic resource] :12th European Conference, ECMFA 2016, held as part of STAF 2016, Vienna, Austria, July 6-7, 2016 : proceedings /
by:
(Electronic resources)
Implementation and application of automata[electronic resource] :21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016 : proceedings /
by:
(Electronic resources)
Computer aided verification[electronic resource] :28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016 : proceedings.Part I /
by:
(Electronic resources)
Computer aided verification[electronic resource] :28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016 : proceedings.Part II /
by:
(Electronic resources)
Intelligent computer mathematics[electronic resource] :9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016 : proceedings /
by:
(Electronic resources)
Developments in language theory[electronic resource] :20th International Conference, DLT 2016, Montreal, Canada, July 25-28, 2016 : proceedings /
by:
(Electronic resources)
Interactive theorem proving[electronic resource] :7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016 : proceedings /
by:
(Electronic resources)
Quantitative evaluation of systems[electronic resource] :13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016 : proceedings /
by:
(Electronic resources)
Rewriting logic and its applications[electronic resource] :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[electronic resource] :princiles and practice of multi-agent systems : 19th International Conference, Phuket, Thailand, August 22-26, 2016 : proceedings /
by:
(Electronic resources)
Formal modeling and analysis of timed systems[electronic resource] :14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016 : proceedings /
by:
(Electronic resources)
Computer safety, reliability, and security[electronic resource] :SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016 : proceedings /
by:
(Electronic resources)
Software engineering for resilient systems[electronic resource] :8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016 : proceedings /
by:
(Electronic resources)
Logic, language, information, and computation[electronic resource] :23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : proceedings /
by:
(Electronic resources)
Descriptive set theoretic methods in automata theory[electronic resource] :decidability and topological complexity /
by:
(Electronic resources)
Formal grammar[electronic resource] :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[electronic resource] :23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016 : proceedings /
by:
(Electronic resources)
Guide to discrete mathematics[electronic resource] :an accessible introduction to the history, theory, logic and applications /
by:
(Electronic resources)
Programming languages[electronic resource] :20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 22-23, 2016 : proceedings /
by:
(Electronic resources)
Computer safety, reliability, and security[electronic resource] :35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016 : proceedings /
by:
(Electronic resources)
Reachability problems[electronic resource] :10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016 : proceedings /
by:
(Electronic resources)
Networked systems[electronic resource] :4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016 : revised selected papers /
by:
(Electronic resources)
Computer performance engineering[electronic resource] :13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016 : proceedings /
by:
(Electronic resources)
Transactions on foundations for mastering change I[electronic resource] /
by:
(Electronic resources)
Foundational and practical aspects of resource analysis[electronic resource] :4th International Workshop, FOPARA 2015, London, UK, April 11, 2015 : revised selected papers /
by:
(Electronic resources)
System analysis and modeling[electronic resource] :technology-specific aspects of models : 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016 : proceedings /
by:
(Electronic resources)
Runtime verification[electronic resource] :16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016 : proceedings /
by:
(Electronic resources)
Transactions on petri nets and other models of concurrency XI[electronic resource] /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validation[electronic resource] :foundational techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.Part I /
by:
(Electronic resources)
Testing software and systems[electronic resource] :28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016 : proceedings /
by:
(Electronic resources)
Dependable software engineering[electronic resource] :theories, tools, and applications : second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016 : proceedings /
by:
(Electronic resources)
Formal methods and software engineering[electronic resource] :18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings /
by:
(Electronic resources)
Programming languages and systems[electronic resource] :14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016 : proceedings /
by:
(Electronic resources)
Hardware and software[electronic resource] :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[electronic resource] :8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016 : revised selected papers /
by:
(Language materials, printed)
FM 2016[electronic resource] :formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016 : proceedings /
by:
(Language materials, printed)
Formal methods[electronic resource] :foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016 : proceedings /
by:
(Language materials, printed)
Software technologies[electronic resource] :applications and foundations : STAF 2016 Collocated workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016 : revised selected papers /
by:
(Language materials, printed)
Learning and intelligent optimization[electronic resource] :10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016 : revised selected papers /
by:
(Language materials, printed)
Logical aspects of computational linguistics[electronic resource] :celebrating 20 years of LACL (1996-2016) : 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016 : proceedings /
by:
(Language materials, printed)
Leveraging applications of formal methods, verification, and validation[electronic resource] :6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : revised selected papers /
by:
(Language materials, printed)
Deductive software verification - The KeY Book[electronic resource] :from theory to practice /
by:
(Language materials, printed)
Subjects