Filter
(found 8592 products)
Book cover image
Description .NET Core is a subset of the .NET framework with libraries and runtimes that drastically reduce its footprint, so you can write and run .NET applications more efficiently. .NET Core in Action shows .NET developers how to build professional software applications with .NET Core. By the end of this ...
NET Core in Action
Description .NET Core is a subset of the .NET framework with libraries and runtimes that drastically reduce its footprint, so you can write and run .NET applications more efficiently. .NET Core in Action shows .NET developers how to build professional software applications with .NET Core. By the end of this book, readers will be able to convert existing .NET code to work on multiple platforms or start new projects with knowledge of the tools and capabilities of .NET Core. Key features * Step-by-step guide * Straightforward introduction * Explains how to use the tools * Covers advanced topics Audience This book is for developers who are familiar with a C-like language. About the Technology The .NET Framework ships as one whole product while Core is broken up into pieces. Developers can now choose which version of a library they want to use, as long as it's outside the .NET Standard Library, and .NET Core teams can innovate with less difficulty.
https://magrudy-assets.storage.googleapis.com/9781617294273.jpg
61.41 USD

NET Core in Action

by Dustin Metzgar
Paperback / softback
Book cover image
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time. A program's type describes its behavior. Dependent types are a first-class part of a language, and are much more powerful than other kinds of types; using just one language for types and programs allows program ...
The Little Typer
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time. A program's type describes its behavior. Dependent types are a first-class part of a language, and are much more powerful than other kinds of types; using just one language for types and programs allows program descriptions to be as powerful as the programs they describe. The Little Typer explains dependent types, beginning with a very small language that looks very much like Scheme and extending it to cover both programming with dependent types and using dependent types for mathematical reasoning. Readers should be familiar with the basics of a Lisp-like programming language, as presented in the first four chapters of The Little Schemer. The first five chapters of The Little Typer provide the needed tools to understand dependent types; the remaining chapters use these tools to build a bridge between mathematics and programming. Readers will learn that tools they know from programming-pairs, lists, functions, and recursion-can also capture patterns of reasoning. The Little Typer does not attempt to teach either practical programming skills or a fully rigorous approach to types. Instead, it demonstrates the most beautiful aspects as simply as possible, one step at a time.
https://magrudy-assets.storage.googleapis.com/9780262536431.jpg
51.19 USD

The Little Typer

by David Thrane Christiansen, Daniel P. Friedman
Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 8h International Conference on Model and Data Engineering, MEDI 2018, held in Marrakesh, Morocco, in October 2018. The 23 full papers and 4 short papers presented together with 2 invited talks were carefully reviewed and selected from 86 submissions. The papers covered ...
Model and Data Engineering: 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings
This book constitutes the refereed proceedings of the 8h International Conference on Model and Data Engineering, MEDI 2018, held in Marrakesh, Morocco, in October 2018. The 23 full papers and 4 short papers presented together with 2 invited talks were carefully reviewed and selected from 86 submissions. The papers covered the recent and relevant topics in the areas of databases; ontology and model-driven engineering; data fusion, classsification and learning; communication and information technologies; safety and security; algorithms and text processing; and specification, verification and validation.
https://magrudy-assets.storage.googleapis.com/9783030008550.jpg
94.490000 USD

Model and Data Engineering: 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings

Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 12th International Conference on Scalable Uncertainty Management, SUM 2018, which was held in Milan, Italy, in October 2018. The 23 full, 6 short papers and 2 tutorials presented in this volume were carefully reviewed and selected from 37 submissions. The conference is ...
Scalable Uncertainty Management: 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings
This book constitutes the refereed proceedings of the 12th International Conference on Scalable Uncertainty Management, SUM 2018, which was held in Milan, Italy, in October 2018. The 23 full, 6 short papers and 2 tutorials presented in this volume were carefully reviewed and selected from 37 submissions. The conference is dedicated to the management of large amounts of complex, uncertain, incomplete, or inconsistent information. New approaches have been developed on imprecise probabilities, fuzzy set theory, rough set theory, ordinal uncertainty representations, or even purely qualitative models.
https://magrudy-assets.storage.googleapis.com/9783030004606.jpg
83.990000 USD

Scalable Uncertainty Management: 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings

Paperback / softback
Book cover image
React is a highly-performant tool that implements a one-way data flow model. Reasoning about an interface or application written with React ends up being much easier because it decreases overall complexity for developers working with it. React in Action introduces front-end developers to the React framework and related tools. Readers ...
React in Action
React is a highly-performant tool that implements a one-way data flow model. Reasoning about an interface or application written with React ends up being much easier because it decreases overall complexity for developers working with it. React in Action introduces front-end developers to the React framework and related tools. Readers will work their way from raw React towards JSX, and from basic static components to ones that are dynamic and interactive. Key Features: * Clearly written * Example-rich * Hands-on Written for developers familiar with HTML, CSS, and JavaScript who want to create more robust front-end applications. About the Technology: React is an open source JavaScript framework that lets developers quickly create user interfaces for web applications.
https://magrudy-assets.storage.googleapis.com/9781617293856.jpg
58.00 USD

React in Action

by Mark Tielens Thomas
Paperback / softback
Book cover image
Description The traditional patterns and practices for enterprise application development simply can't deliver the millisecond response times and near-perfect reliability these systems require. Reactive applications meet these demands by employing a loosely-coupled system of independent, isolated components that communicate via asynchronous message passing. Reactive Application Development teaches readers how to ...
Reactive Application Development
Description The traditional patterns and practices for enterprise application development simply can't deliver the millisecond response times and near-perfect reliability these systems require. Reactive applications meet these demands by employing a loosely-coupled system of independent, isolated components that communicate via asynchronous message passing. Reactive Application Development teaches readers how to build reactive applications using the Typesafe stack. Along the way, they'll learn how to build distributed domain models for reactive applications and clustered actor systems for elasticity and resilience, as well as how to integrate reactive systems with traditional architectures. Key features * Introduction to Reactive Applications * Step-by-step guide * Hands-on guide to building your own applications Audience Readers should have some familiarity with traditional distributed application architecture and be comfortable reading Java and Scala code. About the Technology A Reactive Application is constructed from the beginning to react to load, react to failure and react to users. This is achieved by the underlying notion of reacting to messages.
https://magrudy-assets.storage.googleapis.com/9781617292460.jpg
64.83 USD

Reactive Application Development

by Brian Hanafee, Sean Walsh, Duncan DeVore
Paperback / softback
Book cover image
Covering all the essential components of Unix/Linux, including process management, concurrent programming, timer and time service, file systems and network programming, this textbook emphasizes programming practice in the Unix/Linux environment. Systems Programming in Unix/Linux is intended as a textbook for systems programming courses in technically-oriented Computer Science/Engineering curricula that emphasize ...
Systems Programming in Unix/Linux
Covering all the essential components of Unix/Linux, including process management, concurrent programming, timer and time service, file systems and network programming, this textbook emphasizes programming practice in the Unix/Linux environment. Systems Programming in Unix/Linux is intended as a textbook for systems programming courses in technically-oriented Computer Science/Engineering curricula that emphasize both theory and programming practice. The book contains many detailed working example programs with complete source code. It is also suitable for self-study by advanced programmers and computer enthusiasts. Systems programming is an indispensable part of Computer Science/Engineering education. After taking an introductory programming course, this book is meant to further knowledge by detailing how dynamic data structures are used in practice, using programming exercises and programming projects on such topics as C structures, pointers, link lists and trees. This book provides a wide range of knowledge about computer systemsoftware and advanced programming skills, allowing readers to interface with operatingsystem kernel, make efficient use of system resources and develop application software.It also prepares readers with the needed background to pursue advanced studies inComputer Science/Engineering, such as operating systems, embedded systems, databasesystems, data mining, artificial intelligence, computer networks, network security,distributed and parallel computing.
https://magrudy-assets.storage.googleapis.com/9783319924281.jpg
94.490000 USD

Systems Programming in Unix/Linux

by K.C. Wang
Hardback
Book cover image
This book constitutes revised selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2018, held in Thessaloniki, Greece, in June 2018. The 12 full papers presented in this volume were carefully reviewed and selected from 21 submissions. They deal with rewriting, a natural model of ...
Rewriting Logic and Its Applications: 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings
This book constitutes revised selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2018, held in Thessaloniki, Greece, in June 2018. The 12 full papers presented in this volume were carefully reviewed and selected from 21 submissions. They deal with rewriting, a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication, and interaction, and its applications.
https://magrudy-assets.storage.googleapis.com/9783319998398.jpg
73.490000 USD

Rewriting Logic and Its Applications: 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 24th International Conference on DNA Computing and Molecular Programming, DNA 24, held in Jinan, China, in October 2018. The 12 full papers presented were carefully selected from 14 submissions. Research in DNA computing aims to draw together mathematics, computer science, physics, chemistry, ...
DNA Computing and Molecular Programming: 24th International Conference, DNA 24, Jinan, China, October 8-12, 2018, Proceedings
This book constitutes the refereed proceedings of the 24th International Conference on DNA Computing and Molecular Programming, DNA 24, held in Jinan, China, in October 2018. The 12 full papers presented were carefully selected from 14 submissions. Research in DNA computing aims to draw together mathematics, computer science, physics, chemistry, biology, and nanotechnology to address the analysis, design, and synthesis of information-based molecular systems. The papers were sought in all areas related to biomolecular computing, including: algorithms and models for computation on biomolecular systems; computational processes in vitro and in vivo; molecular switches, gates, devices, and circuits; molecular folding and self-assembly of nanostructures; analysis and theoretical models of laboratory techniques; molecular motors and molecular robotics; information storage; studies of fault tolerance and error correction; software tools for analysis, simulation, and design; synthetic biology and in vitro evolution; and applications in engineering, physics, chemistry, biology, and medicine.
https://magrudy-assets.storage.googleapis.com/9783030000295.jpg
62.990000 USD

DNA Computing and Molecular Programming: 24th International Conference, DNA 24, Jinan, China, October 8-12, 2018, Proceedings

Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 30th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2018, held in Cadiz, Spain, in October 2018. The 8 regular and 6 short papers presented were carefully reviewed and selected from 29 submissions. ICTSS is a series of international ...
Testing Software and Systems: 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cadiz, Spain, October 1-3, 2018, Proceedings
This book constitutes the refereed proceedings of the 30th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2018, held in Cadiz, Spain, in October 2018. The 8 regular and 6 short papers presented were carefully reviewed and selected from 29 submissions. ICTSS is a series of international conferences addressing the conceptual, theoretic, and practical problems of testing software systems, including communication protocols, services, distributed platforms, middleware, embedded- and cyber-physical-systems, and security infrastructures.
https://magrudy-assets.storage.googleapis.com/9783319999265.jpg
62.990000 USD

Testing Software and Systems: 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cadiz, Spain, October 1-3, 2018, Proceedings

Paperback / softback
Book cover image
The set of papers collected in this issue originated from the AGERE! Workshop series - the last edition was held in 2017 - and concern the application of actor-based approaches to mainstream application domains and the discussion of related issues. The issue is divided into two parts. The first part ...
Programming with Actors: State-of-the-Art and Research Perspectives
The set of papers collected in this issue originated from the AGERE! Workshop series - the last edition was held in 2017 - and concern the application of actor-based approaches to mainstream application domains and the discussion of related issues. The issue is divided into two parts. The first part concerns Web Programming; Data-Intensive Parallel Programming; Mobile Computing; Self-Organizing Systems and the second part concerns Scheduling; Debugging; Communication and Coordination; Monitoring.
https://magrudy-assets.storage.googleapis.com/9783030003012.jpg
73.490000 USD

Programming with Actors: State-of-the-Art and Research Perspectives

Paperback / softback
Book cover image
Certifiable Software Applications 3: Downward Cycle describes the descending phase of the creation of a software application, detailing specification phases, architecture, design and coding, and important concepts on modeling and implementation. For coding, code generation and/or manual code production strategies are explored. As applications are coded, a presentation of programming ...
Certifiable Software Applications 3: Downward Cycle
Certifiable Software Applications 3: Downward Cycle describes the descending phase of the creation of a software application, detailing specification phases, architecture, design and coding, and important concepts on modeling and implementation. For coding, code generation and/or manual code production strategies are explored. As applications are coded, a presentation of programming languages and their impact on certifiability is included.
https://magrudy-assets.storage.googleapis.com/9781785481192.jpg
228.64 USD

Certifiable Software Applications 3: Downward Cycle

by Jean-Louis Boulanger
Hardback
Book cover image
Quickly learn and employ practical methods for developing microservices Key Features Get to grips with microservice architecture to build enterprise-ready applications Adopt the best practices to find solutions to specific problems Monitor and manage your services in production Book DescriptionMicroservices have become a popular way to build distributed systems that ...
Microservices Development Cookbook: Design and build independently deployable, modular services
Quickly learn and employ practical methods for developing microservices Key Features Get to grips with microservice architecture to build enterprise-ready applications Adopt the best practices to find solutions to specific problems Monitor and manage your services in production Book DescriptionMicroservices have become a popular way to build distributed systems that power modern web and mobile apps. Deploying your application as a suite of independently deployable, modular, and scalable services has many benefits. In this book, you'll learn to employ microservices in order to make your application more fault-tolerant and easier to scale and change. Using an example-driven approach, Microservice Development Cookbook introduces you to the microservice architectural style. You'll learn how to transition from a traditional monolithic application to a suite of small services that interact to provide smooth functionality to your client applications. You'll also learn about the patterns used to organize services, so you can optimize request handling and processing and see how to handle service-to-service interactions. You'll then move on to understanding how to secure microservices and add monitoring in order to debug problems. This book also covers fault-tolerance and reliability patterns that help you use microservices to isolate failures in your applications. By the end of the book, you'll be able to work with a team to break a large, monolithic codebase into independently deployable and scalable microservices. You'll also study how to efficiently and effortlessly manage a microservice-based architecture. What you will learn Learn how to design microservice-based systems Create services that fail without impacting users Monitor your services to perform debugging and create observable systems Manage the security of your services Create fast and reliable deployment pipelines Manage multiple environments for your services Simplify the local development of microservice-based systems Who this book is forMicroservice Development Cookbook is for developers who would like to build effective and scalable microservices. Basic knowledge of the microservices architecture is assumed.
https://magrudy-assets.storage.googleapis.com/9781788479509.jpg
52.490000 USD

Microservices Development Cookbook: Design and build independently deployable, modular services

by Paul Osman
Paperback / softback
Book cover image
This book constitutes the proceedings of the 12th International Conference on Verification and Evaluation of Computer and Communication Systems ( VECoS 2018) held at Grenoble, France, in September 2018. The 11 full papers in this volume, presented together with one abstract and two invited papers, were carefully reviewed and selected ...
Verification and Evaluation of Computer and Communication Systems: 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings
This book constitutes the proceedings of the 12th International Conference on Verification and Evaluation of Computer and Communication Systems ( VECoS 2018) held at Grenoble, France, in September 2018. The 11 full papers in this volume, presented together with one abstract and two invited papers, were carefully reviewed and selected from 23 submissions. The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance, and dependability evaluation in order to discuss state of the art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware/software systems.
https://magrudy-assets.storage.googleapis.com/9783030003586.jpg
73.490000 USD

Verification and Evaluation of Computer and Communication Systems: 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings

Paperback / softback
Book cover image
Learn how to build stunning, maintainable, cross-platform mobile application user interfaces using C# 7 with the power of both the Xamarin and Xamarin.Forms frameworks. Key Features Build effective native and cross-platform user interfaces using the Xamarin frameworks for iOS and Android, as well as Xamarin.Forms Maximize the testability, flexibility, and ...
Mastering Xamarin UI Development: Build robust and a maintainable cross-platform mobile UI with Xamarin and C# 7, 2nd Edition
Learn how to build stunning, maintainable, cross-platform mobile application user interfaces using C# 7 with the power of both the Xamarin and Xamarin.Forms frameworks. Key Features Build effective native and cross-platform user interfaces using the Xamarin frameworks for iOS and Android, as well as Xamarin.Forms Maximize the testability, flexibility, and overall quality of your Xamarin mobile apps Step-by-Steps guide that is packed with real-world scenarios and solutions, to build professional grade mobile apps and games for the iOS and Android platforms, using C# 7 Book DescriptionThis book will provide you with the knowledge and practical skills that are required to develop real-world Xamarin and Xamarin.Forms applications. You'll learn how to create native Android app that will interact with the device camera and photo gallery, and then create a native iOS sliding tiles game. You will learn how to implement complex UI layouts and create customizable control elements based on the platform, using XAML and C# 7 code to interact with control elements within your XAML ContentPages. You'll learn how to add location-based features by to your apps by creating a LocationService class and using the Xam.Plugin.Geolocator cross-platform library, that will be used to obtain the current device location. Next, you'll learn how to work with and implement animations and visual effects within your UI using the PlatformEffects API, using C# code. At the end of this book, you'll learn how to integrate Microsoft Azure App Services and use the Twitter APIs within your app. You will work with the Razor Templating Engine to build a book library HTML5 solution that will use a SQLite.net library to store, update, retrieve, and delete information within a local SQLite database. Finally, you will learn how to write unit tests using the NUnit and UITest frameworks. What you will learn Downloading and Installing the Visual Studio for Mac IDE Overview and Understanding of the Xamarin Mobile Platform Understand the MVVM architectural pattern and how to implement this with your apps Build a NavigationService class to enable navigation between your ViewModels Implement Data-Binding to control elements within your XAML pages and ViewModels Create and Implement Xamarin.Forms Animations within your applications Work with the Microsoft Azure App Services Platform and the Facebook SDK Who this book is forThis book is intended for readers who have experience using at least the C# 6.0 programming language and interested in learning how to create stunning native, and cross-platform user interfaces for the iOS and Android platforms using the Xamarin and Xamarin.Forms frameworks using C# 7.
https://magrudy-assets.storage.googleapis.com/9781788995511.jpg
47.240000 USD

Mastering Xamarin UI Development: Build robust and a maintainable cross-platform mobile UI with Xamarin and C# 7, 2nd Edition

by Steven F. Daniel
Paperback / softback
Book cover image
Get started with Kotlin programming for building real world applications Key Features Start programming with Kotlin Explore Kotlin language syntax, standard libraries and Java Interoperability Builds an example application with what you learn Book DescriptionKotlin is a general purpose, object-oriented language that primarily targets the JVM and Android. Intended as ...
Kotlin Quick Start Guide: Core features to get you ready for developing applications
Get started with Kotlin programming for building real world applications Key Features Start programming with Kotlin Explore Kotlin language syntax, standard libraries and Java Interoperability Builds an example application with what you learn Book DescriptionKotlin is a general purpose, object-oriented language that primarily targets the JVM and Android. Intended as a better alternative to Java, its main goals are high interoperability with Java and increased developer productivity. Kotlin is still a new language and this book will help you to learn the core Kotlin features and get you ready for developing applications with Kotlin. This book covers Kotlin features in detail and explains them with practical code examples.You will learn how to set up the environment and take your frst steps with Kotlin and its syntax. We will cover the basics of the language, including functions, variables, and basic data types. With the basics covered, the next chapters show how functions are first-class citizens in Kotlin and deal with the object-oriented side of Kotlin. You will move on to more advanced features of Kotlin. You will explore Kotlin's Standard Library and learn how to work with the Collections API. The book finishes by putting Kotlin in to practice, showing how to build a desktop app. By the end of this book, you will be confident enough to use Kotlin for your next project. What you will learn Programming in Kotlin language syntax, basic types, control ?ow, classes, and OOP Writing functions and functional programming in Kotlin Defning and importing from packages in Kotlin Running Kotlin on JVMs and Android runtimes Working with the Kotlin Standard Library and advanced features of Kotlin programming Setting up a Kotlin development environment with JetBrains tools Building real-world applications with Kotlin Who this book is forThis book is intended for anybody who wants to learn the most important Kotlin features. No experience of Kotlin is expected.
https://magrudy-assets.storage.googleapis.com/9781789344189.jpg
31.490000 USD

Kotlin Quick Start Guide: Core features to get you ready for developing applications

by Marko Devcic
Paperback / softback
Book cover image
This fourth Edition presents new examples on submodules, derived type i/o, object oriented programming, abstract interfaces and procedure pointers, C interop, sorting and searching, statistics and converting to more modern versions of Fortran. Key Features Highlights the core language features of modern Fortran including data typing, array processing, control structures, ...
Introduction to Programming with Fortran
This fourth Edition presents new examples on submodules, derived type i/o, object oriented programming, abstract interfaces and procedure pointers, C interop, sorting and searching, statistics and converting to more modern versions of Fortran. Key Features Highlights the core language features of modern Fortran including data typing, array processing, control structures, functions, subroutines, modules and submodules, user defined types, pointers, operator overloading, generic programming, parallel programming, abstract interfaces, procedure pointers Pinpoints common problems that occur when programming Illustrates the use of several compilers Introduction to Programming with Fortran has been written for the complete beginner with little or no programming background as well as existing Fortran programmers and those with programming experience in other languages
https://magrudy-assets.storage.googleapis.com/9783319755014.jpg
146.990000 USD

Introduction to Programming with Fortran

by Jane Sleightholme, Ian Chivers
Hardback
Book cover image
This book constitutes the refereed proceedings of the 12th International Conference on Reachability Problems, RP 2018, held in Marseille, France, in September 2018. The 11 full papers presented were carefully reviewed and selected from 21 submissions. The papers cover topics such as reachability for infinite state systems; rewriting systems; reachability ...
Reachability Problems: 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings
This book constitutes the refereed proceedings of the 12th International Conference on Reachability Problems, RP 2018, held in Marseille, France, in September 2018. The 11 full papers presented were carefully reviewed and selected from 21 submissions. The papers cover topics such as reachability for infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating automata; Petri nets; computational aspects of semigroups, groups, and rings; reachability in dynamical and hybrid systems; frontiers between decidable and undecidable reachability problems; complexity and decidability aspects; predictability in iterative maps, and new computational paradigms.
https://magrudy-assets.storage.googleapis.com/9783030002497.jpg
62.990000 USD

Reachability Problems: 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings

Paperback / softback
Book cover image
A comprehensive guide to exploring software architecture concepts and implementing best practices Key Features Enhance your skills to grow your career as a software architect Design efficient software architectures using patterns and best practices Learn how software architecture relates to an organization as well as software development methodology Book DescriptionThe ...
Software Architect's Handbook: Become a successful software architect by implementing effective architecture concepts
A comprehensive guide to exploring software architecture concepts and implementing best practices Key Features Enhance your skills to grow your career as a software architect Design efficient software architectures using patterns and best practices Learn how software architecture relates to an organization as well as software development methodology Book DescriptionThe Software Architect's Handbook is a comprehensive guide to help developers, architects, and senior programmers advance their career in the software architecture domain. This book takes you through all the important concepts, right from design principles to different considerations at various stages of your career in software architecture. The book begins by covering the fundamentals, benefits, and purpose of software architecture. You will discover how software architecture relates to an organization, followed by identifying its significant quality attributes. Once you have covered the basics, you will explore design patterns, best practices, and paradigms for efficient software development. The book discusses which factors you need to consider for performance and security enhancements. You will learn to write documentation for your architectures and make appropriate decisions when considering DevOps. In addition to this, you will explore how to design legacy applications before understanding how to create software architectures that evolve as the market, business requirements, frameworks, tools, and best practices change over time. By the end of this book, you will not only have studied software architecture concepts but also built the soft skills necessary to grow in this field. What you will learn Design software architectures using patterns and best practices Explore the different considerations for designing software architecture Discover what it takes to continuously improve as a software architect Create loosely coupled systems that can support change Understand DevOps and how it affects software architecture Integrate, refactor, and re-architect legacy applications Who this book is forThe Software Architect's Handbook is for you if you are a software architect, chief technical officer (CTO), or senior developer looking to gain a firm grasp of software architecture.
https://magrudy-assets.storage.googleapis.com/9781788624060.jpg
52.490000 USD

Software Architect's Handbook: Become a successful software architect by implementing effective architecture concepts

by Joseph Ingeno
Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August 2018. The 18 papers presented in this volume were carefully reviewed and selected from 37 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains: program verication, ...
Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings
This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August 2018. The 18 papers presented in this volume were carefully reviewed and selected from 37 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains: program verication, bug detection, compiler optimization, program understanding, and software maintenance.
https://magrudy-assets.storage.googleapis.com/9783319997247.jpg
94.490000 USD

Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings

Paperback / softback
Book cover image
Learn Go programming with concise examples providing solutions to common problems Key Features Study Go programming with the help of short, modular, and concise recipes Overcome the most common challenges in Go Exploit the most exciting features of Go such as Goroutines Book DescriptionWith its C-like speed, simplicity, and power ...
Hands-On Go Programming: Explore Go by solving real-world challenges
Learn Go programming with concise examples providing solutions to common problems Key Features Study Go programming with the help of short, modular, and concise recipes Overcome the most common challenges in Go Exploit the most exciting features of Go such as Goroutines Book DescriptionWith its C-like speed, simplicity, and power for a growing number of system-level programming domains, Go has become increasingly popular among programmers. Hands-On Go Programming teaches you the Go programming by solving commonly faced problems with the help of recipes. You will start by installing Go binaries and get familiar with the tools used for developing an application. Once you have understood these tasks, you will be able to manipulate strings and use them in built-in function constructs to create a complex value from two floating-point values. You will discover how to perform an arithmetic operation date and time, along with parsing them from string values. In addition to this, you will cover concurrency in Go, performing various web programming tasks, implementing system programming, reading and writing files, and honing many fundamental Go programming skills such as proper error handling and logging, among others. Whether you are an expert programmer or newbie, this book helps you understand how various answers are programmed in the Go language. What you will learn Manipulate string values and escape special characters Work with dates, times, maps, and arrays Handle errors and perform logging Explore files and directories Handle HTTP requests and responses Perform CRUD operations on a relational database Who this book is forHands-On Go Programming is for you if you are a software developer interested in learning Go language, or anyone who wants to explore practical code examples.
https://magrudy-assets.storage.googleapis.com/9781789531756.jpg
31.490000 USD

Hands-On Go Programming: Explore Go by solving real-world challenges

by Tarik Guney
Paperback / softback
Book cover image
Getting the most out of Python to improve your codebase Key Features Save maintenance costs by learning to fix your legacy codebase Learn the principles and techniques of refactoring Apply microservices to your legacy systems by implementing practical techniques Book DescriptionPython is currently used in many different areas such as ...
Clean Code in Python: Refactor your legacy code base
Getting the most out of Python to improve your codebase Key Features Save maintenance costs by learning to fix your legacy codebase Learn the principles and techniques of refactoring Apply microservices to your legacy systems by implementing practical techniques Book DescriptionPython is currently used in many different areas such as software construction, systems administration, and data processing. In all of these areas, experienced professionals can find examples of inefficiency, problems, and other perils, as a result of bad code. After reading this book, readers will understand these problems, and more importantly, how to correct them. The book begins by describing the basic elements of writing clean code and how it plays an important role in Python programming. You will learn about writing efficient and readable code using the Python standard library and best practices for software design. You will learn to implement the SOLID principles in Python and use decorators to improve your code. The book delves more deeply into object oriented programming in Python and shows you how to use objects with descriptors and generators. It will also show you the design principles of software testing and how to resolve software problems by implementing design patterns in your code. In the final chapter we break down a monolithic application to a microservice one, starting from the code as the basis for a solid platform. By the end of the book, you will be proficient in applying industry approved coding practices to design clean, sustainable and readable Python code. What you will learn Set up tools to effectively work in a development environment Explore how the magic methods of Python can help us write better code Examine the traits of Python to create advanced object-oriented design Understand removal of duplicated code using decorators and descriptors Effectively refactor code with the help of unit tests Learn to implement the SOLID principles in Python Who this book is forThis book will appeal to team leads, software architects and senior software engineers who would like to work on their legacy systems to save cost and improve efficiency. A strong understanding of Programming is assumed.
https://magrudy-assets.storage.googleapis.com/9781788835831.jpg
47.240000 USD

Clean Code in Python: Refactor your legacy code base

by Mariano Anaya
Paperback / softback
Book cover image
Get ready to code with this easy-to-use series full of projects and tips to get kids programming. Each book in the Ready, Steady Code! series has 4 step-by-step projects with an introduction section (Ready), project preparation section (Steady), and the coding for the project section (Code!). The programming language is ...
Ready, Steady, Code!: Coding with Hopscotch
Get ready to code with this easy-to-use series full of projects and tips to get kids programming. Each book in the Ready, Steady Code! series has 4 step-by-step projects with an introduction section (Ready), project preparation section (Steady), and the coding for the project section (Code!). The programming language is introduced with clear simple explanations and illustrations, making concepts such as loops and variables easy to understand. Each book includes information on checking and de-bugging and encourages the reader to use what they have learned to create their own coding projects. In Coding with Hopscotch, you can take a trip on the Titanic, land an aeroplane, monkey about in the rainforest and make music without an instrument. The easy-to-follow, step-by-step instructions will guide you through coding these fantastic projects. Once you've got the hang of it, there are different challenges you can choose to really test your coding skills and handy troubleshooting hints to help if you need them. With Ready, Steady, Code, you'll soon be ready for the world of coding. Perfect for independent learning or code clubs, with simple explanations and clear instructions. Includes information on how to stay safe online.
https://magrudy-assets.storage.googleapis.com/9781526308733.jpg
22.17 USD

Ready, Steady, Code!: Coding with Hopscotch

by Alvaro Scrivano
Hardback
Book cover image
An In-depth guide updated with the latest version of Qt 5.11 including new features such as Quick Controls and Qt Gamepad Key Features Unleash the power of Qt 5.11 with C++ Build applications using Qt Widgets (C++) or Qt Quick (QML) Create cross-platform applications for mobile and desktop platforms with ...
Mastering Qt 5: Create stunning cross-platform applications using C++ with Qt Widgets and QML with Qt Quick, 2nd Edition
An In-depth guide updated with the latest version of Qt 5.11 including new features such as Quick Controls and Qt Gamepad Key Features Unleash the power of Qt 5.11 with C++ Build applications using Qt Widgets (C++) or Qt Quick (QML) Create cross-platform applications for mobile and desktop platforms with Qt 5 Book DescriptionQt 5.11 is an app development framework that provides a great user experience and develops full capability applications with Qt Widgets, QML, and even Qt 3D. Whether you're building GUI prototypes or fully-fledged cross-platform GUI applications with a native look and feel, Mastering Qt 5 is your fastest, easiest, and most powerful solution. This book addresses various challenges and teaches you to successfully develop cross-platform applications using the Qt framework, with the help of well-organized projects. Working through this book, you will gain a better understanding of the Qt framework, as well as the tools required to resolve serious issues, such as linking, debugging, and multithreading. You'll start off your journey by discovering the new Qt 5.11 features, soon followed by exploring different platforms and learning to tame them. In addition to this, you'll interact with a gamepad using Qt Gamepad. Each chapter is a logical step for you to complete in order to master Qt. By the end of this book, you'll have created an application that has been tested and is ready to be shipped. What you will learn Create stunning UIs with Qt Widgets and Qt Quick 2 Develop powerful, cross-platform applications with the Qt framework Design GUIs with the Qt Designer and build a library in it for UI previews Handle user interaction with the Qt signal or slot mechanism in C++ Prepare a cross-platform project to host a third-party library Use the Qt Animation framework to display stunning effects Deploy mobile apps with Qt and embedded platforms Interact with a gamepad using Qt Gamepad Who this book is forMastering Qt 5 is for developers and programmers who want to build GUI-based applications. C++ knowledge is necessary, and knowing QT basics will help you get the most out of this book.
https://magrudy-assets.storage.googleapis.com/9781788995399.jpg
47.240000 USD

Mastering Qt 5: Create stunning cross-platform applications using C++ with Qt Widgets and QML with Qt Quick, 2nd Edition

by Robin Penea, Guillaume Lazar
Paperback / softback
Book cover image
This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2018, held in Beijing, China, in September 2018. The 9 full papers presented together with 3 short papers were carefully reviewed and selected from 22 submissions. The purpose of SETTA is ...
Dependable Software Engineering. Theories, Tools, and Applications: 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings
This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2018, held in Beijing, China, in September 2018. The 9 full papers presented together with 3 short papers were carefully reviewed and selected from 22 submissions. The purpose of SETTA is to provide an international forum for researchers and practitioners to share cutting-edge advancements and strengthen collaborations in the field of formal methods and its interoperability with software engineering for building reliable, safe, secure, and smart systems.
https://magrudy-assets.storage.googleapis.com/9783319999326.jpg
62.990000 USD

Dependable Software Engineering. Theories, Tools, and Applications: 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 16th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2018, held in Beijing, China, in September 2018. The 14 papers presented in this volume were carefully reviewed and selected from 29 submissions. The papers are organized in the following ...
Formal Modeling and Analysis of Timed Systems: 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings
This book constitutes the refereed proceedings of the 16th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2018, held in Beijing, China, in September 2018. The 14 papers presented in this volume were carefully reviewed and selected from 29 submissions. The papers are organized in the following topical sections: invited papers, temporal logics, distributed timed systems, behavioral equivalences, timed words, and continuous dynamical systems. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modeling and analysis of timed systems and, as a generalization, hybrid systems.
https://magrudy-assets.storage.googleapis.com/9783030001506.jpg
73.490000 USD

Formal Modeling and Analysis of Timed Systems: 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings

Paperback / softback
Book cover image
Blockchain Technology: Platforms, Tools and Use Cases, Volume 111, the latest release in the Advances in Computers series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design and applications. In addition, it provides contributors with a medium in which they can explore their subjects in ...
Blockchain Technology: Platforms, Tools and Use Cases: Volume 111
Blockchain Technology: Platforms, Tools and Use Cases, Volume 111, the latest release in the Advances in Computers series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design and applications. In addition, it provides contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow. This volume has 8 Chapters that discuss the various aspects of Blockchain technology.
https://magrudy-assets.storage.googleapis.com/9780128138526.jpg
191.100000 USD

Blockchain Technology: Platforms, Tools and Use Cases: Volume 111

Hardback
Book cover image
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2018, held in Luxembourg during September 2018. This is the second conference of a new series, joining the efforts of two existing conference series, namely RuleML (International Web Rule Symposium) and RR (Web Reasoning and ...
Rules and Reasoning: Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2018, held in Luxembourg during September 2018. This is the second conference of a new series, joining the efforts of two existing conference series, namely RuleML (International Web Rule Symposium) and RR (Web Reasoning and Rule Systems).The 10 full research papers presented together with 5 long technical communications and 7 short papers were carefully reviewed and selected from 33 submissions.
https://magrudy-assets.storage.googleapis.com/9783319999050.jpg
83.990000 USD

Rules and Reasoning: Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings

Paperback / softback
Book cover image
A comprehensive treatment of systems and software testing using state of the art methods and tools This book provides valuable insights into state of the art software testing methods and explains, with examples, the statistical and analytic methods used in this field. Numerous examples are used to provide understanding in ...
Analytic Methods in Systems and Software Testing
A comprehensive treatment of systems and software testing using state of the art methods and tools This book provides valuable insights into state of the art software testing methods and explains, with examples, the statistical and analytic methods used in this field. Numerous examples are used to provide understanding in applying these methods to real-world problems. Leading authorities in applied statistics, computer science, and software engineering present state-of-the-art methods addressing challenges faced by practitioners and researchers involved in system and software testing. Methods include: machine learning, Bayesian methods, graphical models, experimental design, generalized regression, and reliability modeling. Analytic Methods in Systems and Software Testing presents its comprehensive collection of methods in four parts: Part I: Testing Concepts and Methods; Part II: Statistical Models; Part III: Testing Infrastructures; and Part IV: Testing Applications. It seeks to maintain a focus on analytic methods, while at the same time offering a contextual landscape of modern engineering, in order to introduce related statistical and probabilistic models used in this domain. This makes the book an incredibly useful tool, offering interesting insights on challenges in the field for researchers and practitioners alike. Compiles cutting-edge methods and examples of analytical approaches to systems and software testing from leading authorities in applied statistics, computer science, and software engineering Combines methods and examples focused on the analytic aspects of systems and software testing Covers logistic regression, machine learning, Bayesian methods, graphical models, experimental design, generalized regression, and reliability models Written by leading researchers and practitioners in the field, from diverse backgrounds including research, business, government, and consulting Stimulates research at the theoretical and practical level Analytic Methods in Systems and Software Testing is an excellent advanced reference directed toward industrial and academic readers whose work in systems and software development approaches or surpasses existing frontiers of testing and validation procedures. It will also be valuable to post-graduate students in computer science and mathematics.
https://magrudy-assets.storage.googleapis.com/9781119271505.jpg
99.750000 USD

Analytic Methods in Systems and Software Testing

Hardback
Book cover image
This book constitutes the refereed conference proceedings of the 28th International Conference on Inductive Logic Programming, ILP 2018, held in Ferrara, Italy, in September 2018. The 10 full papers presented were carefully reviewed and selected from numerous submissions. Inductive Logic Programming (ILP) is a subfield of machine learning, which originally ...
Inductive Logic Programming: 28th International Conference, ILP 2018, Ferrara, Italy, September 2-4, 2018, Proceedings
This book constitutes the refereed conference proceedings of the 28th International Conference on Inductive Logic Programming, ILP 2018, held in Ferrara, Italy, in September 2018. The 10 full papers presented were carefully reviewed and selected from numerous submissions. Inductive Logic Programming (ILP) is a subfield of machine learning, which originally relied on logic programming as a uniform representation language for expressing examples, background knowledge and hypotheses. Due to its strong representation formalism, based on first-order logic, ILP provides an excellent means for multi-relational learning and data mining, and more generally for learning from structured data.
https://magrudy-assets.storage.googleapis.com/9783319999593.jpg
62.990000 USD

Inductive Logic Programming: 28th International Conference, ILP 2018, Ferrara, Italy, September 2-4, 2018, Proceedings

Paperback / softback
Page 1 of 40