Computer programming / software engineering

The proceedings set LNCS 11727, 11728, 11729, 11730, and 11731 constitute the proceedings of the 28th International Conference on Artificial Neural Networks, ICANN 2019, held in Munich, Germany, in September 2019.

This book constitutes the revised papers of the 45th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2019, held in Vall de Nuria, Spain, in June 2019.

This book constitutes the proceedings of the 16th International Conference on Quantitative Evaluation Systems, QEST 2019, held in Glasgow, UK, in September 2019.

This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019.

This book constitutes the thoroughly refereed short papers, workshops and doctoral consortium papers of the 23rd European Conference on Advances in Databases and Information Systems, ADBIS 2019, held in Bled, Slovenia, in September 2019.

The two volume set, LNCS 11735 and 11736, constitutes the proceedings of the 24th European Symposium on Research in Computer Security, ESORIC 2019, held in Luxembourg, in September 2019.

This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019.

Use this one-stop resource for both basic and advanced administration of Exchange Server 2019 and 2016.

Now in its fourth edition and covering Oracle Database 21c, this best-selling book continues to bring you some of the best thinking on how to apply Oracle Database to produce scalable applications that perform well and deliver correct results.

This book constitutes the refereed proceedings of the 19th EPIA Conference on Artificial Intelligence, EPIA 2019, held in Funchal, Madeira, Portugal, in September 2019.

This two-volume set of LNAI 11775 and LNAI 11776 constitutes the refereed proceedings of the 12th International Conference on Knowledge Science, Engineering and Management, KSEM 2019, held in Athens, Greece, in August 2019.

User Experience Re-Mastered: Your Guide to Getting the Right Design provides an understanding of key design and development processes aimed at enhancing the user experience of websites and web applications.

This book constitutes refereed proceedings of the Workshops of the 16th European Dependable Computing Conference, EDCC: ?

This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020.

The volume LNCS 12287 constitutes the proceedings of the 27th International Workshop on Security Protocols, held in Cambridge, UK, in April 2019.

This book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, held in Los Angeles, CA, USA, in October 2020.

This two-volume set of LNCS 12463 and LNCS 12464 constitutes - in conjunction with the volume LNAI 12465 - the refereed proceedings of the 16th International Conference on Intelligent Computing, ICIC 2020, held in Bari, Italy, in October 2020.

This book constitutes the revised and extended papers of the First International Conference on Innovations in Digital Economy, SPBU IDE 2019, held in St.

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20-30, 2020, on Rhodes, Greece.

This book constitutes the refereed proceedings of the 25th International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2019, held in Moscow, Russia, in October 2019.

Master the essential skills needed to recognize and solve complex problems with machine learning and deep learning.

Stay motivated and overcome obstacles while learning to use Swift Playgrounds to be a great iOS developer.

Learn how to use Zoho Creator effectively to benefit your business.

This book constitutes the proceedings of the 14th International Workshop on Frontiers in Algorithmics, FAW 2020, held in Haikou, China, in May 2020.

Make your PCs as secure as possible and limit the routes of attack and safely and completely remove all traces of malware and viruses should an infection take place.

Get started with PHP and MySQL programming: no experience necessary.

Develop applications and experiences for Microsoft's HoloLens and other Windows mixed reality devices.

The Game Makers Apprentice shows you how to create nine exciting games using the wildly popular Game Maker game creation tool.

This textbook lays the foundations for System-of-Systems Requirements Engineering and Requirements Management practices, principles, technique, and processes.

This Festschrift is in honor of Mario de Jesus Perez-Jimenez, Professor in the Department of Computer Science of University of Seville, Spain, on the occasion of his 70th birthday.

Conference on Cryptologic Research, CRYPTO 2020, which was held during August 17-21, 2020.

Conference on Cryptologic Research, CRYPTO 2020, which was held during August 17-21, 2020.

Solve all your Spring 5 problems using complete and real-world code examples.

Master the features of C++ that are frequently used to write financial software for options and derivatives, including the STL, templates, functional programming, and numerical libraries.

Build fast and effective applications using Masonite, a Python-based framework.

This book presents some sufficient mathematical content with expressive result.

This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021.

This book constitutes the refereed proceedings of the 17th International Symposium on Algorithms and Data Structures, WADS 2021, held in virtually in August 2021.

This book constitutes the refereed proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021, held in Gold Coast, Australia in October 2021.

This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Konigswinter, Germany, in June/July 2015.

This book constitutes the refereed proceedings of the 12th International Conference on the Theory and Application of Diagrams, Diagrams 2021, held virtually in September 2021.

This two-volume set constitutes the refereed proceedings of the First International Conference International Conference on Application of Big Data, Blockchain, and Internet of Things for Education Informatization.

This volume constitutes the refereed proceedings of theSecond International Workshop on Advanced Methodologies for Bayesian Networks,AMBN 2015, held in Yokohama, Japan, in November 2015.

This book constitutes refereed proceedings of the 7th International Conference on Technologies and Innovation, CITI 2021, held in Guayaquil, Ecuador, in November 2021.

This book constitutes the proceedings of the 13th International Symposium on Search-Based Software Engineering, SSBSE 2021, which was held in Bari, Italy, during October 11-12, 2021.

This Festschrift volume is published in honor of Professor Paul G.

Get started with MATLAB for deep learning and AI with this in-depth primer.

Learn digital image editing without the expense of using subscription-based editors.

Build .

This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Cloud Computing and Services Science, CLOSER 2014, held in Barcelona, Spain, in April 2014.