Rakuten Kobo

Tests and Proofs

10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

Modifié par Bernhard K. Aichernig, Carlo A. Furia ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 10th International Conference on Tests and Proofs, TAP 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.The 8 full papers, 2 short papers, and 1 tool demonstration paper presented in this volume were carefully reviewed and selected from 19 submissions. The book also contains one invited talk in full-paper length. The TAP ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the 10th International Conference on Tests and Proofs, TAP 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.The 8 full papers, 2 short papers, and 1 tool demonstration paper presented in this volume were carefully reviewed and selected from 19 submissions. The book also contains one invited talk in full-paper length. The TAP
... En savoir plus
Lean Python

Learn Just Enough Python to Build Useful Tools

par Paul Gerrard ...

Collections series Professional and Applied Computing (R0)
Learn only the essential aspects of Python without cluttering up your mind with features you may never use. This compact book is not a "best way to write code" type of book; rather, the author goes over his most-used functions, which are all you need to know as a beginner and some way beyond.Lean Python takes 58 Python methods and functions and whittles them down to 15: as author Paul Gerrard says ... En savoir plus

$41.89 CAD

Learn only the essential aspects of Python without cluttering up your mind with features you may never use. This compact book is not a "best way to write code" type of book; rather, the author goes over his most-used functions, which are all you need to know as a beginner and some way beyond.Lean Python takes 58 Python methods and functions and whittles them down to 15: as author Paul Gerrard says
... En savoir plus
Formal Methods: Foundations and Applications

18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

Modifié par Bill Roscoe, Márcio Cornélio ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, Brazil, in September 2015.The 11 papers presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections named: model checking; languages and semantics; refinement and verification; testing and ... En savoir plus

$51.29 CAD

This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, Brazil, in September 2015.The 11 papers presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections named: model checking; languages and semantics; refinement and verification; testing and
... En savoir plus
Handbook of Graphs and Networks in People Analytics

With Examples in R and Python

par Keith McNulty ...

Handbook of Graphs and Networks in People Analytics: With Examples in R and Python covers the theory and practical implementation of graph methods in R and Python for the analysis of people and organizational networks. Starting with an overview of the origins of graph theory and its current applications in the social sciences, the book proceeds to give in-depth technical instruction on how to ... En savoir plus

$147.02 CAD

Handbook of Graphs and Networks in People Analytics: With Examples in R and Python covers the theory and practical implementation of graph methods in R and Python for the analysis of people and organizational networks. Starting with an overview of the origins of graph theory and its current applications in the social sciences, the book proceeds to give in-depth technical instruction on how to
... En savoir plus
Artificial Intelligence in Education

23rd International Conference, AIED 2022, Durham, UK, July 27–31, 2022, Proceedings, Part I

Modifié par Maria Mercedes Rodrigo, Noburu Matsuda, Alexandra I. Cristea, Vania Dimitrova ...

Collections Livre 1 - Springer Nature Proceedings Computer Science
This two-volume set LNAI 13355 and 13356 constitutes the refereed proceedings of the 23rd International Conference on Artificial Intelligence in Education, AIED 2022, held in Durham, UK, in July 2022.The 40 full papers and 40 short papers presented together with 2 keynotes, 6 industry papers, 12 DC papers, 6 Workshop papers, 10 Practitioner papers, 97 Posters and Late-Breaking Results were ... En savoir plus

$140.89 CAD

This two-volume set LNAI 13355 and 13356 constitutes the refereed proceedings of the 23rd International Conference on Artificial Intelligence in Education, AIED 2022, held in Durham, UK, in July 2022.The 40 full papers and 40 short papers presented together with 2 keynotes, 6 industry papers, 12 DC papers, 6 Workshop papers, 10 Practitioner papers, 97 Posters and Late-Breaking Results were
... En savoir plus
Smart Microgrid Systems

Advanced Technologies

par KTM Udayanga Hemapala, MK Perera ...

This book highlights microgrids as integrating platforms for distributed generation units, energy storages and local loads, with an emphasis on system performance via innovative approaches. It explains the smart power system concept, transmission, distribution, and utilization, and then looks at distributed generation technologies and hybrid power systems. Smart approaches, an analysis of ... En savoir plus

$94.81 CAD

This book highlights microgrids as integrating platforms for distributed generation units, energy storages and local loads, with an emphasis on system performance via innovative approaches. It explains the smart power system concept, transmission, distribution, and utilization, and then looks at distributed generation technologies and hybrid power systems. Smart approaches, an analysis of
... En savoir plus
Ergonomics for Design and Innovation

Humanizing Work and Work Environment: Proceedings of HWWE 2021

Modifié par Debkumar Chakrabarti, Sougata Karmakar, Urmi R. Salve ...

Collections series Springer Nature Proceedings excluding Computer Science
This book presents the proceedings of the 19th International Conference of the Indian Society of Ergonomics (HWWE), held in Guwahati, India, on December 1-3, 2021. By highlighting the latest theories and models, as well as cutting-edge technologies and applications, and by combining findings from a range of disciplines including engineering, design, health care, management, computer science, and ... En savoir plus

$767.29 CAD

This book presents the proceedings of the 19th International Conference of the Indian Society of Ergonomics (HWWE), held in Guwahati, India, on December 1-3, 2021. By highlighting the latest theories and models, as well as cutting-edge technologies and applications, and by combining findings from a range of disciplines including engineering, design, health care, management, computer science, and
... En savoir plus
Mind-Melding Unity and Blender for 3D Game Development

Unleash the power of Unity and Blender to create amazing games

par Spencer Grey ...

Add Blender to your Unity game development projects to unlock new possibilities and decrease your dependency on third-party creatorsKey FeaturesDiscover how you can enhance your games with BlenderLearn how to implement Blender in real-world scenariosCreate new or modify existing assets in Blender and import them into your Unity gameBook DescriptionBlender is an incredibly powerful, free computer ... En savoir plus

$56.79 CAD ou Gratuit avec Kobo Plus

Add Blender to your Unity game development projects to unlock new possibilities and decrease your dependency on third-party creatorsKey FeaturesDiscover how you can enhance your games with BlenderLearn how to implement Blender in real-world scenariosCreate new or modify existing assets in Blender and import them into your Unity gameBook DescriptionBlender is an incredibly powerful, free computer
... En savoir plus
Guia prático de TypeScript

Melhore suas aplicações JavaScript

par Thiago da Silva Adriano ...

Desenvolvido e mantido pela Microsoft, o TypeScript é um pré-processador open source de códigos JavaScript que auxilia na escrita de códigos, desde os mais simples até os mais complexos, utilizando tipagem de dados e os princípios da Orientação a Objetos para o desenvolvimento de aplicações front-end, back-end e mobile. Neste livro, Thiago da Silva Adriano abordará conceitos básicos do TypeScript, ... En savoir plus

$12.99 CAD ou Gratuit avec Kobo Plus

Desenvolvido e mantido pela Microsoft, o TypeScript é um pré-processador open source de códigos JavaScript que auxilia na escrita de códigos, desde os mais simples até os mais complexos, utilizando tipagem de dados e os princípios da Orientação a Objetos para o desenvolvimento de aplicações front-end, back-end e mobile. Neste livro, Thiago da Silva Adriano abordará conceitos básicos do TypeScript,
... En savoir plus
Artificial Intelligence and Soft Computing

18th International Conference, ICAISC 2019, Zakopane, Poland, June 16–20, 2019, Proceedings, Part I

Modifié par Leszek Rutkowski, Rafał Scherer, Marcin Korytkowski, Witold Pedrycz, Ryszard Tadeusiewicz, Jacek M. Zurada ...

Collections Livre 1 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 11508 and 11509 constitutes the refereed proceedings of of the 18th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2019, held in Zakopane, Poland, in June 2019.The 122 revised full papers presented were carefully reviewed and selected from 333 submissions. The papers included in the first volume are organized in the following five parts: ... En savoir plus

$115.29 CAD

The two-volume set LNCS 11508 and 11509 constitutes the refereed proceedings of of the 18th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2019, held in Zakopane, Poland, in June 2019.The 122 revised full papers presented were carefully reviewed and selected from 333 submissions. The papers included in the first volume are organized in the following five parts:
... En savoir plus
Computer Information Systems and Industrial Management

18th International Conference, CISIM 2019, Belgrade, Serbia, September 19–21, 2019, Proceedings

Modifié par Khalid Saeed, Rituparna Chaki, Valentina Janev ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 18th International Conference on Computer Information Systems and Industrial Management Applications, CISIM 2019, held in Belgrade, Serbia, in September 2019.The 43 full papers presented together with 3 abstracts of keynotes were carefully reviewed and selected from 70 submissions. The main topics covered by the chapters in this book are biometrics, ... En savoir plus

$64.09 CAD

This book constitutes the proceedings of the 18th International Conference on Computer Information Systems and Industrial Management Applications, CISIM 2019, held in Belgrade, Serbia, in September 2019.The 43 full papers presented together with 3 abstracts of keynotes were carefully reviewed and selected from 70 submissions. The main topics covered by the chapters in this book are biometrics,
... En savoir plus
Software Engineering and Formal Methods

17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Modifié par Peter Csaba Ölveczky, Gwen Salaün ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Oslo, Norway, in September 2019.The 27 full papers presented were carefully reviewed and selected from 89 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, malware ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Oslo, Norway, in September 2019.The 27 full papers presented were carefully reviewed and selected from 89 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, malware
... En savoir plus
Graph-Theoretic Concepts in Computer Science

45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers

Modifié par Ignasi Sau, Dimitrios M. Thilikos ...

Collections series Springer Nature Proceedings excluding Computer Science
This book constitutes the revised papers of the 45th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2019, held in Vall de Núria, Spain, in June 2019.The 29 full papers presented in this volume were carefully reviewed and selected from 87 submissions. They cover a wide range of areas, aiming at connecting theory and applications by demonstrating how graph-theoretic ... En savoir plus

$83.29 CAD

This book constitutes the revised papers of the 45th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2019, held in Vall de Núria, Spain, in June 2019.The 29 full papers presented in this volume were carefully reviewed and selected from 87 submissions. They cover a wide range of areas, aiming at connecting theory and applications by demonstrating how graph-theoretic
... En savoir plus
Learnability Isn’t Enough: How to Design Apps That Are Easy to Use in the Long Run, Not Just the First Run

par Hans van de Bruggen ...

Some UX problems are temporary**. Others are** permanent**.**This book provides a unique framework to proactively find and fix permanent sources of UI effort. This helps you create apps that are both easy to learn and efficient in long-term use.Whether you're a seasoned product & UX professional or just starting out, this book is your guide to elevating the everyday user experience, with practical ... En savoir plus

$33.99 CAD ou Gratuit avec Kobo Plus

Some UX problems are temporary**. Others are** permanent**.**This book provides a unique framework to proactively find and fix permanent sources of UI effort. This helps you create apps that are both easy to learn and efficient in long-term use.Whether you're a seasoned product & UX professional or just starting out, this book is your guide to elevating the everyday user experience, with practical
... En savoir plus
Tkinter GUI Application Development Blueprints, Second Edition

Build nine projects by working with widgets, geometry management, event handling, and more

par Bhaskar Chaudhary ...

Geometry Management, Event Handling, and moreKey FeaturesA Practical, guide to learn the application of Python and GUI programming with tkinterCreate multiple cross-platform real-world projects by integrating host of third party libraries and toolsLearn to build beautiful and highly interactive user interfaces, targeting multiple devices.Book DescriptionTkinter is the built-in GUI package that ... En savoir plus

$47.19 CAD ou Gratuit avec Kobo Plus

Geometry Management, Event Handling, and moreKey FeaturesA Practical, guide to learn the application of Python and GUI programming with tkinterCreate multiple cross-platform real-world projects by integrating host of third party libraries and toolsLearn to build beautiful and highly interactive user interfaces, targeting multiple devices.Book DescriptionTkinter is the built-in GUI package that
... En savoir plus
Introduction to Compiler Design

par Torben Ægidius Mogensen ...

Collections series Computer Science (R0)
The second edition of this textbook has been fully revised and adds material about loop optimisation, function call optimisation and dataflow analysis. It presents techniques for making realistic compilers for simple programming languages, using techniques that are close to those used in "real" compilers, albeit in places slightly simplified for presentation purposes. All phases required for ... En savoir plus

$64.09 CAD

The second edition of this textbook has been fully revised and adds material about loop optimisation, function call optimisation and dataflow analysis. It presents techniques for making realistic compilers for simple programming languages, using techniques that are close to those used in "real" compilers, albeit in places slightly simplified for presentation purposes. All phases required for
... En savoir plus
Transactions on Computational Science XXX

Special Issue on Cyberworlds and Cybersecurity

Modifié par Marina L. Gavrilova, C.J. Kenneth Tan, Alexei Sourin ...

Collections series Computer Science (R0)
This, the 30th issue of the Transactions on Computational Science journal, is comprised of extended versions of selected papers from the International Conference on Cyberworlds, held in Chongqing, China, in September 2016. The first paper is a position paper giving an outline of current research at the intersection of cybersecurity and cyberworlds, and specifically focusing on mining behavioral ... En savoir plus

$64.09 CAD

This, the 30th issue of the Transactions on Computational Science journal, is comprised of extended versions of selected papers from the International Conference on Cyberworlds, held in Chongqing, China, in September 2016. The first paper is a position paper giving an outline of current research at the intersection of cybersecurity and cyberworlds, and specifically focusing on mining behavioral
... En savoir plus
Bankruptcy Prediction through Soft Computing based Deep Learning Technique

par Soumya K Ghosh, Arindam Chaudhuri ...

Collections series Computer Science (R0)
This book proposes complex hierarchical deep architectures (HDA) for predicting bankruptcy, a topical issue for business and corporate institutions that in the past has been tackled using statistical, market-based and machine-intelligence prediction models. The HDA are formed through fuzzy rough tensor deep staking networks (FRTDSN) with structured, hierarchical rough Bayesian (HRB) models. FRTDSN ... En savoir plus

$64.09 CAD

This book proposes complex hierarchical deep architectures (HDA) for predicting bankruptcy, a topical issue for business and corporate institutions that in the past has been tackled using statistical, market-based and machine-intelligence prediction models. The HDA are formed through fuzzy rough tensor deep staking networks (FRTDSN) with structured, hierarchical rough Bayesian (HRB) models. FRTDSN
... En savoir plus
Windows Media Center

Die perfekte Medienoberfläche für Windows 7 und Windows 8

par Wolfram Gieseke ...

Mit dem Windows Media Center machen Sie Ihren Windows-Rechner ganz einfach zum Wohnzimmer-PC, mit dem Sie Filme schauen, Ihre Musiksammlung oder Internetradio hören und Ihre Lieblingsbilder als Diashow abspielen können. In Verbindung mit einem TV-Empfänger wird er zum digitalen Videorekorder mit komfortablen Aufnahmefunktionen einschließlich zeitversetztem Timeshift-Fernsehen. Praktische ... En savoir plus

$8.99 CAD ou Gratuit avec Kobo Plus

Mit dem Windows Media Center machen Sie Ihren Windows-Rechner ganz einfach zum Wohnzimmer-PC, mit dem Sie Filme schauen, Ihre Musiksammlung oder Internetradio hören und Ihre Lieblingsbilder als Diashow abspielen können. In Verbindung mit einem TV-Empfänger wird er zum digitalen Videorekorder mit komfortablen Aufnahmefunktionen einschließlich zeitversetztem Timeshift-Fernsehen. Praktische
... En savoir plus
Information Modelling for Archaeology and Anthropology

Software Engineering Principles for Cultural Heritage

par Cesar Gonzalez-Perez ...

Collections series Computer Science (R0)
This unique text/reference reviews the key principles and techniques in conceptual modelling which are of relevance to specialists in the field of cultural heritage.Information modelling tasks are a vital aspect of work and study in such disciplines as archaeology, anthropology, history, and architecture. Yet the concepts and methods behind information modelling are rarely covered by the training ... En savoir plus

$72.99 CAD

This unique text/reference reviews the key principles and techniques in conceptual modelling which are of relevance to specialists in the field of cultural heritage.Information modelling tasks are a vital aspect of work and study in such disciplines as archaeology, anthropology, history, and architecture. Yet the concepts and methods behind information modelling are rarely covered by the training
... En savoir plus
Distributed Machine Learning Patterns

par Yuan Tang ...

Practical patterns for scaling machine learning from your laptop to a distributed cluster.Distributing machine learning systems allow developers to handle extremely large datasets across multiple clusters, take advantage of automation tools, and benefit from hardware accelerations. This book reveals best practice techniques and insider tips for tackling the challenges of scaling machine learning ... En savoir plus

$77.99 CAD

Practical patterns for scaling machine learning from your laptop to a distributed cluster.Distributing machine learning systems allow developers to handle extremely large datasets across multiple clusters, take advantage of automation tools, and benefit from hardware accelerations. This book reveals best practice techniques and insider tips for tackling the challenges of scaling machine learning
... En savoir plus
Python for Beginners

Learn It as Easy as Pie

par Yatin Bayya ...

Whether you are an absolute beginner or an experienced programmer, learn Python programming in a simple, concise, and straightforward manner. Learn to build four smashing projects: a calculator, a drawing app, a login system, and a notes app. This book will walk you through the first steps of becoming a programmer as easy as pie. ... En savoir plus

$7.19 CAD ou Gratuit avec Kobo Plus

Whether you are an absolute beginner or an experienced programmer, learn Python programming in a simple, concise, and straightforward manner. Learn to build four smashing projects: a calculator, a drawing app, a login system, and a notes app. This book will walk you through the first steps of becoming a programmer as easy as pie.
... En savoir plus
Exploring Blazor

Creating Hosted, Server-side, and Client-side Applications with C#

par Taurius Litvinavicius ...

Collections series Professional and Applied Computing (R0)
Build and develop web applications with Blazor in C#. This book will cover all three types of Blazor – server-side, client-side, and hosted along with other features of the technology. You’ll see that Blazor is a web UI framework based on C#, Razor, and HTML and how it runs front-end logic using C# either on the server or on the browser using WebAssembly.The author starts by introducing ... En savoir plus

$56.29 CAD

Build and develop web applications with Blazor in C#. This book will cover all three types of Blazor – server-side, client-side, and hosted along with other features of the technology. You’ll see that Blazor is a web UI framework based on C#, Razor, and HTML and how it runs front-end logic using C# either on the server or on the browser using WebAssembly.The author starts by introducing
... En savoir plus
Creating Business Applications with Office 365

Techniques in SharePoint, PowerApps, Power BI, and More

par Jeffrey M. Rhodes ...

Collections series Professional and Applied Computing (R0)
Take your Office 365 and SharePoint projects to a higher level by using PowerApps, Flow, Power BI, JavaScript/jQuery jQuery UI widgets, Cascading Style Sheets (CSS), and more. This book will help you create easier solutions to client-side problems and applications. Additionally, you will be able to effectively visualize your data with Power BI.This book starts with configuration of SharePoint and ... En savoir plus

$44.29 CAD

Take your Office 365 and SharePoint projects to a higher level by using PowerApps, Flow, Power BI, JavaScript/jQuery jQuery UI widgets, Cascading Style Sheets (CSS), and more. This book will help you create easier solutions to client-side problems and applications. Additionally, you will be able to effectively visualize your data with Power BI.This book starts with configuration of SharePoint and
... 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 Programmation

Afficher :