Search Results for - Narrowed by: Programming Techniques. - 2016

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

2024-06-10T22:48:01Z

Yazar Spohrer, Kai. author.
http://dx.doi.org/10.1007/978-3-319-25163-9
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-06-10T22:48:01Z

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

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

2024-06-10T22:48:01Z

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

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

2024-06-10T22:48:01Z

Yazar Rayadurgam, Sanjai. editor.
http://dx.doi.org/10.1007/978-3-319-40648-0
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-06-10T22:48:01Z

Yazar Wyrzykowski, Roman. editor.
http://dx.doi.org/10.1007/978-3-319-32149-3
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-06-10T22:48:01Z

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

Yazar Lindley, Sam. editor.
http://dx.doi.org/10.1007/978-3-319-30936-1
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-06-10T22:48:01Z

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

Retrogame Archeology Exploring Old Computer Games

2024-06-10T22:48:01Z

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

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

2024-06-10T22:48:01Z

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

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

2024-06-10T22:48:01Z

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-06-10T22:48:01Z

Yazar Gurfinkel, Arie. editor.
http://dx.doi.org/10.1007/978-3-319-29613-5
Format: Electronic Resources

Transactions on Foundations for Mastering Change I

2024-06-10T22:48:01Z

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

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

2024-06-10T22:48:01Z

Yazar Falcone, Yliès. editor.
http://dx.doi.org/10.1007/978-3-319-46982-9
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-06-10T22:48:01Z

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-06-10T22:48:01Z

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

Random-Like Bi-level Decision Making

2024-06-10T22:48:01Z

Yazar Xu, Jiuping. author.
http://dx.doi.org/10.1007/978-981-10-1768-1
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-06-10T22:48:01Z

Yazar Lucanu, Dorel. editor.
http://dx.doi.org/10.1007/978-3-319-44802-2
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-06-10T22:48:01Z

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

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

2024-06-10T22:48:01Z

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

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

2024-06-10T22:48:01Z

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

Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

2024-06-10T22:48:01Z

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

Understanding Control Flow Concurrent Programming Using μC++

2024-06-10T22:48:01Z

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

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

2024-06-10T22:48:01Z

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

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

2024-06-10T22:48:01Z

Yazar Serrano, Manuel. editor.
http://dx.doi.org/10.1007/978-3-319-39110-6
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-06-10T22:48:01Z

Yazar De Nicola, Rocco. editor.
http://dx.doi.org/10.1007/978-3-319-41591-8
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-06-10T22:48:01Z

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

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

2024-06-10T22:48:01Z

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

Introduction to HPC with MPI for Data Science

2024-06-10T22:48:01Z

Yazar Nielsen, Frank. author.
http://dx.doi.org/10.1007/978-3-319-21903-5
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-06-10T22:48:01Z

Yazar Perner, Petra. editor.
http://dx.doi.org/10.1007/978-3-319-41561-1
Format: Electronic Resources