Rakuten Kobo

Computer Aided Verification

31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Edición de Isil Dillig, Serdar Tasiran ...

Series Libro 1 - Springer Nature Proceedings Computer Science
This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019.The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical ... Leer más

Gratis

This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019.The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical
... Leer más
The C# Programmer’s Study Guide (MCSD)

Exam: 70-483

de Ali Asad, Hamza Ali ...

Series series Professional and Applied Computing (R0)
Prepare for Microsoft Certification Exam 70-483: Programming in C#. The “What, Why, and How” of each concept is presented along with quick summaries, code challenges, and exam questions to review and practice key concepts.You will learn how to use:Lambda expressions to write LINQ query expressionsAsynchronous programming with the Async and Await keywords to maximize performance of slow ... Leer más

$62.99 USD

Prepare for Microsoft Certification Exam 70-483: Programming in C#. The “What, Why, and How” of each concept is presented along with quick summaries, code challenges, and exam questions to review and practice key concepts.You will learn how to use:Lambda expressions to write LINQ query expressionsAsynchronous programming with the Async and Await keywords to maximize performance of slow
... Leer más
Bayesian Networks in R

with Applications in Systems Biology

de Radhakrishnan Nagarajan, Marco Scutari, Sophie Lèbre ...

Series series Mathematics and Statistics (R0)
Bayesian Networks in R with Applications in Systems Biology is unique as it introduces the reader to the essential concepts in Bayesian network modeling and inference in conjunction with examples in the open-source statistical environment R. The level of sophistication is also gradually increased across the chapters with exercises and solutions for enhanced understanding for hands-on ... Leer más

$89.99 USD

Bayesian Networks in R with Applications in Systems Biology is unique as it introduces the reader to the essential concepts in Bayesian network modeling and inference in conjunction with examples in the open-source statistical environment R. The level of sophistication is also gradually increased across the chapters with exercises and solutions for enhanced understanding for hands-on
... Leer más
Harley Hahn's Emacs Field Guide

de Harley Hahn ...

Series series Professional and Applied Computing (R0)
In this book, Harley Hahn demystifies Emacs for programmers, students, and everyday users. The first part of the book carefully creates a context for your work with Emacs. What exactly is Emacs? How does it relate to your personal need to work quickly and to solve problems? Hahn then explains the technical details you need to understand to work with your operating system, the various interfaces, ... Leer más

$62.99 USD

In this book, Harley Hahn demystifies Emacs for programmers, students, and everyday users. The first part of the book carefully creates a context for your work with Emacs. What exactly is Emacs? How does it relate to your personal need to work quickly and to solve problems? Hahn then explains the technical details you need to understand to work with your operating system, the various interfaces,
... Leer más
Introduction to Scilab

For Engineers and Scientists

de Sandeep Nagar ...

Series series Professional and Applied Computing (R0)
Familiarize yourself with Scilab using this concise, practical tutorial that is focused on writing code to learn concepts. Starting from the basics, this book covers array-based computing, plotting, and working with files in Scilab. Introduction to Scilab is useful for industry engineers, researchers, and students who are looking for open-source solutions for numerical computation.In this book you ... Leer más

$40.99 USD

Familiarize yourself with Scilab using this concise, practical tutorial that is focused on writing code to learn concepts. Starting from the basics, this book covers array-based computing, plotting, and working with files in Scilab. Introduction to Scilab is useful for industry engineers, researchers, and students who are looking for open-source solutions for numerical computation.In this book you
... Leer más
Language Server Protocol and Implementation

Supporting Language-Smart Editing and Programming Tools

de Nadeeshaan Gunasinghe, Nipuna Marcus ...

Series series Professional and Applied Computing (R0)
Understand the important aspects of implementing a production-grade language server in support of language-smart tools such as code editors and other programming utilities. This book shows you how to create a single implementation of a language server that can be used by multiple tools, enabling you to do the job once in a way that can be shared and reused.This book covers the language server ... Leer más

$49.49 USD

Understand the important aspects of implementing a production-grade language server in support of language-smart tools such as code editors and other programming utilities. This book shows you how to create a single implementation of a language server that can be used by multiple tools, enabling you to do the job once in a way that can be shared and reused.This book covers the language server
... Leer más
Getting Structured Data from the Internet

Running Web Crawlers/Scrapers on a Big Data Production Scale

de Jay M. Patel ...

Series series Business and Management (R0)
Utilize web scraping at scale to quickly get unlimited amounts of free data available on the web into a structured format. This book teaches you to use Python scripts to crawl through websites at scale and scrape data from HTML and JavaScript-enabled pages and convert it into structured data formats such as CSV, Excel, JSON, or load it into a SQL database of your choice.This book goes beyond the ... Leer más

$53.99 USD

Utilize web scraping at scale to quickly get unlimited amounts of free data available on the web into a structured format. This book teaches you to use Python scripts to crawl through websites at scale and scrape data from HTML and JavaScript-enabled pages and convert it into structured data formats such as CSV, Excel, JSON, or load it into a SQL database of your choice.This book goes beyond the
... Leer más
LLVM Techniques, Tips, and Best Practices Clang and Middle-End Libraries

Design powerful and reliable compilers using the latest libraries and tools from LLVM

de Min-Yih Hsu ...

Learn how you can build the next big programming language, compiler, or source code analyzer using LLVM and ClangKey FeaturesExplore Clang, LLVM’s middle-end and backend, in a pragmatic wayDevelop your LLVM skillset and get to grips with a variety of common use casesEngage with real-world LLVM development through various coding examplesBook DescriptionEvery programmer or engineer, at some point in ... Leer más

$34.99 USD o gratis con Kobo Plus

Learn how you can build the next big programming language, compiler, or source code analyzer using LLVM and ClangKey FeaturesExplore Clang, LLVM’s middle-end and backend, in a pragmatic wayDevelop your LLVM skillset and get to grips with a variety of common use casesEngage with real-world LLVM development through various coding examplesBook DescriptionEvery programmer or engineer, at some point in
... Leer más
Modern X86 Assembly Language Programming

Covers x86 64-bit, AVX, AVX2, and AVX-512

de Daniel Kusswurm ...

Series Libro 512 - Professional and Applied Computing (R0)
Gain the fundamentals of x86 64-bit assembly language programming and focus onthe updated aspects of the x86 instruction set that are most relevant to applicationsoftware development. This book covers topics including x86 64-bit programming andAdvanced Vector Extensions (AVX) programming.The focus in this second edition is exclusively on 64-bit base programming architectureand AVX programming. ... Leer más

$53.99 USD

Gain the fundamentals of x86 64-bit assembly language programming and focus onthe updated aspects of the x86 instruction set that are most relevant to applicationsoftware development. This book covers topics including x86 64-bit programming andAdvanced Vector Extensions (AVX) programming.The focus in this second edition is exclusively on 64-bit base programming architectureand AVX programming.
... Leer más
FPGA EDA

Design Principles and Implementation

de Kaihui Tu, Xifan Tang, Cunxi Yu, Lana Josipović, Zhufei Chu ...

Series series Computer Science (R0)
This book focuses on FPGA EDA tools, the very foundation of FPGA technology. Instead of illustrating how to use them, this book dives into the tools themselves, revealing how these tools are being designed and how they may improve. Unlike other semiconductors, FPGA has a distinctive two-stage EDA system: chip design EDA and application design EDA.State-of-the-art algorithms, data models and design ... Leer más

$53.99 USD

This book focuses on FPGA EDA tools, the very foundation of FPGA technology. Instead of illustrating how to use them, this book dives into the tools themselves, revealing how these tools are being designed and how they may improve. Unlike other semiconductors, FPGA has a distinctive two-stage EDA system: chip design EDA and application design EDA.State-of-the-art algorithms, data models and design
... Leer más
COBOL Language Fundamentals Quick Start

de Robert Wingate ...

This book will teach you the basic information and skills you need to develop applications with the COBOL programming language on IBM mainframe computers running z/OS. The instruction, examples and sample programs in this book are a fast track to becoming productive with COBOL as quickly as possible. The content of this book is easy to read and digest, well organized and focused on honing real job ... Leer más

$5.99 USD

This book will teach you the basic information and skills you need to develop applications with the COBOL programming language on IBM mainframe computers running z/OS. The instruction, examples and sample programs in this book are a fast track to becoming productive with COBOL as quickly as possible. The content of this book is easy to read and digest, well organized and focused on honing real job
... Leer más
Learn to Program with Python 3

A Step-by-Step Guide to Programming

de Irv Kalb ...

Series series Professional and Applied Computing (R0)
Move from zero knowledge of programming to comfortably writing small to medium-sized programs in Python. Fully updated for Python 3, with code and examples throughout, the book explains Python coding with an accessible, step-by-step approach designed to bring you comfortably into the world of software development.Real–world analogies make the material understandable, with a wide variety of well ... Leer más

$49.49 USD

Move from zero knowledge of programming to comfortably writing small to medium-sized programs in Python. Fully updated for Python 3, with code and examples throughout, the book explains Python coding with an accessible, step-by-step approach designed to bring you comfortably into the world of software development.Real–world analogies make the material understandable, with a wide variety of well
... Leer más
The Definitive Guide to Modern Java Clients with JavaFX

Cross-Platform Mobile and Cloud Development Updated for JavaFX 21 and 23

de Stephen Chin, Johan Vos, James Weaver, Gail Anderson, Paul Anderson, Bruno Borges, Anton Epple, Weiqi Gao, Jonathan Giles, José Pereda, Sven Reimers, Eugene Ryzhikov, William Antônio Siqueira ...

Series series Professional and Applied Computing (R0)
Build enhanced visual experiences and design and deploy modern, easy-to-maintain, client applications across a variety of platforms. This book will show you how these applications can take advantage of JavaFX’s latest user interface components, 3D technology, and cloud services to create immersive visualizations and allow high-value data manipulation. This book is a professional reference for ... Leer más

$67.99 USD

Build enhanced visual experiences and design and deploy modern, easy-to-maintain, client applications across a variety of platforms. This book will show you how these applications can take advantage of JavaFX’s latest user interface components, 3D technology, and cloud services to create immersive visualizations and allow high-value data manipulation. This book is a professional reference for
... Leer más
Python Data Analytics

Data Analysis and Science using pandas, matplotlib and the Python Programming Language

de Fabio Nelli ...

Series series Professional and Applied Computing (R0)
Python Data Analytics will help you tackle the world of data acquisition and analysis using the power of the Python language. At the heart of this book lies the coverage of pandas, an open source, BSD-licensed library providing high-performance, easy-to-use data structures and data analysis tools for the Python programming language.Author Fabio Nelli expertly shows the strength of the Python ... Leer más

$44.99 USD

Python Data Analytics will help you tackle the world of data acquisition and analysis using the power of the Python language. At the heart of this book lies the coverage of pandas, an open source, BSD-licensed library providing high-performance, easy-to-use data structures and data analysis tools for the Python programming language.Author Fabio Nelli expertly shows the strength of the Python
... Leer más
Learning Groovy 3

Java-Based Dynamic Scripting

de Adam L. Davis ...

Series series Professional and Applied Computing (R0)
Start building powerful apps that take advantage of the dynamic scripting capabilities of the Groovy language, including what's new in Groovy version 3.0. This book covers Groovy fundamentals, such as installing Groovy, using Groovy tools, and working with the Groovy Development Kit (GDK). You'll also learn more advanced aspects of Groovy, such as using Groovy design patterns, writing DSLs in ... Leer más

$49.99 USD

Start building powerful apps that take advantage of the dynamic scripting capabilities of the Groovy language, including what's new in Groovy version 3.0. This book covers Groovy fundamentals, such as installing Groovy, using Groovy tools, and working with the Groovy Development Kit (GDK). You'll also learn more advanced aspects of Groovy, such as using Groovy design patterns, writing DSLs in
... Leer más
Advanced SDL Game Engineering: Expert Techniques for Professional Developers

de Kameron Hussain, Frahaan Hussain ...

"Advanced SDL Game Engineering: Expert Techniques for Professional Developers" is an essential guide for seasoned game developers and engineers looking to master the complexities of game development using Simple DirectMedia Layer (SDL). This comprehensive resource delves deep into advanced techniques and strategies that are crucial for creating professional-grade games.With a focus on the ... Leer más

$9.99 USD o gratis con Kobo Plus

"Advanced SDL Game Engineering: Expert Techniques for Professional Developers" is an essential guide for seasoned game developers and engineers looking to master the complexities of game development using Simple DirectMedia Layer (SDL). This comprehensive resource delves deep into advanced techniques and strategies that are crucial for creating professional-grade games.With a focus on the
... Leer más
Pro Spring Boot 3

An Authoritative Guide with Best Practices

de Felipe Gutierrez ...

Series series Professional and Applied Computing (R0)
This book will teach you how to build complex Spring applications and microservices out of the box, with minimal concern over things like configurations. Pro Spring Boot 3 will show you how to fully leverage Spring Boot 3's robust features and how to apply them to create enterprise-ready applications, microservices, and web/cloud applications that just work.Special focus is given to what's been ... Leer más

$34.19 USD

This book will teach you how to build complex Spring applications and microservices out of the box, with minimal concern over things like configurations. Pro Spring Boot 3 will show you how to fully leverage Spring Boot 3's robust features and how to apply them to create enterprise-ready applications, microservices, and web/cloud applications that just work.Special focus is given to what's been
... Leer más
Practical Rust Web Projects

Building Cloud and Web-Based Applications

de Shing Lyu ...

Series series Professional and Applied Computing (R0)
Go beyond the basics of Rust and build web and serverless cloud applications. The applications explained in this practical book include web sites, RESTful APIs, a real-time web chat application, and frontend application with WebAssembly. Each chapter is organized in the following format: what this kind of application looks like; requirements for the example program; an introduction to the Rust ... Leer más

$31.49 USD

Go beyond the basics of Rust and build web and serverless cloud applications. The applications explained in this practical book include web sites, RESTful APIs, a real-time web chat application, and frontend application with WebAssembly. Each chapter is organized in the following format: what this kind of application looks like; requirements for the example program; an introduction to the Rust
... Leer más
Make a 2D RPG in a Weekend

Second Edition: With RPG Maker MV

de Darrin Perez ...

Series series Professional and Applied Computing (R0)
Updated for RPG Maker MV using JavaScript, Make a 2D RPG in a Weekend shows you how to create your very own dungeon crawler game in RPG Maker MV in a single weekend. The entire process, from start to finish, is covered within this book. You will see a variety of dungeon maps and events, all broken down for your convenience.One of the hardest parts of game development is actually finishing a game, ... Leer más

$62.99 USD

Updated for RPG Maker MV using JavaScript, Make a 2D RPG in a Weekend shows you how to create your very own dungeon crawler game in RPG Maker MV in a single weekend. The entire process, from start to finish, is covered within this book. You will see a variety of dungeon maps and events, all broken down for your convenience.One of the hardest parts of game development is actually finishing a game,
... Leer más
Practical Web Design for Absolute Beginners

de Adrian W. West ...

Series series Professional and Applied Computing (R0)
Learn the fundamentals of modern web design, rather than relying on CMS programs, such as WordPress or Joomla!. You will be introduced to the essentials of good design and how to optimize for search engines. You will discover how to register a domain name and migrate a website to a remote host. Because you will have built the web pages yourself, you will know exactly how HTML and CSS work. You ... Leer más

$53.99 USD

Learn the fundamentals of modern web design, rather than relying on CMS programs, such as WordPress or Joomla!. You will be introduced to the essentials of good design and how to optimize for search engines. You will discover how to register a domain name and migrate a website to a remote host. Because you will have built the web pages yourself, you will know exactly how HTML and CSS work. You
... Leer más
Java 17 Quick Syntax Reference

A Pocket Guide to the Java SE Language, APIs, and Library

de Mikael Olsson ...

Series series Professional and Applied Computing (R0)
Quickly gain the insight necessary to address a multitude of Java coding challenges using this succinct reference guide, Java 17 Quick Syntax Reference, Third Edition. Short, focused code examples will help you learn and master various existing and new Java source code elements.This edition includes the following additions to Java SE and OpenJDK, through Java 17: Pattern matching for switch and ... Leer más

$40.99 USD

Quickly gain the insight necessary to address a multitude of Java coding challenges using this succinct reference guide, Java 17 Quick Syntax Reference, Third Edition. Short, focused code examples will help you learn and master various existing and new Java source code elements.This edition includes the following additions to Java SE and OpenJDK, through Java 17: Pattern matching for switch and
... Leer más
Building Arduino Projects for the Internet of Things

Experiments with Real-World Applications

de Adeel Javed ...

Series series Professional and Applied Computing (R0)
Gain a strong foundation of Arduino-based device development, from which you can go in any direction according to your specific development needs and desires. You'll build Arduino-powered devices for everyday use, and then connect those devices to the Internet.You'll be introduced to the building blocks of IoT, and then deploy those principles to by building a variety of useful projects. Projects ... Leer más

$62.99 USD

Gain a strong foundation of Arduino-based device development, from which you can go in any direction according to your specific development needs and desires. You'll build Arduino-powered devices for everyday use, and then connect those devices to the Internet.You'll be introduced to the building blocks of IoT, and then deploy those principles to by building a variety of useful projects. Projects
... Leer más
Beginning Ruby 3

From Beginner to Pro

de Carleton DiLeo, Peter Cooper ...

Series series Professional and Applied Computing (R0)
Learn the principles behind object-oriented programming in Ruby and within a few chapters create a fully functional Ruby 3-based application. You'll gain a basic understanding of many ancillary technologies such as databases, XML, web frameworks, and networking - some of which will be needed for your first Ruby application. Based on the bestselling first and second editions, Beginning Ruby 3, 4th ... Leer más

$53.99 USD

Learn the principles behind object-oriented programming in Ruby and within a few chapters create a fully functional Ruby 3-based application. You'll gain a basic understanding of many ancillary technologies such as databases, XML, web frameworks, and networking - some of which will be needed for your first Ruby application. Based on the bestselling first and second editions, Beginning Ruby 3, 4th
... Leer más
AI with Azure: Build Smarter Applications

de Kameron Hussain, Frahaan Hussain ...

Step into the future of application development with AI with Azure: Build Smarter Applications. Designed for developers, tech enthusiasts, and IT professionals, this comprehensive guide explores the vast landscape of artificial intelligence capabilities available through Microsoft Azure.From integrating AI into existing applications to creating intelligent systems from the ground up, this book ... Leer más

$9.99 USD o gratis con Kobo Plus

Step into the future of application development with AI with Azure: Build Smarter Applications. Designed for developers, tech enthusiasts, and IT professionals, this comprehensive guide explores the vast landscape of artificial intelligence capabilities available through Microsoft Azure.From integrating AI into existing applications to creating intelligent systems from the ground up, this book
... Leer más

eReaders

Aplicaciones

Accesorios

Carrito de compra

¡Obtienes el tratamiento VIP!

Tu carrito de compra está vacío

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Recomendado para ti

eBooks de Compiladores

Mostrar: