Filter
(found 223 products)
Book cover image
Elm is more than just a cutting-edge programming language, it's a chance to upgrade the way you think about building web applications. Once you get comfortable with Elm's refreshingly different approach to application development, you'll be working with a clean syntax, dependable libraries, and a delightful compiler that essentially eliminates ...
Elm in Action
Elm is more than just a cutting-edge programming language, it's a chance to upgrade the way you think about building web applications. Once you get comfortable with Elm's refreshingly different approach to application development, you'll be working with a clean syntax, dependable libraries, and a delightful compiler that essentially eliminates runtime exceptions. Elm compiles to JavaScript, so your code runs in any browser, and Elm's best-in-class rendering speed will knock your socks off. Let's get started! Elm in Action teaches you how to build well-designed, highly performant web applications using the Elm language. As you read, you'll follow an application called Photo Groove that will show you how to structure your application's domain and behaviour, how to maintain a pleasantly modular architecture, and how to deliver a quality product using the Elm language. Along the way, you'll learn how to interact smoothly with browser functionality, servers, and JavaScript libraries, as well and picking up a few tricks for building fluid, intuitive user experiences. If you're new to functional programming, you'll also gain a practical understanding of techniques that will make you a better developer no matter what you're writing! Written for readers comfortable with web application development in JavaScript. No experience with Elm or functional programming required. Key Features Getting started with the Elm language Scalable design for production web applications Single-page applications in Elm Testing your applications Richard Feldman is a programmer and entrepreneur who loves to push the limits of browser-based programming. He's a front-end engineer at NoRedInk and a well-known member of the Elm community
https://magrudy-assets.storage.googleapis.com/9781617294044.jpg
52.490000 USD

Elm in Action

Paperback / softback
Book cover image
Description As a developer, you need to build software in a secure way. But you can't spend all your time focusing on security. The answer is to use good design principles, tools, and mindsets that make security an implicit result - it's secure by design. Secure by Design teaches developers ...
Secure By Design
Description As a developer, you need to build software in a secure way. But you can't spend all your time focusing on security. The answer is to use good design principles, tools, and mindsets that make security an implicit result - it's secure by design. Secure by Design teaches developers how to use design to drive security in software development. This book is full of patterns, best practices, and mindsets that you can directly apply to your real world development. Key features * Use good design to create secure software * Apply design concepts in real-world cases * Spot hidden security problems * Assess security by identifying design patterns * Understand benefits and limitations of secure-by-design Audience Readers should have some experience in Java, C#/.NET, or similar language. About the technology Secure-by-design becomes a guiding principle in how you build your software, from code to architecture. This begins by understanding designs and patterns that promote security so they become easy to apply in your day-to-day work.
https://magrudy-assets.storage.googleapis.com/9781617294358.jpg
74.37 USD

Secure By Design

by Daniel Sawano, Daniel Deogun, Dan Bergh Johnsson
Paperback / softback
Book cover image
DESCRIPTION In today's world, user interfaces have to be highly dynamic, asynchronous, and reliable. To meet these demands, the programming world is undergoing a radical shift towards something called Functional Reactive Programming (FRP), or just Reactive Programming. FRP offers programmers a new way to construct their applications so that they ...
RxJava for Android Developers
DESCRIPTION In today's world, user interfaces have to be highly dynamic, asynchronous, and reliable. To meet these demands, the programming world is undergoing a radical shift towards something called Functional Reactive Programming (FRP), or just Reactive Programming. FRP offers programmers a new way to construct their applications so that they respond directly to change. And developers spend less time tracing obscure problems and more time focusing on what their code should be doing. Grokking Reactive User Interfaces teaches programmers a new way ofthinking about programs and data as well as how to build robust and extensible user interfaces. This well-illustrated book presents lots of concrete, real-world problems and then shows how FRP helps to solve them. It begins by looking at examples that get readers into the mindset of data flows and goes on to introduce the concept of a View Model. Readers also learn how FRP enables them to better manage change and introduce new features. The final part of this book focuses on higherlevel application design concerns and strategies as you look at architectural approaches and frameworks that work well with FRP thinking. KEY FEATURES* Provides lots of illustrations and real-life app examples * Teaches a new way of thinking about programs and data * Using FRP in day-to-day programming * Teaches how to handle increasing complexity in UIs AUDIENCE Readers should have a basic understanding of mobile UI development and be familiar with traditional object-oriented programming paradigms. ABOUT THE TECHNOLOGY FRP offers a new way to construct applications so that they respond directly to change. FRP is not a typical technology B that obviously and immediately replaces an inferior technology A. It's more of a way of thinking rather than a mechanical solution.
https://magrudy-assets.storage.googleapis.com/9781617293368.jpg
45.22 USD

RxJava for Android Developers

by Timo Tuominen
Paperback / softback
Book cover image
Artificial Intelligence is the most exciting technology of the century, and Deep Learning is, quite literally, the brain behind the world's smartest Artificial Intelligence systems out there. Grokking Deep Learning is the perfect place to begin the deep learning journey. Rather than just learning the black box API of some ...
Grokking Deep Learning
Artificial Intelligence is the most exciting technology of the century, and Deep Learning is, quite literally, the brain behind the world's smartest Artificial Intelligence systems out there. Grokking Deep Learning is the perfect place to begin the deep learning journey. Rather than just learning the black box API of some library or framework, readers will actually understand how to build these algorithms completely from scratch. Key Features: Build neural networks that can see and understand images Build an A.I. that will learn to defeat you in a classic Atari game Hands-on Learning Written for readers with high school-level math and intermediate programming skills. Experience with Calculus is helpful but not required. ABOUT THE TECHNOLOGY Deep Learning is a subset of Machine Learning, which is a field dedicated to the study and development of machines that can learn, often with the goal of eventually attaining general artificial intelligence.
https://magrudy-assets.storage.googleapis.com/9781617293702.jpg
74.37 USD

Grokking Deep Learning

by Andrew W Trask
Paperback / softback
Book cover image
Description The Angular 2 framework is great for building large-scale web applications that can be maintained and extended. And when building enterprise-level apps, testing is vital to the development process. Testing improves the quality of code and reduces maintenance, saving both time and money. Even though testing is crucial, it's ...
Testing Angular Applications Covers Angular 2
Description The Angular 2 framework is great for building large-scale web applications that can be maintained and extended. And when building enterprise-level apps, testing is vital to the development process. Testing improves the quality of code and reduces maintenance, saving both time and money. Even though testing is crucial, it's sometimes neglected since there are few established resources and standards when it comes to modern JavaScript web applications. Developers who know how to build and leverage tests are highly valued by their clients and companies. Testing Angular Applications is an example-rich, hands-on guide that gives the real-world techniques needed to thoroughly test all parts of Angular 2 applications. The book starts with an introduction to Angular 2, TypeScript, testing fundamentals, and the testing frameworks and tools used in the book. Next, it explains how to set-up an Angular 2 environment, including TypeScript and the Angular 2 dependencies. The reader will then create their first component. The second part of the book focuses on the most important concepts of Angular 2, such as testing components, directives, pipes, services, and routing. This book will allow readers to confidently write unit and endto-end tests for Angular 2 applications and TypeScript. Key features * Testing components, directives, services and pipes * Real-world techniques * Hands-on examples * Foundation for writing advances tests * Provides code that can be reused in a production environment Audience This book is for readers with intermediate JavaScript skills and some experience with JavaScript frameworks. No experience with testing or Angular required. About the Technology Angular 2 is the latest version of the popular web application framework built by Google and its army of community contributors. Angular 2 is a mobile-first framework that promises to be fast, flexible, and expressive. The Angular 2 syntax is clean and easy to read, which lends itself nicely to rapid development and assists in writing tests.
https://magrudy-assets.storage.googleapis.com/9781617293641.jpg
63.21 USD

Testing Angular Applications Covers Angular 2

by Craig Nishina, Michael Giambalvo, Corinna Cohn, Jesse Palmer
Paperback / softback
Book cover image
React is a JavaScript library developed for one main reason-to build reusable UI components that present ever-changing data. The React philosophy is to focus solely on the user interface. In model-viewcontroller (MVC) terminology, React is the view. Because it has to work with models and other libraries, it's designed to ...
React Quickly
React is a JavaScript library developed for one main reason-to build reusable UI components that present ever-changing data. The React philosophy is to focus solely on the user interface. In model-viewcontroller (MVC) terminology, React is the view. Because it has to work with models and other libraries, it's designed to play nicely with pretty much any other framework, router, style, and model library. And it's well supported-React emerged from Instagram and is now used by Facebook, Asana, Khan Academy, and Atom among many more. React Quickly is for anyone who wants to learn React.js fast. This handson book teaches needed concepts by using lots of examples, tutorials, and a large main project that gets built throughout. It starts with the basics, including how React fits into applications, JSX, and handling states, and events. Next, it explores core topics like components, forms, and data. Finally, the book dives into React integration topics, like unit testing and isomorphic JavaScript with Express.js, and Gulp. Key Features: * Uses videos to supplement learning * Chock full of examples * Gets readers using React quickly This book is for web developers who have some JavaScript experience. About the Technology: React is a JavaScript library developed for one main reason-to build reusable UI components that present ever-changing data. React emerged from Instagram and is now used by Facebook, Asana, Khan Academy, and Atom among many more.
https://magrudy-assets.storage.googleapis.com/9781617293344.jpg
52.490000 USD

React Quickly

by Azat Mardan
Paperback / softback
Book cover image
With traditional software unit tests, there's never a guarantee that an application will actually function correctly in the production environment. When you add microservices, testing becomes even more tricky. Testing Java Microservices teaches readers how to write tests like unit, component, integration, container, contract, chaos, and more. Along the way, ...
Testing Java Microservices
With traditional software unit tests, there's never a guarantee that an application will actually function correctly in the production environment. When you add microservices, testing becomes even more tricky. Testing Java Microservices teaches readers how to write tests like unit, component, integration, container, contract, chaos, and more. Along the way, it also covers technologies like the Arquillian ecosystem, Wiremock, Mockito, AssertJ, Pact or Gatling. Finally, the book demonstrates how everything fits together into the Continuous Delivery pipeline. Key Features: * Practical hands-on guide * Writing Persistence tests * Teaches test strategies * Shows how everything fits together in the Continuous Delivery Pipeline Readers should be comfortable programming in Java. Experience with testing tools like jUnit is helpful but not required. Some experience in Java EE, Spring and Docker is also helpful. About the Technology: A microservice may consist of several, several hundred, or even several thousand of lines of code. Microservices enable programmers to isolate and scale smaller pieces of an application, rather than the entire application.
https://magrudy-assets.storage.googleapis.com/9781617292897.jpg
63.21 USD

Testing Java Microservices

by Andy Gumbrecht (Autoren), Jason Porter, Alex Soto Bueno
Paperback / softback
Book cover image
DESCRIPTION Cloud services make it easy to get infrastructure in a flexible and ondemand way. While there are many cloud services to choose from, Google Cloud Platform offers unique services that let you focus on building powerful applications. Google Cloud Services in Action teaches readers to build and launchweb applications ...
Google Cloud Platform in Action
DESCRIPTION Cloud services make it easy to get infrastructure in a flexible and ondemand way. While there are many cloud services to choose from, Google Cloud Platform offers unique services that let you focus on building powerful applications. Google Cloud Services in Action teaches readers to build and launchweb applications that scale while leveraging the Google Cloud Platform. Readers begin with the basics, learning how cloud services work, and the specifics of the Google Cloud Platform. The book includes hands-on step-by-step instruction on deploying applications, handling large amounts of data, and much more By the end, readers will know how to build, leverage, and deploy cloud-based applications so web applications get started more quickly, suffer fewer disasters, and require less maintenance. KEY FEATURES* Hands on code examples * Lots of useful images * Written in an approachable way * Helps readers get their applications deployed quickly AUDIENCE Readers will have a working knowledge of application development in a modern language and an understanding of application architecture. No knowledge of cloud services required. ABOUT THE TECHNOLOGY Put simply, Google Cloud Platform (GCP) is a collection of products that allows developers to use Google's internal infrastructure via a set of APIs. In other words, GCP is a collection of products and services that help users solve infrastructure problems The Google Way .
https://magrudy-assets.storage.googleapis.com/9781617293528.jpg
62.990000 USD

Google Cloud Platform in Action

by John J. Geewax
Paperback / softback
Book cover image
Description Functional languages help developers support concurrency by encouraging immutable data structures that can be passed between threads without having to worry about a shared state, all while avoiding side effects. Functional Concurrency in .NET teaches readers how to build concurrent and scalable programs in .NET using the functional paradigm. ...
Concurrency in .NET: Modern patterns of concurrent and parallel programming
Description Functional languages help developers support concurrency by encouraging immutable data structures that can be passed between threads without having to worry about a shared state, all while avoiding side effects. Functional Concurrency in .NET teaches readers how to build concurrent and scalable programs in .NET using the functional paradigm. This intermediate-level guide is aimed at developers, architects, and passionate computer programmers. Key Features * In-depth explanations * Hands-on examples * Step-by-step instructions Audience This book is for readers with solid knowledge of a mainstream programming language, preferably C# or F#. About the technology To maximize the utilization of the computational resources available, the Microsoft .NET platform provides parallel execution of code through multithreading. By leveraging parallelism, a program can take full advantage of the resources available. Riccardo Terrell is a .NET seasoned software engineer, senior software architect and Microsoft MVP who is passionate about functional programming. He is well known and actively involved in the functional programming community including .NET meet ups and conferences and is the organizer for the Washington DC F# User Group. MANNING
https://magrudy-assets.storage.googleapis.com/9781617292996.jpg
62.990000 USD

Concurrency in .NET: Modern patterns of concurrent and parallel programming

by Riccardo Terrell
Paperback / softback
Book cover image
Unlike any other programming language, Haskell is purely functional with a strong type system and lazy evaluation. It is arguable the most interesting language but also has the reputation of being one of the most challenging to learn. Learning Haskell doesn't have to be difficult, and this book can help! ...
Get Programming with Haskell
Unlike any other programming language, Haskell is purely functional with a strong type system and lazy evaluation. It is arguable the most interesting language but also has the reputation of being one of the most challenging to learn. Learning Haskell doesn't have to be difficult, and this book can help! Get Programming with Haskell introduces you to the Haskell language without drowning you in academic jargon and heavy functional programming theory. By working through 43 easy-to-follow lessons, you'll learn Haskell by doing Haskell. This book starts with first concepts, building your knowledge with concrete examples and exercises. You'll learn to think the Haskell way, as you start to understand the language and how to use it effectively. And you'll really appreciate the crystal-clear illustrations, quick-checks, and open-ended tasks that make sure you're solid on each new concept before you move along! KEY FEATURES * Full of interesting examples * Easy approach to functional programming basics * Write safe, predictable code with fewer bugs * Lots of illustrations and exercises Readers should have some experience with JavaScript, Python or Ruby. No functional programming or math skills required. ABOUT THE TECHNOLOGY Haskell is a purely functional programming language. It treats programs as much like math as you can, requires you to think more than you type, and can express the idea of infinite lists in code! These are just the more obvious features that make Haskell unlike any other programming language AUTHOR BIO Will Kurt currently works as a Data Scientist at Quick Sprout. With a formal background in both Computer Science (MS) and English Literature (BA) he is fascinated with explaining complex technical topics as clearly and generally as possible. He has taught a course section on Haskell at the University of Nevada, Reno and given workshops on Functional Programming. He also blogs about probability at CountBayesie.com.
https://magrudy-assets.storage.googleapis.com/9781617293764.jpg
45.22 USD

Get Programming with Haskell

by Will Kurt
Paperback / softback
Book cover image
F# leads to quicker development time and a lower total cost of ownership. Its powerful feature set allows developers to more succinctly express their intent, and encourages best practices - leading to higher quality deliverables in less time. Programming with F#: A guide for .NET developers shows you how to ...
Get Programming with F#: A guide for .NET developers
F# leads to quicker development time and a lower total cost of ownership. Its powerful feature set allows developers to more succinctly express their intent, and encourages best practices - leading to higher quality deliverables in less time. Programming with F#: A guide for .NET developers shows you how to upgrade your .NET development skills by adding a touch of functional programming in F#. In just 43 bite-size chunks, you'll learn to use F# to tackle the most common .NET programming tasks. You'll start with the basics of F# and functional programming, building on your existing skills in the .NET framework. Examples use the familiar Visual Studio environment, so you'll be instantly comfortable. Packed with enlightening examples, real-world use cases, and plenty of easyto-digest code, this easy-to-follow tutorial will make you wonder why you didn't pick up F# years ago! KEY FEATURES * Hands-on chapters * Practical examples * Bite-size lessons * Try This exercises For intermediate C# and Visual Basic .NET developers who have heard about F# and functional programming and want to understand the benefits and use it as a part of their existing toolbox without having to throw away existing code. ABOUT THE TECHNOLOGY F# is a mature, open-source functional-first language that's rapidly growing in popularity both inside and outside the .NET ecosystem. AUTHOR BIO Isaac Abraham is an F# MVP and a .NET developer since .NET 1.0 with an interest in cloud computing and distributed data problems. He lives in both the UK and Germany, and is the director of Compositional IT.
https://magrudy-assets.storage.googleapis.com/9781617293993.jpg
63.21 USD

Get Programming with F#: A guide for .NET developers

by Isaac Abraham
Paperback / softback
Book cover image
Modern browsers, Node, and major libraries have already started to adopt next generation JavaScript features. They can make JavaScript simpler to read, less prone to common errors, and much easier to use in asynchronous programs. Get Programming with JavaScript Next teaches JavaScript developers the most important additions from both ES6 ...
Get Programming with JavaScript Next
Modern browsers, Node, and major libraries have already started to adopt next generation JavaScript features. They can make JavaScript simpler to read, less prone to common errors, and much easier to use in asynchronous programs. Get Programming with JavaScript Next teaches JavaScript developers the most important additions from both ES6 and ES7. This clearlywritten guide to JavaScript's newest features contains lots of short easy-to-digest chapters and exercises to help you master each new concept. KEY FEATURES * Easy-to-follow examples * Real-world examples * Step-by-step guide This book is for developers who are comfortable writing basic JavaScript code. Knowledge of the DOM and Node.js will be helpful, but not required ABOUT THE TECHNOLOGY JavaScript is an incredibly popular programming language, mostly seen in web browsers but gaining popularity in other contexts. AUTHOR BIO J.D. Isaacks has been a developer for over 10 years, focusing on EcmaScript-based languages and is a JavaScript instructor for The Iron Yard. He has contributed to projects including React, Backbone, and D3. He is also a member of both the Bower.js and Moment.js teams and the creator of GitGutter, one of the most popular Sublime Text packages.
https://magrudy-assets.storage.googleapis.com/9781617294204.jpg
59.49 USD

Get Programming with JavaScript Next

by J. D. Isaacks
Paperback / softback
Book cover image
In delivering lectures and writing books, we were most often forced to pay absolutely no attention to a great body of interesting results and useful algorithms appearing in numerous sources and occasionally encountered. It was absolutely that most of these re sults would finally be forgotten because it is impossible ...
Graph Theory for Programmers: Algorithms for Processing Trees
In delivering lectures and writing books, we were most often forced to pay absolutely no attention to a great body of interesting results and useful algorithms appearing in numerous sources and occasionally encountered. It was absolutely that most of these re sults would finally be forgotten because it is impossible to run through the entire variety of sources where these materials could be published. Therefore, we decided to do what we can to correct this situation. We discussed this problem with Ershov and came to an idea to write an encyclopedia of algorithms on graphs focusing our main attention on the algorithms already used in programming and their generalizations or modifications. We thought that it is reasonable to group all graphs into certain classes and place the algo rithms developed for each class into a separate book. The existence of trees, i. e. , a class of graphs especially important for programming, also supported this decision. This monograph is the first but, as we hope, not the last book written as part of our project. It was preceded by two books Algorithms on Trees (1984) and Algorithms of Processing of Trees (1990) small editions of which were published at the Computer Center of the Siberian Division of the Russian Academy of Sciences. The books were distributed immediately and this made out our decision to prepare a combined mono graph on the basis of these books even stronger.
https://magrudy-assets.storage.googleapis.com/9789401058049.jpg
115.490000 USD

Graph Theory for Programmers: Algorithms for Processing Trees

by Vladimir A. Evstigneev, Victor N. Kasyanov
Paperback / softback
Book cover image
We are invited to deal with mathematical activity in a sys tematic way [ ... ] one does expect and look for pleasant surprises in this requirement of a novel combination of psy chology, logic, mathematics and technology. Hao Wang, 1970, quoted from(Wang, 1970). The field of mathematics has been ...
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
We are invited to deal with mathematical activity in a sys tematic way [ ... ] one does expect and look for pleasant surprises in this requirement of a novel combination of psy chology, logic, mathematics and technology. Hao Wang, 1970, quoted from(Wang, 1970). The field of mathematics has been a key application area for automated theorem proving from the start, in fact the very first automatically found the orem was that the sum of two even numbers is even (Davis, 1983). The field of automated deduction has witnessed considerable progress and in the last decade, automated deduction methods have made their way into many areas of research and product development in computer science. For instance, deduction systems are increasingly used in software and hardware verification to ensure the correctness of computer hardware and computer programs with respect to a given specification. Logic programming, while still falling somewhat short of its expectations, is now widely used, deduc tive databases are well-developed and logic-based description and analysis of hard-and software is commonplace today.
https://magrudy-assets.storage.googleapis.com/9789048150526.jpg
292.950000 USD

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Paperback / softback
Book cover image
Organisational Semiotics offers an effective approach to analysing organisations and modelling organisational behaviour. The methods and techniques derived from Organisational Semiotics enable us to study the organisation by examining how information is created and used for communication, coordination and performance of actions towards organisational objectives. The latest development of the ...
Virtual, Distributed and Flexible Organisations: Studies in Organisational Semiotics
Organisational Semiotics offers an effective approach to analysing organisations and modelling organisational behaviour. The methods and techniques derived from Organisational Semiotics enable us to study the organisation by examining how information is created and used for communication, coordination and performance of actions towards organisational objectives. The latest development of the young discipline and its applications have been reported in this book, which provides a useful guide and a valuable reference to anyone working in the areas of organisational study and information systems development.
https://magrudy-assets.storage.googleapis.com/9789048166039.jpg
208.950000 USD

Virtual, Distributed and Flexible Organisations: Studies in Organisational Semiotics

Paperback / softback
Book cover image
High-Speed Serial Interface (HSSI) devices have become widespread in communications, from the embedded to high-performance computing systems, and from on-chip to a wide haul. Testing of HSSIs has been a challenging topic because of signal integrity issues, long test time and the need of expensive instruments. Accelerating Test, Validation and ...
Accelerating Test, Validation and Debug of High Speed Serial Interfaces
High-Speed Serial Interface (HSSI) devices have become widespread in communications, from the embedded to high-performance computing systems, and from on-chip to a wide haul. Testing of HSSIs has been a challenging topic because of signal integrity issues, long test time and the need of expensive instruments. Accelerating Test, Validation and Debug of High Speed Serial Interfaces provides innovative test and debug approaches and detailed instructions on how to arrive to practical test of modern high-speed interfaces. Accelerating Test, Validation and Debug of High Speed Serial Interfaces first proposes a new algorithm that enables us to perform receiver test more than 1000 times faster. Then an under-sampling based transmitter test scheme is presented. The scheme can accurately extract the transmitter jitter and finish the whole transmitter test within 100ms, while the test usually takes seconds. The book also presents and external loopback-based testing scheme, where and FPGA-based BER tester and a novel jitter injection technique are proposed. These schemes can be applied to validate, test and debug HSSIs with data rate up to 12.5Gbps at a lower test cost than pure ATE solutions. In addition, the book introduces an efficieng scheme to implement high performance Gaussian noise generators, suitable for evaluating BER performance under noise conditions.
https://magrudy-assets.storage.googleapis.com/9789400789739.jpg
157.490000 USD

Accelerating Test, Validation and Debug of High Speed Serial Interfaces

by Zeljko Zilic, Yongquan Fan
Paperback / softback
Book cover image
This book covers recent progress in solving propositional satisfiability and related problems. Propositional satisfiability is a powerful and general formalism used to solve a wide range of important problems including hardware and software verification. Research into methods to automate such reasoning has therefore a long history in artificial intelligence. This ...
SAT 2005: Satisfiability Research in the Year 2005
This book covers recent progress in solving propositional satisfiability and related problems. Propositional satisfiability is a powerful and general formalism used to solve a wide range of important problems including hardware and software verification. Research into methods to automate such reasoning has therefore a long history in artificial intelligence. This book follows on from the highly successful volume entitled SAT 2000 published five years ago.
https://magrudy-assets.storage.googleapis.com/9789400787155.jpg
198.450000 USD

SAT 2005: Satisfiability Research in the Year 2005

Paperback / softback
Book cover image
Among the most important problems confronting computer science is that of developing a paradigm appropriate to the discipline. Proponents of formal methods - such as John McCarthy, C.A.R. Hoare, and Edgar Dijkstra - have advanced the position that computing is a mathematical activity and that computer science should model itself ...
Program Verification: Fundamental Issues in Computer Science
Among the most important problems confronting computer science is that of developing a paradigm appropriate to the discipline. Proponents of formal methods - such as John McCarthy, C.A.R. Hoare, and Edgar Dijkstra - have advanced the position that computing is a mathematical activity and that computer science should model itself after mathematics. Opponents of formal methods - by contrast, suggest that programming is the activity which is fundamental to computer science and that there are important differences that distinguish it from mathematics, which therefore cannot provide a suitable paradigm. Disagreement over the place of formal methods in computer science has recently arisen in the form of renewed interest in the nature and capacity of program verification as a method for establishing the reliability of software systems. A paper that appeared in Communications of the ACM entitled, `Program Verification: The Very Idea', by James H. Fetzer triggered an extended debate that has been discussed in several journals and that has endured for several years, engaging the interest of computer scientists (both theoretical and applied) and of other thinkers from a wide range of backgrounds who want to understand computer science as a domain of inquiry. The editors of this collection have brought together many of the most interesting and important studies that contribute to answering questions about the nature and the limits of computer science. These include early papers advocating the mathematical paradigm by McCarthy, Naur, R. Floyd, and Hoare (in Part I), others that elaborate the paradigm by Hoare, Meyer, Naur, and Scherlis and Scott (in Part II), challenges, limits and alternatives explored by C. Floyd, Smith, Blum, and Naur (in Part III), and recent work focusing on formal verification by DeMillo, Lipton, and Perlis, Fetzer, Cohn, and Colburn (in Part IV). It provides essential resources for further study. This volume will appeal to scientists, philosophers, and laypersons who want to understand the theoretical foundations of computer science and be appropriately positioned to evaluate the scope and limits of the discipline.
https://magrudy-assets.storage.googleapis.com/9789401047890.jpg
492.450000 USD

Program Verification: Fundamental Issues in Computer Science

Paperback / softback
Book cover image
DESCRIPTION Node.js is a relatively new platform that lets software developers write the server side of web applications in JavaScript. Problem is-solid examples that show how to implement Node.js in production are still few and far between. That's exactly what this book offers. Node.js in Practice assembles nearly 100 practical ...
Node.js in Practice
DESCRIPTION Node.js is a relatively new platform that lets software developers write the server side of web applications in JavaScript. Problem is-solid examples that show how to implement Node.js in production are still few and far between. That's exactly what this book offers. Node.js in Practice assembles nearly 100 practical techniques that can be used when implementing Node in production. All the code is tested, instantly useful, and relevant. It's a random-access collection of fully-worked examples that offers solutions to the common-and not-so-common-issues faced when rolling out Node. It includes the ins and outs of event-based programming, how and why to use closures, how to structure applications to take advantage of end-to-end JavaScript apps, and more. The book arranges techniques into logical clusters like Events, Streams, File System, and Testing. The heavily-annotated code makes the examples easy to follow and handy cross-references show how techniques dovetail with other related examples. RETAIL SELLING POINTS Nearly 100 fully-worked examples Covers basic to advanced topics Logical easy to follow guide AUDIENCE This book is for software developers who have some understanding of Node.js and intend to use it in their everyday work or want solutions to specific problems. ABOUT THE TECHNOLOGY Node is a server-side platform for developing network applications. It's built on V8, Google's JavaScript runtime engine.
https://magrudy-assets.storage.googleapis.com/9781617290930.jpg
52.490000 USD

Node.js in Practice

by Marc Harter, Alex Young
Paperback / softback
Book cover image
In the continued quest for increased economic benefits from our water resources, numerous structures and operating policies for controlling the river flow have been built and implemented. These structures and associated operating policies can facilitate navigation; they can provide greater quantities of reliable water supplies to meet agricultural, industrial and ...
Restoration of Degraded Rivers: Challenges, Issues and Experiences
In the continued quest for increased economic benefits from our water resources, numerous structures and operating policies for controlling the river flow have been built and implemented. These structures and associated operating policies can facilitate navigation; they can provide greater quantities of reliable water supplies to meet agricultural, industrial and municipal water demands; they can generate hydroelectric power and energy; and they can provide increased flood protection, recreation, and other benefits. Over the past half-century we have converted many of our rivers into engineered waterways. These straightened, often periodically dredged, engineered rivers are complete with dikes, reservoirs, weirs, and diversion canals. All this engineering has enhanced economic development. However, as rivers and their floodplains become stressed from the excessive use and misuse of their resources, their contribution to economic development can be threatened. Evidence of economic and ecological degradation, especially in relatively large river systems such as the Danube, the Mississippi, the Rhine, and the Volga, has increased our appreciation of beneficial roles natural aquatic and terrestrial ecosystems play in water quantity and quality management. We have recognized the need to pay more attention to letting nature help us regulate water quantity and quality rather than working against nature and its variabilities and uncertainties. Today there are efforts underway in many developed river basins to 'de engineer' or return these straightened and controlled rivers to a more natural state.
https://magrudy-assets.storage.googleapis.com/9789048149919.jpg
366.450000 USD

Restoration of Degraded Rivers: Challenges, Issues and Experiences

Paperback / softback
Book cover image
DESCRIPTION The modern data center is a complex arena, with physical and virtual servers, multiple OS environments, and complex networking that frequently spans multiple locations. The need to simplify has never been greater. Mesos, an innovative open-source cluster management platform, transforms the whole data center into a single pool of ...
Mesos in Action
DESCRIPTION The modern data center is a complex arena, with physical and virtual servers, multiple OS environments, and complex networking that frequently spans multiple locations. The need to simplify has never been greater. Mesos, an innovative open-source cluster management platform, transforms the whole data center into a single pool of compute, memory, and storage resources that can be allocated, automated, and scaled as if working with a single super-computer. Mesos is an ideal environment for deploying containerized applications at scale, and it's generating a huge buzz in the big data world as a saner environment for running Spark and Hadoop. Mesos in Action introduces the Apache Mesos cluster manager and the concept of application-centric infrastructure. It guides readers from their first steps in deploying a highly-available Mesos cluster through deploying applications in production and writing native Mesos frameworks. It will show how to scale to thousands of nodes, while providing resource isolation between processes using Linux and Docker containers. It contains practical techniques for deploying applications using popular key frameworks, including Marathon, Chronos, and Aurora. Along the way, the book dives into Mesos internals, including fault tolerance, slave attributes, and resource scheduling and Mesos administration, including logging, monitoring, framework authorization, and slave recovery. KEY FEATURES Gets readers up and running quickly Covers need to know key concepts Combines community knowledge with real-world experience AUDIENCE Readers should be familiar with the core ideas of data center administration, including networking, virtualization, and application deployment on Linux systems. The Python-based code examples should be clear to readers using Mesos bindings for other popular languages, including C++, Go, and Scala. ABOUT THE TECHNOLOGY Apache Mesos is clustering software that allows IT professionals to abstract datacenter resources - CPU, memory, and storage - away from physical and virtual infrastructure and into a Mesos cluster. This allows software developers to write applications that use entire data centers as if they were a single, large computer.
https://magrudy-assets.storage.googleapis.com/9781617292927.jpg
52.06 USD

Mesos in Action

by Roger Ignazio
Paperback / softback
Book cover image
DESCRIPTION Modern distributed applications must deliver near-realtime performance while simultaneously managing big data and high user loads spread across environments ranging from cloud systems to mobile devices. Unlike traditional enterprise applications which focus on decoupling their internal components by defining programming interfaces, reactive applications go one step further and decouple ...
Reactive Design Patterns
DESCRIPTION Modern distributed applications must deliver near-realtime performance while simultaneously managing big data and high user loads spread across environments ranging from cloud systems to mobile devices. Unlike traditional enterprise applications which focus on decoupling their internal components by defining programming interfaces, reactive applications go one step further and decouple their components also at runtime. This makes it possible to react effectively and efficiently to failures, varying user demands, and changes in the application's execution environment. The resulting systems are highly concurrent and fault-tolerant, with minimal dependencies among individual system components. Reactive Design Patterns is a clearly-written guide for building message-driven distributed systems that are resilient, responsive, and elastic. It contains patterns for messaging, flow control, resource management, and concurrency, along with practical issues like test-friendly designs. All patterns include concrete examples using Scala and Akka-in some cases, Java, JavaScript, and Erlang. Software engineers and architects will learn patterns that address day-to-day distributed development problems in a fault-tolerant and scalable way. Project leaders and CTOs will gain a deeper understanding of the reactive design philosophy. KEY FEATURES Offers best patterns for building reactive applications All patterns include concrete examples Discover best practices Explains theory behind reactive system design principles AUDIENCE Readers should be familiar with a standard programming language like Java, C++ or C# and be comfortable with the basics of distributed systems. Although most of the book's examples use the Scala language, no prior experience with Scala or Akka is required. ABOUT THE TECHNOLOGY The design patterns in this book were collected by the consultants and engineers of Typesafe during thousands of hours spent building enterprise-quality applications using Scala and Akka. Although many reactive patterns can be implemented using standard development tools like Java, others require the capabilities offered by a functional programming language like Scala and an Actor-based concurrency system like Akka.
https://magrudy-assets.storage.googleapis.com/9781617291807.jpg
52.490000 USD

Reactive Design Patterns

by Jamie Allen, Roland Kuhn
Paperback / softback
Book cover image
Managers and team leads can be blindsided by delivery issues they can't see coming when the things that keep them informed aren't being measured. Successful teams select and use practical metrics for managing projects and tracking process improvement that align with their organizational objectives and software development method. Software Development ...
Software Development Metrics
Managers and team leads can be blindsided by delivery issues they can't see coming when the things that keep them informed aren't being measured. Successful teams select and use practical metrics for managing projects and tracking process improvement that align with their organizational objectives and software development method. Software Development Metrics is a handbook for anyone who needs to track and guide software development and delivery at the team level. New development practices, including agile methodologies like Scrum, have redefined which measurements are most meaningful and under what conditions readers can benefit from them. It identifies key characteristics of organizational structure, process models, and development methods, and it describes the uses, mechanics, and common abuses of a number of metrics that are useful for steering and for monitoring process improvement. Another added feature of this book is that the insights and techniques in this book are based entirely on field experience. RETAIL SELLING POINTS Insights and techniques based entirely on field experience Practical information that can be put to immediate use Simplifies selecting metrics to meet organizational goals AUDIENCE The book is for people with ground-level responsibility for software delivery such as project managers, team leads, and others who have similar responsibilities. ABOUT THE TECHNOLOGY The book, which is not technology focused, is needed because the landscape has been changing so rapidly that management schools have been unable to keep up with all the emerging process frameworks, buzzwords, and metrics that are in play in IT organizations today.
https://magrudy-assets.storage.googleapis.com/9781617291357.jpg
62.990000 USD

Software Development Metrics

by David Nicolette
Paperback / softback
Book cover image
This volume contains thirty revised and extended research articles written by prominent researchers participating in an international conference in engineering technologies and physical science and applications. The conference serves as good platforms for the engineering community to meet with each other and to exchange ideas. The conference has also struck ...
IAENG Transactions on Engineering Technologies: Special Edition of the World Congress on Engineering and Computer Science 2011
This volume contains thirty revised and extended research articles written by prominent researchers participating in an international conference in engineering technologies and physical science and applications. The conference serves as good platforms for the engineering community to meet with each other and to exchange ideas. The conference has also struck a balance between theoretical and application development. The conference is truly international meeting with a high level of participation from many countries. Topics covered include chemical engineering, circuits, communications systems, control theory, engineering mathematics, systems engineering, manufacture engineering, and industrial applications. The book offers the state of art of tremendous advances in engineering technologies and physical science and applications, and also serves as an excellent reference work for researchers and graduate students working with/on engineering technologies and physical science and applications.
https://magrudy-assets.storage.googleapis.com/9789400799257.jpg
188.990000 USD

IAENG Transactions on Engineering Technologies: Special Edition of the World Congress on Engineering and Computer Science 2011

Paperback / softback
Book cover image
Specification by Example and Gherkin offer programmers, designers, and managers an inclusive environment for clear communication, discovering requirements, and building a documentation system. Writing Great Specifications is an example-rich tutorial that teaches readers how to write good Gherkin specification documents that take advantage of Specification by Example's benefits. Engineers and ...
Writing Great Specifications: Using Specification by Example and Gherkin
Specification by Example and Gherkin offer programmers, designers, and managers an inclusive environment for clear communication, discovering requirements, and building a documentation system. Writing Great Specifications is an example-rich tutorial that teaches readers how to write good Gherkin specification documents that take advantage of Specification by Example's benefits. Engineers and testers will find it helpful in striking a stronger chord with nontechnical audiences through automated specifications. Key Features: * Teaches good practices to refactor Gherkin documents in legacy projects * Example-rich tutorial * In-depth introduction This book is a teaching resource for product and design people, programmers and testers. About the Technology: Specification by Example is a collaborative approach to defining and illustrating software requirements using concrete examples. Gherkin is a business-readable DSL that you use to describe software's behaviour as executable test cases that are easy for non-technical folks to understand.
https://magrudy-assets.storage.googleapis.com/9781617294105.jpg
46.47 USD

Writing Great Specifications: Using Specification by Example and Gherkin

by Kamil Nicieja
Paperback / softback
Book cover image
DESCRIPTION Most businesses rely on a complex patchwork of client computers, physical and virtual servers, middleware, and, increasingly, mobile devices and cloud services. Microsoft System Center Configuration Manager (SCCM) sits smack in the middle of this tapestry, providing a single administrative control center to deploy and manage Windows servers and ...
Learn SCCM 2012 in a Month of Lunches
DESCRIPTION Most businesses rely on a complex patchwork of client computers, physical and virtual servers, middleware, and, increasingly, mobile devices and cloud services. Microsoft System Center Configuration Manager (SCCM) sits smack in the middle of this tapestry, providing a single administrative control center to deploy and manage Windows servers and applications across your entire infrastructure, including cross-platform management of Mac OS X, Linux, and UNIX. Learn SCCM in a Month of Lunches is a super-practical guide to Microsoft System Center Configuration Manager. This book cuts to the chase and gets readers up to speed with the day-to-day tasks of managing a system with SCCM in a matter of days. Whether readers have just been pressed into service as new sysadmin or are familiar with the inner workings of Active Directory and App-V, they'll be productive immediately as they work through the 25 self-contained lessons in this handy tutorial. RETAIL SELLING POINTS Covers all aspects of SCCM administration Discusses brand-new SCCM management concepts Shows how to deploy applications from the cloud AUDIENCE Readers need no prior experience with System Center Configuration Manager. ABOUT THE TECHNOLOGY Configuration Manager is one of the flagship products in Microsoft's System Center 2012 suite. It enables businesses to effectively deploy and manage Windows systems and applications across their entire environment.
https://magrudy-assets.storage.googleapis.com/9781617291685.jpg
47.240000 USD

Learn SCCM 2012 in a Month of Lunches

by James C. Bannan
Paperback / softback
Book cover image
Functional and Reactive Domain Modeling teaches readers how to think of the domain model in terms of pure functions and how to compose them to build larger abstractions. It begins with the basics of functional programming and gradually progresses to the advanced concepts and patterns needed to implement complex domain ...
Function and Reactive Domain Modeling
Functional and Reactive Domain Modeling teaches readers how to think of the domain model in terms of pure functions and how to compose them to build larger abstractions. It begins with the basics of functional programming and gradually progresses to the advanced concepts and patterns needed to implement complex domain models. The book demonstrates how advanced FP patterns like algebraic data types, typeclass based design, and isolation of side-effects can make models compose for readability and verifiability. On the subject of reactive modeling, the book focuses on higher order concurrency patterns like actors and futures. It uses the Akka framework as the reference implementation and demonstrates how advanced architectural patterns like event sourcing and CQRS can be put to great use in implementing scalable models. It offers techniques that are radically different from the standard RDBMS based applications that are based on mutation of records. It also shares important patterns like using asynchronous messaging for interaction based on non blocking concurrency and model persistence, which delivers the speed of inmemory processing along with suitable guarantees of reliability. Key Features: Illustrates idioms and best practices Starts with Functional Programming basics Progresses to advanced concepts and patterns Offers radically different techniques from the standard RDBMS AUDIENCE Written for developers and architects comfortable with the basic ideas of functional programming and traditional domain modeling. No prior exposure to Akka or reactive application design is expected. ABOUT THE TECHNOLOGY Domain modeling is a technique for creating a conceptual map of a problem space such as a business system or a scientific application, so that developers can write the software more efficiently. Reactive application design, which uses functional programming principles along with asynchronous non-blocking communication, promises to be a potent pattern for developing performant systems that are relatively easy to manage, maintain, and evolve. Typically such models are called reactive because they are more responsive both to user requests and to system loads.
https://magrudy-assets.storage.googleapis.com/9781617292248.jpg
62.990000 USD

Function and Reactive Domain Modeling

by Debasish Ghosh
Paperback / softback
Book cover image
The nationwide research project `Deduktion', funded by the `Deutsche Forschungsgemeinschaft (DFG)' for a period of six years, brought together almost all research groups within Germany engaged in the field of automated reasoning. Intensive cooperation and exchange of ideas led to considerable progress both in the theoretical foundations and in the ...
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
The nationwide research project `Deduktion', funded by the `Deutsche Forschungsgemeinschaft (DFG)' for a period of six years, brought together almost all research groups within Germany engaged in the field of automated reasoning. Intensive cooperation and exchange of ideas led to considerable progress both in the theoretical foundations and in the application of deductive knowledge. This three-volume book covers these original contributions moulded into the state of the art of automated deduction. The three volumes are intended to document and advance a development in the field of automated deduction that can now be observed all over the world. Rather than restricting the interest to purely academic research, the focus now is on the investigation of problems derived from realistic applications. In fact industrial applications are already pursued on a trial basis. In consequence the emphasis of the volumes is not on the presentation of the theoretical foundations of logical deduction as such, as in a handbook; rather the books present the concepts and methods now available in automated deduction in a form which can be easily accessed by scientists working in applications outside of the field of deduction. This reflects the strong conviction that automated deduction is on the verge of being fully included in the evolution of technology. Volume I focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. Volume II presents techniques of implementation and details about system building. Volume III deals with applications of deductive techniques mainly, but not exclusively, to mathematics and the verification of software. Each chapter was read by two referees, one an international expert from abroad and the other a knowledgeable participant in the national project. It has been accepted for inclusion on the basis of these review reports. Audience: Researchers and developers in software engineering, formal methods, certification, verification, validation, specification of complex systems and software, expert systems, natural language processing.
https://magrudy-assets.storage.googleapis.com/9789048150502.jpg
314.990000 USD

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Paperback / softback
Book cover image
HIGHLIGHT Virtually all software development is done by teams, and managing complex software projects requires a sophisticated solution like Team Foundation Server 2008. DESCRIPTION Team Foundation Server 2008 in Action is a hands-on guide to team software development using Team Foundation Server 2008, Microsoft's enterprise development platform. Written for working ...
Team Foundation Server
HIGHLIGHT Virtually all software development is done by teams, and managing complex software projects requires a sophisticated solution like Team Foundation Server 2008. DESCRIPTION Team Foundation Server 2008 in Action is a hands-on guide to team software development using Team Foundation Server 2008, Microsoft's enterprise development platform. Written for working developers with a good handle on TFS basics, this book shows readers how to solve real-life problems. This book covers the new DBPro product for team development for Database Professionals as well as Visual Studio 2008. Team Foundation Server 2008 in Action is a practitioner's handbook showing how to work with TFS under common constraints. This book walks readers through real-life software engineering problems based on hundreds of hours of TFS experience. Readers will benefit from expert author Jamil Azher's extensive interactions with members of Microsoft's TFS team and MVPs, survey feedback from the author's blog, and interviews with organizations and user groups using TFS. KEY SELLING POINTS Focus on solving real-life problems for enterprise development Based on the author's extensive experience with TFS, survey feedback, and related interviews with groups using TFS First book to cover TFS for Database Professionals (DBPro) and Visual Studio 2008 TFS. Great value for project managers, tech leads, developers and anyone needing to improve enterprise project management and development processes.
https://magrudy-assets.storage.googleapis.com/9781933988597.jpg
52.490000 USD

Team Foundation Server

by Jamil Azher
Paperback / softback
Book cover image
The rapid growth in use of programmable technology, in nearly all sectors of Engineering, is a well-known established trend and one which there is every reason to believe will continue into the foreseeable future. The drivers of this trend include cost, flexibility, rich functionality and certain reliability and safety advantages. ...
Achieving Quality Software: Including Its Application to Safety-Related Systems
The rapid growth in use of programmable technology, in nearly all sectors of Engineering, is a well-known established trend and one which there is every reason to believe will continue into the foreseeable future. The drivers of this trend include cost, flexibility, rich functionality and certain reliability and safety advantages. However, as explained in this book, these advantages have to be carefully weighed against a number of dis- advantages which, amongst other things, have fundamental implications for reliability and safety. Ideally, a programmable system would be viewed as a fusion of hardware, software and user (or 'skinware'), operating under a set of environmental conditions. To date, such a unifying model does not exist and so hardware, software and human factors are still considered largely as three separate disciplines, albeit with certain interdependencies. Established techniques are available which enable the engineer to develop systems comprising purely hardware components to a prescribed reliability and performance. Software, however, is fundamentally different in a number of ways, and does not lend itself to equivalent analysis. A major problem with software is its poor 'visibility', and consequently the great difficulty in understanding and predicting its behaviour in all cir- cumstances. This results in the ever-present software design flaws, or 'bugs', which have plagued the software industry from its beginnings.
https://magrudy-assets.storage.googleapis.com/9789401042437.jpg
83.990000 USD

Achieving Quality Software: Including Its Application to Safety-Related Systems

by D J Smith
Paperback / softback
Page 1 of 8