Filter
(found 8995 products)
Book cover image
This book constitutes the revised selected papers of the 11th International Symposium on Foundations and Practice of Security, FPS 2018, held in Montreal, QC, Canada, in March 2018. The 16 full papers, 1 short paper, 1 position paper and 2 invited papers presented in this book, were carefully reviewed and ...
Foundations and Practice of Security: 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13-15, 2018, Revised Selected Papers
This book constitutes the revised selected papers of the 11th International Symposium on Foundations and Practice of Security, FPS 2018, held in Montreal, QC, Canada, in March 2018. The 16 full papers, 1 short paper, 1 position paper and 2 invited papers presented in this book, were carefully reviewed and selected from 51 submissions. They cover a range of topics including mobile security; cloud security and big data; IoT security; software security, malware analysis, and vulnerability detection; cryptography; cyber physical security and hardware security; and access control.
https://magrudy-assets.storage.googleapis.com/9783030184186.jpg
83.990000 USD

Foundations and Practice of Security: 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13-15, 2018, Revised Selected Papers

Paperback / softback
Book cover image
This Festschrift volume is published in honor of Catherine A. Meadows and contains essays presented at the Catherine Meadows Festschrift Symposium held in Fredericksburg, VA, USA, in May 2019. Catherine A. Meadows has been a pioneer in developing symbolic formal verification methods and tools. Her NRL Protocol Analyzer, a tool ...
Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows
This Festschrift volume is published in honor of Catherine A. Meadows and contains essays presented at the Catherine Meadows Festschrift Symposium held in Fredericksburg, VA, USA, in May 2019. Catherine A. Meadows has been a pioneer in developing symbolic formal verification methods and tools. Her NRL Protocol Analyzer, a tool and methodology that embodies symbolic model checking techniques, has been fruitfully applied to the analysis of many protocols and protocol standards and has had an enormous influence in the field. She also developed a new temporal logic to specify protocol properties, as well as new methods for analyzing various kinds of properties beyond secrecy such as authentication and resilience under Denial of Service (DoS) attacks and has made important contributions in other areas such as wireless protocol security, intrusion detection, and the relationship between computational and symbolic approaches to cryptography. This volume contains 14 contributions authored by researchers from Europe and North America. They reflect on the long-term evolution and future prospects of research in cryptographic protocol specification and verification.
https://magrudy-assets.storage.googleapis.com/9783030190514.jpg
73.490000 USD

Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows

Paperback / softback
Book cover image
Discover how to use the popular RStudio IDE as a professional tool that includes code refactoring support, debugging, and Git version control integration. This book gives you a tour of RStudio and shows you how it helps you do exploratory data analysis; build data visualizations with ggplot; and create custom ...
Learn RStudio IDE: Quick, Effective, and Productive Data Science
Discover how to use the popular RStudio IDE as a professional tool that includes code refactoring support, debugging, and Git version control integration. This book gives you a tour of RStudio and shows you how it helps you do exploratory data analysis; build data visualizations with ggplot; and create custom R packages and web-based interactive visualizations with Shiny. In addition, you will cover common data analysis tasks including importing data from diverse sources such as SAS files, CSV files, and JSON. You will map out the features in RStudio so that you will be able to customize RStudio to fit your own style of coding. Finally, you will see how to save a ton of time by adopting best practices and using packages to extend RStudio. Learn RStudio IDE is a quick, no-nonsense tutorial of RStudio that will give you a head start to develop the insights you need in your data science projects. What You Will Learn Quickly, effectively, and productively use RStudio IDE for building data science applications Install RStudio and program your first Hello World application Adopt the RStudio workflow Make your code reusable using RStudio Use RStudio and Shiny for data visualization projects Debug your code with RStudio Import CSV, SPSS, SAS, JSON, and other data Who This Book Is For Programmers who want to start doing data science, but don't know what tools to focus on to get up to speed quickly.
https://magrudy-assets.storage.googleapis.com/9781484245101.jpg
29.390000 USD

Learn RStudio IDE: Quick, Effective, and Productive Data Science

by Matthew Campbell
Paperback / softback
Book cover image
If you're just learning how to program, Julia is an excellent JIT-compiled, dynamically typed language with a clean syntax. This hands-on guide uses Julia 1.0 to walk you through programming one step at a time, beginning with basic programming concepts before moving on to more advanced capabilities, such as creating ...
Think Julia: How to Think Like a Computer Scientist
If you're just learning how to program, Julia is an excellent JIT-compiled, dynamically typed language with a clean syntax. This hands-on guide uses Julia 1.0 to walk you through programming one step at a time, beginning with basic programming concepts before moving on to more advanced capabilities, such as creating new types and multiple dispatch. Designed from the beginning for high performance, Julia is a general-purpose language ideal for not only numerical analysis and computational science but also web programming and scripting. Through exercises in each chapter, you'll try out programming concepts as you learn them. Think Julia is perfect for students at the high school or college level as well as self-learners and professionals who need to learn programming basics. Start with the basics, including language syntax and semantics Get a clear definition of each programming concept Learn about values, variables, statements, functions, and data structures in a logical progression Discover how to work with files and databases Understand types, methods, and multiple dispatch Use debugging techniques to fix syntax, runtime, and semantic errors Explore interface design and data structures through case studies
https://magrudy-assets.storage.googleapis.com/9781492045038.jpg
68.24 USD

Think Julia: How to Think Like a Computer Scientist

by Allen B Downey, Ben Lauwens
Paperback / softback
Book cover image
Go represents an attempt to improve on some weaknesses of traditional compiled programming languages. It de-emphasizes or removes error-prone language structures like class inheritance and exception handling. It features great concurrency support and automatic memory management (garbage collection). Existing Go books tend to be highly technical in nature, teaching all ...
Head First Go
Go represents an attempt to improve on some weaknesses of traditional compiled programming languages. It de-emphasizes or removes error-prone language structures like class inheritance and exception handling. It features great concurrency support and automatic memory management (garbage collection). Existing Go books tend to be highly technical in nature, teaching all aspects of the language regardless of their relevance to beginners. This book, rather than talking about the features of Go in abstract terms, features simple, clear examples that demonstrate Go in action, and diagrams to explain difficult concepts. This book will not only teach developers basic language features, it will get them comfortable consulting error output, documentation, and search engines to find solutions to problems. It will teach all the conventions and techniques that employers expect an entry-level Go developer to know.
https://magrudy-assets.storage.googleapis.com/9781491969557.jpg
81.89 USD

Head First Go

by Jay McGavren
Paperback / softback
Book cover image
WebAssembly fulfills the long-awaited promise of web technologies: fast code, type-safe at compile time, execution in the browser, on embedded devices, or anywhere else. Rust delivers the power of C in a language that strictly enforces type safety. Combine both languages and you can write for the web like never ...
Programming WebAssembly with Rust
WebAssembly fulfills the long-awaited promise of web technologies: fast code, type-safe at compile time, execution in the browser, on embedded devices, or anywhere else. Rust delivers the power of C in a language that strictly enforces type safety. Combine both languages and you can write for the web like never before! Learn how to integrate with JavaScript, run code on platforms other than the browser, and take a step into IoT. Discover the easy way to build cross-platform applications without sacrificing power, and change the way you write code for the web. WebAssembly is more than just a revolutionary new technology. It's reshaping how we build applications for the web and beyond. Where technologies like ActiveX and Flash have failed, you can now write code in whatever language you prefer and compile to WebAssembly for fast, type-safe code that runs in the browser, on mobile devices, embedded devices, and more. Combining WebAssembly's portable, high-performance modules with Rust's safety and power is a perfect development combination. Learn how WebAssembly's stack machine architecture works, install low-level wasm tools, and discover the dark art of writing raw wast code. Build on that foundation and learn how to compile WebAssembly modules from Rust by implementing the logic for a checkers game. Create wasm modules in Rust to interoperate with JavaScript in many compelling ways. Apply your new skills to the world of non-web hosts, and create everything from an app running on a Raspberry Pi that controls a lighting system, to a fully-functioning online multiplayer game engine where developers upload their own arena-bound WebAssembly combat modules. Get started with WebAssembly today, and change the way you think about the web. What You Need: You'll need a Linux, Mac, or Windows workstation with an Internet connection. You'll need an up-to-date web browser that supports WebAssembly. To work with the sample code, you can use your favorite text editor or IDE. The book will guide you through installing the Rust and WebAssembly tools needed for each chapter.
https://magrudy-assets.storage.googleapis.com/9781680506365.jpg
63.12 USD

Programming WebAssembly with Rust

by Kevin Hoffman
Paperback / softback
Book cover image
Design and develop high-performance programs in Julia 1.0 Key Features Learn the characteristics of high-performance Julia code Use the power of the GPU to write efficient numerical code Speed up your computation with the help of newly introduced shared memory multi-threading in Julia 1.0 Book DescriptionJulia is a high-level, high-performance ...
Julia High Performance: Optimizations, distributed computing, multithreading, and GPU programming with Julia 1.0 and beyond, 2nd Edition
Design and develop high-performance programs in Julia 1.0 Key Features Learn the characteristics of high-performance Julia code Use the power of the GPU to write efficient numerical code Speed up your computation with the help of newly introduced shared memory multi-threading in Julia 1.0 Book DescriptionJulia is a high-level, high-performance dynamic programming language for numerical computing. If you want to understand how to avoid bottlenecks and design your programs for the highest possible performance, then this book is for you. The book starts with how Julia uses type information to achieve its performance goals, and how to use multiple dispatches to help the compiler emit high-performance machine code. After that, you will learn how to analyze Julia programs and identify issues with time and memory consumption. We teach you how to use Julia's typing facilities accurately to write high-performance code and describe how the Julia compiler uses type information to create fast machine code. Moving ahead, you'll master design constraints and learn how to use the power of the GPU in your Julia code and compile Julia code directly to the GPU. Then, you'll learn how tasks and asynchronous IO help you create responsive programs and how to use shared memory multithreading in Julia. Toward the end, you will get a flavor of Julia's distributed computing capabilities and how to run Julia programs on a large distributed cluster. By the end of this book, you will have the ability to build large-scale, high-performance Julia applications, design systems with a focus on speed, and improve the performance of existing programs. What you will learn Understand how Julia code is transformed into machine code Measure the time and memory taken by Julia programs Create fast machine code using Julia's type information Define and call functions without compromising Julia's performance Accelerate your code via the GPU Use tasks and asynchronous IO for responsive programs Run Julia programs on large distributed clusters Who this book is forThis book is for beginners and intermediate Julia programmers who are interested in high-performance technical programming. A basic knowledge of Julia programming is assumed.
https://magrudy-assets.storage.googleapis.com/9781788298117.jpg
31.490000 USD

Julia High Performance: Optimizations, distributed computing, multithreading, and GPU programming with Julia 1.0 and beyond, 2nd Edition

by Avik Sengupta
Paperback / softback
Book cover image
This open access book constitutes the proceedings of the 28th European Symposium on Programming, ESOP 2019, which took place in Prague, Czech Republic, in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.
Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
This open access book constitutes the proceedings of the 28th European Symposium on Programming, ESOP 2019, which took place in Prague, Czech Republic, in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.
https://magrudy-assets.storage.googleapis.com/9783030171834.jpg
62.990000 USD

Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings

Paperback / softback
Book cover image
Planning is the branch of Artificial Intelligence (AI) that seeks to automate reasoning about plans, most importantly the reasoning that goes into formulating a plan to achieve a given goal in a given situation. AI planning is model-based: a planning system takes as input a description (or model) of the ...
An Introduction to the Planning Domain Definition Language
Planning is the branch of Artificial Intelligence (AI) that seeks to automate reasoning about plans, most importantly the reasoning that goes into formulating a plan to achieve a given goal in a given situation. AI planning is model-based: a planning system takes as input a description (or model) of the initial situation, the actions available to change it, and the goal condition to output a plan composed of those actions that will accomplish the goal when executed from the initial situation.The Planning Domain Definition Language (PDDL) is a formal knowledge representation language designed to express planning models. Developed by the planning research community as a means of facilitating systems comparison, it has become a de-facto standard input language of many planning systems, although it is not the only modelling language for planning. Several variants of PDDL have emerged that capture planning problems of different natures and complexities, with a focus on deterministic problems. The purpose of this book is two-fold. First, we present a unified and current account of PDDL, covering the subsets of PDDL that express discrete, numeric, temporal, and hybrid planning. Second, we want to introduce readers to the art of modelling planning problems in this language, through educational examples that demonstrate how PDDL is used to model realistic planning problems. The book is intended for advanced students and researchers in AI who want to dive into the mechanics of AI planning, as well as those who want to be able to use AI planning systems without an in-depth explanation of the algorithms and implementation techniques they use.
https://magrudy-assets.storage.googleapis.com/9781627058759.jpg
73.450000 USD

An Introduction to the Planning Domain Definition Language

by Christian Muise, Daniele Magazzeni, Nir Lipovetzky, Patrik Haslum
Paperback / softback
Book cover image
This book constitutes the proceedings of the 16th European Conference on Logics in Artificial Intelligence, JELIA 2019, held in Rende, Italy, in May 2019. The 50 full papers and 10 short papers included in this volume were carefully reviewed and selected from 101 submissions. Additionally, the book contains 3 invited ...
Logics in Artificial Intelligence: 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings
This book constitutes the proceedings of the 16th European Conference on Logics in Artificial Intelligence, JELIA 2019, held in Rende, Italy, in May 2019. The 50 full papers and 10 short papers included in this volume were carefully reviewed and selected from 101 submissions. Additionally, the book contains 3 invited papers. The accepted papers span a number of areas within Logics in AI, including: belief revision and argumentation; causal, defeasible and inductive reasoning; conditional, probabilistic and propositional logic; description logics; logic programming; modal and default logic; and temporal logic.
https://magrudy-assets.storage.googleapis.com/9783030195694.jpg
125.990000 USD

Logics in Artificial Intelligence: 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings

Paperback / softback
Book cover image
This book constitutes revised selected papers from the 5th International Workshop on Graphical Models for Security, GraMSec 2018, held in Oxford, UK, in July 2018. The 7 full papers presented in this volume were carefully reviewed and selected from 21 submissions. The book also contains one invited talk. The contributions ...
Graphical Models for Security: 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers
This book constitutes revised selected papers from the 5th International Workshop on Graphical Models for Security, GraMSec 2018, held in Oxford, UK, in July 2018. The 7 full papers presented in this volume were carefully reviewed and selected from 21 submissions. The book also contains one invited talk. The contributions deal with the latest research and developments on graphical models for security.
https://magrudy-assets.storage.googleapis.com/9783030154646.jpg
62.990000 USD

Graphical Models for Security: 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers

Paperback / softback
Book cover image
This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019. The 20 full and 8 short papers presented in this volume were carefully reviewed and selected from 102 submissions. The papers focus on formal verification, including ...
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings
This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019. The 20 full and 8 short papers presented in this volume were carefully reviewed and selected from 102 submissions. The papers focus on formal verification, including theorem proving, model checking, and static analysis; advances in automated theorem proving including SAT and SMT solving; use of formal methods in software and system testing; run-time verification; techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional techniques, as well as parallel and/or distributed techniques; code generation from formally verified models; safety cases and system safety; formal approaches to fault tolerance; theoretical advances and empirical evaluations of formal methods techniques for safety-critical systems, including hybrid and embedded systems; formal methods in systems engineering and model-based development; correct-by-design controller synthesis; formal assurance methods to handle adaptive systems.
https://magrudy-assets.storage.googleapis.com/9783030206512.jpg
83.990000 USD

NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings

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
68.24 USD

Grokking Deep Learning

by Andrew W Trask
Paperback / softback
Book cover image
This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019.The 29 papers ...
Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019.The 29 papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with foundational research with a clear significance for software science.
https://magrudy-assets.storage.googleapis.com/9783030171261.jpg
62.990000 USD

Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings

Paperback / softback
Book cover image
Explore and apply best practices for efficient application deployment. This book draws upon author Moshe Zadka's years of Dev Ops experience and focuses on the parts of Python, and the Python ecosystem, that are relevant for DevOps engineers. You'll start by writing command-line scripts and automating simple DevOps-style tasks. You'll ...
DevOps in Python: Infrastructure as Python
Explore and apply best practices for efficient application deployment. This book draws upon author Moshe Zadka's years of Dev Ops experience and focuses on the parts of Python, and the Python ecosystem, that are relevant for DevOps engineers. You'll start by writing command-line scripts and automating simple DevOps-style tasks. You'll then move on to more advanced cases, like using Jupyter as an auditable remote-control panel, and writing Ansible and Salt extensions. This work also covers how to use the AWS API to manage cloud infrastructure, and how to manage Python programs and environments on remote machines. Python was invented as a systems management language for distributed operating systems, which makes it an ideal tool for DevOps. Assuming a basic understanding of Python concepts, this book is perfect for engineers who want to move from operations/system administration into coding. What You'll Learn Use third party packages and create new packages Create operating system management and automation code in Python Write testable code, and testing best practices Work with REST APIs for web clients Who This Book Is ForJunior or intermediate sysadmin who has picked up some bash and Python basics.
https://magrudy-assets.storage.googleapis.com/9781484244326.jpg
39.890000 USD

DevOps in Python: Infrastructure as Python

by Moshe Zadka
Paperback / softback
Book cover image
This book constitutes the revised selected papers from the 6th International Conference on Agreement Technologies, AT 2018, held in Bergen, Norway, in December 2018. The 11 full papers and 6 short papers presented in this volume were carefully reviewed and selected from a total of 28 submissions. The papers discuss ...
Agreement Technologies: 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers
This book constitutes the revised selected papers from the 6th International Conference on Agreement Technologies, AT 2018, held in Bergen, Norway, in December 2018. The 11 full papers and 6 short papers presented in this volume were carefully reviewed and selected from a total of 28 submissions. The papers discuss new ideas and techniques for the design, implementation and verification of next generation open distributed systems centered on the notion of agreement among computational agents. They are organized in the following topical sections: AT foundations and modelling of reasoning agents; argumentation and negotiation; coordination in open distributed systems with applications.
https://magrudy-assets.storage.googleapis.com/9783030172930.jpg
73.490000 USD

Agreement Technologies: 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers

Paperback / softback
Book cover image
Planning is the branch of Artificial Intelligence (AI) that seeks to automate reasoning about plans, most importantly the reasoning that goes into formulating a plan to achieve a given goal in a given situation. AI planning is model-based: a planning system takes as input a description (or model) of the ...
An Introduction to the Planning Domain Definition Language
Planning is the branch of Artificial Intelligence (AI) that seeks to automate reasoning about plans, most importantly the reasoning that goes into formulating a plan to achieve a given goal in a given situation. AI planning is model-based: a planning system takes as input a description (or model) of the initial situation, the actions available to change it, and the goal condition to output a plan composed of those actions that will accomplish the goal when executed from the initial situation.The Planning Domain Definition Language (PDDL) is a formal knowledge representation language designed to express planning models. Developed by the planning research community as a means of facilitating systems comparison, it has become a de-facto standard input language of many planning systems, although it is not the only modelling language for planning. Several variants of PDDL have emerged that capture planning problems of different natures and complexities, with a focus on deterministic problems. The purpose of this book is two-fold. First, we present a unified and current account of PDDL, covering the subsets of PDDL that express discrete, numeric, temporal, and hybrid planning. Second, we want to introduce readers to the art of modelling planning problems in this language, through educational examples that demonstrate how PDDL is used to model realistic planning problems. The book is intended for advanced students and researchers in AI who want to dive into the mechanics of AI planning, as well as those who want to be able to use AI planning systems without an in-depth explanation of the algorithms and implementation techniques they use.
https://magrudy-assets.storage.googleapis.com/9781681735122.jpg
94.450000 USD

An Introduction to the Planning Domain Definition Language

by Christian Muise, Daniele Magazzeni, Nir Lipovetzky, Patrik Haslum
Hardback
Book cover image
This book contains the revised selected papers of 4 workshops held in conjunction with the International Conference on High Performance Computing, Networking, Storage and Analysis (SC) in November 2017 in Denver, CO, USA, and in November 2018 in Dallas, TX, USA: the 6th and 7th International Workshop on Extreme-Scale Programming ...
Programming and Performance Visualization Tools: International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers
This book contains the revised selected papers of 4 workshops held in conjunction with the International Conference on High Performance Computing, Networking, Storage and Analysis (SC) in November 2017 in Denver, CO, USA, and in November 2018 in Dallas, TX, USA: the 6th and 7th International Workshop on Extreme-Scale Programming Tools, ESPT 2017 and ESPT 2018, and the 4th and 5th International Workshop on Visual Performance Analysis, VPA 2017 and VPA 2018. The 11 full papers of ESPT 2017 and ESPT 2018 and the 6 full papers of VPA 2017 and VPA 2018 were carefully reviewed and selected for inclusion in this book. The papers discuss the requirements for exascale-enabled tools as well as new approaches of applying visualization and visual analytic techniques to large-scale applications. Topics of interest include: programming tools; methodologies for performance engineering; tool technologies for extreme-scale challenges (e.g., scalability, resilience, power); tool support for accelerated architectures and large-scale multi-cores; tool infrastructures and environments; evolving/future application requirements for programming tools and technologies; application developer experiences with programming and performance tools; scalable displays of performance data; case studies demonstrating the use of performance visualization in practice; data models to enable scalable visualization; graph representation of unstructured performance data; presentation of high-dimensional data; visual correlations between multiple data sources; human-computer interfaces for exploring performance data; and multi-scale representations of performance data for visual exploration.
https://magrudy-assets.storage.googleapis.com/9783030178710.jpg
73.490000 USD

Programming and Performance Visualization Tools: International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers

Paperback / softback
Book cover image
Get a practical, hands-on introduction to the Haskell language, its libraries and environment, and to the functional programming paradigm that is fast growing in importance in the software industry. This book contains excellent coverage of the Haskell ecosystem and supporting tools, include Cabal and Stack for managing projects, HUnit and ...
Practical Haskell: A Real World Guide to Programming
Get a practical, hands-on introduction to the Haskell language, its libraries and environment, and to the functional programming paradigm that is fast growing in importance in the software industry. This book contains excellent coverage of the Haskell ecosystem and supporting tools, include Cabal and Stack for managing projects, HUnit and QuickCheck for software testing, the Spock framework for developing web applications, Persistent and Esqueleto for database access, and parallel and distributed programming libraries. You'll see how functional programming is gathering momentum, allowing you to express yourself in a more concise way, reducing boilerplate, and increasing the safety of your code. Haskell is an elegant and noise-free pure functional language with a long history, having a huge number of library contributors and an active community. This makes Haskell the best tool for both learning and applying functional programming, and Practical Haskell takes advantage of this to show off the language and what it can do. What You Will Learn Get started programming with Haskell Examine the different parts of the language Gain an overview of the most important libraries and tools in the Haskell ecosystem Apply functional patterns in real-world scenarios Understand monads and monad transformers Proficiently use laziness and resource management Who This Book Is For Experienced programmers who may be new to the Haskell programming language. However, some prior exposure to Haskell is recommended.
https://magrudy-assets.storage.googleapis.com/9781484244791.jpg
39.890000 USD

Practical Haskell: A Real World Guide to Programming

by Alejandro Serrano Mena
Paperback / softback
Book cover image
This book constitutes the thoroughly refereed revised selected papers of the 19th International Symposium on Trends in Functional Programming, TFP 2018, held in Gothenburg, Sweden, in June 2018. The 7 revised full papers were selected from 13 submissions and present papers in all aspects of functional programming, taking a broad ...
Trends in Functional Programming: 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11-13, 2018, Revised Selected Papers
This book constitutes the thoroughly refereed revised selected papers of the 19th International Symposium on Trends in Functional Programming, TFP 2018, held in Gothenburg, Sweden, in June 2018. The 7 revised full papers were selected from 13 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions, described in draft papers submitted prior to the symposium.
https://magrudy-assets.storage.googleapis.com/9783030185053.jpg
73.490000 USD

Trends in Functional Programming: 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11-13, 2018, Revised Selected Papers

Paperback / softback
Book cover image
This book constitutes the proceedings of the 21th International Conference on Coordination Models and Languages, COORDINATION 2019, held in Kongens Lyngby, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019. The 15 full papers included in this volume were carefully reviewed ...
Coordination Models and Languages: 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Pro
This book constitutes the proceedings of the 21th International Conference on Coordination Models and Languages, COORDINATION 2019, held in Kongens Lyngby, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019. The 15 full papers included in this volume were carefully reviewed and selected from 25 submissions. The papers are organized in topical sections named: computational models; tools; exploring new frontiers; and coordination patterns.
https://magrudy-assets.storage.googleapis.com/9783030223960.jpg
98.700000 USD

Coordination Models and Languages: 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Pro

Paperback / softback
Book cover image
Things you've done online: ordered a pizza, checked the weather, booked a hotel, and reconnected with long-lost friends. Now it's time to find out how these things work. Vinay Trivedi peels back the mystery of the Internet, explains it all in the simplest terms, and gives you the knowledge you ...
How to Speak Tech: The Non-Techie's Guide to Key Technology Concepts
Things you've done online: ordered a pizza, checked the weather, booked a hotel, and reconnected with long-lost friends. Now it's time to find out how these things work. Vinay Trivedi peels back the mystery of the Internet, explains it all in the simplest terms, and gives you the knowledge you need to speak confidently when the subject turns to technology. This revised second edition of How to Speak Tech employs the strategy of the popular first edition: through the narrative of setting up a fictitious startup, it introduces you to essential tech concepts. New tech topics that were added in this edition include the blockchain, augmented and virtual reality, Internet of Things, and artificial intelligence. The author's key message is: technology isn't beyond the understanding of anyone! By breaking down major tech concepts involved with a modern startup into bite-sized chapters, the author's approach helps you understand topics that aren't always explained clearly and shows you that they aren't rocket science. So go ahead, grab this book, start to speak tech, and hold your own in any tech-related conversation! What You'll Learn Understand the basics of new and established technologies such as blockchain, artificial intelligence (AI), augmented and virtual reality (AR and VR), Internet of Things (IoT), software development, programming languages, databases, and more Listen intelligently and speak confidently when technologies are brought up in your business Be confident in your grasp of terms and technologies when setting up your own organization's application Who This Book Is For Students who want to understand different technologies relevant to their future careers at startups and established organizations, as well as business and other non-technical professionals who encounter and require an understanding of key technical terms and trends to succeed in their roles Reviews Finally, a book non-techies can use to understand the technologies that are changing our lives. Paul Bottino, Executive Director, Technology and Entrepreneurship Center, Harvard University A great book everyone can use to understand how tech startups work. Rene Reinsberg, Founder at Celo; Former VP of Emerging Products, GoDaddy Through the simplicity of his presentation, Vinay shows that the basics of technology can be straightforwardly understood by anyone who puts in the time and effort to learn. Joseph Lassiter, Professor of Management Science, Harvard Business School and Harvard Innovation Lab
https://magrudy-assets.storage.googleapis.com/9781484243237.jpg
29.390000 USD

How to Speak Tech: The Non-Techie's Guide to Key Technology Concepts

by Vinay Trivedi
Paperback / softback
Book cover image
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on High Performance Computing in Computational Science, VECPAR 2018, held in Sao Pedro, Brazil, in September 2018. The 17 full papers and one short paper included in this book were carefully reviewed and selected from 32 submissions ...
High Performance Computing for Computational Science - VECPAR 2018: 13th International Conference, Sao Pedro, Brazil, September 17-19, 2018, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on High Performance Computing in Computational Science, VECPAR 2018, held in Sao Pedro, Brazil, in September 2018. The 17 full papers and one short paper included in this book were carefully reviewed and selected from 32 submissions presented at the conference. The papers cover the following topics: heterogeneous systems, shared memory systems and GPUs, and techniques including domain decomposition, scheduling and load balancing, with a strong focus on computational science applications.
https://magrudy-assets.storage.googleapis.com/9783030159955.jpg
73.490000 USD

High Performance Computing for Computational Science - VECPAR 2018: 13th International Conference, Sao Pedro, Brazil, September 17-19, 2018, Revised Selected Papers

Paperback / softback
Book cover image
This handy reference book detailing the intricacies of R updates the popular first edition by adding R version 3.4 and 3.5 features. Starting with the basic structure of R, the book takes you on a journey through the terminology used in R and the syntax required to make R work. ...
R Quick Syntax Reference: A Pocket Guide to the Language, APIs and Library
This handy reference book detailing the intricacies of R updates the popular first edition by adding R version 3.4 and 3.5 features. Starting with the basic structure of R, the book takes you on a journey through the terminology used in R and the syntax required to make R work. You will find looking up the correct form for an expression quick and easy. Some of the new material includes information on RStudio, S4 syntax, working with character strings, and an example using the Twitter API. With a copy of the R Quick Syntax Reference in hand, you will find that you are able to use the multitude of functions available in R and are even able to write your own functions to explore and analyze data. What You Will Learn Discover the modes and classes of R objects and how to use them Use both packaged and user-created functions in R Import/export data and create new data objects in R Create descriptive functions and manipulate objects in R Take advantage of flow control and conditional statements Work with packages such as base, stats, and graphics Who This Book Is For Those with programming experience, either new to R, or those with at least some exposure to R but who are new to the latest version.
https://magrudy-assets.storage.googleapis.com/9781484244043.jpg
36.740000 USD

R Quick Syntax Reference: A Pocket Guide to the Language, APIs and Library

by Margot Tollefson
Paperback / softback
Book cover image
The CSS3 Quick Syntax Reference is a 150-page syntax reference to the Cascading Style Sheets language. It presents the essentials of CSS3 in a well-organized format that can be used as a handy reference. You won't find any technical jargon, bloated samples, drawn-out history lessons or witty stories in this ...
CSS3 Quick Syntax Reference: A Pocket Guide to the Cascading Style Sheets Language
The CSS3 Quick Syntax Reference is a 150-page syntax reference to the Cascading Style Sheets language. It presents the essentials of CSS3 in a well-organized format that can be used as a handy reference. You won't find any technical jargon, bloated samples, drawn-out history lessons or witty stories in this book. What you will find is a CSS reference that is concise, to the point, and highly accessible. The book is packed with useful information and is a must-have for any CSS programmer or web developer. What You Will Learn Use the various selectors available in CSS3 Leverage various other CSS properties Design and build web UIs using color, text, spacing, fonts, background, and more Work with lists, tables, and media in CSS3 Employ CSS3 best practices Who This Book Is For Experienced programmers and web developers new to CSS3 or even new to CSS in general.
https://magrudy-assets.storage.googleapis.com/9781484249024.jpg
34.640000 USD

CSS3 Quick Syntax Reference: A Pocket Guide to the Cascading Style Sheets Language

by Mikael Olsson
Paperback / softback
Book cover image
Discover the right way to code in Python. This book provides the tips and techniques you need to produce cleaner, error-free, and eloquent Python projects. Your journey to better code starts with understanding the importance of formatting and documenting your code for maximum readability, utilizing built-in data structures and Python ...
Clean Python: Elegant Coding in Python
Discover the right way to code in Python. This book provides the tips and techniques you need to produce cleaner, error-free, and eloquent Python projects. Your journey to better code starts with understanding the importance of formatting and documenting your code for maximum readability, utilizing built-in data structures and Python dictionary for improved maintainability, and working with modules and meta-classes to effectively organize your code. You will then dive deep into the new features of the Python language and learn how to effectively utilize them. Next, you will decode key concepts such as asynchronous programming, Python data types, type hinting, and path handling. Learn tips to debug and conduct unit and integration tests in your Python code to ensure your code is ready for production. The final leg of your learning journey equips you with essential tools for version management, managing live code, and intelligent code completion. After reading and using this book, you will be proficient in writing clean Python code and successfully apply these principles to your own Python projects. What You'll Learn Use the right expressions and statements in your Python code Create and assess Python Dictionary Work with advanced data structures in Python Write better modules, classes, functions, and metaclasses Start writing asynchronous Python immediately Discover new features in Python Who This Book Is For Readers with a basic Python programming knowledge who want to improve their Python programming skills by learning right way to code in Python.
https://magrudy-assets.storage.googleapis.com/9781484248775.jpg
34.640000 USD

Clean Python: Elegant Coding in Python

by Sunil Kapil
Paperback / softback
Book cover image
It is a major challenge to migrate very large databases from one system, say for example, to transfer critical data from Oracle to SQL Server. One has to consider several issues such as loss of data being transferred, the security of the data, the cost and effort, technical aspects of ...
Practical Guide to Large Database Migration
It is a major challenge to migrate very large databases from one system, say for example, to transfer critical data from Oracle to SQL Server. One has to consider several issues such as loss of data being transferred, the security of the data, the cost and effort, technical aspects of the software involved, etc. There a very few books that provide practical tools and the methodology to migrate data from one vendor to another. This book introduces the concepts in database migration with large sample databases. It provides step by step guides and screenshots for database migration tools. Many examples are shown for migrating Oracle, SQL Server and MySQL databases.
https://magrudy-assets.storage.googleapis.com/9781138391628.jpg
178.450000 USD

Practical Guide to Large Database Migration

by Preston Zhang
Hardback
Book cover image
This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string operations using automata, symbolic representation of automata, forward and backward string analysis using symbolic automata representation, constraint-based string analysis, string constraint solvers, ...
String Analysis for Software Verification and Security
This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string operations using automata, symbolic representation of automata, forward and backward string analysis using symbolic automata representation, constraint-based string analysis, string constraint solvers, relational string analysis, vulnerability detection using string analysis, string abstractions, differential string analysis, and automated sanitization synthesis using string analysis. String manipulation is a crucial part of modern software systems; for example, it is used extensively in input validation and sanitization and in dynamic code and query generation. The goal of string-analysis techniques and this book is to determine the set of values that string expressions can take during program execution. String analysis can be used to solve many problems in modern software systems that relate to string manipulation, such as: (1) Identifying security vulnerabilities by checking if a security sensitive function can receive an input string that contains an exploit; (2) Identifying possible behaviors of a program by identifying possible values for dynamically generated code; (3) Identifying html generation errors by computing the html code generated by web applications; (4) Identifying the set of queries that are sent to back-end database by analyzing the code that generates the SQL queries; (5) Patching input validation and sanitization functions by automatically synthesizing repairs illustrated in this book. Like many other program-analysis problems, it is not possible to solve the string analysis problem precisely (i.e., it is not possible to precisely determine the set of string values that can reach a program point). However, one can compute over- or under-approximations of possible string values. If the approximations are precise enough, they can enable developers to demonstrate existence or absence of bugs in string manipulating code. String analysis has been an active research area in the last decade, resulting in a wide variety of string-analysis techniques. This book will primarily target researchers and professionals working in computer security, software verification, formal methods, software engineering and program analysis. Advanced level students or instructors teaching or studying courses in computer security, software verification or program analysis will find this book useful as a secondary text.
https://magrudy-assets.storage.googleapis.com/9783319886374.jpg
104.990000 USD

String Analysis for Software Verification and Security

by Abdulbaki Aydin, Muath Alkhalaf, Fang Yu, Tevfik Bultan
Paperback / softback
Book cover image
This condensed code and syntax reference presents the essential Haskell syntax in a well-organized format that can be used as a quick and handy reference, including applications to cloud computing and data analysis. This book covers the functional programming features of Haskell as well as strong static typing, lazy evaluation, ...
Haskell Quick Syntax Reference: A Pocket Guide to the Language, APIs, and Library
This condensed code and syntax reference presents the essential Haskell syntax in a well-organized format that can be used as a quick and handy reference, including applications to cloud computing and data analysis. This book covers the functional programming features of Haskell as well as strong static typing, lazy evaluation, extensive parallelism, and concurrency You won't find any technical jargon, bloated samples, drawn out history lessons, or witty stories in this book. What you will find is a language reference that is concise, to the point and highly accessible. The Haskell Quick Syntax Reference is packed with useful information and is a must-have for any Haskell programmer working in big data, data science, and cloud computing. What You Will Learn Quickly and effectively use the Haskell programming language Take advantage of strong static typing Work with lazy evaluations Harness concurrency and extensive parallelism using Haskell Who This Book Is For Experienced programmers who may be new to Haskell or have experience with Haskell and who just want a quick reference guide on it.
https://magrudy-assets.storage.googleapis.com/9781484245064.jpg
34.640000 USD

Haskell Quick Syntax Reference: A Pocket Guide to the Language, APIs, and Library

by Marius Mihailescu, Stefania Loredana Nita
Paperback / softback
Book cover image
Carry out data analysis with PySpark SQL, graphframes, and graph data processing using a problem-solution approach. This book provides solutions to problems related to dataframes, data manipulation summarization, and exploratory analysis. You will improve your skills in graph data analysis using graphframes and see how to optimize your PySpark SQL ...
PySpark SQL Recipes: With HiveQL, Dataframe and Graphframes
Carry out data analysis with PySpark SQL, graphframes, and graph data processing using a problem-solution approach. This book provides solutions to problems related to dataframes, data manipulation summarization, and exploratory analysis. You will improve your skills in graph data analysis using graphframes and see how to optimize your PySpark SQL code. PySpark SQL Recipes starts with recipes on creating dataframes from different types of data source, data aggregation and summarization, and exploratory data analysis using PySpark SQL. You'll also discover how to solve problems in graph analysis using graphframes. On completing this book, you'll have ready-made code for all your PySpark SQL tasks, including creating dataframes using data from different file formats as well as from SQL or NoSQL databases. What You Will Learn Understand PySpark SQL and its advanced features Use SQL and HiveQL with PySpark SQL Work with structured streaming Optimize PySpark SQL Master graphframes and graph processing Who This Book Is ForData scientists, Python programmers, and SQL programmers.
https://magrudy-assets.storage.googleapis.com/9781484243343.jpg
34.640000 USD

PySpark SQL Recipes: With HiveQL, Dataframe and Graphframes

by Sundar Rajan Raman, Raju Kumar Mishra
Paperback / softback
Page 1 of 40