Search Results for - Narrowed by: Computer software. - Logic design. - Software engineering.

Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

2024-06-16T10:08:00Z

by Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948
https://doi.org/10.1007/978-3-030-04771-9
Format: Electronic Resources

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I

2024-06-16T10:08:00Z

by Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786
https://doi.org/10.1007/978-3-319-78024-5
Format: Electronic Resources

Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings

2024-06-16T10:08:00Z

by Khomenko, Victor. editor.
https://doi.org/10.1007/978-3-319-91268-4
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-06-16T10:08:00Z

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

Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

2024-06-16T10:08:00Z

by Gerdt, Vladimir P. editor.
https://doi.org/10.1007/978-3-319-99639-4
Format: Electronic Resources

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

2024-06-16T10:08:00Z

by Feng, Xinyu. editor.
https://doi.org/10.1007/978-3-319-99933-3
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-06-16T10:08:00Z

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

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

2024-06-16T10:08:00Z

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

Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers

2024-06-16T10:08:00Z

by Gheorghe, Marian. editor.
https://doi.org/10.1007/978-3-319-73359-3
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-06-16T10:08:00Z

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

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

2024-06-16T10:08:00Z

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

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

2024-06-16T10:08:00Z

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

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III

2024-06-16T10:08:00Z

by Vaidya, Jaideep. editor.
https://doi.org/10.1007/978-3-030-05057-3
Format: Electronic Resources

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

2024-06-16T10:08:00Z

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

Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers

2024-06-16T10:08:00Z

by Tian, Cong. editor.
https://doi.org/10.1007/978-3-319-90104-6
Format: Electronic Resources

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

2024-06-16T10:08:00Z

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

Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings

2024-06-16T10:08:00Z

by Falcone, Yliès. editor.
https://doi.org/10.1007/978-3-319-46982-9
Format: Electronic Resources

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

2024-06-16T10:08:00Z

by Probst, Christian W. editor.
https://doi.org/10.1007/978-3-319-27810-0
Format: Electronic Resources

Networked Systems 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers

2024-06-16T10:08:00Z

by Abdulla, Parosh Aziz. editor.
https://doi.org/10.1007/978-3-319-46140-3
Format: Electronic Resources

Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings

2024-06-16T10:08:00Z

by Gavanelli, Marco. editor.
https://doi.org/10.1007/978-3-319-28228-2
Format: Electronic Resources

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

2024-06-16T10:08:00Z

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

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

2024-06-16T10:08:00Z

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

Graphical Models for Security Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers

2024-06-16T10:08:00Z

by Mauw, Sjouke. editor.
https://doi.org/10.1007/978-3-319-29968-6
Format: Electronic Resources

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

2024-06-16T10:08:00Z

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

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

2024-06-16T10:08:00Z

by Skrzypczak, Michał. author.
https://doi.org/10.1007/978-3-662-52947-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-06-16T10:08:00Z

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

Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

2024-06-16T10:08:00Z

by Lluch Lafuente, Alberto. editor.
https://doi.org/10.1007/978-3-319-39519-7
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-06-16T10:08:00Z

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

Graph Transformations 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings

2024-06-16T10:08:00Z

by Ehrig, Hartmut. editor.
http://dx.doi.org/10.1007/978-3-540-87405-8
Format: Electronic Resources

Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers

2024-06-16T10:08:00Z

by Leucker, Martin. editor.
http://dx.doi.org/10.1007/978-3-540-89247-2
Format: Electronic Resources

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

2024-06-16T10:08:00Z

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

A Modular Calculus for the Average Cost of Data Structuring

2024-06-16T10:08:00Z

by Schellekens, Michel. author.
http://dx.doi.org/10.1007/978-0-387-73384-5
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

2024-06-16T10:08:00Z

by Ramakrishnan, C. R. editor.
http://dx.doi.org/10.1007/978-3-540-78800-3
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 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-06-16T10:08:00Z

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

Cooperative Bug Isolation Winning Thesis of the 2005 ACM Doctoral Dissertation Competition

2024-06-16T10:08:00Z

by Liblit, Ben. author.
http://dx.doi.org/10.1007/978-3-540-71878-9
Format: Electronic Resources

Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures

2024-06-16T10:08:00Z

by George, Chris W. editor.
http://dx.doi.org/10.1007/978-3-540-74964-6
Format: Electronic Resources

Graph Transformations Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings

2024-06-16T10:08:00Z

by Corradini, Andrea. editor.
http://dx.doi.org/10.1007/11841883
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

2024-06-16T10:08:00Z

by Hermanns, Holger. editor.
http://dx.doi.org/10.1007/11691372
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2024-06-16T10:08:00Z

by Halbwachs, Nicolas. editor.
http://dx.doi.org/10.1007/b107194
Format: Electronic Resources