Arama Sonuçları Logic design. - Daraltılmış: Programming Languages, Compilers, Interpreters.

Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity

2024-09-10T20:03:47Z

Yazar Zeume, Thomas. author.
https://doi.org/10.1007/978-3-662-54314-6
Format: Electronic Resources

Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

2024-09-10T20:03:47Z

Yazar Podelski, Andreas. editor.
https://doi.org/10.1007/978-3-319-99725-4
Format: Electronic Resources

Theoretical Aspects of Computing – ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

2024-09-10T20:03:47Z

Yazar Hung, Dang Van. editor.
https://doi.org/10.1007/978-3-319-67729-3
Format: Electronic Resources

Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings

2024-09-10T20:03:47Z

Yazar Ranzato, Francesco. editor. (orcid)0000-0003-0159-0068
https://doi.org/10.1007/978-3-319-66706-5
Format: Electronic Resources

Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

2024-09-10T20:03:47Z

Yazar Artho, Cyrille. editor.
https://doi.org/10.1007/978-3-319-53946-1
Format: Electronic Resources

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

2024-09-10T20:03:47Z

Yazar Majumdar, Rupak. editor.
https://doi.org/10.1007/978-3-319-63390-9
Format: Electronic Resources

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

2024-09-10T20:03:47Z

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

Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

2024-09-10T20:03:47Z

Yazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
https://doi.org/10.1007/978-3-319-52228-9
Format: Electronic Resources

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

2024-09-10T20:03:47Z

Yazar Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926
https://doi.org/10.1007/978-3-319-68270-9
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-09-10T20:03:47Z

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

Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

2024-09-10T20:03:47Z

Yazar Gibson-Robinson, Thomas. editor.
https://doi.org/10.1007/978-3-319-51046-0
Format: Electronic Resources

Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers

2024-09-10T20:03:47Z

Yazar James, Phillip. editor.
https://doi.org/10.1007/978-3-319-72044-9
Format: Electronic Resources

Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

2024-09-10T20:03:47Z

Yazar Tonetta, Stefano. editor. (orcid)0000-0001-9091-7899
https://doi.org/10.1007/978-3-319-66266-4
Format: Electronic Resources

Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings

2024-09-10T20:03:47Z

Yazar Kari, Jarkko. editor. (orcid)0000-0003-0670-6138
https://doi.org/10.1007/978-3-319-99498-7
Format: Electronic Resources

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

2024-09-10T20:03:47Z

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

Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings

2024-09-10T20:03:47Z

Yazar Bouajjani, Ahmed. editor.
https://doi.org/10.1007/978-3-319-52234-0
Format: Electronic Resources

Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

2024-09-10T20:03:47Z

Yazar Tonetta, Stefano. editor. (orcid)0000-0001-9091-7899
https://doi.org/10.1007/978-3-319-66284-8
Format: Electronic Resources

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

2024-09-10T20:03:47Z

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

Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

2024-09-10T20:03:47Z

Yazar Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831
https://doi.org/10.1007/978-3-319-74313-4
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

2024-09-10T20:03:47Z

Yazar Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X
https://doi.org/10.1007/978-3-319-63139-4
Format: Electronic Resources

Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

2024-09-10T20:03:47Z

Yazar Esparza, Javier. editor.
https://doi.org/10.1007/978-3-662-54458-7
Format: Electronic Resources

Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings

2024-09-10T20:03:47Z

Yazar Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609
https://doi.org/10.1007/978-3-030-21500-2
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

2024-09-10T20:03:47Z

Yazar Legay, Axel. editor.
https://doi.org/10.1007/978-3-662-54577-5
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

2024-09-10T20:03:47Z

Yazar Legay, Axel. editor.
https://doi.org/10.1007/978-3-662-54580-5
Format: Electronic Resources

Separation Logic for High-level Synthesis

2024-09-10T20:03:47Z

Yazar Winterstein, Felix. author.
https://doi.org/10.1007/978-3-319-53222-6
Format: Electronic Resources

Theory and Applications of Formal Argumentation 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers

2024-09-10T20:03:47Z

Yazar Black, Elizabeth. editor. (orcid)0000-0002-4295-449X
https://doi.org/10.1007/978-3-319-75553-3
Format: Electronic Resources

Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

2024-09-10T20:03:47Z

Yazar Huisman, Marieke. editor.
https://doi.org/10.1007/978-3-662-54494-5
Format: Electronic Resources

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

2024-09-10T20:03:47Z

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

Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers

2024-09-10T20:03:47Z

Yazar Lachiche, Nicolas. editor.
https://doi.org/10.1007/978-3-319-78090-0
Format: Electronic Resources

Languages and Compilers for Parallel Computing 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers

2024-09-10T20:03:47Z

Yazar Rauchwerger, Lawrence. editor.
https://doi.org/10.1007/978-3-030-35225-7
Format: Electronic Resources

Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings

2024-09-10T20:03:47Z

Yazar Yang, Hongseok. editor.
https://doi.org/10.1007/978-3-662-54434-1
Format: Electronic Resources

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

2024-09-10T20:03:47Z

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

Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures

2024-09-10T20:03:47Z

Yazar Cunha, Jácome. editor. (orcid)0000-0002-4713-3834
https://doi.org/10.1007/978-3-319-60074-1
Format: Electronic Resources

Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings

2024-09-10T20:03:47Z

Yazar Schmidt, Renate A. editor.
https://doi.org/10.1007/978-3-319-66902-1
Format: Electronic Resources

Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers

2024-09-10T20:03:47Z

Yazar Pałka, Michał. editor.
https://doi.org/10.1007/978-3-030-18506-0
Format: Electronic Resources

Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

2024-09-10T20:03:47Z

Yazar Strichman, Ofer. editor.
https://doi.org/10.1007/978-3-319-70389-3
Format: Electronic Resources

Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

2024-09-10T20:03:47Z

Yazar Duan, Zhenhua. editor.
https://doi.org/10.1007/978-3-319-68690-5
Format: Electronic Resources

Reliable Software Technologies – Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings

2024-09-10T20:03:47Z

Yazar Blieberger, Johann. editor.
https://doi.org/10.1007/978-3-319-60588-3
Format: Electronic Resources

Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

2024-09-10T20:03:47Z

Yazar Medina-Bulo, Inmaculada. editor.
https://doi.org/10.1007/978-3-319-99927-2
Format: Electronic Resources

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings

2024-09-10T20:03:47Z

Yazar Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736
https://doi.org/10.1007/978-3-030-30690-8
Format: Electronic Resources

Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings

2024-09-10T20:03:47Z

Yazar Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703
https://doi.org/10.1007/978-3-319-99960-9
Format: Electronic Resources

Search Based Software Engineering 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings

2024-09-10T20:03:47Z

Yazar Menzies, Tim. editor. (orcid)0000-0002-5040-3196
https://doi.org/10.1007/978-3-319-66299-2
Format: Electronic Resources

Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings

2024-09-10T20:03:47Z

Yazar Butler, Michael. editor.
https://doi.org/10.1007/978-3-319-91271-4
Format: Electronic Resources

Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

2024-09-10T20:03:47Z

Yazar Artemov, Sergei. editor.
https://doi.org/10.1007/978-3-319-72056-2
Format: Electronic Resources

Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings

2024-09-10T20:03:47Z

Yazar Petrucci, Laure. editor.
https://doi.org/10.1007/978-3-319-67113-0
Format: Electronic Resources

Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings

2024-09-10T20:03:47Z

Yazar Desharnais, Jules. editor. (orcid)0000-0002-4780-2698
https://doi.org/10.1007/978-3-030-02149-8
Format: Electronic Resources

Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings

2024-09-10T20:03:47Z

Yazar Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X
https://doi.org/10.1007/978-3-319-51676-9
Format: Electronic Resources

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

2024-09-10T20:03:47Z

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

Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

2024-09-10T20:03:47Z

Yazar Geuvers, Herman. editor. (orcid)0000-0003-2522-2980
https://doi.org/10.1007/978-3-319-62075-6
Format: Electronic Resources

Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings

2024-09-10T20:03:47Z

Yazar Ciucci, Davide. editor. (orcid)0000-0002-8083-7809
https://doi.org/10.1007/978-3-030-00461-3
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-09-10T20:03:47Z

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

NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

2024-09-10T20:03:47Z

Yazar Barrett, Clark. editor. (orcid)0000-0002-9522-3084
https://doi.org/10.1007/978-3-319-57288-8
Format: Electronic Resources

Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings

2024-09-10T20:03:47Z

Yazar Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331
https://doi.org/10.1007/978-3-319-65948-0
Format: Electronic Resources

Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

2024-09-10T20:03:47Z

Yazar Benzmüller, Christoph. editor.
https://doi.org/10.1007/978-3-319-99906-7
Format: Electronic Resources

Scaling OpenMP for Exascale Performance and Portability 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20–22, 2017, Proceedings

2024-09-10T20:03:47Z

Yazar de Supinski, Bronis R. editor.
https://doi.org/10.1007/978-3-319-65578-9
Format: Electronic Resources

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

2024-09-10T20:03:47Z

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

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

2024-09-10T20:03:47Z

Yazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
https://doi.org/10.1007/978-3-319-56841-6
Format: Electronic Resources

Accelerator Programming Using Directives 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings

2024-09-10T20:03:47Z

Yazar Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428
https://doi.org/10.1007/978-3-319-74896-2
Format: Electronic Resources

Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

2024-09-10T20:03:47Z

Yazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
https://doi.org/10.1007/978-3-030-02928-9
Format: Electronic Resources

OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings

2024-09-10T20:03:47Z

Yazar Fan, Xing. editor.
https://doi.org/10.1007/978-3-030-28596-8
Format: Electronic Resources

Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

2024-09-10T20:03:47Z

Yazar Ayala-Rincón, Mauricio. editor. (orcid)0000-0003-0089-3905
https://doi.org/10.1007/978-3-319-66107-0
Format: Electronic Resources

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

2024-09-10T20:03:47Z

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

Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

2024-09-10T20:03:47Z

Yazar Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794
https://doi.org/10.1007/978-3-319-68953-1
Format: Electronic Resources

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

2024-09-10T20:03:47Z

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

Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings

2024-09-10T20:03:47Z

Yazar Abate, Alessandro. editor.
https://doi.org/10.1007/978-3-319-65765-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-09-10T20:03:47Z

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

Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers

2024-09-10T20:03:47Z

Yazar Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701
https://doi.org/10.1007/978-3-030-17872-7
Format: Electronic Resources

SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9–11, 2017, Proceedings

2024-09-10T20:03:47Z

Yazar Csöndes, Tibor. editor.
https://doi.org/10.1007/978-3-319-68015-6
Format: Electronic Resources

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

2024-09-10T20:03:47Z

Yazar Gallardo, María del Mar. editor.
https://doi.org/10.1007/978-3-319-94111-0
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-09-10T20:03:47Z

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

Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

2024-09-10T20:03:47Z

Yazar Guerra, Esther. editor. (orcid)0000-0002-2818-2278
https://doi.org/10.1007/978-3-319-61473-1
Format: Electronic Resources

Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

2024-09-10T20:03:47Z

Yazar Piskac, Ruzica. editor.
https://doi.org/10.1007/978-3-030-03592-1
Format: Electronic Resources

Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

2024-09-10T20:03:47Z

Yazar Proença, José. editor.
https://doi.org/10.1007/978-3-319-68034-7
Format: Electronic Resources

High Performance Computing ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers

2024-09-10T20:03:47Z

Yazar Yokota, Rio. editor. (orcid)0000-0001-7573-7873
https://doi.org/10.1007/978-3-030-02465-9
Format: Electronic Resources

Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers

2024-09-10T20:03:47Z

Yazar Pires, Luís Ferreira. editor.
https://doi.org/10.1007/978-3-319-94764-8
Format: Electronic Resources

Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings

2024-09-10T20:03:47Z

Yazar Yevtushenko, Nina. editor. (orcid)0000-0002-4006-1161
https://doi.org/10.1007/978-3-319-67549-7
Format: Electronic Resources

String Analysis for Software Verification and Security

2024-09-10T20:03:47Z

Yazar Bultan, Tevfik. author.
https://doi.org/10.1007/978-3-319-68670-7
Format: Electronic Resources

Accelerator Programming Using Directives 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings

2024-09-10T20:03:47Z

Yazar Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428
https://doi.org/10.1007/978-3-030-12274-4
Format: Electronic Resources

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

2024-09-10T20:03:47Z

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

High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers

2024-09-10T20:03:47Z

Yazar Kunkel, Julian M. editor.
https://doi.org/10.1007/978-3-319-67630-2
Format: Electronic Resources

Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

2024-09-10T20:03:47Z

Yazar Devitt, Simon. editor.
http://dx.doi.org/10.1007/978-3-319-40578-0
Format: Electronic Resources

Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers

2024-09-10T20:03:47Z

Yazar Dastani, Mehdi. editor.
https://doi.org/10.1007/978-3-319-68972-2
Format: Electronic Resources

Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers

2024-09-10T20:03:47Z

Yazar Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106
https://doi.org/10.1007/978-3-030-05807-4
Format: Electronic Resources

Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings

2024-09-10T20:03:47Z

Yazar Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829
https://doi.org/10.1007/978-3-319-96983-1
Format: Electronic Resources

PRIMA 2017: Principles and Practice of Multi-Agent Systems 20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedings

2024-09-10T20:03:47Z

Yazar An, Bo. editor. (orcid)0000-0002-7064-7438
https://doi.org/10.1007/978-3-319-69131-2
Format: Electronic Resources

AI*IA 2017 Advances in Artificial Intelligence XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings

2024-09-10T20:03:47Z

Yazar Esposito, Floriana. editor. (orcid)0000-0002-1075-3239
https://doi.org/10.1007/978-3-319-70169-1
Format: Electronic Resources

Transactions on High-Performance Embedded Architectures and Compilers V

2024-09-10T20:03:47Z

Yazar Silvano, Cristina. editor. (orcid)0000-0003-1668-0883
https://doi.org/10.1007/978-3-662-58834-5
Format: Electronic Resources

Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings

2024-09-10T20:03:47Z

Yazar Meyer, Roland. editor.
http://dx.doi.org/10.1007/978-3-319-23506-6
Format: Electronic Resources

Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

2024-09-10T20:03:47Z

Yazar Bernardo, Marco. editor.
http://dx.doi.org/10.1007/978-3-319-18941-3
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-09-10T20:03:47Z

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

Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings

2024-09-10T20:03:47Z

Yazar Leucker, Martin. editor.
http://dx.doi.org/10.1007/978-3-319-25150-9
Format: Electronic Resources

Algorithms - ESA 2015 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings

2024-09-10T20:03:47Z

Yazar Bansal, Nikhil. editor.
http://dx.doi.org/10.1007/978-3-662-48350-3
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-09-10T20:03:47Z

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

Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings

2024-09-10T20:03:47Z

Yazar Garrigue, Jacques. editor.
http://dx.doi.org/10.1007/978-3-319-12736-1
Format: Electronic Resources

Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings

2024-09-10T20:03:47Z

Yazar Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096
https://doi.org/10.1007/978-3-030-34175-6
Format: Electronic Resources

Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings

2024-09-10T20:03:47Z

Yazar Gallagher, John P. editor. (orcid)0000-0001-6984-7419
https://doi.org/10.1007/978-3-319-90686-7
Format: Electronic Resources

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings

2024-09-10T20:03:47Z

Yazar Cassez, Franck. editor.
http://dx.doi.org/10.1007/978-3-319-11936-6
Format: Electronic Resources

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-09-10T20:03:47Z

Yazar Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613
https://doi.org/10.1007/978-3-030-16722-6
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-09-10T20:03:47Z

Yazar Stevens, Perdita. editor.
http://dx.doi.org/10.1007/978-3-662-49665-7
Format: Electronic Resources

Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

2024-09-10T20:03:47Z

Yazar Bartocci, Ezio. editor.
http://dx.doi.org/10.1007/978-3-319-23820-3
Format: Electronic Resources

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

2024-09-10T20:03:47Z

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

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

2024-09-10T20:03:47Z

Yazar Margaria, Tiziana. editor.
http://dx.doi.org/10.1007/978-3-662-45234-9
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 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

2024-09-10T20:03:47Z

Yazar Ábrahám, Erika. editor.
http://dx.doi.org/10.1007/978-3-642-54862-8
Format: Electronic Resources

A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof

2024-09-10T20:03:47Z

Yazar Kovalev, Mikhail. author.
http://dx.doi.org/10.1007/978-3-319-13906-7
Format: Electronic Resources