Rakuten Kobo

Computer Aided Verification

32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

Modifié par Shuvendu K. Lahiri, Chao Wang ...

Collections Livre 2 - Springer Nature Proceedings Computer Science
The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical ... En savoir plus

Gratuit

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical
... En savoir plus
UML: A Beginner's Guide

par Jason T. Roff ...

Collections series Beginner's Guide
Essential skills for first-time programmers! This easy-to-use book explains the fundamentals of UML. You'll learn to read, draw, and use this visual modeling language to create clear and effective blueprints for software development projects. The modular approach of this series--including drills, sample projects, and mastery checks--makes it easy to learn to use this powerful programming language ... En savoir plus

$45.99 CAD

Essential skills for first-time programmers! This easy-to-use book explains the fundamentals of UML. You'll learn to read, draw, and use this visual modeling language to create clear and effective blueprints for software development projects. The modular approach of this series--including drills, sample projects, and mastery checks--makes it easy to learn to use this powerful programming language
... En savoir plus
Professional Manga

Digital Storytelling with Manga Studio EX

par Steve Horton ...

Combine high-end manga storytelling theory and advice with the tools for digital creation in Manga Studio, guided by expert professional manga-ka. You'll discover manga storytelling techniques, from speed lines to technology, from toning to big sound effects. Steve Horton and Jeong Mo Yang then show you how best to accomplish these techniques using the leading manga art creation program, Manga ... En savoir plus

$56.99 CAD

Combine high-end manga storytelling theory and advice with the tools for digital creation in Manga Studio, guided by expert professional manga-ka. You'll discover manga storytelling techniques, from speed lines to technology, from toning to big sound effects. Steve Horton and Jeong Mo Yang then show you how best to accomplish these techniques using the leading manga art creation program, Manga
... En savoir plus
Perl Template Toolkit

Scalable Templating for the Web

par Darren Chamberlain, Dave Cross, Andy Wardley ...

Among the many different approaches to "templating" with Perl--such as Embperl, Mason, HTML::Template, and hundreds of other lesser known systems--the Template Toolkit is widely recognized as one of the most versatile. Like other templating systems, the Template Toolkit allows programmers to embed Perl code and custom macros into HTML documents in order to create customized documents on the fly. ... En savoir plus

$28.99 CAD

Among the many different approaches to "templating" with Perl--such as Embperl, Mason, HTML::Template, and hundreds of other lesser known systems--the Template Toolkit is widely recognized as one of the most versatile. Like other templating systems, the Template Toolkit allows programmers to embed Perl code and custom macros into HTML documents in order to create customized documents on the fly.
... En savoir plus
The Mega Box: The Ultimate Guide to the Best Free Resources on the Internet

In a Box, #9

par Chris Mason ...

Collections Livre 9 - In a Box
Do you like free? Of course you do. Well here is a riddle for you. What is over 500 pages in length and has hundreds of links and thousands of free resources in free information just waiting to be useful to someone who may have trouble making ends meet. The answer is The Mega Box: The Ultimate Guide to Free Resources on the Internet. The book is a Box set of the 8 books in the "In the Box series ... En savoir plus

$22.99 CAD ou Gratuit avec Kobo Plus

Do you like free? Of course you do. Well here is a riddle for you. What is over 500 pages in length and has hundreds of links and thousands of free resources in free information just waiting to be useful to someone who may have trouble making ends meet. The answer is The Mega Box: The Ultimate Guide to Free Resources on the Internet. The book is a Box set of the 8 books in the "In the Box series
... En savoir plus
Embedded Software Development for Safety-Critical Systems

par Chris Hobbs ...

Safety-critical devices, whether medical, rail, automotive or industrial are dependent on the correct operation of sophisticated software. Many standards describe how such systems should be designed, built and verified. Developers who previously had to know only how to program devices for their industry must now understand and deploy additional development practices and be prepared to justify ... En savoir plus

$94.99 CAD

Safety-critical devices, whether medical, rail, automotive or industrial are dependent on the correct operation of sophisticated software. Many standards describe how such systems should be designed, built and verified. Developers who previously had to know only how to program devices for their industry must now understand and deploy additional development practices and be prepared to justify
... En savoir plus
Intel Xeon Phi Coprocessor Architecture and Tools

The Guide for Application Developers

par Rezaur Rahman ...

Intel® Xeon Phi™ Coprocessor Architecture and Tools: The Guide for Application Developers provides developers a comprehensive introduction and in-depth look at the Intel Xeon Phi coprocessor architecture and the corresponding parallel data structure tools and algorithms used in the various technical computing applications for which it is suitable. It also examines the source code-level ... En savoir plus

Gratuit

Intel® Xeon Phi™ Coprocessor Architecture and Tools: The Guide for Application Developers provides developers a comprehensive introduction and in-depth look at the Intel Xeon Phi coprocessor architecture and the corresponding parallel data structure tools and algorithms used in the various technical computing applications for which it is suitable. It also examines the source code-level
... En savoir plus
Introduction to the History of Computing

A Computing History Primer

par Gerard O'Regan ...

Collections series Computer Science (R0)
Tracing the story of computing from Babylonian counting boards to smartphones, this inspiring textbook provides a concise overview of the key events in the history of computing, together with discussion exercises to stimulate deeper investigation into this fascinating area. Features: provides chapter introductions, summaries, key topics, and review questions; includes an introduction to analogue ... En savoir plus

$83.99 CAD

Tracing the story of computing from Babylonian counting boards to smartphones, this inspiring textbook provides a concise overview of the key events in the history of computing, together with discussion exercises to stimulate deeper investigation into this fascinating area. Features: provides chapter introductions, summaries, key topics, and review questions; includes an introduction to analogue
... En savoir plus
Bayesian Cognitive Modeling

A Practical Course

par Michael D. Lee, Eric-Jan Wagenmakers ...

Bayesian inference has become a standard method of analysis in many fields of science. Students and researchers in experimental psychology and cognitive science, however, have failed to take full advantage of the new and exciting possibilities that the Bayesian approach affords. Ideal for teaching and self study, this book demonstrates how to do Bayesian modeling. Short, to-the-point chapters ... En savoir plus

$56.99 CAD

Bayesian inference has become a standard method of analysis in many fields of science. Students and researchers in experimental psychology and cognitive science, however, have failed to take full advantage of the new and exciting possibilities that the Bayesian approach affords. Ideal for teaching and self study, this book demonstrates how to do Bayesian modeling. Short, to-the-point chapters
... En savoir plus
Unified Discourse Analysis

Language, Reality, Virtual Worlds and Video Games

par James Paul Gee ...

Discourse Analysis is becoming increasingly "multimodal", concerned primarily with the interplay of language, image and sound. Video Games allow humans to create, live in and have conversations with new multimodal worlds.In this ground-breaking new textbook, best-selling author and experienced gamer, James Paul Gee, sets out a new theory and method of discourse analysis which applies to language, ... En savoir plus

$76.99 CAD

Discourse Analysis is becoming increasingly "multimodal", concerned primarily with the interplay of language, image and sound. Video Games allow humans to create, live in and have conversations with new multimodal worlds.In this ground-breaking new textbook, best-selling author and experienced gamer, James Paul Gee, sets out a new theory and method of discourse analysis which applies to language,
... En savoir plus
How to Land a Top-Paying Library assistants Job: Your Complete Guide to Opportunities, Resumes and Cover Letters, Interviews, Salaries, Promotions, What to Expect From Recruiters and More

par Willis Edward ...

For the first time, a book exists that compiles all the information candidates need to apply for their first Library assistants job, or to apply for a better job.What you'll find especially helpful are the worksheets. It is so much easier to write about a work experience using these outlines. It ensures that the narrative will follow a logical structure and reminds you not to leave out the most ... En savoir plus

$15.99 CAD ou Gratuit avec Kobo Plus

For the first time, a book exists that compiles all the information candidates need to apply for their first Library assistants job, or to apply for a better job.What you'll find especially helpful are the worksheets. It is so much easier to write about a work experience using these outlines. It ensures that the narrative will follow a logical structure and reminds you not to leave out the most
... En savoir plus
How to Land a Top-Paying Lease buyers Job: Your Complete Guide to Opportunities, Resumes and Cover Letters, Interviews, Salaries, Promotions, What to Expect From Recruiters and More

par Jordan Leonard ...

For the first time, a book exists that compiles all the information candidates need to apply for their first Lease buyers job, or to apply for a better job.What you'll find especially helpful are the worksheets. It is so much easier to write about a work experience using these outlines. It ensures that the narrative will follow a logical structure and reminds you not to leave out the most ... En savoir plus

$15.99 CAD ou Gratuit avec Kobo Plus

For the first time, a book exists that compiles all the information candidates need to apply for their first Lease buyers job, or to apply for a better job.What you'll find especially helpful are the worksheets. It is so much easier to write about a work experience using these outlines. It ensures that the narrative will follow a logical structure and reminds you not to leave out the most
... En savoir plus
Computer Aided Design Guide for Architecture, Engineering and Construction

par Ghassan Aouad, Song Wu, Angela Lee, Timothy Onyenobi ...

Recent years have seen major changes in the approach to Computer Aided Design (CAD) in the architectural, engineering and construction (AEC) sector. CAD is increasingly becoming a standard design tool, facilitating lower development costs and a reduced design cycle. Not only does it allow a designer to model designs in two and three dimensions but also to model other dimensions, such as time and ... En savoir plus

$104.99 CAD

Recent years have seen major changes in the approach to Computer Aided Design (CAD) in the architectural, engineering and construction (AEC) sector. CAD is increasingly becoming a standard design tool, facilitating lower development costs and a reduced design cycle. Not only does it allow a designer to model designs in two and three dimensions but also to model other dimensions, such as time and
... En savoir plus
Healthcare Information Technology Exam Guide for CompTIA Healthcare IT Technician and HIT Pro Certifications

par Kathleen A. McCormick, Brian Gugerty ...

The Complete Healthcare Information Technology Reference and Exam GuideGain the skills and knowledge required to implement and support healthcare IT (HIT) systems in various clinical and healthcare business settings. Healthcare Information Technology Exam Guide for CompTIA Healthcare IT Technician and HIT Pro Certifications prepares IT professionals to transition into HIT with coverage of topics ... En savoir plus

$60.99 CAD

The Complete Healthcare Information Technology Reference and Exam GuideGain the skills and knowledge required to implement and support healthcare IT (HIT) systems in various clinical and healthcare business settings. Healthcare Information Technology Exam Guide for CompTIA Healthcare IT Technician and HIT Pro Certifications prepares IT professionals to transition into HIT with coverage of topics
... En savoir plus
Mac mini with MacOS Catalina

Getting Started with MacOS 10.15 for Mac Mini

par Scott La Counte ...

NOTE: This book is based off of "MacOS Catalina: Getting Started with MacOS 10.15 for Macbooks and iMacs" and contains additional content on the MacBook Pros specs.Mac Mini’s are incredible computers—they almost fit in the palm of your hand but have all the power of larger computers.If you are new to Mac, then it can be a little confusing making the switch from Windows. This book will show you how ... En savoir plus

$6.99 CAD

NOTE: This book is based off of "MacOS Catalina: Getting Started with MacOS 10.15 for Macbooks and iMacs" and contains additional content on the MacBook Pros specs.Mac Mini’s are incredible computers—they almost fit in the palm of your hand but have all the power of larger computers.If you are new to Mac, then it can be a little confusing making the switch from Windows. This book will show you how
... En savoir plus
Directing Game Animation

Building a Vision and a Team with Intent

par Mike Jungbluth ...

The best character animation has a strong creative intent, driving a compelling performance. With the addition of interactivity, game animation adds complexity to the craft of how best to balance art, design and technology to realize a character’s performance. As a director, you are responsible for not only defining a vision for how those should balance but also being a leader, mentor and advocate ... En savoir plus

$91.99 CAD

The best character animation has a strong creative intent, driving a compelling performance. With the addition of interactivity, game animation adds complexity to the craft of how best to balance art, design and technology to realize a character’s performance. As a director, you are responsible for not only defining a vision for how those should balance but also being a leader, mentor and advocate
... En savoir plus
Objective Information Theory

par Jianfeng Xu, Shuliang Wang, Zhenyu Liu, Yashi Wang, Yingfei Wang, Yingxu Dang ...

Collections series Computer Science (R0)
Objective Information Theory (OIT) is proposed to represent and compute the information in a large-scale complex information system with big data in this monograph. To formally analyze, design, develop, and evaluate the information, OIT interprets the information from essential nature, measures the information from mathematical properties, and models the information from concept, logic, and physic ... En savoir plus

Gratuit

Objective Information Theory (OIT) is proposed to represent and compute the information in a large-scale complex information system with big data in this monograph. To formally analyze, design, develop, and evaluate the information, OIT interprets the information from essential nature, measures the information from mathematical properties, and models the information from concept, logic, and physic
... En savoir plus
Beyond Powerful Radio

An Audio Communicator’s Guide to the Digital World - News, Talk, Information, & Personality for Podcasting & Broadcasting

par Valerie Geller ...

A complete guide to becoming a successful communicator, Beyond Powerful Radio teaches time-tested techniques that work in any format – radio, TV, podcast, or online.Learn how to get, keep, and grow audiences with powerful storytelling, and become a dynamic presenter. This book holds the tools needed to create winning content; tell compelling stories; build your brand; develop talent; produce a ... En savoir plus

$108.99 CAD

A complete guide to becoming a successful communicator, Beyond Powerful Radio teaches time-tested techniques that work in any format – radio, TV, podcast, or online.Learn how to get, keep, and grow audiences with powerful storytelling, and become a dynamic presenter. This book holds the tools needed to create winning content; tell compelling stories; build your brand; develop talent; produce a
... En savoir plus
Writing with AI How to Ethically Use ChatGPT to Write and Sell eBooks

par Bianca Vadivellu ...

Write With Help, Not Hype is a practical and inspiring guide for aspiring authors who want to write and publish their first eBook using AI tools like ChatGPT—without losing their voice, values, or integrity.This isn't another get-rich-quick promise. It's a real-world companion that walks you through the entire creative process: from mindset and planning, through writing and editing, to publishing ... En savoir plus

$5.99 CAD ou Gratuit avec Kobo Plus

Write With Help, Not Hype is a practical and inspiring guide for aspiring authors who want to write and publish their first eBook using AI tools like ChatGPT—without losing their voice, values, or integrity.This isn't another get-rich-quick promise. It's a real-world companion that walks you through the entire creative process: from mindset and planning, through writing and editing, to publishing
... En savoir plus
How to Land a Top-Paying Image consultants Job: Your Complete Guide to Opportunities, Resumes and Cover Letters, Interviews, Salaries, Promotions, What to Expect From Recruiters and More

par Lowery Donna ...

For the first time, a book exists that compiles all the information candidates need to apply for their first Image consultants job, or to apply for a better job.What you'll find especially helpful are the worksheets. It is so much easier to write about a work experience using these outlines. It ensures that the narrative will follow a logical structure and reminds you not to leave out the most ... En savoir plus

$15.99 CAD ou Gratuit avec Kobo Plus

For the first time, a book exists that compiles all the information candidates need to apply for their first Image consultants job, or to apply for a better job.What you'll find especially helpful are the worksheets. It is so much easier to write about a work experience using these outlines. It ensures that the narrative will follow a logical structure and reminds you not to leave out the most
... En savoir plus
Flour Greats: Delicious Flour Recipes, The Top 97 Flour Recipes

par Jo Franks ...

You'll love this book, the recipes are easy, the ingredients are easy to get and they don't take long to make. Foodlovers turn to Flour Greats for information and inspiration.Everything is in here, from the proverbial soup to nuts: All Time Best Carrot Cake, All-American Apple Turnovers, All-American Chocolate Cake, Alligator Eggs, Allspice Brandy Chicken,Yogurt Cheddar Scones, Yule Cake, Yummy ... En savoir plus

$12.99 CAD ou Gratuit avec Kobo Plus

You'll love this book, the recipes are easy, the ingredients are easy to get and they don't take long to make. Foodlovers turn to Flour Greats for information and inspiration.Everything is in here, from the proverbial soup to nuts: All Time Best Carrot Cake, All-American Apple Turnovers, All-American Chocolate Cake, Alligator Eggs, Allspice Brandy Chicken,Yogurt Cheddar Scones, Yule Cake, Yummy
... En savoir plus
How to Land a Top-Paying Mounted police Job: Your Complete Guide to Opportunities, Resumes and Cover Letters, Interviews, Salaries, Promotions, What to Expect From Recruiters and More

par Aguilar Angela ...

For the first time, a book exists that compiles all the information candidates need to apply for their first Mounted police job, or to apply for a better job.What you'll find especially helpful are the worksheets. It is so much easier to write about a work experience using these outlines. It ensures that the narrative will follow a logical structure and reminds you not to leave out the most ... En savoir plus

$15.99 CAD ou Gratuit avec Kobo Plus

For the first time, a book exists that compiles all the information candidates need to apply for their first Mounted police job, or to apply for a better job.What you'll find especially helpful are the worksheets. It is so much easier to write about a work experience using these outlines. It ensures that the narrative will follow a logical structure and reminds you not to leave out the most
... En savoir plus
CSSLP Certification All-in-One Exam Guide

par Wm. Arthur Conklin, Daniel Paul Shoemaker ...

Collections series All-in-One
Get complete coverage of all the material included on the Certified Secure Software Lifecycle Professional exam. CSSLP All-in-One Exam Guide covers all eight exam domains developed by the International Information Systems Security Certification Consortium (ISC2). You'll find learning objectives at the beginning of each chapter, exam tips, practice questions, and in-depth explanations. Designed to ... En savoir plus

$40.99 CAD

Get complete coverage of all the material included on the Certified Secure Software Lifecycle Professional exam. CSSLP All-in-One Exam Guide covers all eight exam domains developed by the International Information Systems Security Certification Consortium (ISC2). You'll find learning objectives at the beginning of each chapter, exam tips, practice questions, and in-depth explanations. Designed to
... En savoir plus
How to Land a Top-Paying Computer systems software architects Job: Your Complete Guide to Opportunities, Resumes and Cover Letters, Interviews, Salaries, Promotions, What to Expect From Recruiters and More

par Lawson Martha ...

For the first time, a book exists that compiles all the information candidates need to apply for their first Computer systems software architects job, or to apply for a better job.What you'll find especially helpful are the worksheets. It is so much easier to write about a work experience using these outlines. It ensures that the narrative will follow a logical structure and reminds you not to ... En savoir plus

$15.99 CAD ou Gratuit avec Kobo Plus

For the first time, a book exists that compiles all the information candidates need to apply for their first Computer systems software architects job, or to apply for a better job.What you'll find especially helpful are the worksheets. It is so much easier to write about a work experience using these outlines. It ensures that the narrative will follow a logical structure and reminds you not to
... En savoir plus

Liseuses

Applis

Accessoires

Panier

Vous profitez des avantages réservés aux VIP !

Votre panier est vide

Disponible:

1 livre audio par mois

+ Essai GRATUIT de 30 jours

Disponible:

1 livre audio par mois

+ Essai GRATUIT de 30 jours

Recommandé pour vous

eBooks Informatique - Général

Afficher :