Software Development 85

Discover how to get the most out of Ubuntu for work, home, and play. Learning a new operating system can feel daunting, especially if you're used to Windows or OS X. If you've been afraid to try Ubu……続きを見る

This book constitutes the refereed proceedings of the 11th International Workshop on Reachability Problems, RP 2017, held in London, UK, in September 2017. The 12 full papers presented together with……続きを見る

This book constitutes the refereed proceedings of the 9th International Symposium on Search-Based Software Engineering, SSBSE 2017, held in Paderborn, Germany, in September 2017. The 7 full papers a……続きを見る

This book constitutes the refereed proceedings of the 21st International Symposium on Fundamentals of Computation Theory, FCT 2017, held in Bordeaux, France, in September 2017. The 29 revised full p……続きを見る

This book constitutes the proceedings of the 16th IFIP WG 8.5 International Conference on Electronic Government, EGOV 2017, held in St. Petersburg, Russia, in September 2017, in conjunction with the……続きを見る

This book constitutes the refereed proceedings of the 36th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2017, held in Trento, Italy, in September 2017. The 22 rev……続きを見る

The two-volume set IFIP AICT 513 and 514 constitutes the refereed proceedings of the International IFIP WG 5.7 Conference on Advances in Production Management Systems, APMS 2017, held in Hamburg, Ge……続きを見る

This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Workshops on Coordination, Organizations, Institutions and Norms in Agent Systems, COIN 2016. The ……続きを見る

This book constitutes the refereed proceedings of the 14th European Workshop on Computer Performance Engineering, EPEW 2017, held in Berlin, Germany, in September 2017. The 18 papers presented toget……続きを見る

The two-volume set IFIP AICT 513 and 514 constitutes the refereed proceedings of the International IFIP WG 5.7 Conference on Advances in Production Management Systems, APMS 2017, held in Hamburg, Ge……続きを見る

This book constitutes the proceedings of the 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, held in Trento, Italy, in September 2017. The 17 revised full papers presen……続きを見る

The two-volume set, LNCS 10492 and LNCS 10493 constitutes the refereed proceedings of the 22nd European Symposium on Research in Computer Security, ESORICS 2017, held in Oslo, Norway, in September 2……続きを見る

This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017. The ai……続きを見る

This book constitutes the proceedings of the 15th International Conference on Business Process Management, BPM 2017, held in Barcelona, Spain, in September 2017. The 19 revised full papers papers pr……続きを見る

This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verificatio……続きを見る

This book constitutes the refereed proceedings of five workshops co-located with SAFECOMP 2017, the 36th International Conference on Computer Safety, Reliability, and Security, held in Trento, Italy……続きを見る

This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasília, Bazil, in September 2017.……続きを見る

This book constitutes the proceedings of the 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, held in Brasília, Bazil, in September 2017. The 17 papers presented in this ……続きを見る

This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough ……続きを見る

This book constitutes the refereed proceedings of the 12th Colombian Conference on Computing, CCC 2017, held in Cali, Colombia, in September 2017. The 56 revised full papers presented were carefully……続きを見る

This concise and accessible textbook will enable readers to quickly develop the working skills necessary to solve computational problems in a server-based environment, using HTML and PHP. The import……続きを見る

Implement a High-Performance Enterprise Java Application Modernization Strategy Learn cutting-edge techniques and processes to systematically and strategically modernize legacy Java applications wit……続きを見る

This book constitutes the refereed proceedings of the 18th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2017, held in Vicenza, Italy, in September 2017. The 68 revised full papers w……続きを見る

This book constitutes the refereed proceedings of the 17th International Conference on Runtime Verification, RV 2017, held in Seattle, WA, USA, in September 2017. The 18 revised full papers presente……続きを見る

This book constitutes the refereed proceedings of the 8th International Workshop on Machine Learning in Medical Imaging, MLMI 2017, held in conjunction with MICCAI 2017, in Quebec City, QC, Canada, ……続きを見る

This book constitutes the proceedings of the 19th International Workshop on Computer Algebra in Scientific Computing, CASC 2017, held in Beijing, China, in September 2017. The 28 full papers present……続きを見る

This book constitutes the refereed proceedings of the 14th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2017, held in Mallorca, Spain, in September 2017. The ……続きを見る

This book constitutes the refereed proceedings of the 17th International Conference on Software Process Improvement and Capability Determination, SPICE 2017, held in Palma de Mallorca, Spain, in Oct……続きを見る

This book reviews existing operational software failure analysis techniques and proposes near-miss analysis as a novel, and new technique for investigating and preventing software failures. The auth……続きを見る

This book constitutes thoroughly revised and selected papers from the 4th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2016, held in Rome, Italy, in Febr……続きを見る