Title: Algorithms and Architectures for Parallel Processing: 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part III, Author: Guojun Wang
Title: Algorithms and Architectures for Parallel Processing: 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part IV, Author: Guojun Wang
Title: Trends in Functional Programming: 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers, Author: David Van Horn
Title: Frontiers in Algorithmics: 10th International Workshop, FAW 2016, Qingdao, China, June 30- July 2, 2016, Proceedings, Author: Daming Zhu
Title: Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings, Author: Alberto Lluch Lafuente
Title: Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, Author: Steve Counsell
Title: Learning and Intelligent Optimization: 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers, Author: Giuseppe Nicosia
Title: Evolutionary Multi-Criterion Optimization: 9th International Conference, EMO 2017, Münster, Germany, March 19-22, 2017, Proceedings, Author: Heike Trautmann
Title: Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers, Author: Akash Lal
Title: Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers, Author: Jonathan P. Bowen
Title: DevSecOps Adventures: A Game-Changing Approach with Chocolate, LEGO, and Coaching Games, Author: Dana Pylayeva
Title: Recent Trends in Algebraic Development Techniques: 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers, Author: Markus Roggenbach
Title: Practical Paint.NET: The Powerful No-Cost Image Editor for Microsoft Windows, Author: Phillip Whitt
Title: Recent Advances in the Message Passing Interface: 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024, Proceedings, Author: Claudia Blaas-Schenner
Title: Leadership in a Zoom Economy with Microsoft Teams: Applying Leadership to a Remote Workforce, Author: Peter Ward
Title: 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, Author: Manuel Mazzara
Title: Concurrent Programming Interviews: A Practical Guide to Becoming the Standout Candidate, Author: Bonan Liu
Explore Series
Title: Theoretical Aspects of Computing - ICTAC 2016: 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, Author: Augusto Sampaio
Title: WALCOM: Algorithms and Computation: 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings, Author: M. Sohel Rahman
Title: 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, Proceeding, Author: Bart Jacobs

Pagination Links