Search Results for - Narrowed by: 2017 - Programming Languages, Compilers, Interpreters.

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-05-17T01:11:44Z

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

Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings

2024-05-17T01:11:44Z

Yazar Chang, Bor-Yuh Evan. editor.
https://doi.org/10.1007/978-3-319-71237-6
Format: Electronic Resources

Introduction to Compiler Design

2024-05-17T01:11:44Z

Yazar Mogensen, Torben Ægidius. author.
https://doi.org/10.1007/978-3-319-66966-3
Format: Electronic Resources

Programming Language Concepts

2024-05-17T01:11:44Z

Yazar Sestoft, Peter. author.
https://doi.org/10.1007/978-3-319-60789-4
Format: Electronic Resources

Software Technologies 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers

2024-05-17T01:11:44Z

Yazar Cabello, Enrique. editor.
https://doi.org/10.1007/978-3-319-62569-0
Format: Electronic Resources

Future Data and Security Engineering 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 – December 1, 2017, Proceedings

2024-05-17T01:11:44Z

Yazar Dang, Tran Khanh. editor.
https://doi.org/10.1007/978-3-319-70004-5
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-05-17T01:11:44Z

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

Guide to Scientific Computing in C++

2024-05-17T01:11:44Z

Yazar Pitt-Francis, Joe. author.
https://doi.org/10.1007/978-3-319-73132-2
Format: Electronic Resources

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

2024-05-17T01:11:44Z

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

Advances in Data Mining. Applications and Theoretical Aspects 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017, Proceedings

2024-05-17T01:11:44Z

Yazar Perner, Petra. editor.
https://doi.org/10.1007/978-3-319-62701-4
Format: Electronic Resources

Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

2024-05-17T01:11:44Z

Yazar Anjorin, Anthony. editor. (orcid)0000-0001-6213-6243
https://doi.org/10.1007/978-3-319-61482-3
Format: Electronic Resources

String Analysis for Software Verification and Security

2024-05-17T01:11:44Z

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

Machine Learning with R

2024-05-17T01:11:44Z

Yazar Ghatak, Abhijit. author.
https://doi.org/10.1007/978-981-10-6808-9
Format: Electronic Resources

Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers

2024-05-17T01:11:44Z

Yazar Ding, Chen. editor.
https://doi.org/10.1007/978-3-319-52709-3
Format: Electronic Resources

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

2024-05-17T01:11:44Z

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

Coordination Models and Languages 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

2024-05-17T01:11:44Z

Yazar Jacquet, Jean-Marie. editor.
https://doi.org/10.1007/978-3-319-59746-1
Format: Electronic Resources

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

2024-05-17T01:11:44Z

Yazar Abate, Alessandro. editor.
https://doi.org/10.1007/978-3-319-65765-3
Format: Electronic Resources

Software Architecture 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings

2024-05-17T01:11:44Z

Yazar Lopes, Antónia. editor.
https://doi.org/10.1007/978-3-319-65831-5
Format: Electronic Resources

Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings

2024-05-17T01:11:44Z

Yazar de Lara, Juan. editor. (orcid)0000-0001-9425-6362
https://doi.org/10.1007/978-3-319-61470-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-05-17T01:11:44Z

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

Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

2024-05-17T01:11:44Z

Yazar Lahiri, Shuvendu. editor.
https://doi.org/10.1007/978-3-319-67531-2
Format: Electronic Resources

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

2024-05-17T01:11:44Z

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

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

2024-05-17T01:11:44Z

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

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

2024-05-17T01:11:44Z

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

Artificial Intelligence in Medicine 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings

2024-05-17T01:11:44Z

Yazar ten Teije, Annette. editor. (orcid)0000-0002-9771-8822
https://doi.org/10.1007/978-3-319-59758-4
Format: Electronic Resources

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

2024-05-17T01:11:44Z

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

Agents and Artificial Intelligence 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers

2024-05-17T01:11:44Z

Yazar van den Herik, Jaap. editor.
https://doi.org/10.1007/978-3-319-53354-4
Format: Electronic Resources

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

2024-05-17T01:11:44Z

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

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

2024-05-17T01:11:44Z

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

Computer Graphics for Java Programmers

2024-05-17T01:11:44Z

Yazar Ammeraal, Leen. author.
https://doi.org/10.1007/978-3-319-63357-2
Format: Electronic Resources

Economics of Grids, Clouds, Systems, and Services 14th International Conference, GECON 2017, Biarritz, France, September 19-21, 2017, Proceedings

2024-05-17T01:11:44Z

Yazar Pham, Congduc. editor.
https://doi.org/10.1007/978-3-319-68066-8
Format: Electronic Resources

Mastering Scale and Complexity in Software Reuse 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings

2024-05-17T01:11:44Z

Yazar Botterweck, Goetz. editor. (orcid)0000-0002-5556-1660
https://doi.org/10.1007/978-3-319-56856-0
Format: Electronic Resources

Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity

2024-05-17T01:11:44Z

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

Rules and Reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings

2024-05-17T01:11:44Z

Yazar Costantini, Stefania. editor.
https://doi.org/10.1007/978-3-319-61252-2
Format: Electronic Resources

Separation Logic for High-level Synthesis

2024-05-17T01:11:44Z

Yazar Winterstein, Felix. author.
https://doi.org/10.1007/978-3-319-53222-6
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-05-17T01:11:44Z

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

Foundations of Programming Languages

2024-05-17T01:11:44Z

Yazar Lee, Kent D. author.
https://doi.org/10.1007/978-3-319-70790-7
Format: Electronic Resources

Service-Oriented Computing – ICSOC 2016 Workshops ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10–13, 2016, Revised Selected Papers

2024-05-17T01:11:44Z

Yazar Drira, Khalil. editor.
https://doi.org/10.1007/978-3-319-68136-8
Format: Electronic Resources

Advanced Finite Element Simulation with MSC Marc Application of User Subroutines

2024-05-17T01:11:44Z

Yazar Javanbakht, Zia. author.
https://doi.org/10.1007/978-3-319-47668-1
Format: Electronic Resources

Low Level X Window Programming An Introduction by Examples

2024-05-17T01:11:44Z

Yazar Maloney, Ross J. author.
https://doi.org/10.1007/978-3-319-74250-2
Format: Electronic Resources

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

2024-05-17T01:11:44Z

Yazar Hung, Dang Van. editor.
https://doi.org/10.1007/978-3-319-67729-3
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-05-17T01:11:44Z

Yazar Blieberger, Johann. editor.
https://doi.org/10.1007/978-3-319-60588-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-05-17T01:11:44Z

Yazar Duan, Zhenhua. editor.
https://doi.org/10.1007/978-3-319-68690-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 I

2024-05-17T01:11:44Z

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

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

2024-05-17T01:11:44Z

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

Present and Ulterior Software Engineering

2024-05-17T01:11:44Z

Yazar Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948
https://doi.org/10.1007/978-3-319-67425-4
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-05-17T01:11:44Z

Yazar Petrucci, Laure. editor.
https://doi.org/10.1007/978-3-319-67113-0
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-05-17T01:11:44Z

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

Conceptual Modeling 36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedings

2024-05-17T01:11:44Z

Yazar Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091
https://doi.org/10.1007/978-3-319-69904-2
Format: Electronic Resources

Model and Data Engineering 7th International Conference, MEDI 2017, Barcelona, Spain, October 4–6, 2017, Proceedings

2024-05-17T01:11:44Z

Yazar Ouhammou, Yassine. editor. (orcid)0000-0003-3776-4736
https://doi.org/10.1007/978-3-319-66854-3
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part V

2024-05-17T01:11:44Z

Yazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
https://doi.org/10.1007/978-3-319-62404-4
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-05-17T01:11:44Z

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

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

2024-05-17T01:11:44Z

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

Exploring Robotics with ROBOTIS Systems

2024-05-17T01:11:44Z

Yazar Thai, Chi N. author.
https://doi.org/10.1007/978-3-319-59831-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-05-17T01:11:44Z

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

Euro-Par 2017: Parallel Processing 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 – September 1, 2017, Proceedings

2024-05-17T01:11:44Z

Yazar Rivera, Francisco F. editor. (orcid)0000-0002-6728-9350
https://doi.org/10.1007/978-3-319-64203-1
Format: Electronic Resources

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

2024-05-17T01:11:44Z

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

Programming with Scala Language Exploration

2024-05-17T01:11:44Z

Yazar Upadhyaya, Bhim P. author.
https://doi.org/10.1007/978-3-319-69368-2
Format: Electronic Resources

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

2024-05-17T01:11:44Z

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

Hybrid Artificial Intelligent Systems 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings

2024-05-17T01:11:44Z

Yazar Martínez de Pisón, Francisco Javier. editor.
https://doi.org/10.1007/978-3-319-59650-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-05-17T01:11:44Z

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

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

2024-05-17T01:11:44Z

Yazar Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926
https://doi.org/10.1007/978-3-319-68270-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-05-17T01:11:44Z

Yazar Paskevich, Andrei. editor.
https://doi.org/10.1007/978-3-319-72308-2
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-05-17T01:11:44Z

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

A Practical Approach to Compiler Construction

2024-05-17T01:11:44Z

Yazar Watson, Des. author.
https://doi.org/10.1007/978-3-319-52789-5
Format: Electronic Resources

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

2024-05-17T01:11:44Z

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

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

2024-05-17T01:11:44Z

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

Model-Driven Engineering and Software Development 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers

2024-05-17T01:11:44Z

Yazar Hammoudi, Slimane. editor.
https://doi.org/10.1007/978-3-319-66302-9
Format: Electronic Resources

Software Engineering: Specification, Implementation, Verification

2024-05-17T01:11:44Z

Yazar Alagić, Suad. author.
https://doi.org/10.1007/978-3-319-61518-9
Format: Electronic Resources

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

2024-05-17T01:11:44Z

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

Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings

2024-05-17T01:11:44Z

Yazar Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448
https://doi.org/10.1007/978-3-319-66176-6
Format: Electronic Resources

Coordination, Organizations, Institutions, and Norms in Agent Systems XII COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016, Revised Selected Papers

2024-05-17T01:11:44Z

Yazar Cranefield, Stephen. editor. (orcid)0000-0001-5638-1648
https://doi.org/10.1007/978-3-319-66595-5
Format: Electronic Resources

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

2024-05-17T01:11:44Z

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

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

2024-05-17T01:11:44Z

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

Advanced Parallel Processing Technologies 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings

2024-05-17T01:11:44Z

Yazar Dou, Yong. editor.
https://doi.org/10.1007/978-3-319-67952-5
Format: Electronic Resources

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

2024-05-17T01:11:44Z

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

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

2024-05-17T01:11:44Z

Yazar Artho, Cyrille. editor.
https://doi.org/10.1007/978-3-319-53946-1
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-05-17T01:11:44Z

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

Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics

2024-05-17T01:11:44Z

Yazar Draheim, Dirk. author.
https://doi.org/10.1007/978-3-642-55198-7
Format: Electronic Resources

Smart Card Research and Advanced Applications 15th International Conference, CARDIS 2016, Cannes, France, November 7–9, 2016, Revised Selected Papers

2024-05-17T01:11:44Z

Yazar Lemke-Rust, Kerstin. editor.
https://doi.org/10.1007/978-3-319-54669-8
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-05-17T01:11:44Z

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

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

2024-05-17T01:11:44Z

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

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

2024-05-17T01:11:44Z

Yazar Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X
https://doi.org/10.1007/978-3-319-63139-4
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-05-17T01:11:44Z

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

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

2024-05-17T01:11:44Z

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

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

2024-05-17T01:11:44Z

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

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

2024-05-17T01:11:44Z

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

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

2024-05-17T01:11:44Z

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

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

2024-05-17T01:11:44Z

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