Topic: Software engineering

Time and Petri Nets
IEC 61131-3: Programming Industrial Automation Systems Concepts and Programming Languages, Requirements for Programming Systems, Aids to Decision-Making Tools /
Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part II /
Wired/Wireless Internet Communications Third International Conference, WWIC 2005, Xanthi, Greece, May 11-13, 2005. Proceedings /
Intelligent Agents ECAI-94 Workshop on Agent Theories, Architectures, and Languages Amsterdam, The Netherlands August 8–9, 1994 Proceedings /
Parallel Processing and Applied Mathematics 6th International Conference, PPAM 2005, Poznań, Poland, September 11-14, 2005, Revised Selected Papers /
Advances in Systems, Computing Sciences and Software Engineering Proceedings of SCSS05 /
The Engineer’s Error Coding Handbook
Python Scripting for Computational Science
Communications: Wireless in Developing Countries and Networks of the Future Third IFIP TC 6 International Conference, WCITD 2010 and IFIP TC 6 International Conference, NF 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings /
Simulation and Visualization on the Grid Parallelldatorcentrum Kungl Tekniska Högskolan Seventh Annual Conference Stockholm, Sweden December 1999 Proceedings /
Bridging the Information Gap for Small and Medium Enterprises /
Migrating Large-Scale Services to the Cloud
Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings /
A Practical Programming Model for the Multi-Core Era 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings /
Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings /
Verification, Model Checking, and Abstract Interpretation 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings /
Membrane Computing 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers /
Architecture of Computing Systems - ARCS 2006 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006. Proceedings /
Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings /