Software Development 4

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, ……続きを見る

This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction……続きを見る

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2……続きを見る

This open access book summarises the latest developments on data management in the EU H2020 ENVRIplus project, which brought together more than 20 environmental and Earth science research infrastruc……続きを見る

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2……続きを見る

This book is Open Access under a CC BY licence. The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction……続きを見る

Few books on software project management have been as influential and timeless as The Mythical Man-Month. With a blend of software engineering facts and thought-provoking opinions, Fred Brooks offer……続きを見る

As Python continues to grow in popularity, projects are becoming larger and more complex. Many Python developers are taking an interest in high-level software design patterns such as hexagonal/clean……続きを見る

Vim is a fast and efficient text editor that will make you a faster and more efficient developer. It's available on almost every OS, and if you master the techniques in this book, you'll never need ……続きを見る

بعد نجاح الطبعة الأولى وتخطيها عتبة الثلاثين ألف قراءة، ها هي اليوم الطبعة الثانية والمنقحة من الكتيّب الذي يشرح البرمجة خطوة خطوة ويعّلمك كيفية بناء برنامج ناجح انطلاقاً من نقطة الصفر. 続きを見る

Organizations today often struggle to balance business requirements with ever-increasing volumes of data. Additionally, the demand for leveraging large-scale, real-time data is growing rapidly among……続きを見る

Si le code informatique est partout aujourd’hui, écrire du bon code est un exercice qui s’apprend. Il ne s’agit pas seulement de technique ou de réflexion. Les plus beaux codes sont comme des oeuvre……続きを見る

About the necessity and usefulness of developing a philosophy specific to the blockchain technology, emphasizing on the ontological aspects. After an Introduction that highlights the main philosophi……続きを見る

The three volume-set LNCS 11476, 11477, and 11478 constitute the thoroughly refereed proceedings of the 38th Annual International Conference on the Theory and Applications of Cryptographic Technique……続きを見る

Learn to create and customize impressive Drupal 8 modules to extend your website's functionalities Key Features Explore a plethora of Drupal 8 APIs and get the best out of them using the power of P……続きを見る

Software architecture is an important factor for the success of any software project. In the context of systematic design and construction, solid software architecture ensures the fulfilment of qual……続きを見る

This is a handbook targeting people interested or involved in Ruby on Rails development that doesn't want to think hard about dependencies often times. There are RoR developers who work in one proje……続きを見る

Software architecture is an important factor in ensuring the success of any software project. It provides a systematically designed framework that ensures the fulfilment of quality requirements such……続きを見る

O presente livro reúne vários resultados de pesquisa apresentados e selecionados por pares durante o V Seminário de Pesquisa, Pós-graduação e Inovação realizado em novembro de 2017 na Regional Catal……続きを見る

CKA: Certified Kubernetes Administrator - Practice Questions– Third Edition IP Specialists Practice Questions are dedicatedly designed from a certification exam perspective. The collection of these ……続きを見る

Real-world examples of cross-browser, mobile, and data-driven testing with all the latest features of Selenium WebDriver 3 Key Features Unlock the full potential of Selenium to test your web applic……続きを見る

Turn Vim into a full-blown development environment using Vim 8's new features and this sequel to the beloved bestseller Practical Vim. Integrate your editor with tools for building, testing, linting……続きを見る

A hands-on introduction to FPGA prototyping and SoC design This is the successor edition of the popular FPGA Prototyping by Verilog Examples text. It follows the same “learning-by-doing” approach to……続きを見る

The world is changing, A few short years ago a manual tester would run tests against software to check that the requirements had been satisfied. Fast forward to today and businesses want fast test e……続きを見る

Learn how to use the Core Graphics and Core Animation frameworks to create and animate graphics in your iOS applications. After reading this guide, you will know how to generate custom graphics, how……続きを見る

This volume celebrates the career of Prof. Ricardo de Almeida Falbo on the occasion of his formal retirement. The volume includes reflections from collaborators and former students, casting light on……続きを見る

BluePrint walks towards design thinking. Design thinking is the next competitive advantage recently talked about. There are companies who specifically ask design thinking in their technical rounds. ……続きを見る

Completely updated for Django 4.2! Django for Beginners is a project-based introduction to Django, the popular Python-based web framework. Suitable for total beginners who have never built a website……続きを見る

Make your WebAssembly journey fun while making a game with it Key Features Create a WebAssembly game that implements sprites, animations, physics, particle systems, and other game development funda……続きを見る

This book details on how to use spring boot to create a microservice and deploy on docker. Most of the content have been published on my blog www.betterjavacode.com 続きを見る