Search Results for - Narrowed by: SpringerLink (Online service) - Springer E-Book Collection - Software engineering. - Theory of Computation.

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

2024-06-17T14:49:15Z

Yazar Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613
https://doi.org/10.1007/978-3-030-16722-6
Format: Electronic Resources

Formal Methods An Appetizer

2024-06-17T14:49:15Z

Yazar Nielson, Flemming. author. (orcid)0000-0001-7362-6176
https://doi.org/10.1007/978-3-030-05156-3
Format: Electronic Resources

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

2024-06-17T14:49:15Z

Yazar Dillig, Isil. editor.
https://doi.org/10.1007/978-3-030-25540-4
Format: Electronic Resources

Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

2024-06-17T14:49:15Z

Yazar Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712
https://doi.org/10.1007/978-3-030-32409-4
Format: Electronic Resources

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

2024-06-17T14:49:15Z

Yazar Alvim, Mário S. editor.
https://doi.org/10.1007/978-3-030-31175-9
Format: Electronic Resources

Membrane Computing 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers

2024-06-17T14:49:15Z

Yazar Hinze, Thomas. editor.
https://doi.org/10.1007/978-3-030-12797-8
Format: Electronic Resources

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

2024-06-17T14:49:15Z

Yazar Ölveczky, Peter Csaba. editor.
https://doi.org/10.1007/978-3-030-30446-1
Format: Electronic Resources

Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

2024-06-17T14:49:15Z

Yazar Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555
https://doi.org/10.1007/978-3-030-34968-4
Format: Electronic Resources

Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

2024-06-17T14:49:15Z

Yazar Larsen, Kim Guldstrand. editor.
https://doi.org/10.1007/978-3-030-27008-7
Format: Electronic Resources

Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

2024-06-17T14:49:15Z

Yazar Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750
https://doi.org/10.1007/978-3-030-31517-7
Format: Electronic Resources

Artificial Intelligence 5th RAAI Summer School, Dolgoprudny, Russia, July 4–7, 2019, Tutorial Lectures

2024-06-17T14:49:15Z

Yazar Osipov, Gennady S. editor. (orcid)0000-0002-5329-6234
https://doi.org/10.1007/978-3-030-33274-7
Format: Electronic Resources

Carl Adam Petri: Ideas, Personality, Impact

2024-06-17T14:49:15Z

Yazar Reisig, Wolfgang. editor.
https://doi.org/10.1007/978-3-319-96154-5
Format: Electronic Resources

Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings

2024-06-17T14:49:15Z

Yazar Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937
https://doi.org/10.1007/978-3-030-31019-6
Format: Electronic Resources

Principles of Security and Trust 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

2024-06-17T14:49:15Z

Yazar Nielson, Flemming. editor. (orcid)0000-0001-7362-6176
https://doi.org/10.1007/978-3-030-17138-4
Format: Electronic Resources

Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

2024-06-17T14:49:15Z

Yazar Caires, Luís. editor. (orcid)0000-0002-3215-6734
https://doi.org/10.1007/978-3-030-17184-1
Format: Electronic Resources

Software Challenges to Exascale Computing Second Workshop, SCEC 2018, Delhi, India, December 13-14, 2018, Proceedings

2024-06-17T14:49:15Z

Yazar Majumdar, Amit. editor.
https://doi.org/10.1007/978-981-13-7729-7
Format: Electronic Resources

NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

2024-06-17T14:49:15Z

Yazar Badger, Julia M. editor.
https://doi.org/10.1007/978-3-030-20652-9
Format: Electronic Resources

Model-Driven Engineering and Software Development 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers

2024-06-17T14:49:15Z

Yazar Hammoudi, Slimane. editor.
https://doi.org/10.1007/978-3-030-11030-7
Format: Electronic Resources

Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

2024-06-17T14:49:15Z

Yazar Duan, Zhenhua. editor.
https://doi.org/10.1007/978-3-030-13651-2
Format: Electronic Resources

Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings

2024-06-17T14:49:15Z

Yazar Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X
https://doi.org/10.1007/978-3-030-24258-9
Format: Electronic Resources

Transactions on Petri Nets and Other Models of Concurrency XIV

2024-06-17T14:49:15Z

Yazar Koutny, Maciej. editor.
https://doi.org/10.1007/978-3-662-60651-3
Format: Electronic Resources

Computer and Communication Engineering First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25–27, 2018, Proceedings

2024-06-17T14:49:15Z

Yazar Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224
https://doi.org/10.1007/978-3-030-12018-4
Format: Electronic Resources

Managed Software Evolution

2024-06-17T14:49:15Z

Yazar Reussner, Ralf. editor.
https://doi.org/10.1007/978-3-030-13499-0
Format: Electronic Resources

Conceptual Modeling 38th International Conference, ER 2019, Salvador, Brazil, November 4–7, 2019, Proceedings

2024-06-17T14:49:15Z

Yazar Laender, Alberto H. F. editor. (orcid)0000-0001-5032-2233
https://doi.org/10.1007/978-3-030-33223-5
Format: Electronic Resources

Discovery Science 22nd International Conference, DS 2019, Split, Croatia, October 28–30, 2019, Proceedings

2024-06-17T14:49:15Z

Yazar Kralj Novak, Petra. editor. (orcid)0000-0003-3385-6430
https://doi.org/10.1007/978-3-030-33778-0
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

2024-06-17T14:49:15Z

Yazar Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03421-4
Format: Electronic Resources

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

2024-06-17T14:49:15Z

Yazar Jones, Cliff. editor.
https://doi.org/10.1007/978-3-030-01461-2
Format: Electronic Resources

New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings

2024-06-17T14:49:15Z

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

Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

2024-06-17T14:49:15Z

Yazar Johnsen, Einar Broch. editor.
https://doi.org/10.1007/978-3-319-92970-5
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

2024-06-17T14:49:15Z

Yazar Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03427-6
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

2024-06-17T14:49:15Z

Yazar Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03424-5
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

2024-06-17T14:49:15Z

Yazar Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03418-4
Format: Electronic Resources

Handbook of Model Checking

2024-06-17T14:49:15Z

Yazar Clarke, Edmund M. editor.
https://doi.org/10.1007/978-3-319-10575-8
Format: Electronic Resources

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

2024-06-17T14:49:15Z

Yazar Havelund, Klaus. editor. (orcid)0000-0001-7079-0472
https://doi.org/10.1007/978-3-319-95582-7
Format: Electronic Resources

Software Process Improvement and Capability Determination 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings

2024-06-17T14:49:15Z

Yazar Stamelos, Ioannis. editor.
https://doi.org/10.1007/978-3-030-00623-5
Format: Electronic Resources

Social, Cultural, and Behavioral Modeling 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings

2024-06-17T14:49:15Z

Yazar Thomson, Robert. editor.
https://doi.org/10.1007/978-3-319-93372-6
Format: Electronic Resources

Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

2024-06-17T14:49:15Z

Yazar Howar, Falk. editor.
https://doi.org/10.1007/978-3-030-00244-2
Format: Electronic Resources

Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches

2024-06-17T14:49:15Z

Yazar Steffen, Bernhard. author.
https://doi.org/10.1007/978-3-319-68397-3
Format: Electronic Resources

Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers

2024-06-17T14:49:15Z

Yazar Bennaceur, Amel. editor. (orcid)0000-0002-6124-9622
https://doi.org/10.1007/978-3-319-96562-8
Format: Electronic Resources

Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

2024-06-17T14:49:15Z

Yazar Beyersdorff, Olaf. editor.
https://doi.org/10.1007/978-3-319-94144-8
Format: Electronic Resources

Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings

2024-06-17T14:49:15Z

Yazar Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772
https://doi.org/10.1007/978-3-030-02768-1
Format: Electronic Resources

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

2024-06-17T14:49:15Z

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

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

2024-06-17T14:49:15Z

Yazar Dutle, Aaron. editor.
https://doi.org/10.1007/978-3-319-77935-5
Format: Electronic Resources

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

2024-06-17T14:49:15Z

Yazar Fantechi, Alessandro. editor.
https://doi.org/10.1007/978-3-319-68499-4
Format: Electronic Resources

Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings

2024-06-17T14:49:15Z

Yazar Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990
https://doi.org/10.1007/978-3-319-66197-1
Format: Electronic Resources

The Semantic Web 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 – June 1, 2017, Proceedings, Part I

2024-06-17T14:49:15Z

Yazar Blomqvist, Eva. editor.
https://doi.org/10.1007/978-3-319-58068-5
Format: Electronic Resources

Models of Computation

2024-06-17T14:49:15Z

Yazar Bruni, Roberto. author.
https://doi.org/10.1007/978-3-319-42900-7
Format: Electronic Resources

Structured Object-Oriented Formal Language and Method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers

2024-06-17T14:49:15Z

Yazar Liu, Shaoying. editor.
https://doi.org/10.1007/978-3-319-57708-1
Format: Electronic Resources

Designing the Digital Transformation 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 – June 1, 2017, Proceedings

2024-06-17T14:49:15Z

Yazar Maedche, Alexander. editor.
https://doi.org/10.1007/978-3-319-59144-5
Format: Electronic Resources

The Semantic Web – ISWC 2017 16th International Semantic Web Conference, Vienna, Austria, October 21–25, 2017, Proceedings, Part I

2024-06-17T14:49:15Z

Yazar d'Amato, Claudia. editor. (orcid)0000-0002-3385-987X
https://doi.org/10.1007/978-3-319-68288-4
Format: Electronic Resources

Risks and Security of Internet and Systems 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers

2024-06-17T14:49:15Z

Yazar Cuppens, Frédéric. editor.
https://doi.org/10.1007/978-3-319-54876-0
Format: Electronic Resources

Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

2024-06-17T14:49:15Z

Yazar Polikarpova, Nadia. editor. (orcid)0000-0001-5571-173X
https://doi.org/10.1007/978-3-319-66845-1
Format: Electronic Resources

Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

2024-06-17T14:49:15Z

Yazar Cavalheiro, Simone. editor. (orcid)0000-0002-7442-7379
https://doi.org/10.1007/978-3-319-70848-5
Format: Electronic Resources

Theory and Applications of Satisfiability Testing – SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings

2024-06-17T14:49:15Z

Yazar Gaspers, Serge. editor. (orcid)0000-0002-6947-9238
https://doi.org/10.1007/978-3-319-66263-3
Format: Electronic Resources

Process Algebras for Petri Nets The Alphabetization of Distributed Systems

2024-06-17T14:49:15Z

Yazar Gorrieri, Roberto. author.
https://doi.org/10.1007/978-3-319-55559-1
Format: Electronic Resources

The Semantic Web 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 – June 1, 2017, Proceedings, Part II

2024-06-17T14:49:15Z

Yazar Blomqvist, Eva. editor.
https://doi.org/10.1007/978-3-319-58451-5
Format: Electronic Resources

High Performance Computing for Computational Science – VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers

2024-06-17T14:49:15Z

Yazar Dutra, Inês. editor.
https://doi.org/10.1007/978-3-319-61982-8
Format: Electronic Resources

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

2024-06-17T14:49:15Z

Yazar Aceto, Luca. editor.
https://doi.org/10.1007/978-3-319-63121-9
Format: Electronic Resources

Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

2024-06-17T14:49:15Z

Yazar Paskevich, Andrei. editor.
https://doi.org/10.1007/978-3-319-72308-2
Format: Electronic Resources

Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings

2024-06-17T14:49:15Z

Yazar D'Souza, Deepak. editor.
https://doi.org/10.1007/978-3-319-68167-2
Format: Electronic Resources

The Semantic Web – ISWC 2017 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part II

2024-06-17T14:49:15Z

Yazar d'Amato, Claudia. editor. (orcid)0000-0002-3385-987X
https://doi.org/10.1007/978-3-319-68204-4
Format: Electronic Resources

Theory and Applications of Satisfiability Testing – SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

2024-06-17T14:49:15Z

Yazar Creignou, Nadia. editor.
http://dx.doi.org/10.1007/978-3-319-40970-2
Format: Electronic Resources

High Performance Computing for Computational Science -- VECPAR 2014 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers

2024-06-17T14:49:15Z

Yazar Daydé, Michel. editor.
http://dx.doi.org/10.1007/978-3-319-17353-5
Format: Electronic Resources

Petri Net Synthesis

2024-06-17T14:49:15Z

Yazar Badouel, Eric. author.
http://dx.doi.org/10.1007/978-3-662-47967-4
Format: Electronic Resources

Graph and Model Transformation General Framework and Applications

2024-06-17T14:49:15Z

Yazar Ehrig, Hartmut. author.
http://dx.doi.org/10.1007/978-3-662-47980-3
Format: Electronic Resources

Introduction to Concurrency Theory Transition Systems and CCS

2024-06-17T14:49:15Z

Yazar Gorrieri, Roberto. author.
http://dx.doi.org/10.1007/978-3-319-21491-7
Format: Electronic Resources

Behavior Modeling -- Foundations and Applications International Workshops, BM-FA 2009-2014, Revised Selected Papers

2024-06-17T14:49:15Z

Yazar Roubtsova, Ella. editor.
http://dx.doi.org/10.1007/978-3-319-21912-7
Format: Electronic Resources

Combinatorics on Words 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings

2024-06-17T14:49:15Z

Yazar Manea, Florin. editor.
http://dx.doi.org/10.1007/978-3-319-23660-5
Format: Electronic Resources

Augmented Marked Graphs

2024-06-17T14:49:15Z

Yazar Cheung, King Sing. author.
http://dx.doi.org/10.1007/978-3-319-06428-4
Format: Electronic Resources

Signal Processing and Information Technology Second International Joint Conference, SPIT 2012, Dubai, UAE, September 20-21, 2012, Revised Selected Papers

2024-06-17T14:49:15Z

Yazar Das, Vinu V. editor.
http://dx.doi.org/10.1007/978-3-319-11629-7
Format: Electronic Resources

Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

2024-06-17T14:49:15Z

Yazar Bernardo, Marco. editor.
http://dx.doi.org/10.1007/978-3-319-07317-0
Format: Electronic Resources

Mathematical Software – ICMS 2014 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings

2024-06-17T14:49:15Z

Yazar Hong, Hoon. editor.
http://dx.doi.org/10.1007/978-3-662-44199-2
Format: Electronic Resources

Model-Driven Software Migration: A Methodology Reengineering, Recovery and Modernization of Legacy Systems

2024-06-17T14:49:15Z

Yazar Wagner, Christian. author.
http://dx.doi.org/10.1007/978-3-658-05270-6
Format: Electronic Resources

Science Gateways for Distributed Computing Infrastructures Development Framework and Exploitation by Scientific User Communities

2024-06-17T14:49:15Z

Yazar Kacsuk, Péter. editor.
http://dx.doi.org/10.1007/978-3-319-11268-8
Format: Electronic Resources

Programming Languages and Operational Semantics A Concise Overview

2024-06-17T14:49:15Z

Yazar Fernández, Maribel. author.
http://dx.doi.org/10.1007/978-1-4471-6368-8
Format: Electronic Resources