Search Results for - Narrowed by: Programming Techniques.

Tools for High Performance Computing 2017 Proceedings of the 11th International Workshop on Parallel Tools for High Performance Computing, September 2017, Dresden, Germany

2024-04-29T17:56:05Z

Yazar Niethammer, Christoph. editor.
https://doi.org/10.1007/978-3-030-11987-4
Format: Electronic Resources

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

2024-04-29T17:56:05Z

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

High Performance Computing for Computational Science – VECPAR 2018 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers

2024-04-29T17:56:05Z

Yazar Senger, Hermes. editor. (orcid)0000-0003-1273-9809
https://doi.org/10.1007/978-3-030-15996-2
Format: Electronic Resources

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

2024-04-29T17:56:05Z

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

Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings

2024-04-29T17:56:05Z

Yazar Peng, Xin. editor.
https://doi.org/10.1007/978-3-030-22888-0
Format: Electronic Resources

Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday

2024-04-29T17:56:05Z

Yazar Boreale, Michele. editor. (orcid)0000-0002-1972-7491
https://doi.org/10.1007/978-3-030-21485-2
Format: Electronic Resources

Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings

2024-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

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

Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

2024-04-29T17:56:05Z

Yazar Bjørner, Nikolaj. editor.
https://doi.org/10.1007/978-3-030-37487-7
Format: Electronic Resources

Advanced Software Technologies for Post-Peta Scale Computing The Japanese Post-Peta CREST Research Project

2024-04-29T17:56:05Z

Yazar Sato, Mitsuhisa. editor.
https://doi.org/10.1007/978-981-13-1924-2
Format: Electronic Resources

Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers

2024-04-29T17:56:05Z

Yazar Lujak, Marin. editor.
https://doi.org/10.1007/978-3-030-17294-7
Format: Electronic Resources

Concise Guide to Object-Oriented Programming An Accessible Approach Using Java

2024-04-29T17:56:05Z

Yazar Sage, Kingsley. author.
https://doi.org/10.1007/978-3-030-13304-7
Format: Electronic Resources

Deep Learning with R

2024-04-29T17:56:05Z

Yazar Ghatak, Abhijit. author.
https://doi.org/10.1007/978-981-13-5850-0
Format: Electronic Resources

Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings

2024-04-29T17:56:05Z

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

Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

2024-04-29T17:56:05Z

Yazar Silva, Josep. editor.
https://doi.org/10.1007/978-3-030-16202-3
Format: Electronic Resources

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

2024-04-29T17:56:05Z

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

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

2024-04-29T17:56:05Z

Yazar Bojańczyk, Mikołaj. editor.
https://doi.org/10.1007/978-3-030-17127-8
Format: Electronic Resources

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

2024-04-29T17:56:05Z

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

Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings

2024-04-29T17:56:05Z

Yazar Nejati, Shiva. editor.
https://doi.org/10.1007/978-3-030-27455-9
Format: Electronic Resources

Designing Thriving Systems Marrying Technical Rationality and Appreciative Systems

2024-04-29T17:56:05Z

Yazar Waguespack, Leslie J. author.
https://doi.org/10.1007/978-3-030-03925-7
Format: Electronic Resources

Quality of Information and Communications Technology 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedings

2024-04-29T17:56:05Z

Yazar Piattini, Mario. editor. (orcid)0000-0002-7212-8279
https://doi.org/10.1007/978-3-030-29238-6
Format: Electronic Resources

Trends in Functional Programming 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers

2024-04-29T17:56:05Z

Yazar Van Horn, David. editor.
https://doi.org/10.1007/978-3-030-14805-8
Format: Electronic Resources

Learning C# by Programming Games

2024-04-29T17:56:05Z

Yazar van Toll, Wouter. author.
https://doi.org/10.1007/978-3-662-59252-6
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

2024-04-29T17:56:05Z

Yazar Mesnard, Fred. editor.
https://doi.org/10.1007/978-3-030-13838-7
Format: Electronic Resources

Deep Reinforcement Learning Frontiers of Artificial Intelligence

2024-04-29T17:56:05Z

Yazar Sewak, Mohit. author.
https://doi.org/10.1007/978-981-13-8285-7
Format: Electronic Resources

The Art of High Performance Computing for Computational Science, Vol. 2 Advanced Techniques and Examples for Materials Science

2024-04-29T17:56:05Z

Yazar Geshi, Masaaki. editor.
https://doi.org/10.1007/978-981-13-9802-5
Format: Electronic Resources

Modeling and Optimization in Space Engineering State of the Art and New Challenges

2024-04-29T17:56:05Z

Yazar Fasano, Giorgio. editor.
https://doi.org/10.1007/978-3-030-10501-3
Format: Electronic Resources

Central European Functional Programming School 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers

2024-04-29T17:56:05Z

Yazar Zsók, Viktória. editor.
https://doi.org/10.1007/978-3-030-28346-9
Format: Electronic Resources

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

2024-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

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

Graphical Models for Security 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers

2024-04-29T17:56:05Z

Yazar Cybenko, George. editor. (orcid)0000-0001-7734-2912
https://doi.org/10.1007/978-3-030-15465-3
Format: Electronic Resources

Foundations and Practice of Security 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papers

2024-04-29T17:56:05Z

Yazar Zincir-Heywood, Nur. editor.
https://doi.org/10.1007/978-3-030-18419-3
Format: Electronic Resources

The Art of High Performance Computing for Computational Science, Vol. 1 Techniques of Speedup and Parallelization for General Purposes

2024-04-29T17:56:05Z

Yazar Geshi, Masaaki. editor.
https://doi.org/10.1007/978-981-13-6194-4
Format: Electronic Resources

Supercomputing 5th Russian Supercomputing Days, RuSCDays 2019, Moscow, Russia, September 23–24, 2019, Revised Selected Papers

2024-04-29T17:56:05Z

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

End-User Development 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings

2024-04-29T17:56:05Z

Yazar Malizia, Alessio. editor.
https://doi.org/10.1007/978-3-030-24781-2
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-04-29T17:56:05Z

Yazar Johnsen, Einar Broch. editor.
https://doi.org/10.1007/978-3-319-92970-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-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

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-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

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

Engineering Multi-Agent Systems 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers

2024-04-29T17:56:05Z

Yazar El Fallah-Seghrouchni, Amal. editor.
https://doi.org/10.1007/978-3-319-91899-0
Format: Electronic Resources

Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers

2024-04-29T17:56:05Z

Yazar Seipel, Dietmar. editor.
https://doi.org/10.1007/978-3-030-00801-7
Format: Electronic Resources

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

2024-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

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-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

Yazar Moss, Lawrence S. editor.
https://doi.org/10.1007/978-3-662-57669-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-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

Yazar Lambers, Leen. editor. (orcid)0000-0001-6937-5167
https://doi.org/10.1007/978-3-319-92991-0
Format: Electronic Resources

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

2024-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

Yazar Hunt, John. author.
https://doi.org/10.1007/978-3-319-75771-1
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-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

Yazar Seidl, Martina. editor.
https://doi.org/10.1007/978-3-319-74730-9
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-04-29T17:56:05Z

Yazar Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831
https://doi.org/10.1007/978-3-319-74313-4
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-04-29T17:56:05Z

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

OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers

2024-04-29T17:56:05Z

Yazar Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682
https://doi.org/10.1007/978-3-319-73814-7
Format: Electronic Resources

Affective Feedback in Intelligent Tutoring Systems A Practical Approach

2024-04-29T17:56:05Z

Yazar Jiménez, Samantha. author.
https://doi.org/10.1007/978-3-319-93197-5
Format: Electronic Resources

Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings

2024-04-29T17:56:05Z

Yazar Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303
https://doi.org/10.1007/978-3-319-77313-1
Format: Electronic Resources

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

2024-04-29T17:56:05Z

Yazar Lachiche, Nicolas. editor.
https://doi.org/10.1007/978-3-319-78090-0
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-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

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

AI Approaches to the Complexity of Legal Systems AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers

2024-04-29T17:56:05Z

Yazar Pagallo, Ugo. editor. (orcid)0000-0001-7981-8849
https://doi.org/10.1007/978-3-030-00178-0
Format: Electronic Resources

Learning Java with Games

2024-04-29T17:56:05Z

Yazar Xu, Chong-wei. author.
https://doi.org/10.1007/978-3-319-72886-5
Format: Electronic Resources

Routines of Substitution John von Neumann’s Work on Software Development, 1945–1948

2024-04-29T17:56:05Z

Yazar Priestley, Mark. author.
https://doi.org/10.1007/978-3-319-91671-2
Format: Electronic Resources

Introduction to Programming with Fortran

2024-04-29T17:56:05Z

Yazar Chivers, Ian. author.
https://doi.org/10.1007/978-3-319-75502-1
Format: Electronic Resources

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

2024-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

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

Algorithms for Functional Programming

2024-04-29T17:56:05Z

Yazar Stone, John David. author.
https://doi.org/10.1007/978-3-662-57970-1
Format: Electronic Resources

Systems Programming in Unix/Linux

2024-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

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

Towards Extensible and Adaptable Methods in Computing

2024-04-29T17:56:05Z

Yazar Chakraverty, Shampa. editor.
https://doi.org/10.1007/978-981-13-2348-5
Format: Electronic Resources

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

2024-04-29T17:56:05Z

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

Introduction to Parallel Computing From Algorithms to Programming on State-of-the-Art Platforms

2024-04-29T17:56:05Z

Yazar Trobec, Roman. author.
https://doi.org/10.1007/978-3-319-98833-7
Format: Electronic Resources

Guide to Programming for the Digital Humanities Lessons for Introductory Python

2024-04-29T17:56:05Z

Yazar Kokensparger, Brian. author.
https://doi.org/10.1007/978-3-319-99115-3
Format: Electronic Resources

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

2024-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

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

Graphical Models for Security 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers

2024-04-29T17:56:05Z

Yazar Liu, Peng. editor.
https://doi.org/10.1007/978-3-319-74860-3
Format: Electronic Resources

Fundamentals of Java Programming

2024-04-29T17:56:05Z

Yazar Ogihara, Mitsunori. author.
https://doi.org/10.1007/978-3-319-89491-1
Format: Electronic Resources

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

2024-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

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-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

Yazar Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091
https://doi.org/10.1007/978-3-319-69904-2
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-04-29T17:56:05Z

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

Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings

2024-04-29T17:56:05Z

Yazar Gabmeyer, Sebastian. editor. (orcid)0000-0002-4097-9917
https://doi.org/10.1007/978-3-319-61467-0
Format: Electronic Resources

Provably Correct Systems

2024-04-29T17:56:05Z

Yazar Hinchey, Mike. editor.
https://doi.org/10.1007/978-3-319-48628-4
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-04-29T17:56:05Z

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-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

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

Agent Based Modelling of Urban Systems First International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited Papers

2024-04-29T17:56:05Z

Yazar Namazi-Rad, Mohammad-Reza. editor.
https://doi.org/10.1007/978-3-319-51957-9
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-04-29T17:56:05Z

Yazar Anjorin, Anthony. editor. (orcid)0000-0001-6213-6243
https://doi.org/10.1007/978-3-319-61482-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-04-29T17:56:05Z

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

Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

2024-04-29T17:56:05Z

Yazar Balduccini, Marcello. editor.
https://doi.org/10.1007/978-3-319-61660-5
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-04-29T17:56:05Z

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

Inductive Logic Programming 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers

2024-04-29T17:56:05Z

Yazar Cussens, James. editor.
https://doi.org/10.1007/978-3-319-63342-8
Format: Electronic Resources

Handbook of Big Data Technologies

2024-04-29T17:56:05Z

Yazar Zomaya, Albert Y. editor.
https://doi.org/10.1007/978-3-319-49340-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-04-29T17:56:05Z

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

Parallel Computational Technologies 11th International Conference, PCT 2017, Kazan, Russia, April 3–7, 2017, Revised Selected Papers

2024-04-29T17:56:05Z

Yazar Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918
https://doi.org/10.1007/978-3-319-67035-5
Format: Electronic Resources

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

2024-04-29T17:56:05Z

Yazar van den Herik, Jaap. editor.
https://doi.org/10.1007/978-3-319-53354-4
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-04-29T17:56:05Z

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

Conversations Around Semiotic Engineering

2024-04-29T17:56:05Z

Yazar Diniz Junqueira Barbosa, Simone. editor.
https://doi.org/10.1007/978-3-319-56291-9
Format: Electronic Resources

Machine Learning with R

2024-04-29T17:56:05Z

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

Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings

2024-04-29T17:56:05Z

Yazar Drewes, Frank. editor.
https://doi.org/10.1007/978-3-319-53733-7
Format: Electronic Resources

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

2024-04-29T17:56:05Z

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

High-Performance Scientific Computing First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4–5, 2016, Revised Selected Papers

2024-04-29T17:56:05Z

Yazar Di Napoli, Edoardo. editor.
https://doi.org/10.1007/978-3-319-53862-4
Format: Electronic Resources

Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25–26, 2017, Revised Selected Papers

2024-04-29T17:56:05Z

Yazar Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106
https://doi.org/10.1007/978-3-319-71255-0
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-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

Yazar Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990
https://doi.org/10.1007/978-3-319-66197-1
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-04-29T17:56:05Z

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

Snake Charming - The Musical Python

2024-04-29T17:56:05Z

Yazar Gray, Iain. author.
https://doi.org/10.1007/978-3-319-60660-6
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-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

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

Guide to Scientific Computing in C++

2024-04-29T17:56:05Z

Yazar Pitt-Francis, Joe. author.
https://doi.org/10.1007/978-3-319-73132-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-04-29T17:56:05Z

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

Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity

2024-04-29T17:56:05Z

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

Fluid Dynamics Theory, Computation, and Numerical Simulation

2024-04-29T17:56:05Z

Yazar Pozrikidis, C. author.
https://doi.org/10.1007/978-1-4899-7991-9
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-04-29T17:56:05Z

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

Guide to Competitive Programming Learning and Improving Algorithms Through Contests

2024-04-29T17:56:05Z

Yazar Laaksonen, Antti. author.
https://doi.org/10.1007/978-3-319-72547-5
Format: Electronic Resources

LaTeX in 24 Hours A Practical Guide for Scientific Writing

2024-04-29T17:56:05Z

Yazar Datta, Dilip. author.
https://doi.org/10.1007/978-3-319-47831-9
Format: Electronic Resources

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

2024-04-29T17:56:05Z

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

Low Level X Window Programming An Introduction by Examples

2024-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

Yazar Martínez de Pisón, Francisco Javier. editor.
https://doi.org/10.1007/978-3-319-59650-1
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-04-29T17:56:05Z

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-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

Yazar Torra, Vicenç. author.
http://dx.doi.org/10.1007/978-3-319-46481-7
Format: Electronic Resources

Transactions on Foundations for Mastering Change I

2024-04-29T17:56:05Z

Yazar Steffen, Bernhard. editor.
http://dx.doi.org/10.1007/978-3-319-46508-1
Format: Electronic Resources

Random-Like Bi-level Decision Making

2024-04-29T17:56:05Z

Yazar Xu, Jiuping. author.
http://dx.doi.org/10.1007/978-981-10-1768-1
Format: Electronic Resources

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

2024-04-29T17:56:05Z

Yazar Castor, Fernando. editor.
http://dx.doi.org/10.1007/978-3-319-45279-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-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

Yazar Dutot, Pierre-François. editor.
http://dx.doi.org/10.1007/978-3-319-43659-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-04-29T17:56:05Z

Yazar Lindley, Sam. editor.
http://dx.doi.org/10.1007/978-3-319-30936-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-04-29T17:56:05Z

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

Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I

2024-04-29T17:56:05Z

Yazar Wyrzykowski, Roman. editor.
http://dx.doi.org/10.1007/978-3-319-32149-3
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-04-29T17:56:05Z

Yazar Lluch Lafuente, Alberto. editor.
http://dx.doi.org/10.1007/978-3-319-39519-7
Format: Electronic Resources

Introduction to HPC with MPI for Data Science

2024-04-29T17:56:05Z

Yazar Nielsen, Frank. author.
http://dx.doi.org/10.1007/978-3-319-21903-5
Format: Electronic Resources

Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II

2024-04-29T17:56:05Z

Yazar Wyrzykowski, Roman. editor.
http://dx.doi.org/10.1007/978-3-319-32152-3
Format: Electronic Resources

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

2024-04-29T17:56:05Z

Yazar Kapitsaki, Georgia M. editor.
http://dx.doi.org/10.1007/978-3-319-35122-3
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-04-29T17:56:05Z

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

Retrogame Archeology Exploring Old Computer Games

2024-04-29T17:56:05Z

Yazar Aycock, John. author.
http://dx.doi.org/10.1007/978-3-319-30004-7
Format: Electronic Resources

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

2024-04-29T17:56:05Z

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

Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers

2024-04-29T17:56:05Z

Yazar Inoue, Katsumi. editor.
http://dx.doi.org/10.1007/978-3-319-40566-7
Format: Electronic Resources

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

2024-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

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-04-29T17:56:05Z

Yazar Gurfinkel, Arie. editor.
http://dx.doi.org/10.1007/978-3-319-29613-5
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-04-29T17:56:05Z

Yazar Shen, Xipeng. editor.
http://dx.doi.org/10.1007/978-3-319-29778-1
Format: Electronic Resources

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

2024-04-29T17:56:05Z

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

Understanding Control Flow Concurrent Programming Using μC++

2024-04-29T17:56:05Z

Yazar Buhr, Peter A. author.
http://dx.doi.org/10.1007/978-3-319-25703-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-04-29T17:56:05Z

Yazar Thiemann, Peter. editor.
http://dx.doi.org/10.1007/978-3-662-49498-1
Format: Electronic Resources

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

2024-04-29T17:56:05Z

Yazar Sarro, Federica. editor.
http://dx.doi.org/10.1007/978-3-319-47106-8
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-04-29T17:56:05Z

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

Collaborative Quality Assurance in Information Systems Development The Interaction of Software Development Techniques and Team Cognition

2024-04-29T17:56:05Z

Yazar Spohrer, Kai. author.
http://dx.doi.org/10.1007/978-3-319-25163-9
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-04-29T17:56:05Z

Yazar Perner, Petra. editor.
http://dx.doi.org/10.1007/978-3-319-41561-1
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-04-29T17:56:05Z

Yazar Wąsowski, Andrzej. editor.
http://dx.doi.org/10.1007/978-3-319-42061-5
Format: Electronic Resources

Data Structures and Algorithms with Python

2024-04-29T17:56:05Z

Yazar Lee, Kent D. author.
http://dx.doi.org/10.1007/978-3-319-13072-9
Format: Electronic Resources

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

2024-04-29T17:56:05Z

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

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday

2024-04-29T17:56:05Z

Yazar Eiter, Thomas. editor.
http://dx.doi.org/10.1007/978-3-319-14726-0
Format: Electronic Resources

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

2024-04-29T17:56:05Z

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

Solving Software Challenges for Exascale International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers

2024-04-29T17:56:05Z

Yazar Markidis, Stefano. editor.
http://dx.doi.org/10.1007/978-3-319-15976-8
Format: Electronic Resources

Genetic Programming Theory and Practice XII

2024-04-29T17:56:05Z

Yazar Riolo, Rick. editor.
http://dx.doi.org/10.1007/978-3-319-16030-6
Format: Electronic Resources

Intelligent Cloud Computing First International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014, Revised Selected Papers

2024-04-29T17:56:05Z

Yazar Al-Saidi, Asma. editor.
http://dx.doi.org/10.1007/978-3-319-19848-4
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-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

Yazar Havelund, Klaus. editor.
http://dx.doi.org/10.1007/978-3-319-17524-9
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-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

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

Object-Oriented Analysis, Design and Implementation An Integrated Approach

2024-04-29T17:56:05Z

Yazar Dathan, Brahma. author.
http://dx.doi.org/10.1007/978-3-319-24280-4
Format: Electronic Resources

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

2024-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

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

Parallel Scientific Computing Theory, Algorithms, and Applications of Mesh Based and Meshless Methods

2024-04-29T17:56:05Z

Yazar Trobec, Roman. author.
http://dx.doi.org/10.1007/978-3-319-17073-2
Format: Electronic Resources

Software Engineering for Collective Autonomic Systems The ASCENS Approach

2024-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

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

Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

2024-04-29T17:56:05Z

Yazar Beklemishev, Lev D. editor.
http://dx.doi.org/10.1007/978-3-319-23534-9
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-04-29T17:56:05Z

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

Adaptive Resource Management and Scheduling for Cloud Computing Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastián, Spain, July 20, 2015, Revised Selected Papers

2024-04-29T17:56:05Z

Yazar Pop, Florin. editor.
http://dx.doi.org/10.1007/978-3-319-28448-4
Format: Electronic Resources

Smart Learning Objects for Smart Education in Computer Science Theory, Methodology and Robot-Based Implementation

2024-04-29T17:56:05Z

Yazar Štuikys, Vytautas. author.
http://dx.doi.org/10.1007/978-3-319-16913-2
Format: Electronic Resources

Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers

2024-04-29T17:56:05Z

Yazar Dimov, Ivan. editor.
http://dx.doi.org/10.1007/978-3-319-20239-6
Format: Electronic Resources

Automated Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

2024-04-29T17:56:05Z

Yazar De Nivelle, Hans. editor.
http://dx.doi.org/10.1007/978-3-319-24312-2
Format: Electronic Resources

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

2024-04-29T17:56:05Z

Yazar Chivers, Ian. author.
http://dx.doi.org/10.1007/978-3-319-17701-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-04-29T17:56:05Z

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

Object-Oriented Technology

2024-04-29T17:56:05Z

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

Programming Languages with Applications to Biology and Security Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday

2024-04-29T17:56:05Z

Yazar Bodei, Chiara. editor.
http://dx.doi.org/10.1007/978-3-319-25527-9
Format: Electronic Resources

Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers

2024-04-29T17:56:05Z

Yazar Davis, Jesse. editor.
http://dx.doi.org/10.1007/978-3-319-23708-4
Format: Electronic Resources

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

2024-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

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

Guide to High Performance Distributed Computing Case Studies with Hadoop, Scalding and Spark

2024-04-29T17:56:05Z

Yazar Srinivasa, K.G. author.
http://dx.doi.org/10.1007/978-3-319-13497-0
Format: Electronic Resources

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

2024-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

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-04-29T17:56:05Z

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

Transactions on Aspect-Oriented Software Development XII

2024-04-29T17:56:05Z

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

Real-Time Visual Effects for Game Programming

2024-04-29T17:56:05Z

Yazar Kim, Chang-Hun. author.
http://dx.doi.org/10.1007/978-981-287-487-0
Format: Electronic Resources

An Introduction to Python and Computer Programming

2024-04-29T17:56:05Z

Yazar Zhang, Yue. author.
http://dx.doi.org/10.1007/978-981-287-609-6
Format: Electronic Resources

Building Secure Defenses Against Code-Reuse Attacks

2024-04-29T17:56:05Z

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

Agent Environments for Multi-Agent Systems IV 4th International Workshop, E4MAS 2014 - 10 Years Later, Paris, France, May 6, 2014, Revised Selected and Invited Papers

2024-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

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

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

2024-04-29T17:56:05Z

Yazar Combemale, Benoit. editor.
http://dx.doi.org/10.1007/978-3-319-26172-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-04-29T17:56:05Z

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

Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers

2024-04-29T17:56:05Z

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

Frontiers of Combining Systems 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

2024-04-29T17:56:05Z

Yazar Lutz, Carsten. editor.
http://dx.doi.org/10.1007/978-3-319-24246-0
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-04-29T17:56:05Z

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

Patterns of HCI Design and HCI Design of Patterns Bridging HCI Design and Model-Driven Software Engineering

2024-04-29T17:56:05Z

Yazar Seffah, Ahmed. author.
http://dx.doi.org/10.1007/978-3-319-15687-3
Format: Electronic Resources

Algorithmic Decision Theory 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings

2024-04-29T17:56:05Z

Yazar Walsh, Toby. editor.
http://dx.doi.org/10.1007/978-3-319-23114-3
Format: Electronic Resources

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

2024-04-29T17:56:05Z

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

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

2024-04-29T17:56:05Z

Yazar Calimeri, Francesco. editor.
http://dx.doi.org/10.1007/978-3-319-23264-5
Format: Electronic Resources

Web Programming with PHP and MySQL A Practical Guide

2024-04-29T17:56:05Z

Yazar Bramer, Max. author.
http://dx.doi.org/10.1007/978-3-319-22659-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-04-29T17:56:05Z

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

OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014. Proceedings

2024-04-29T17:56:05Z

Yazar Poole, Stephen. editor.
http://dx.doi.org/10.1007/978-3-319-05215-1
Format: Electronic Resources

Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014. Proceedings

2024-04-29T17:56:05Z

Yazar Goues, Claire Le. editor.
http://dx.doi.org/10.1007/978-3-319-09940-8
Format: Electronic Resources

Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings

2024-04-29T17:56:05Z

Yazar Giannakopoulou, Dimitra. editor.
http://dx.doi.org/10.1007/978-3-319-10431-7
Format: Electronic Resources

Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

2024-04-29T17:56:05Z

Yazar Escobar, Santiago. editor.
http://dx.doi.org/10.1007/978-3-319-12904-4
Format: Electronic Resources

Parallel Processing and Applied Mathematics 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part I

2024-04-29T17:56:05Z

Yazar Wyrzykowski, Roman. editor.
http://dx.doi.org/10.1007/978-3-642-55224-3
Format: Electronic Resources

JRuby Rails Web Application Development

2024-04-29T17:56:05Z

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

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings

2024-04-29T17:56:05Z

Yazar Flatt, Matthew. editor.
http://dx.doi.org/10.1007/978-3-319-04132-2
Format: Electronic Resources

Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings

2024-04-29T17:56:05Z

Yazar Seidl, Martina. editor.
http://dx.doi.org/10.1007/978-3-319-09099-3
Format: Electronic Resources

Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

2024-04-29T17:56:05Z

Yazar Giannakopoulou, Dimitra. editor.
http://dx.doi.org/10.1007/978-3-319-12154-3
Format: Electronic Resources

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2024-04-29T17:56:05Z

Yazar Shao, Zhong. editor.
http://dx.doi.org/10.1007/978-3-642-54833-8
Format: Electronic Resources

Numerical Computations with GPUs

2024-04-29T17:56:05Z

Yazar Kindratenko, Volodymyr. editor.
http://dx.doi.org/10.1007/978-3-319-06548-9
Format: Electronic Resources

Genetic Programming Theory and Practice XI

2024-04-29T17:56:05Z

Yazar Riolo, Rick. editor.
http://dx.doi.org/10.1007/978-1-4939-0375-7
Format: Electronic Resources

Guide to Java A Concise Introduction to Programming

2024-04-29T17:56:05Z

Yazar Streib, James T. author.
http://dx.doi.org/10.1007/978-1-4471-6317-6
Format: Electronic Resources

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014. Proceedings

2024-04-29T17:56:05Z

Yazar Fischbach, Kai. editor.
http://dx.doi.org/10.1007/978-3-319-05359-2
Format: Electronic Resources

Introduction to Software Quality

2024-04-29T17:56:05Z

Yazar O’Regan, Gerard. author.
http://dx.doi.org/10.1007/978-3-319-06106-1
Format: Electronic Resources

Practical Analysis of Algorithms

2024-04-29T17:56:05Z

Yazar Vrajitoru, Dana. author.
http://dx.doi.org/10.1007/978-3-319-09888-3
Format: Electronic Resources

Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings

2024-04-29T17:56:05Z

Yazar Quintão Pereira, Fernando Magno. editor.
http://dx.doi.org/10.1007/978-3-319-11863-5
Format: Electronic Resources

Verification of Business Rules Programs

2024-04-29T17:56:05Z

Yazar Berstel-Da Silva, Bruno. author.
http://dx.doi.org/10.1007/978-3-642-40038-4
Format: Electronic Resources

Verified Software: Theories, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

2024-04-29T17:56:05Z

Yazar Cohen, Ernie. editor.
http://dx.doi.org/10.1007/978-3-642-54108-7
Format: Electronic Resources

ECOOP 2014 – Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28 – August 1, 2014. Proceedings

2024-04-29T17:56:05Z

Yazar Jones, Richard. editor.
http://dx.doi.org/10.1007/978-3-662-44202-9
Format: Electronic Resources

Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

2024-04-29T17:56:05Z

Yazar Fiadeiro, José Luiz. editor.
http://dx.doi.org/10.1007/978-3-319-07602-7
Format: Electronic Resources

Programming Languages and Operational Semantics A Concise Overview

2024-04-29T17:56:05Z

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

NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings

2024-04-29T17:56:05Z

Yazar Badger, Julia M. editor.
http://dx.doi.org/10.1007/978-3-319-06200-6
Format: Electronic Resources

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

2024-04-29T17:56:05Z

Yazar Hunt, John. author.
http://dx.doi.org/10.1007/978-3-319-06776-6
Format: Electronic Resources

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

2024-04-29T17:56:05Z

Yazar Codish, Michael. editor.
http://dx.doi.org/10.1007/978-3-319-07151-0
Format: Electronic Resources

Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings

2024-04-29T17:56:05Z

Yazar Cariani, Fabrizio. editor.
http://dx.doi.org/10.1007/978-3-319-08615-6
Format: Electronic Resources

Emotion Modeling Towards Pragmatic Computational Models of Affective Processes

2024-04-29T17:56:05Z

Yazar Bosse, Tibor. editor.
http://dx.doi.org/10.1007/978-3-319-12973-0
Format: Electronic Resources

Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

2024-04-29T17:56:05Z

Yazar Bonakdarpour, Borzoo. editor.
http://dx.doi.org/10.1007/978-3-319-11164-3
Format: Electronic Resources

Transactions on Aspect-Oriented Software Development XI

2024-04-29T17:56:05Z

Yazar Chiba, Shigeru. editor.
http://dx.doi.org/10.1007/978-3-642-55099-7
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

2024-04-29T17:56:05Z

Yazar Gupta, Gopal. editor.
http://dx.doi.org/10.1007/978-3-319-14125-1
Format: Electronic Resources

Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings

2024-04-29T17:56:05Z

Yazar Schaefer, Ina. editor.
http://dx.doi.org/10.1007/978-3-319-14130-5
Format: Electronic Resources

Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings

2024-04-29T17:56:05Z

Yazar Fermé, Eduardo. editor.
http://dx.doi.org/10.1007/978-3-319-11558-0
Format: Electronic Resources

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers

2024-04-29T17:56:05Z

Yazar Hanus, Michael. editor.
http://dx.doi.org/10.1007/978-3-319-08909-6
Format: Electronic Resources

Models@run.time Foundations, Applications, and Roadmaps

2024-04-29T17:56:05Z

Yazar Bencomo, Nelly. editor.
http://dx.doi.org/10.1007/978-3-319-08915-7
Format: Electronic Resources

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings

2024-04-29T17:56:05Z

Yazar Merz, Stephan. editor.
http://dx.doi.org/10.1007/978-3-319-11737-9
Format: Electronic Resources

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

2024-04-29T17:56:05Z

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

Distributed Computing and Networking 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014. Proceedings

2024-04-29T17:56:05Z

Yazar Chatterjee, Mainak. editor.
http://dx.doi.org/10.1007/978-3-642-45249-9
Format: Electronic Resources

Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers

2024-04-29T17:56:05Z

Yazar Zaverucha, Gerson. editor.
http://dx.doi.org/10.1007/978-3-662-44923-3
Format: Electronic Resources

Engineering Multi-Agent Systems Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers

2024-04-29T17:56:05Z

Yazar Dalpiaz, Fabiano. editor.
http://dx.doi.org/10.1007/978-3-319-14484-9
Format: Electronic Resources

Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers

2024-04-29T17:56:05Z

Yazar McCarthy, Jay. editor.
http://dx.doi.org/10.1007/978-3-642-45340-3
Format: Electronic Resources

Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday

2024-04-29T17:56:05Z

Yazar Agha, Gul. editor.
http://dx.doi.org/10.1007/978-3-662-44471-9
Format: Electronic Resources