Search Results for - Narrowed by: Springer E-Book Collection - Programming Languages, Compilers, Interpreters. - Computer science.

Computing and Software Science State of the Art and Perspectives

2024-05-18T19:10:59Z

Yazar Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
https://doi.org/10.1007/978-3-319-91908-9
Format: Electronic Resources

Systems Programming in Unix/Linux

2024-05-18T19:10:59Z

Yazar Wang, K.C. author.
https://doi.org/10.1007/978-3-319-92429-8
Format: Electronic Resources

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

2024-05-18T19:10:59Z

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

Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

2024-05-18T19:10:59Z

Yazar Baier, Christel. editor.
https://doi.org/10.1007/978-3-319-92612-4
Format: Electronic Resources

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

2024-05-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

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

Graph Transformation, Specifications, and Nets In Memory of Hartmut Ehrig

2024-05-18T19:10:59Z

Yazar Heckel, Reiko. editor.
https://doi.org/10.1007/978-3-319-75396-6
Format: Electronic Resources

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

2024-05-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

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

Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings

2024-05-18T19:10:59Z

Yazar Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251
https://doi.org/10.1007/978-3-319-92408-3
Format: Electronic Resources

Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings

2024-05-18T19:10:59Z

Yazar Pierantonio, Alfonso. editor. (orcid)0000-0002-5231-3952
https://doi.org/10.1007/978-3-319-92997-2
Format: Electronic Resources

Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

2024-05-18T19:10:59Z

Yazar Rensink, Arend. editor. (orcid)0000-0002-1714-6319
https://doi.org/10.1007/978-3-319-93317-7
Format: Electronic Resources

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

2024-05-18T19:10:59Z

Yazar Jones, Cliff. editor.
https://doi.org/10.1007/978-3-030-01461-2
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-05-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

Yazar Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834
https://doi.org/10.1007/978-3-319-73305-0
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-05-18T19:10:59Z

Yazar Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831
https://doi.org/10.1007/978-3-319-74313-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-18T19:10:59Z

Yazar Avigad, Jeremy. editor.
https://doi.org/10.1007/978-3-319-94821-8
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-05-18T19:10:59Z

Yazar Black, Elizabeth. editor. (orcid)0000-0002-4295-449X
https://doi.org/10.1007/978-3-319-75553-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-18T19:10:59Z

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

Software Technologies: Applications and Foundations STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers

2024-05-18T19:10:59Z

Yazar Seidl, Martina. editor.
https://doi.org/10.1007/978-3-319-74730-9
Format: Electronic Resources

Requirements Engineering: Foundation for Software Quality 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings

2024-05-18T19:10:59Z

Yazar Kamsties, Erik. editor. (orcid)0000-0002-7373-8466
https://doi.org/10.1007/978-3-319-77243-1
Format: Electronic Resources

Software Technologies 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers

2024-05-18T19:10:59Z

Yazar Cabello, Enrique. editor.
https://doi.org/10.1007/978-3-319-93641-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-05-18T19:10:59Z

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

Fundamentals of Java Programming

2024-05-18T19:10:59Z

Yazar Ogihara, Mitsunori. author.
https://doi.org/10.1007/978-3-319-89491-1
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-05-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

Yazar Massoni, Tiago. editor. (orcid)0000-0002-9423-7556
https://doi.org/10.1007/978-3-030-03044-5
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-18T19:10:59Z

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

Topics in Parallel and Distributed Computing Enhancing the Undergraduate Curriculum: Performance, Concurrency, and Programming on Modern Platforms

2024-05-18T19:10:59Z

Yazar Prasad, Sushil K. editor.
https://doi.org/10.1007/978-3-319-93109-8
Format: Electronic Resources

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

2024-05-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

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

Provenance and Annotation of Data and Processes 7th International Provenance and Annotation Workshop, IPAW 2018, London, UK, July 9-10, 2018, Proceedings

2024-05-18T19:10:59Z

Yazar Belhajjame, Khalid. editor. (orcid)0000-0001-6938-0820
https://doi.org/10.1007/978-3-319-98379-0
Format: Electronic Resources

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

2024-05-18T19:10:59Z

Yazar Feng, Xinyu. editor.
https://doi.org/10.1007/978-3-319-99933-3
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-05-18T19:10:59Z

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

Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday

2024-05-18T19:10:59Z

Yazar Lohstroh, Marten. editor.
https://doi.org/10.1007/978-3-319-95246-8
Format: Electronic Resources

Programming with Actors State-of-the-Art and Research Perspectives

2024-05-18T19:10:59Z

Yazar Ricci, Alessandro. editor.
https://doi.org/10.1007/978-3-030-00302-9
Format: Electronic Resources

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

2024-05-18T19:10:59Z

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

Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

2024-05-18T19:10:59Z

Yazar Itsykson, Vladimir. editor.
https://doi.org/10.1007/978-3-319-71734-0
Format: Electronic Resources

Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers

2024-05-18T19:10:59Z

Yazar Wang, Meng. editor.
https://doi.org/10.1007/978-3-319-89719-6
Format: Electronic Resources

SOFSEM 2018: Theory and Practice of Computer Science 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings

2024-05-18T19:10:59Z

Yazar Tjoa, A Min. editor. (orcid)0000-0002-8295-9252
https://doi.org/10.1007/978-3-319-73117-9
Format: Electronic Resources

Mathematical Software – ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings

2024-05-18T19:10:59Z

Yazar Davenport, James H. editor. (orcid)0000-0002-3982-7545
https://doi.org/10.1007/978-3-319-96418-8
Format: Electronic Resources

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

2024-05-18T19:10:59Z

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

Learning Java with Games

2024-05-18T19:10:59Z

Yazar Xu, Chong-wei. author.
https://doi.org/10.1007/978-3-319-72886-5
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-05-18T19:10:59Z

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

Security Standardisation Research 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings

2024-05-18T19:10:59Z

Yazar Cremers, Cas. editor. (orcid)0000-0003-0322-2293
https://doi.org/10.1007/978-3-030-04762-7
Format: Electronic Resources

Product-Focused Software Process Improvement 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings

2024-05-18T19:10:59Z

Yazar Kuhrmann, Marco. editor. (orcid)0000-0001-6101-8931
https://doi.org/10.1007/978-3-030-03673-7
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-05-18T19:10:59Z

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

A Beginner's Guide to Scala, Object Orientation and Functional Programming

2024-05-18T19:10:59Z

Yazar Hunt, John. author.
https://doi.org/10.1007/978-3-319-75771-1
Format: Electronic Resources

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

2024-05-18T19:10:59Z

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

Automatic Tuning of Compilers Using Machine Learning

2024-05-18T19:10:59Z

Yazar Ashouri, Amir H. author.
https://doi.org/10.1007/978-3-319-71489-9
Format: Electronic Resources

On the Move to Meaningful Internet Systems. OTM 2017 Workshops Confederated International Workshops, EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 23–28, 2017, Revised Selected Papers

2024-05-18T19:10:59Z

Yazar Debruyne, Christophe. editor.
https://doi.org/10.1007/978-3-319-73805-5
Format: Electronic Resources

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

2024-05-18T19:10:59Z

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

Speech and Language Processing for Human-Machine Communications Proceedings of CSI 2015

2024-05-18T19:10:59Z

Yazar Agrawal, S. S. editor.
https://doi.org/10.1007/978-981-10-6626-9
Format: Electronic Resources

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

2024-05-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

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

Introduction to Programming with Fortran

2024-05-18T19:10:59Z

Yazar Chivers, Ian. author.
https://doi.org/10.1007/978-3-319-75502-1
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-05-18T19:10:59Z

Yazar Johnsen, Einar Broch. editor.
https://doi.org/10.1007/978-3-319-92970-5
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-05-18T19:10:59Z

Yazar Medina-Bulo, Inmaculada. editor.
https://doi.org/10.1007/978-3-319-99927-2
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-05-18T19:10:59Z

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

Service-Oriented Computing – ICSOC 2017 Workshops ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers

2024-05-18T19:10:59Z

Yazar Braubach, Lars. editor.
https://doi.org/10.1007/978-3-319-91764-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-05-18T19:10:59Z

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

New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings

2024-05-18T19:10:59Z

Yazar Capilla, Rafael. editor. (orcid)0000-0002-6943-1285
https://doi.org/10.1007/978-3-319-90421-4
Format: Electronic Resources

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

2024-05-18T19:10:59Z

Yazar Müller, Peter. editor.
https://doi.org/10.1007/978-3-319-98047-8
Format: Electronic Resources

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

2024-05-18T19:10:59Z

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

Intelligent Computer Mathematics 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings

2024-05-18T19:10:59Z

Yazar Rabe, Florian. editor.
https://doi.org/10.1007/978-3-319-96812-4
Format: Electronic Resources

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

2024-05-18T19:10:59Z

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

Graph Transformation 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

2024-05-18T19:10:59Z

Yazar Lambers, Leen. editor. (orcid)0000-0001-6937-5167
https://doi.org/10.1007/978-3-319-92991-0
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-05-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

Yazar Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175
https://doi.org/10.1007/978-3-030-02146-7
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-18T19:10:59Z

Yazar Lahiri, Shuvendu K. editor.
https://doi.org/10.1007/978-3-030-01090-4
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-05-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

Yazar Benzmüller, Christoph. editor.
https://doi.org/10.1007/978-3-319-99906-7
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-18T19:10:59Z

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

Evaluation of Novel Approaches to Software Engineering 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers

2024-05-18T19:10:59Z

Yazar Damiani, Ernesto. editor.
https://doi.org/10.1007/978-3-319-94135-6
Format: Electronic Resources

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

2024-05-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

Yazar Ciucci, Davide. editor. (orcid)0000-0002-8083-7809
https://doi.org/10.1007/978-3-030-00461-3
Format: Electronic Resources

Computing with Data An Introduction to the Data Industry

2024-05-18T19:10:59Z

Yazar Lebanon, Guy. author.
https://doi.org/10.1007/978-3-319-98149-9
Format: Electronic Resources

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

2024-05-18T19:10:59Z

Yazar Abdelwahed, El Hassan. editor.
https://doi.org/10.1007/978-3-030-00856-7
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-18T19:10:59Z

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

Introduction to Compiler Design

2024-05-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

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-18T19:10:59Z

Yazar Majumdar, Rupak. editor.
https://doi.org/10.1007/978-3-319-63390-9
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-18T19:10:59Z

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

Guide to Scientific Computing in C++

2024-05-18T19:10:59Z

Yazar Pitt-Francis, Joe. author.
https://doi.org/10.1007/978-3-319-73132-2
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-18T19:10:59Z

Yazar Huisman, Marieke. editor.
https://doi.org/10.1007/978-3-662-54494-5
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-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

Yazar Csöndes, Tibor. editor.
https://doi.org/10.1007/978-3-319-68015-6
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-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

Yazar Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091
https://doi.org/10.1007/978-3-319-69904-2
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-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

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

Low Level X Window Programming An Introduction by Examples

2024-05-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

Yazar Ouhammou, Yassine. editor. (orcid)0000-0003-3776-4736
https://doi.org/10.1007/978-3-319-66854-3
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-18T19:10:59Z

Yazar Schmidt, Renate A. editor.
https://doi.org/10.1007/978-3-319-66902-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-18T19:10:59Z

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-18T19:10:59Z

Yazar Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X
https://doi.org/10.1007/978-3-319-63139-4
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-18T19:10:59Z

Yazar de Lara, Juan. editor. (orcid)0000-0001-9425-6362
https://doi.org/10.1007/978-3-319-61470-0
Format: Electronic Resources

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

2024-05-18T19:10:59Z

Yazar Polikarpova, Nadia. editor. (orcid)0000-0001-5571-173X
https://doi.org/10.1007/978-3-319-66845-1
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-18T19:10:59Z

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

Software Engineering: Specification, Implementation, Verification

2024-05-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

Yazar Martínez de Pisón, Francisco Javier. editor.
https://doi.org/10.1007/978-3-319-59650-1
Format: Electronic Resources

Exploring Robotics with ROBOTIS Systems

2024-05-18T19:10:59Z

Yazar Thai, Chi N. author.
https://doi.org/10.1007/978-3-319-59831-4
Format: Electronic Resources

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

2024-05-18T19:10:59Z

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

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

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

2024-05-18T19:10:59Z

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

Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity

2024-05-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

Yazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
https://doi.org/10.1007/978-3-319-52228-9
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-18T19:10:59Z

Yazar Hammoudi, Slimane. editor.
https://doi.org/10.1007/978-3-319-66302-9
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-18T19:10:59Z

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

Machine Learning with R

2024-05-18T19:10:59Z

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

Foundations of Programming Languages

2024-05-18T19:10:59Z

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

Advanced Finite Element Simulation with MSC Marc Application of User Subroutines

2024-05-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

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

Programming with Scala Language Exploration

2024-05-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

Yazar Lopes, Antónia. editor.
https://doi.org/10.1007/978-3-319-65831-5
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-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

Yazar Hung, Dang Van. editor.
https://doi.org/10.1007/978-3-319-67729-3
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-18T19:10:59Z

Yazar de Supinski, Bronis R. editor.
https://doi.org/10.1007/978-3-319-65578-9
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-18T19:10:59Z

Yazar Rivera, Francisco F. editor. (orcid)0000-0002-6728-9350
https://doi.org/10.1007/978-3-319-64203-1
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-18T19:10:59Z

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

Computer Graphics for Java Programmers

2024-05-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

Yazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
https://doi.org/10.1007/978-3-319-62404-4
Format: Electronic Resources

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

2024-05-18T19:10:59Z

Yazar Geuvers, Herman. editor. (orcid)0000-0003-2522-2980
https://doi.org/10.1007/978-3-319-62075-6
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-18T19:10:59Z

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

Programming Language Concepts

2024-05-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

Yazar Abate, Alessandro. editor.
https://doi.org/10.1007/978-3-319-65765-3
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-05-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

Yazar Proença, José. editor.
https://doi.org/10.1007/978-3-319-68034-7
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-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

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

Separation Logic for High-level Synthesis

2024-05-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

Yazar Dastani, Mehdi. editor.
https://doi.org/10.1007/978-3-319-68972-2
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-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

Yazar Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990
https://doi.org/10.1007/978-3-319-66197-1
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-18T19:10:59Z

Yazar Dang, Tran Khanh. editor.
https://doi.org/10.1007/978-3-319-70004-5
Format: Electronic Resources

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

2024-05-18T19:10:59Z

Yazar Menzies, Tim. editor. (orcid)0000-0002-5040-3196
https://doi.org/10.1007/978-3-319-66299-2
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-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

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-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

Yazar Cabello, Enrique. editor.
https://doi.org/10.1007/978-3-319-62569-0
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-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

Yazar Lahiri, Shuvendu. editor.
https://doi.org/10.1007/978-3-319-67531-2
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-18T19:10:59Z

Yazar Kunkel, Julian M. editor.
https://doi.org/10.1007/978-3-319-67630-2
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-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

Yazar Artho, Cyrille. editor.
https://doi.org/10.1007/978-3-319-53946-1
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-18T19:10:59Z

Yazar Blieberger, Johann. editor.
https://doi.org/10.1007/978-3-319-60588-3
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-18T19:10:59Z

Yazar Perner, Petra. editor.
https://doi.org/10.1007/978-3-319-62701-4
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-18T19:10:59Z

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

String Analysis for Software Verification and Security

2024-05-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

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

A Practical Approach to Compiler Construction

2024-05-18T19:10:59Z

Yazar Watson, Des. author.
https://doi.org/10.1007/978-3-319-52789-5
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-18T19:10:59Z

Yazar Paskevich, Andrei. editor.
https://doi.org/10.1007/978-3-319-72308-2
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-18T19:10:59Z

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-18T19:10:59Z

Yazar Jacquet, Jean-Marie. editor.
https://doi.org/10.1007/978-3-319-59746-1
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-18T19:10:59Z

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

Present and Ulterior Software Engineering

2024-05-18T19:10:59Z

Yazar Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948
https://doi.org/10.1007/978-3-319-67425-4
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-18T19:10:59Z

Yazar Lemke-Rust, Kerstin. editor.
https://doi.org/10.1007/978-3-319-54669-8
Format: Electronic Resources

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

2024-05-18T19:10:59Z

Yazar Gibson-Robinson, Thomas. editor.
https://doi.org/10.1007/978-3-319-51046-0
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-18T19:10:59Z

Yazar Yevtushenko, Nina. editor. (orcid)0000-0002-4006-1161
https://doi.org/10.1007/978-3-319-67549-7
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-18T19:10:59Z

Yazar Butler, Michael. editor.
http://dx.doi.org/10.1007/978-3-319-33600-8
Format: Electronic Resources

Software Technologies 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers

2024-05-18T19:10:59Z

Yazar Lorenz, Pascal. editor.
http://dx.doi.org/10.1007/978-3-319-30142-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-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

Yazar Rival, Xavier. editor.
http://dx.doi.org/10.1007/978-3-662-53413-7
Format: Electronic Resources

Programming Languages and Systems 25th European Symposium on Programming, ESOP 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-18T19:10:59Z

Yazar Thiemann, Peter. editor.
http://dx.doi.org/10.1007/978-3-662-49498-1
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-18T19:10:59Z

Yazar Mazzara, Manuel. editor.
http://dx.doi.org/10.1007/978-3-319-41579-6
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-05-18T19:10:59Z

Yazar Lluch Lafuente, Alberto. editor.
http://dx.doi.org/10.1007/978-3-319-39519-7
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-18T19:10:59Z

Yazar ter Beek, Maurice H. editor.
http://dx.doi.org/10.1007/978-3-319-45943-1
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-18T19:10:59Z

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

Euro-Par 2016: Parallel Processing 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings

2024-05-18T19:10:59Z

Yazar Dutot, Pierre-François. editor.
http://dx.doi.org/10.1007/978-3-319-43659-3
Format: Electronic Resources

Search Based Software Engineering 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings

2024-05-18T19:10:59Z

Yazar Sarro, Federica. editor.
http://dx.doi.org/10.1007/978-3-319-47106-8
Format: Electronic Resources

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

2024-05-18T19:10:59Z

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

Model-Based Systems Engineering with OPM and SysML

2024-05-18T19:10:59Z

Yazar Dori, Dov. author.
http://dx.doi.org/10.1007/978-1-4939-3295-5
Format: Electronic Resources

More Math Into LaTeX

2024-05-18T19:10:59Z

Yazar Grätzer, George. author.
http://dx.doi.org/10.1007/978-3-319-23796-1
Format: Electronic Resources

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

2024-05-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

Yazar Kiselyov, Oleg. editor.
http://dx.doi.org/10.1007/978-3-319-29604-3
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-18T19:10:59Z

Yazar Gurfinkel, Arie. editor.
http://dx.doi.org/10.1007/978-3-319-29613-5
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-18T19:10:59Z

Yazar Bošnački, Dragan. editor.
http://dx.doi.org/10.1007/978-3-319-32582-8
Format: Electronic Resources

Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers

2024-05-18T19:10:59Z

Yazar Shen, Xipeng. editor.
http://dx.doi.org/10.1007/978-3-319-29778-1
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-18T19:10:59Z

Yazar Braga, Christiano. editor.
http://dx.doi.org/10.1007/978-3-319-28934-2
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-18T19:10:59Z

Yazar Bertogna, Marko. editor.
http://dx.doi.org/10.1007/978-3-319-39083-3
Format: Electronic Resources

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

2024-05-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

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

Understanding Control Flow Concurrent Programming Using μC++

2024-05-18T19:10:59Z

Yazar Buhr, Peter A. author.
http://dx.doi.org/10.1007/978-3-319-25703-7
Format: Electronic Resources

Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

2024-05-18T19:10:59Z

Yazar Artho, Cyrille. editor.
http://dx.doi.org/10.1007/978-3-319-29510-7
Format: Electronic Resources

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings

2024-05-18T19:10:59Z

Yazar Remke, Anne. editor.
http://dx.doi.org/10.1007/978-3-319-31559-1
Format: Electronic Resources

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

2024-05-18T19:10:59Z

Yazar Gavanelli, Marco. editor.
http://dx.doi.org/10.1007/978-3-319-28228-2
Format: Electronic Resources

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

2024-05-18T19:10:59Z

Yazar Olivetti, Nicola. editor.
http://dx.doi.org/10.1007/978-3-319-40229-1
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-18T19:10:59Z

Yazar Liu, Shaoying. editor.
http://dx.doi.org/10.1007/978-3-319-31220-0
Format: Electronic Resources

Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings

2024-05-18T19:10:59Z

Yazar Wąsowski, Andrzej. editor.
http://dx.doi.org/10.1007/978-3-319-42061-5
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-18T19:10:59Z

Yazar Lucanu, Dorel. editor.
http://dx.doi.org/10.1007/978-3-319-44802-2
Format: Electronic Resources

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

2024-05-18T19:10:59Z

Yazar Baldoni, Matteo. editor.
http://dx.doi.org/10.1007/978-3-319-44832-9
Format: Electronic Resources

Human-Centered and Error-Resilient Systems Development IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings

2024-05-18T19:10:59Z

Yazar Bogdan, Cristian. editor.
http://dx.doi.org/10.1007/978-3-319-44902-9
Format: Electronic Resources

Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings

2024-05-18T19:10:59Z

Yazar Skavhaug, Amund. editor.
http://dx.doi.org/10.1007/978-3-319-45477-1
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-18T19:10:59Z

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

System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings

2024-05-18T19:10:59Z

Yazar Grabowski, Jens. editor.
http://dx.doi.org/10.1007/978-3-319-46613-2
Format: Electronic Resources

Transactions on Modularity and Composition I

2024-05-18T19:10:59Z

Yazar Chiba, Shigeru. editor.
http://dx.doi.org/10.1007/978-3-319-46969-0
Format: Electronic Resources

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

2024-05-18T19:10:59Z

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

Using Microsoft Dynamics AX The New Dynamics ‘AX 7‘

2024-05-18T19:10:59Z

Yazar Luszczak, Andreas. author.
http://dx.doi.org/10.1007/978-3-658-13622-2
Format: Electronic Resources

Numeric Computation and Statistical Data Analysis on the Java Platform

2024-05-18T19:10:59Z

Yazar Chekanov, Sergei V. author.
http://dx.doi.org/10.1007/978-3-319-28531-3
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-18T19:10:59Z

Yazar Lindley, Sam. editor.
http://dx.doi.org/10.1007/978-3-319-30936-1
Format: Electronic Resources

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

2024-05-18T19:10:59Z

Yazar Rayadurgam, Sanjai. editor.
http://dx.doi.org/10.1007/978-3-319-40648-0
Format: Electronic Resources

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

2024-05-18T19:10:59Z

Yazar Kohlhase, Michael. editor.
http://dx.doi.org/10.1007/978-3-319-42547-4
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-18T19:10:59Z

Yazar Jacobs, Bart. editor.
http://dx.doi.org/10.1007/978-3-662-49630-5
Format: Electronic Resources

Transactions on Foundations for Mastering Change I

2024-05-18T19:10:59Z

Yazar Steffen, Bernhard. editor.
http://dx.doi.org/10.1007/978-3-319-46508-1
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-18T19:10:59Z

Yazar Bernardo, Marco. editor.
http://dx.doi.org/10.1007/978-3-319-34096-8
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-18T19:10:59Z

Yazar Yakovyna, Vitaliy. editor.
http://dx.doi.org/10.1007/978-3-319-30246-1
Format: Electronic Resources

Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

2024-05-18T19:10:59Z

Yazar Liu, Zhiming. editor.
http://dx.doi.org/10.1007/978-3-319-29628-9
Format: Electronic Resources

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

2024-05-18T19:10:59Z

Yazar Serrano, Manuel. editor.
http://dx.doi.org/10.1007/978-3-319-39110-6
Format: Electronic Resources

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

2024-05-18T19:10:59Z

Yazar Perner, Petra. editor.
http://dx.doi.org/10.1007/978-3-319-41561-1
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-18T19:10:59Z

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

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

2024-05-18T19:10:59Z

Yazar Crnkovic, Ivica. editor.
http://dx.doi.org/10.1007/978-3-319-45892-2
Format: Electronic Resources

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

2024-05-18T19:10:59Z

Yazar Castor, Fernando. editor.
http://dx.doi.org/10.1007/978-3-319-45279-1
Format: Electronic Resources

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

2024-05-18T19:10:59Z

Yazar Torra, Vicenç. author.
http://dx.doi.org/10.1007/978-3-319-46481-7
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-18T19:10:59Z

Yazar Chechik, Marsha. editor.
http://dx.doi.org/10.1007/978-3-662-49674-9
Format: Electronic Resources

OpenMP: Memory, Devices, and Tasks 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings

2024-05-18T19:10:59Z

Yazar Maruyama, Naoya. editor.
http://dx.doi.org/10.1007/978-3-319-45550-1
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-18T19:10:59Z

Yazar Jobstmann, Barbara. editor.
http://dx.doi.org/10.1007/978-3-662-49122-5
Format: Electronic Resources

Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings

2024-05-18T19:10:59Z

Yazar Kapitsaki, Georgia M. editor.
http://dx.doi.org/10.1007/978-3-319-35122-3
Format: Electronic Resources

Design and Implementation of the MTX Operating System

2024-05-18T19:10:59Z

Yazar Wang, K. C. author.
http://dx.doi.org/10.1007/978-3-319-17575-1
Format: Electronic Resources

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77

2024-05-18T19:10:59Z

Yazar Chivers, Ian. author.
http://dx.doi.org/10.1007/978-3-319-17701-4
Format: Electronic Resources

Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

2024-05-18T19:10:59Z

Yazar Holvoet, Tom. editor.
http://dx.doi.org/10.1007/978-3-319-19282-6
Format: Electronic Resources

Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings

2024-05-18T19:10:59Z

Yazar Pontelli, Enrico. editor.
http://dx.doi.org/10.1007/978-3-319-19686-2
Format: Electronic Resources

Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings

2024-05-18T19:10:59Z

Yazar Hinze, Ralf. editor.
http://dx.doi.org/10.1007/978-3-319-19797-5
Format: Electronic Resources

Theory and Practice of Model Transformations 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings

2024-05-18T19:10:59Z

Yazar Kolovos, Dimitris. editor.
http://dx.doi.org/10.1007/978-3-319-21155-8
Format: Electronic Resources

Software Architecture 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings

2024-05-18T19:10:59Z

Yazar Weyns, Danny. editor.
http://dx.doi.org/10.1007/978-3-319-23727-5
Format: Electronic Resources

Programming Languages 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings

2024-05-18T19:10:59Z

Yazar Pardo, Alberto. editor.
http://dx.doi.org/10.1007/978-3-319-24012-1
Format: Electronic Resources

Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

2024-05-18T19:10:59Z

Yazar Piterman, Nir. editor.
http://dx.doi.org/10.1007/978-3-319-26287-1
Format: Electronic Resources

Static Analysis 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings

2024-05-18T19:10:59Z

Yazar Blazy, Sandrine. editor.
http://dx.doi.org/10.1007/978-3-662-48288-9
Format: Electronic Resources

Using Microsoft Dynamics AX 2012 Updated for Version R3

2024-05-18T19:10:59Z

Yazar Luszczak, Andreas. author.
http://dx.doi.org/10.1007/978-3-658-08295-6
Format: Electronic Resources

Guide to Fortran 2008 Programming

2024-05-18T19:10:59Z

Yazar Brainerd, Walter S. author.
http://dx.doi.org/10.1007/978-1-4471-6759-4
Format: Electronic Resources

Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering

2024-05-18T19:10:59Z

Yazar Nicola, Rocco De. editor.
http://dx.doi.org/10.1007/978-3-319-15545-6
Format: Electronic Resources

Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

2024-05-18T19:10:59Z

Yazar Braga, Christiano. editor.
http://dx.doi.org/10.1007/978-3-319-15075-8
Format: Electronic Resources

NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

2024-05-18T19:10:59Z

Yazar Havelund, Klaus. editor.
http://dx.doi.org/10.1007/978-3-319-17524-9
Format: Electronic Resources

Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings

2024-05-18T19:10:59Z

Yazar Fantechi, Alessandro. editor.
http://dx.doi.org/10.1007/978-3-319-23129-7
Format: Electronic Resources

Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

2024-05-18T19:10:59Z

Yazar Martí-Oliet, Narciso. editor.
http://dx.doi.org/10.1007/978-3-319-23165-5
Format: Electronic Resources

Advanced Parallel Processing Technologies 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings

2024-05-18T19:10:59Z

Yazar Chen, Yunji. editor.
http://dx.doi.org/10.1007/978-3-319-23216-4
Format: Electronic Resources

Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

2024-05-18T19:10:59Z

Yazar Butler, Michael. editor.
http://dx.doi.org/10.1007/978-3-319-25423-4
Format: Electronic Resources

Software Technologies 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers

2024-05-18T19:10:59Z

Yazar Holzinger, Andreas. editor.
http://dx.doi.org/10.1007/978-3-319-25579-8
Format: Electronic Resources

Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers

2024-05-18T19:10:59Z

Yazar Dastani, Mehdi. editor.
http://dx.doi.org/10.1007/978-3-319-24644-4
Format: Electronic Resources

Formalizing Data-Centric Web Services

2024-05-18T19:10:59Z

Yazar Saleh, Iman. author.
http://dx.doi.org/10.1007/978-3-319-24678-9
Format: Electronic Resources

SDL 2015: Model-Driven Engineering for Smart Cities 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings

2024-05-18T19:10:59Z

Yazar Fischer, Joachim. editor.
http://dx.doi.org/10.1007/978-3-319-24912-4
Format: Electronic Resources

Testing Software and Systems 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings

2024-05-18T19:10:59Z

Yazar El-Fakih, Khaled. editor.
http://dx.doi.org/10.1007/978-3-319-25945-1
Format: Electronic Resources

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

2024-05-18T19:10:59Z

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

Globalizing Domain-Specific Languages International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers

2024-05-18T19:10:59Z

Yazar Combemale, Benoit. editor.
http://dx.doi.org/10.1007/978-3-319-26172-0
Format: Electronic Resources

Trends in Functional Programming 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers

2024-05-18T19:10:59Z

Yazar Hage, Jurriaan. editor.
http://dx.doi.org/10.1007/978-3-319-14675-1
Format: Electronic Resources

Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers

2024-05-18T19:10:59Z

Yazar Zsók, Viktória. editor.
http://dx.doi.org/10.1007/978-3-319-15940-9
Format: Electronic Resources

Reliable Software Technologies – Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings

2024-05-18T19:10:59Z

Yazar de la Puente, Juan Antonio. editor.
http://dx.doi.org/10.1007/978-3-319-19584-1
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-05-18T19:10:59Z

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

Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers

2024-05-18T19:10:59Z

Yazar Liu, Shaoying. editor.
http://dx.doi.org/10.1007/978-3-319-17404-4
Format: Electronic Resources

Exploring Robotics with ROBOTIS Systems

2024-05-18T19:10:59Z

Yazar Thai, Chi N. author.
http://dx.doi.org/10.1007/978-3-319-20418-5
Format: Electronic Resources

Object-Oriented Technology

2024-05-18T19:10:59Z

Yazar Alagić, Suad. author.
http://dx.doi.org/10.1007/978-3-319-20442-0
Format: Electronic Resources

Model Checking Software 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

2024-05-18T19:10:59Z

Yazar Fischer, Bernd. editor.
http://dx.doi.org/10.1007/978-3-319-23404-5
Format: Electronic Resources

Application and Theory of Petri Nets and Concurrency 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings

2024-05-18T19:10:59Z

Yazar Devillers, Raymond. editor.
http://dx.doi.org/10.1007/978-3-319-19488-2
Format: Electronic Resources

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

2024-05-18T19:10:59Z

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

Computer Safety, Reliability, and Security 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings

2024-05-18T19:10:59Z

Yazar Koornneef, Floor. editor.
http://dx.doi.org/10.1007/978-3-319-24255-2
Format: Electronic Resources

Model-Integrating Software Components Engineering Flexible Software Systems

2024-05-18T19:10:59Z

Yazar Derakhshanmanesh, Mahdi. author.
http://dx.doi.org/10.1007/978-3-658-09646-5
Format: Electronic Resources

Understanding Network Hacks Attack and Defense with Python

2024-05-18T19:10:59Z

Yazar Ballmann, Bastian. author.
http://dx.doi.org/10.1007/978-3-662-44437-5
Format: Electronic Resources

Transactions on Aspect-Oriented Software Development XII

2024-05-18T19:10:59Z

Yazar Chiba, Shigeru. editor.
http://dx.doi.org/10.1007/978-3-662-46734-3
Format: Electronic Resources

Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

2024-05-18T19:10:59Z

Yazar Canal, Carlos. editor.
http://dx.doi.org/10.1007/978-3-319-15201-1
Format: Electronic Resources

Languages and Compilers for Parallel Computing 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers

2024-05-18T19:10:59Z

Yazar Brodman, James. editor.
http://dx.doi.org/10.1007/978-3-319-17473-0
Format: Electronic Resources

Software Engineering for Collective Autonomic Systems The ASCENS Approach

2024-05-18T19:10:59Z

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

Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

2024-05-18T19:10:59Z

Yazar Artho, Cyrille. editor.
http://dx.doi.org/10.1007/978-3-319-17581-2
Format: Electronic Resources

Modelling Foundations and Applications 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings

2024-05-18T19:10:59Z

Yazar Taentzer, Gabriele. editor.
http://dx.doi.org/10.1007/978-3-319-21151-0
Format: Electronic Resources

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

2024-05-18T19:10:59Z

Yazar Calinescu, Radu. editor.
http://dx.doi.org/10.1007/978-3-319-22969-0
Format: Electronic Resources

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings

2024-05-18T19:10:59Z

Yazar Blanchette, Jasmin Christian. editor.
http://dx.doi.org/10.1007/978-3-319-21215-9
Format: Electronic Resources

Search-Based Software Engineering 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings

2024-05-18T19:10:59Z

Yazar Barros, Márcio. editor.
http://dx.doi.org/10.1007/978-3-319-22183-0
Format: Electronic Resources

Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings

2024-05-18T19:10:59Z

Yazar Núñez, Manuel. editor.
http://dx.doi.org/10.1007/978-3-319-19458-5
Format: Electronic Resources

OpenMP: Heterogenous Execution and Data Movements 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings

2024-05-18T19:10:59Z

Yazar Terboven, Christian. editor.
http://dx.doi.org/10.1007/978-3-319-24595-9
Format: Electronic Resources

Building Secure Defenses Against Code-Reuse Attacks

2024-05-18T19:10:59Z

Yazar Davi, Lucas. author.
http://dx.doi.org/10.1007/978-3-319-25546-0
Format: Electronic Resources

Languages, Applications and Technologies 4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015, Revised Selected Papers

2024-05-18T19:10:59Z

Yazar Sierra-Rodríguez, José-Luis. editor.
http://dx.doi.org/10.1007/978-3-319-27653-3
Format: Electronic Resources

Information Security 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings

2024-05-18T19:10:59Z

Yazar Desmedt, Yvo. editor.
http://dx.doi.org/10.1007/978-3-319-27659-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-05-18T19:10:59Z

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

Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

2024-05-18T19:10:59Z

Yazar Finkbeiner, Bernd. editor.
http://dx.doi.org/10.1007/978-3-319-24953-7
Format: Electronic Resources

Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures

2024-05-18T19:10:59Z

Yazar Meyer, Bertrand. editor.
http://dx.doi.org/10.1007/978-3-319-28406-4
Format: Electronic Resources

Programming Languages and Systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings

2024-05-18T19:10:59Z

Yazar Feng, Xinyu. editor.
http://dx.doi.org/10.1007/978-3-319-26529-2
Format: Electronic Resources

Automatic SIMD Vectorization of SSA-based Control Flow Graphs

2024-05-18T19:10:59Z

Yazar Karrenberg, Ralf. author.
http://dx.doi.org/10.1007/978-3-658-10113-8
Format: Electronic Resources

Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings

2024-05-18T19:10:59Z

Yazar Träff, Jesper Larsson. editor.
http://dx.doi.org/10.1007/978-3-662-48096-0
Format: Electronic Resources

Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

2024-05-18T19:10:59Z

Yazar Davis, Martin. editor.
http://dx.doi.org/10.1007/978-3-662-48899-7
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings

2024-05-18T19:10:59Z

Yazar D’Souza, Deepak. editor.
http://dx.doi.org/10.1007/978-3-662-46081-8
Format: Electronic Resources

Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

2024-05-18T19:10:59Z

Yazar Lanese, Ivan. editor.
http://dx.doi.org/10.1007/978-3-319-15317-9
Format: Electronic Resources

Unifying Theories of Programming 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers

2024-05-18T19:10:59Z

Yazar Naumann, David. editor.
http://dx.doi.org/10.1007/978-3-319-14806-9
Format: Electronic Resources

Programming Smalltalk – Object-Orientation from the Beginning An introduction to the principles of programming

2024-05-18T19:10:59Z

Yazar Brauer, Johannes. author.
http://dx.doi.org/10.1007/978-3-658-06823-3
Format: Electronic Resources

Compiler Construction 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2024-05-18T19:10:59Z

Yazar Franke, Björn. editor.
http://dx.doi.org/10.1007/978-3-662-46663-6
Format: Electronic Resources

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

2024-05-18T19:10:59Z

Yazar Bansal, Nikhil. editor.
http://dx.doi.org/10.1007/978-3-662-48350-3
Format: Electronic Resources

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers

2024-05-18T19:10:59Z

Yazar Voronkov, Andrei. editor.
http://dx.doi.org/10.1007/978-3-662-46823-4
Format: Electronic Resources

Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2024-05-18T19:10:59Z

Yazar Egyed, Alexander. editor.
http://dx.doi.org/10.1007/978-3-662-46675-9
Format: Electronic Resources

Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2024-05-18T19:10:59Z

Yazar Pitts, Andrew. editor.
http://dx.doi.org/10.1007/978-3-662-46678-0
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2024-05-18T19:10:59Z

Yazar Baier, Christel. editor.
http://dx.doi.org/10.1007/978-3-662-46681-0
Format: Electronic Resources

JRuby Rails Web Application Development

2024-05-18T19:10:59Z

Yazar Vohra, Deepak. author.
http://dx.doi.org/10.1007/978-3-319-03934-3
Format: Electronic Resources