Search Results for - Narrowed by: Mathematical Logic and Formal Languages. - Software engineering.

Product Lifecycle Management to Support Industry 4.0 15th IFIP WG 5.1 International Conference, PLM 2018, Turin, Italy, July 2-4, 2018, Proceedings

2024-05-24T19:22:15Z

by Chiabert, Paolo. editor.
https://doi.org/10.1007/978-3-030-01614-2
Format: Electronic Resources

Artificial Intelligence 16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedings

2024-05-24T19:22:15Z

by Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001
https://doi.org/10.1007/978-3-030-00617-4
Format: Electronic Resources

Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday

2024-05-24T19:22:15Z

by Müller, Peter. editor.
https://doi.org/10.1007/978-3-319-98047-8
Format: 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

2024-05-24T19:22:15Z

by Chockler, Hana. editor. (orcid)0000-0003-1219-0713
https://doi.org/10.1007/978-3-319-96142-2
Format: Electronic Resources

Case-Based Reasoning Research and Development 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings

2024-05-24T19:22:15Z

by Cox, Michael T. editor.
https://doi.org/10.1007/978-3-030-01081-2
Format: Electronic Resources

Data Management Technologies and Applications 6th International Conference, DATA 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers

2024-05-24T19:22:15Z

by Filipe, Joaquim. editor.
https://doi.org/10.1007/978-3-319-94809-6
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

2024-05-24T19:22:15Z

by Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829
https://doi.org/10.1007/978-3-319-94460-9
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

2024-05-24T19:22:15Z

by Jansen, David N. editor. (orcid)0000-0002-6636-3301
https://doi.org/10.1007/978-3-030-00151-3
Format: Electronic Resources

Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

2024-05-24T19:22:15Z

by Sun, Jing. editor.
https://doi.org/10.1007/978-3-030-02450-5
Format: Electronic Resources

Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

2024-05-24T19:22:15Z

by Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175
https://doi.org/10.1007/978-3-030-02146-7
Format: Electronic Resources

Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

2024-05-24T19:22:15Z

by Moss, Lawrence S. editor.
https://doi.org/10.1007/978-3-662-57669-4
Format: Electronic Resources

Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

2024-05-24T19:22:15Z

by Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481
https://doi.org/10.1007/978-3-030-00359-3
Format: Electronic Resources

Tests and Proofs 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

2024-05-24T19:22:15Z

by Dubois, Catherine. editor.
https://doi.org/10.1007/978-3-319-92994-1
Format: Electronic Resources

Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

2024-05-24T19:22:15Z

by Furia, Carlo A. editor.
https://doi.org/10.1007/978-3-319-98938-9
Format: Electronic Resources

Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

2024-05-24T19:22:15Z

by Lahiri, Shuvendu K. editor.
https://doi.org/10.1007/978-3-030-01090-4
Format: Electronic Resources

Modeling Companion for Software Practitioners

2024-05-24T19:22:15Z

by Börger, Egon. author.
https://doi.org/10.1007/978-3-662-56641-1
Format: Electronic Resources

Engineering Multi-Agent Systems 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers

2024-05-24T19:22:15Z

by El Fallah-Seghrouchni, Amal. editor.
https://doi.org/10.1007/978-3-319-91899-0
Format: Electronic Resources

Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

2024-05-24T19:22:15Z

by Rusu, Vlad. editor.
https://doi.org/10.1007/978-3-319-99840-4
Format: Electronic Resources

Multi-Agent Systems and Agreement Technologies 15th European Conference, EUMAS 2017, and 5th International Conference, AT 2017, Evry, France, December 14-15, 2017, Revised Selected Papers

2024-05-24T19:22:15Z

by Belardinelli, Francesco. editor. (orcid)0000-0002-7768-1794
https://doi.org/10.1007/978-3-030-01713-2
Format: Electronic Resources

Model and Data Engineering 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings

2024-05-24T19:22:15Z

by Abdelwahed, El Hassan. editor.
https://doi.org/10.1007/978-3-030-00856-7
Format: Electronic Resources

Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

2024-05-24T19:22:15Z

by Colombo, Christian. editor.
https://doi.org/10.1007/978-3-030-03769-7
Format: Electronic Resources

Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

2024-05-24T19:22:15Z

by Gallardo, María del Mar. editor.
https://doi.org/10.1007/978-3-319-94111-0
Format: Electronic Resources

On the Move to Meaningful Internet Systems. OTM 2018 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II

2024-05-24T19:22:15Z

by Panetto, Hervé. editor.
https://doi.org/10.1007/978-3-030-02671-4
Format: 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

2024-05-24T19:22:15Z

by Avigad, Jeremy. editor.
https://doi.org/10.1007/978-3-319-94821-8
Format: Electronic Resources

Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

2024-05-24T19:22:15Z

by Feng, Xinyu. editor.
https://doi.org/10.1007/978-3-319-99933-3
Format: Electronic Resources

Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

2024-05-24T19:22:15Z

by McIver, Annabelle. editor.
https://doi.org/10.1007/978-3-319-99154-2
Format: Electronic Resources

Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

2024-05-24T19:22:15Z

by Massoni, Tiago. editor. (orcid)0000-0002-9423-7556
https://doi.org/10.1007/978-3-030-03044-5
Format: Electronic Resources

Agents and Artificial Intelligence 9th International Conference, ICAART 2017, Porto, Portugal, February 24–26, 2017, Revised Selected Papers

2024-05-24T19:22:15Z

by van den Herik, Jaap. editor.
https://doi.org/10.1007/978-3-319-93581-2
Format: 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

2024-05-24T19:22:15Z

by Chockler, Hana. editor. (orcid)0000-0003-1219-0713
https://doi.org/10.1007/978-3-319-96145-3
Format: Electronic Resources

It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

2024-05-24T19:22:15Z

by de Boer, Frank. editor.
https://doi.org/10.1007/978-3-319-90089-6
Format: Electronic Resources

Diagrammatic Representation and Inference 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings

2024-05-24T19:22:15Z

by Chapman, Peter. editor. (orcid)0000-0002-5524-5780
https://doi.org/10.1007/978-3-319-91376-6
Format: Electronic Resources

Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

2024-05-24T19:22:15Z

by Galmiche, Didier. editor.
https://doi.org/10.1007/978-3-319-94205-6
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

2024-05-24T19:22:15Z

by Dillig, Isil. editor.
https://doi.org/10.1007/978-3-319-73721-8
Format: Electronic Resources

Computational Methods in Systems Biology 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings

2024-05-24T19:22:15Z

by Češka, Milan. editor.
https://doi.org/10.1007/978-3-319-99429-1
Format: Electronic Resources

Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings

2024-05-24T19:22:15Z

by Hooker, John. editor. (orcid)0000-0003-3169-1871
https://doi.org/10.1007/978-3-319-98334-9
Format: Electronic Resources

Conceptual Modeling 37th International Conference, ER 2018, Xi'an, China, October 22–25, 2018, Proceedings

2024-05-24T19:22:15Z

by Trujillo, Juan C. editor. (orcid)0000-0003-0139-6724
https://doi.org/10.1007/978-3-030-00847-5
Format: Electronic Resources

Advanced Computing Strategies for Engineering 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part II

2024-05-24T19:22:15Z

by Smith, Ian F. C. editor.
https://doi.org/10.1007/978-3-319-91638-5
Format: Electronic Resources

Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings

2024-05-24T19:22:15Z

by Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X
https://doi.org/10.1007/978-3-319-92402-1
Format: Electronic Resources

Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings

2024-05-24T19:22:15Z

by Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834
https://doi.org/10.1007/978-3-319-73305-0
Format: Electronic Resources

Theoretical Aspects of Computing – ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings

2024-05-24T19:22:15Z

by Fischer, Bernd. editor. (orcid)0000-0002-1815-218X
https://doi.org/10.1007/978-3-030-02508-3
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers

2024-05-24T19:22:15Z

by Lamprecht, Anna-Lena. editor.
https://doi.org/10.1007/978-3-319-51641-7
Format: 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

2024-05-24T19:22:15Z

by Yakovyna, Vitaliy. editor.
https://doi.org/10.1007/978-3-319-30246-1
Format: Electronic Resources

Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

2024-05-24T19:22:15Z

by Albert, Elvira. editor.
https://doi.org/10.1007/978-3-319-39570-8
Format: Electronic Resources

Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

2024-05-24T19:22:15Z

by Bošnački, Dragan. editor.
https://doi.org/10.1007/978-3-319-32582-8
Format: 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

2024-05-24T19:22:15Z

by Lecomte, Thierry. editor.
https://doi.org/10.1007/978-3-319-33951-1
Format: Electronic Resources

Scala: From a Functional Programming Perspective An Introduction to the Programming Language

2024-05-24T19:22:15Z

by Torra, Vicenç. author.
https://doi.org/10.1007/978-3-319-46481-7
Format: Electronic Resources

Theoretical Aspects of Computing – ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings

2024-05-24T19:22:15Z

by Sampaio, Augusto. editor.
https://doi.org/10.1007/978-3-319-46750-4
Format: Electronic Resources

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

2024-05-24T19:22:15Z

by Bernardo, Marco. editor.
https://doi.org/10.1007/978-3-319-34096-8
Format: Electronic Resources

Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers

2024-05-24T19:22:15Z

by Karydis, Ioannis. editor.
https://doi.org/10.1007/978-3-319-29919-8
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

2024-05-24T19:22:15Z

by Jobstmann, Barbara. editor.
https://doi.org/10.1007/978-3-662-49122-5
Format: Electronic Resources

Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings

2024-05-24T19:22:15Z

by Olivetti, Nicola. editor.
https://doi.org/10.1007/978-3-319-40229-1
Format: Electronic Resources

PRIMA 2016: Principles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings

2024-05-24T19:22:15Z

by Baldoni, Matteo. editor.
https://doi.org/10.1007/978-3-319-44832-9
Format: 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

2024-05-24T19:22:15Z

by Mazzara, Manuel. editor.
https://doi.org/10.1007/978-3-319-41579-6
Format: Electronic Resources

Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

2024-05-24T19:22:15Z

by Kohlhase, Michael. editor.
https://doi.org/10.1007/978-3-319-42547-4
Format: Electronic Resources

Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

2024-05-24T19:22:15Z

by Aichernig, Bernhard K. editor.
https://doi.org/10.1007/978-3-319-41135-4
Format: Electronic Resources

A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

2024-05-24T19:22:15Z

by Lindley, Sam. editor.
https://doi.org/10.1007/978-3-319-30936-1
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2024-05-24T19:22:15Z

by Chechik, Marsha. editor.
https://doi.org/10.1007/978-3-662-49674-9
Format: Electronic Resources

Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

2024-05-24T19:22:15Z

by Bloem, Roderick. editor.
https://doi.org/10.1007/978-3-319-49052-6
Format: Electronic Resources

Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

2024-05-24T19:22:15Z

by Cornélio, Márcio. editor.
https://doi.org/10.1007/978-3-319-29473-5
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

2024-05-24T19:22:15Z

by Fränzle, Martin. editor.
https://doi.org/10.1007/978-3-319-44878-7
Format: Electronic Resources

Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers

2024-05-24T19:22:15Z

by Serrano, Manuel. editor.
https://doi.org/10.1007/978-3-319-39110-6
Format: Electronic Resources

Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings

2024-05-24T19:22:15Z

by Skavhaug, Amund. editor.
https://doi.org/10.1007/978-3-319-45480-1
Format: Electronic Resources

Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

2024-05-24T19:22:15Z

by Crnkovic, Ivica. editor.
https://doi.org/10.1007/978-3-319-45892-2
Format: Electronic Resources

Logics in Artificial Intelligence 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings

2024-05-24T19:22:15Z

by Michael, Loizos. editor.
https://doi.org/10.1007/978-3-319-48758-8
Format: Electronic Resources

Reliable Software Technologies – Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings

2024-05-24T19:22:15Z

by Bertogna, Marko. editor.
https://doi.org/10.1007/978-3-319-39083-3
Format: Electronic Resources

Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings

2024-05-24T19:22:15Z

by ter Beek, Maurice H. editor.
https://doi.org/10.1007/978-3-319-45943-1
Format: Electronic Resources

Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers

2024-05-24T19:22:15Z

by Blazy, Sandrine. editor.
https://doi.org/10.1007/978-3-319-48869-1
Format: Electronic Resources

Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

2024-05-24T19:22:15Z

by Kiselyov, Oleg. editor.
https://doi.org/10.1007/978-3-319-29604-3
Format: Electronic Resources

Engineering Multi-Agent Systems 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers

2024-05-24T19:22:15Z

by Baldoni, Matteo. editor.
https://doi.org/10.1007/978-3-319-50983-9
Format: Electronic Resources

Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings

2024-05-24T19:22:15Z

by Castor, Fernando. editor.
https://doi.org/10.1007/978-3-319-45279-1
Format: Electronic Resources

Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

2024-05-24T19:22:15Z

by Ábrahám, Erika. editor.
https://doi.org/10.1007/978-3-319-30734-3
Format: Electronic Resources

Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

2024-05-24T19:22:15Z

by Ogata, Kazuhiro. editor.
https://doi.org/10.1007/978-3-319-47846-3
Format: Electronic Resources

Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers

2024-05-24T19:22:15Z

by Liu, Shaoying. editor.
https://doi.org/10.1007/978-3-319-31220-0
Format: Electronic Resources

Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18–19, 2015. Revised Selected Papers

2024-05-24T19:22:15Z

by Gurfinkel, Arie. editor.
https://doi.org/10.1007/978-3-319-29613-5
Format: Electronic Resources

Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings

2024-05-24T19:22:15Z

by Alferes, Jose Julio. editor.
https://doi.org/10.1007/978-3-319-42019-6
Format: 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

2024-05-24T19:22:15Z

by Milazzo, Paolo. editor.
https://doi.org/10.1007/978-3-319-50230-4
Format: Electronic Resources

Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings

2024-05-24T19:22:15Z

by Igarashi, Atsushi. editor.
https://doi.org/10.1007/978-3-319-47958-3
Format: Electronic Resources

Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings

2024-05-24T19:22:15Z

by Fränzle, Martin. editor.
https://doi.org/10.1007/978-3-319-47677-3
Format: Electronic Resources

Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

2024-05-24T19:22:15Z

by Artho, Cyrille. editor.
https://doi.org/10.1007/978-3-319-46520-3
Format: 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

2024-05-24T19:22:15Z

by Lucanu, Dorel. editor.
https://doi.org/10.1007/978-3-319-44802-2
Format: Electronic Resources

Deductive Software Verification – The KeY Book From Theory to Practice

2024-05-24T19:22:15Z

by Ahrendt, Wolfgang. editor.
https://doi.org/10.1007/978-3-319-49812-6
Format: Electronic Resources

Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings

2024-05-24T19:22:15Z

by Jacobs, Bart. editor.
https://doi.org/10.1007/978-3-662-49630-5
Format: Electronic Resources

Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

2024-05-24T19:22:15Z

by Braga, Christiano. editor.
https://doi.org/10.1007/978-3-319-28934-2
Format: Electronic Resources

FM 2016: Formal Methods 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

2024-05-24T19:22:15Z

by Fitzgerald, John. editor.
https://doi.org/10.1007/978-3-319-48989-6
Format: Electronic Resources

Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

2024-05-24T19:22:15Z

by Probst, Christian W. editor.
https://doi.org/10.1007/978-3-319-27810-0
Format: 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

2024-05-24T19:22:15Z

by Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-319-47166-2
Format: 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

2024-05-24T19:22:15Z

by Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-319-47169-3
Format: Electronic Resources

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

2024-05-24T19:22:15Z

by Rayadurgam, Sanjai. editor.
https://doi.org/10.1007/978-3-319-40648-0
Format: Electronic Resources

Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

2024-05-24T19:22:15Z

by Blanchette, Jasmin Christian. editor.
https://doi.org/10.1007/978-3-319-43144-4
Format: Electronic Resources

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

2024-05-24T19:22:15Z

by Chaudhuri, Swarat. editor.
https://doi.org/10.1007/978-3-319-41540-6
Format: Electronic Resources

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I

2024-05-24T19:22:15Z

by Chaudhuri, Swarat. editor.
https://doi.org/10.1007/978-3-319-41528-4
Format: Electronic Resources

Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

2024-05-24T19:22:15Z

by Ribeiro, Leila. editor.
https://doi.org/10.1007/978-3-319-49815-7
Format: Electronic Resources

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

2024-05-24T19:22:15Z

by Skrzypczak, Michał. author.
https://doi.org/10.1007/978-3-662-52947-8
Format: Electronic Resources

Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings

2024-05-24T19:22:15Z

by Rival, Xavier. editor.
https://doi.org/10.1007/978-3-662-53413-7
Format: Electronic Resources

Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

2024-05-24T19:22:15Z

by Ábrahám, Erika. editor.
https://doi.org/10.1007/978-3-319-33693-0
Format: Electronic Resources

Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings

2024-05-24T19:22:15Z

by Stevens, Perdita. editor.
https://doi.org/10.1007/978-3-662-49665-7
Format: 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

2024-05-24T19:22:15Z

by De Nicola, Rocco. editor.
https://doi.org/10.1007/978-3-319-41591-8
Format: Electronic Resources

Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

2024-05-24T19:22:15Z

by Butler, Michael. editor.
https://doi.org/10.1007/978-3-319-33600-8
Format: 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

2024-05-24T19:22:15Z

by Echahed, Rachid. editor.
https://doi.org/10.1007/978-3-319-40530-8
Format: Electronic Resources

Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers

2024-05-24T19:22:15Z

by Rovatsos, Michael. editor.
https://doi.org/10.1007/978-3-319-33509-4
Format: Electronic Resources

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings

2024-05-24T19:22:15Z

by Cervesato, Iliano. editor.
http://dx.doi.org/10.1007/978-3-540-89439-1
Format: Electronic Resources

Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings

2024-05-24T19:22:15Z

by Gupta, Aarti. editor.
http://dx.doi.org/10.1007/978-3-540-70545-1
Format: Electronic Resources

Logics of Specification Languages

2024-05-24T19:22:15Z

by Bjørner, Dines. editor.
http://dx.doi.org/10.1007/978-3-540-74107-7
Format: Electronic Resources

Formal Concept Analysis 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings

2024-05-24T19:22:15Z

by Medina, Raoul. editor.
http://dx.doi.org/10.1007/978-3-540-78137-0
Format: Electronic Resources

Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings

2024-05-24T19:22:15Z

by Berghammer, Rudolf. editor.
http://dx.doi.org/10.1007/978-3-540-78913-0
Format: Electronic Resources

Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers

2024-05-24T19:22:15Z

by Paech, Barbara. editor.
http://dx.doi.org/10.1007/978-3-540-89778-1
Format: Electronic Resources

Algebraic Biology Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings

2024-05-24T19:22:15Z

by Horimoto, Katsuhisa. editor.
http://dx.doi.org/10.1007/978-3-540-85101-1
Format: Electronic Resources

Temporal Logic and State Systems

2024-05-24T19:22:15Z

by Kröger, Fred. author.
http://dx.doi.org/10.1007/978-3-540-68635-4
Format: Electronic Resources

Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

2024-05-24T19:22:15Z

by Degano, Pierpaolo. editor.
http://dx.doi.org/10.1007/978-3-540-68679-8
Format: Electronic Resources

Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings

2024-05-24T19:22:15Z

by Mohamed, Otmane Ait. editor.
http://dx.doi.org/10.1007/978-3-540-71067-7
Format: Electronic Resources

Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings

2024-05-24T19:22:15Z

by Armando, Alessandro. editor.
http://dx.doi.org/10.1007/978-3-540-71070-7
Format: Electronic Resources

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

2024-05-24T19:22:15Z

by Amadio, Roberto. editor.
http://dx.doi.org/10.1007/978-3-540-78499-9
Format: Electronic Resources

Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures

2024-05-24T19:22:15Z

by Horváth, Zoltán. editor.
http://dx.doi.org/10.1007/978-3-540-88059-2
Format: Electronic Resources

Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings

2024-05-24T19:22:15Z

by Fitzgerald, John S. editor.
http://dx.doi.org/10.1007/978-3-540-85762-4
Format: Electronic Resources

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

2024-05-24T19:22:15Z

by Hendren, Laurie. editor.
http://dx.doi.org/10.1007/978-3-540-78791-4
Format: Electronic Resources

Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

2024-05-24T19:22:15Z

by Liu, Shaoying. editor.
http://dx.doi.org/10.1007/978-3-540-88194-0
Format: Electronic Resources

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

2024-05-24T19:22:15Z

by Meseguer, José. editor.
http://dx.doi.org/10.1007/978-3-540-79980-1
Format: Electronic Resources

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

2024-05-24T19:22:15Z

by Börger, Egon. editor.
http://dx.doi.org/10.1007/978-3-540-87603-8
Format: Electronic Resources

Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings

2024-05-24T19:22:15Z

by Ramalingam, G. editor.
http://dx.doi.org/10.1007/978-3-540-89330-1
Format: Electronic Resources

Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings

2024-05-24T19:22:15Z

by Audebaud, Philippe. editor.
http://dx.doi.org/10.1007/978-3-540-70594-9
Format: Electronic Resources

Ingredients for Successful System Level Design Methodology

2024-05-24T19:22:15Z

by Patel, Hiren D. author.
http://dx.doi.org/10.1007/978-1-4020-8472-0
Format: Electronic Resources

Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

2024-05-24T19:22:15Z

by Drossopoulou, Sophia. editor.
http://dx.doi.org/10.1007/978-3-540-78739-6
Format: 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

2024-05-24T19:22:15Z

by Schürr, Andy. editor.
http://dx.doi.org/10.1007/978-3-540-89020-1
Format: Electronic Resources

Decision Procedures An Algorithmic Point of View

2024-05-24T19:22:15Z

by Kroening, Daniel. author.
http://dx.doi.org/10.1007/978-3-540-74105-3
Format: Electronic Resources

Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings

2024-05-24T19:22:15Z

by Alpuente, María. editor.
http://dx.doi.org/10.1007/978-3-540-69166-2
Format: Electronic Resources

FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

2024-05-24T19:22:15Z

by Cuellar, Jorge. editor.
http://dx.doi.org/10.1007/978-3-540-68237-0
Format: Electronic Resources

25 Years of Model Checking History, Achievements, Perspectives

2024-05-24T19:22:15Z

by Grumberg, Orna. editor.
http://dx.doi.org/10.1007/978-3-540-69850-0
Format: Electronic Resources

Algebraic Informatics Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers

2024-05-24T19:22:15Z

by Bozapalidis, Symeon. editor.
http://dx.doi.org/10.1007/978-3-540-75414-5
Format: Electronic Resources

Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

2024-05-24T19:22:15Z

by Jones, Cliff B. editor.
http://dx.doi.org/10.1007/978-3-540-75221-9
Format: Electronic Resources

Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

2024-05-24T19:22:15Z

by Reps, Thomas. editor.
http://dx.doi.org/10.1007/978-3-540-71322-7
Format: Electronic Resources

Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings

2024-05-24T19:22:15Z

by Seidl, Helmut. editor.
http://dx.doi.org/10.1007/978-3-540-71389-0
Format: Electronic Resources

Algebraic Biology Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings

2024-05-24T19:22:15Z

by Anai, Hirokazu. editor.
http://dx.doi.org/10.1007/978-3-540-73433-8
Format: Electronic Resources

Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings

2024-05-24T19:22:15Z

by Olivetti, Nicola. editor.
http://dx.doi.org/10.1007/978-3-540-73099-6
Format: Electronic Resources

Active Conceptual Modeling of Learning Next Generation Learning-Base System Development

2024-05-24T19:22:15Z

by Chen, Peter P. editor.
http://dx.doi.org/10.1007/978-3-540-77503-4
Format: Electronic Resources

Automated Deduction – CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings

2024-05-24T19:22:15Z

by Pfenning, Frank. editor.
http://dx.doi.org/10.1007/978-3-540-73595-3
Format: Electronic Resources

Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings

2024-05-24T19:22:15Z

by Shao, Zhong. editor.
http://dx.doi.org/10.1007/978-3-540-76637-7
Format: Electronic Resources

Finite Model Theory and Its Applications

2024-05-24T19:22:15Z

by Grädel, Erich. author.
http://dx.doi.org/10.1007/3-540-68804-8
Format: Electronic Resources

Formal Concept Analysis 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings

2024-05-24T19:22:15Z

by Kuznetsov, Sergei O. editor.
http://dx.doi.org/10.1007/978-3-540-70901-5
Format: Electronic Resources

Frontiers of Combining Systems 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings

2024-05-24T19:22:15Z

by Konev, Boris. editor.
http://dx.doi.org/10.1007/978-3-540-74621-8
Format: Electronic Resources

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings

2024-05-24T19:22:15Z

by Dershowitz, Nachum. editor.
http://dx.doi.org/10.1007/978-3-540-75560-9
Format: Electronic Resources

Conceptual Modeling - ER 2007 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedings

2024-05-24T19:22:15Z

by Parent, Christine. editor.
http://dx.doi.org/10.1007/978-3-540-75563-0
Format: Electronic Resources

Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers

2024-05-24T19:22:15Z

by Fiadeiro, José Luiz. editor.
http://dx.doi.org/10.1007/978-3-540-71998-4
Format: Electronic Resources

All About Maude - A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logic

2024-05-24T19:22:15Z

by Clavel, Manuel. author.
http://dx.doi.org/10.1007/978-3-540-71999-1
Format: Electronic Resources

Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings

2024-05-24T19:22:15Z

by Schneider, Klaus. editor.
http://dx.doi.org/10.1007/978-3-540-74591-4
Format: Electronic Resources

Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings

2024-05-24T19:22:15Z

by Nielson, Hanne Riis. editor.
http://dx.doi.org/10.1007/978-3-540-74061-2
Format: Electronic Resources

Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers

2024-05-24T19:22:15Z

by Edelkamp, Stefan. editor.
http://dx.doi.org/10.1007/978-3-540-74128-2
Format: Electronic Resources

Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings

2024-05-24T19:22:15Z

by Krishnamurthi, Shriram. editor.
http://dx.doi.org/10.1007/978-3-540-71229-9
Format: Electronic Resources

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings

2024-05-24T19:22:15Z

by Damm, Werner. editor.
http://dx.doi.org/10.1007/978-3-540-73368-3
Format: Electronic Resources

Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

2024-05-24T19:22:15Z

by Comon-Lundh, Hubert. editor.
http://dx.doi.org/10.1007/978-3-540-73147-4
Format: Electronic Resources

Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings

2024-05-24T19:22:15Z

by Mossakowski, Till. editor.
http://dx.doi.org/10.1007/978-3-540-73859-6
Format: Electronic Resources

Modelling Distributed Systems

2024-05-24T19:22:15Z

by Fokkink, Wan. author.
http://dx.doi.org/10.1007/978-3-540-73938-8
Format: Electronic Resources

Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino

2024-05-24T19:22:15Z

by Beckert, Bernhard. editor.
http://dx.doi.org/10.1007/978-3-540-69061-0
Format: Electronic Resources

Theoretical Aspects of Computing – ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

2024-05-24T19:22:15Z

by Jones, Cliff B. editor.
http://dx.doi.org/10.1007/978-3-540-75292-9
Format: Electronic Resources

Coordination of Large-Scale Multiagent Systems

2024-05-24T19:22:15Z

by Scerri, Paul. editor.
http://dx.doi.org/10.1007/0-387-27972-5
Format: Electronic Resources

The Seventeen Provers of the World Foreword by Dana S. Scott

2024-05-24T19:22:15Z

by Wiedijk, Freek. editor.
http://dx.doi.org/10.1007/11542384
Format: Electronic Resources

FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings

2024-05-24T19:22:15Z

by Misra, Jayadev. editor.
http://dx.doi.org/10.1007/11813040
Format: Electronic Resources

Static Analysis 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings

2024-05-24T19:22:15Z

by Yi, Kwangkeun. editor.
http://dx.doi.org/10.1007/11823230
Format: Electronic Resources

Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers

2024-05-24T19:22:15Z

by MacCaull, Wendy. editor.
http://dx.doi.org/10.1007/11734673
Format: Electronic Resources

Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

2024-05-24T19:22:15Z

by Furbach, Ulrich. editor.
http://dx.doi.org/10.1007/11814771
Format: Electronic Resources

Principles and Practice of Semantic Web Reasoning 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers

2024-05-24T19:22:15Z

by Alferes, Jóse Júlio. editor.
http://dx.doi.org/10.1007/11853107
Format: Electronic Resources

Relations and Kleene Algebra in Computer Science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proceedings

2024-05-24T19:22:15Z

by Schmidt, Renate A. editor.
http://dx.doi.org/10.1007/11828563
Format: Electronic Resources

Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

2024-05-24T19:22:15Z

by Ball, Thomas. editor.
http://dx.doi.org/10.1007/11817963
Format: Electronic Resources

Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings

2024-05-24T19:22:15Z

by Aceto, Luca. editor.
http://dx.doi.org/10.1007/11690634
Format: Electronic Resources

Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings

2024-05-24T19:22:15Z

by Mycroft, Alan. editor.
http://dx.doi.org/10.1007/11688839
Format: Electronic Resources

Theoretical Introduction to Programming

2024-05-24T19:22:15Z

by Mills, Bruce. author.
http://dx.doi.org/10.1007/1-84628-263-2
Format: Electronic Resources

Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

2024-05-24T19:22:15Z

by Sestoft, Peter. editor.
http://dx.doi.org/10.1007/11693024
Format: Electronic Resources

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings

2024-05-24T19:22:15Z

by Hermann, Miki. editor.
http://dx.doi.org/10.1007/11916277
Format: Electronic Resources

Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic

2024-05-24T19:22:15Z

by Bollig, Benedikt. author.
http://dx.doi.org/10.1007/3-540-32923-4
Format: Electronic Resources

Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings

2024-05-24T19:22:15Z

by Barkaoui, Kamel. editor.
http://dx.doi.org/10.1007/11921240
Format: Electronic Resources

Conceptual Modeling - ER 2006 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006. Proceedings

2024-05-24T19:22:15Z

by Embley, David W. editor.
http://dx.doi.org/10.1007/11901181
Format: Electronic Resources

Formal Concept Analysis 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006. Proceedings

2024-05-24T19:22:15Z

by Missaoui, Rokia. editor.
http://dx.doi.org/10.1007/11671404
Format: Electronic Resources

Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings

2024-05-24T19:22:15Z

by Uustalu, Tarmo. editor.
http://dx.doi.org/10.1007/11783596
Format: Electronic Resources

Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings

2024-05-24T19:22:15Z

by Johnson, Michael. editor.
http://dx.doi.org/10.1007/11784180
Format: Electronic Resources

Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings

2024-05-24T19:22:15Z

by Kobayashi, Naoki. editor.
http://dx.doi.org/10.1007/11924661
Format: Electronic Resources

B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings

2024-05-24T19:22:15Z

by Julliand, Jacques. editor.
http://dx.doi.org/10.1007/11955757
Format: Electronic Resources

Formal Concept Analysis Foundations and Applications

2024-05-24T19:22:15Z

by Ganter, Bernhard. editor.
http://dx.doi.org/10.1007/978-3-540-31881-1
Format: Electronic Resources

Automated Reasoning with Analytic Tableaux and Related Methods 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings

2024-05-24T19:22:15Z

by Beckert, Bernhard. editor.
http://dx.doi.org/10.1007/11554554
Format: Electronic Resources

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings

2024-05-24T19:22:15Z

by Sutcliffe, Geoff. editor.
http://dx.doi.org/10.1007/11591191
Format: Electronic Resources

Constructing Correct Software

2024-05-24T19:22:15Z

by Cooke, John. author.
http://dx.doi.org/10.1007/b138515
Format: Electronic Resources

Inconsistency Tolerance

2024-05-24T19:22:15Z

by Bertossi, Leopoldo. editor.
http://dx.doi.org/10.1007/b104925
Format: Electronic Resources

Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers

2024-05-24T19:22:15Z

by Fiadeiro, José Luiz. editor.
http://dx.doi.org/10.1007/b107129
Format: Electronic Resources

Conceptual Modeling – ER 2005 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005. Proceedings

2024-05-24T19:22:15Z

by Delcambre, Lois. editor.
http://dx.doi.org/10.1007/11568322
Format: Electronic Resources

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings

2024-05-24T19:22:15Z

by Yi, Kwangkeun. editor.
http://dx.doi.org/10.1007/11575467
Format: Electronic Resources

Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2024-05-24T19:22:15Z

by Sassone, Vladimiro. editor.
http://dx.doi.org/10.1007/b106850
Format: Electronic Resources

Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2024-05-24T19:22:15Z

by Bodik, Rastislav. editor.
http://dx.doi.org/10.1007/b107108
Format: Electronic Resources

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2024-05-24T19:22:15Z

by Sagiv, Mooly. editor.
http://dx.doi.org/10.1007/b107380
Format: Electronic Resources

Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings

2024-05-24T19:22:15Z

by Etessami, Kousha. editor.
http://dx.doi.org/10.1007/b138445
Format: Electronic Resources

Principles and Practice of Semantic Web Reasoning Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005 Proceedings

2024-05-24T19:22:15Z

by Fages, François. editor.
http://dx.doi.org/10.1007/11552222
Format: Electronic Resources

Frontiers of Combining Systems 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005. Proceedings

2024-05-24T19:22:15Z

by Gramlich, Bernhard. editor.
http://dx.doi.org/10.1007/11559306
Format: Electronic Resources

Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers

2024-05-24T19:22:15Z

by Liu, Zhiming. editor.
http://dx.doi.org/10.1007/b107116
Format: Electronic Resources

Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

2024-05-24T19:22:15Z

by Hutter, Dieter. editor.
http://dx.doi.org/10.1007/b106663
Format: Electronic Resources

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings

2024-05-24T19:22:15Z

by Borrione, Dominique. editor.
http://dx.doi.org/10.1007/11560548
Format: Electronic Resources

Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

2024-05-24T19:22:15Z

by Baader, Franz. editor.
http://dx.doi.org/10.1007/b106931
Format: Electronic Resources

FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings

2024-05-24T19:22:15Z

by Fitzgerald, John. editor.
http://dx.doi.org/10.1007/b27882
Format: Electronic Resources

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

2024-05-24T19:22:15Z

by Treharne, Helen. editor.
http://dx.doi.org/10.1007/b135596
Format: Electronic Resources

A Theory of Distributed Objects Asynchrony — Mobility — Groups — Components

2024-05-24T19:22:15Z

by Caromel, Denis. author.
http://dx.doi.org/10.1007/b138812
Format: Electronic Resources

Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

2024-05-24T19:22:15Z

by Kreowski, Hans-Jörg. editor.
http://dx.doi.org/10.1007/b106390
Format: Electronic Resources

Static Analysis 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings

2024-05-24T19:22:15Z

by Hankin, Chris. editor.
http://dx.doi.org/10.1007/11547662
Format: Electronic Resources

Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings

2024-05-24T19:22:15Z

by Fiadeiro, José Luiz. editor.
http://dx.doi.org/10.1007/11548133
Format: Electronic Resources

Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings

2024-05-24T19:22:15Z

by Hurd, Joe. editor.
http://dx.doi.org/10.1007/11541868
Format: Electronic Resources

Automated Deduction – CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings

2024-05-24T19:22:15Z

by Nieuwenhuis, Robert. editor.
http://dx.doi.org/10.1007/11532231
Format: Electronic Resources

Formal Concept Analysis Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedings

2024-05-24T19:22:15Z

by Ganter, Bernhard. editor.
http://dx.doi.org/10.1007/b105806
Format: Electronic Resources

Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems

2024-05-24T19:22:15Z

by Rust, Heinrich. author.
http://dx.doi.org/10.1007/978-3-540-32008-1
Format: Electronic Resources