Rakuten Kobo

Software Engineering and Formal Methods

SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

Modifié par Carlos Canal, Akram Idani ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods, held in Grenoble, France, in September 2014. The 26 papers included in this volume were carefully reviewed and selected from 49 submissions. They are from the following workshops: the 1st Workshop on Human-Oriented Formal Methods - From Readability ... En savoir plus

$64.09 CAD

This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods, held in Grenoble, France, in September 2014. The 26 papers included in this volume were carefully reviewed and selected from 49 submissions. They are from the following workshops: the 1st Workshop on Human-Oriented Formal Methods - From Readability
... En savoir plus
News Search, Blogs and Feeds

A Toolkit

par Lars Vage, Lars Iselid ...

Collections series Chandos Information Professional Series
This book is about news search and monitoring. Aimed at professionals with a strategic need of monitoring the surrounding world, users with a need to find the best news sources, monitoring services and news search strategies and techniques will benefit from reading this book. The main purpose is to present a practical handbook with an analysis of readily available tools, blending with passages of ... En savoir plus

$71.19 CAD

This book is about news search and monitoring. Aimed at professionals with a strategic need of monitoring the surrounding world, users with a need to find the best news sources, monitoring services and news search strategies and techniques will benefit from reading this book. The main purpose is to present a practical handbook with an analysis of readily available tools, blending with passages of
... En savoir plus
Sustainable Web Ecosystem Design

par Greg O'Toole ...

Collections series Computer Science (R0)
This book is about the process of creating web-based systems (i.e., websites, content, etc.) that consider each of the parts, the modules, the organisms – binary or otherwise – that make up a balanced, sustainable web ecosystem. In the current media-rich environment, a website is more than a collection of relative html documents of text and images on a static desktop computer monitor. There is now ... En savoir plus

$51.29 CAD

This book is about the process of creating web-based systems (i.e., websites, content, etc.) that consider each of the parts, the modules, the organisms – binary or otherwise – that make up a balanced, sustainable web ecosystem. In the current media-rich environment, a website is more than a collection of relative html documents of text and images on a static desktop computer monitor. There is now
... En savoir plus
Cooperative Work and Coordinative Practices

Contributions to the Conceptual Foundations of Computer-Supported Cooperative Work (CSCW)

par Kjeld Schmidt ...

Collections series Computer Science (R0)
Information technology has been used in organisational settings and for organisational purposes such as accounting, for a half century, but IT is now increasingly being used for the purposes of mediating and regulating complex activities in which multiple professional users are involved, such as in factories, hospitals, architectural offices, and so on. The economic importance of such coordination ... En savoir plus

$179.39 CAD

Information technology has been used in organisational settings and for organisational purposes such as accounting, for a half century, but IT is now increasingly being used for the purposes of mediating and regulating complex activities in which multiple professional users are involved, such as in factories, hospitals, architectural offices, and so on. The economic importance of such coordination
... En savoir plus
Database Modeling Step by Step

par Gavin Powell ...

With the aim of simplifying relational database modeling, Database Modeling Step-by-Step presents the standard approach to database normalization and then adds its own approach, which is a more simplistic, intuitive way to building relational database models. Going from basics to contemporary topics, the book opens with relational data modeling and ends with BigData database modeling following a ... En savoir plus

$116.79 CAD

With the aim of simplifying relational database modeling, Database Modeling Step-by-Step presents the standard approach to database normalization and then adds its own approach, which is a more simplistic, intuitive way to building relational database models. Going from basics to contemporary topics, the book opens with relational data modeling and ends with BigData database modeling following a
... En savoir plus
iOS18與SwiftUI程式設計全面剖析

par 朱克剛 ...

作者以多年的iOS教學經驗寫成本書，由淺入深幫助想踏入行動裝置程式設計領域的人快速掌握iOS程式設計技巧。本書以SwiftUI框架為核心，透過簡單幾行程式碼就可以完成一個高品質App界面，並透過詳細的解說，讓讀者能充分理解程式意義。iOS開發環境與SDK每年推陳出新，程式設計技巧每年均有變化，舊的寫法往往已不再支援，新的寫法又必須花大量時間看官方文件才能掌握，本書秉持過去一貫精神，永遠以最新的開發環境、最新的SDK框架以及最新的語法呈現經典範例。因此本書將是新手不可或缺，老手也必須放在電腦內的一本重量級工具書。本書特別為 EPUB 流動格式排版，非常適合各式螢幕尺寸閱讀，即便在手機上也可輕鬆瀏覽。作者介紹：朱克剛，資深電腦書籍作者，超過三十年的教學經驗，每年在大專院校與職訓單位開設無數資訊類課程，幫助各階層學員降低進入資訊職場門檻。本書承襲過去十年來一貫的專業與品質，讓讀者掌握最新 iOS ... En savoir plus

$12.23 CAD ou Gratuit avec Kobo Plus

作者以多年的iOS教學經驗寫成本書，由淺入深幫助想踏入行動裝置程式設計領域的人快速掌握iOS程式設計技巧。本書以SwiftUI框架為核心，透過簡單幾行程式碼就可以完成一個高品質App界面，並透過詳細的解說，讓讀者能充分理解程式意義。iOS開發環境與SDK每年推陳出新，程式設計技巧每年均有變化，舊的寫法往往已不再支援，新的寫法又必須花大量時間看官方文件才能掌握，本書秉持過去一貫精神，永遠以最新的開發環境、最新的SDK框架以及最新的語法呈現經典範例。因此本書將是新手不可或缺，老手也必須放在電腦內的一本重量級工具書。本書特別為 EPUB 流動格式排版，非常適合各式螢幕尺寸閱讀，即便在手機上也可輕鬆瀏覽。作者介紹：朱克剛，資深電腦書籍作者，超過三十年的教學經驗，每年在大專院校與職訓單位開設無數資訊類課程，幫助各階層學員降低進入資訊職場門檻。本書承襲過去十年來一貫的專業與品質，讓讀者掌握最新 iOS
... En savoir plus
Primitive Interaction Design

par Kei Hoshi, John Waterworth ...

Collections series Computer Science (R0)
Interaction design is acknowledged as an important area of study, and more especially of design practice. Hugely popular and profitable consumer devices, such as mobile phones and tablets, are seen as owing much of their success to the way they have been designed, not least their interface characteristics and the styles of interaction that they support. Interaction design studies point to the ... En savoir plus

$166.49 CAD

Interaction design is acknowledged as an important area of study, and more especially of design practice. Hugely popular and profitable consumer devices, such as mobile phones and tablets, are seen as owing much of their success to the way they have been designed, not least their interface characteristics and the styles of interaction that they support. Interaction design studies point to the
... En savoir plus
Intelligent Human Computer Interaction

16th International Conference, IHCI 2024, Twente, The Netherlands, November 13–16, 2024, Revised Selected Papers, Part I

Modifié par Dhananjay Singh, Jan-Willem van ’t Klooster, Uma Shanker Tiwary ...

Collections Livre 1 - Springer Nature Proceedings Computer Science
This volume LNCS 15557 constitutes the refereed proceedings of 16th International Conference on Intelligent Human Computer Interaction, IHCI 2024, held in Twente, The Netherlands, during November 13-16, 2024.The 37 full papers and 2 short papers were carefully reviewed and selected from 107 submissions. They were categorized under the topical sections as follows:Learning in healthcare and ... En savoir plus

$179.39 CAD

This volume LNCS 15557 constitutes the refereed proceedings of 16th International Conference on Intelligent Human Computer Interaction, IHCI 2024, held in Twente, The Netherlands, during November 13-16, 2024.The 37 full papers and 2 short papers were carefully reviewed and selected from 107 submissions. They were categorized under the topical sections as follows:Learning in healthcare and
... En savoir plus
Unlocking Creativity: 300+ DeepSeek R1 Prompts to Inspire Innovation and Problem-Solving

par Amansingh ...

Dive into the ultimate resource for sparking creativity and innovation with "Unlocking Creativity: 300+ DeepSeek R1 Prompts to Inspire Innovation and Problem-Solving." This comprehensive ebook is packed with over 300 carefully curated prompts designed to help you harness the power of the DeepSeek R1 AI tool. Whether you're a writer, entrepreneur, educator, or creative professional, these prompts ... En savoir plus

$8.99 CAD ou Gratuit avec Kobo Plus

Dive into the ultimate resource for sparking creativity and innovation with "Unlocking Creativity: 300+ DeepSeek R1 Prompts to Inspire Innovation and Problem-Solving." This comprehensive ebook is packed with over 300 carefully curated prompts designed to help you harness the power of the DeepSeek R1 AI tool. Whether you're a writer, entrepreneur, educator, or creative professional, these prompts
... En savoir plus
Python AI Programming

par Patrick J ...

This book aspires young graduates and programmers to become AI engineers and enter the world of artificial intelligence by combining powerful Python programming with artificial intelligence. Beginning with the fundamentals of Python programming, the book gradually progresses to machine learning, where readers learn to implement Python in developing predictive models.The book provides a clear and ... En savoir plus

$49.99 CAD ou Gratuit avec Kobo Plus

This book aspires young graduates and programmers to become AI engineers and enter the world of artificial intelligence by combining powerful Python programming with artificial intelligence. Beginning with the fundamentals of Python programming, the book gradually progresses to machine learning, where readers learn to implement Python in developing predictive models.The book provides a clear and
... En savoir plus
Leveraging Generative Intelligence in Digital Libraries: Towards Human-Machine Collaboration

25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, Taipei, Taiwan, December 4–7, 2023, Proceedings, Part II

Modifié par Dion H. Goh, Shu-Jiun Chen, Suppawong Tuarob ...

Collections Livre 2 - Springer Nature Proceedings Computer Science
This two-volume set LNCS 14457 and LNCS 14458 constitutes the refereed proceedings of the 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, held in Taipei, Taiwan, during December 4-7, 2023.The 15 full, 17 short, 2 practice papers and 12 poster papers presented in this volume were carefully reviewed and selected from 85 submissions.Based on significant contributions, the ... En savoir plus

$70.49 CAD

This two-volume set LNCS 14457 and LNCS 14458 constitutes the refereed proceedings of the 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, held in Taipei, Taiwan, during December 4-7, 2023.The 15 full, 17 short, 2 practice papers and 12 poster papers presented in this volume were carefully reviewed and selected from 85 submissions.Based on significant contributions, the
... En savoir plus
Quantum Computing

par Nihal Mehta Ph.D. ...

You've heard that quantum computing is going to change the world. Now you can check it out for yourself. Learn how quantum computing works, and write programs that run on the IBM Q quantum computer, one of the world's first functioning quantum computers. Learn a simple way to apply quantum mechanics to computer programming. Create algorithms to solve intractable problems for classical computers, ... En savoir plus

$42.39 CAD

You've heard that quantum computing is going to change the world. Now you can check it out for yourself. Learn how quantum computing works, and write programs that run on the IBM Q quantum computer, one of the world's first functioning quantum computers. Learn a simple way to apply quantum mechanics to computer programming. Create algorithms to solve intractable problems for classical computers,
... En savoir plus
Intelligent Equipment, Robots, and Vehicles

7th International Conference on Life System Modeling and Simulation, LSMS 2021 and 7th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2021, Hangzhou, China, October 22–24, 2021, Proceedings, Part III

Modifié par Qinglong Han, Sean McLoone, Chen Peng, Baolin Zhang ...

Collections Livre 1469 - Communications in Computer and Information Science
The three-volume set CCIS 1467, CCIS 1468, and CCIS 1469 constitutes the thoroughly refereed proceedings of the 7th International Conference on Life System Modeling and Simulation, LSMS 2021, and of the 7th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2021, held in Hangzhou, China, in October 2021.The 159 revised papers presented were carefully ... En savoir plus

$140.89 CAD

The three-volume set CCIS 1467, CCIS 1468, and CCIS 1469 constitutes the thoroughly refereed proceedings of the 7th International Conference on Life System Modeling and Simulation, LSMS 2021, and of the 7th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2021, held in Hangzhou, China, in October 2021.The 159 revised papers presented were carefully
... En savoir plus
Accelerator Programming Using Directives

5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings

Modifié par Sunita Chandrasekaran, Guido Juckeland, Sandra Wienke ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed post-conference proceedings of the 5th International Workshop on Accelerator Programming Using Directives, WACCPD 2018, held in Dallas, TX, USA, in November 2018.The 6 full papers presented have been carefully reviewed and selected from 12 submissions. The papers share knowledge and experiences to program emerging complex parallel computing systems. They are ... En savoir plus

$64.09 CAD

This book constitutes the refereed post-conference proceedings of the 5th International Workshop on Accelerator Programming Using Directives, WACCPD 2018, held in Dallas, TX, USA, in November 2018.The 6 full papers presented have been carefully reviewed and selected from 12 submissions. The papers share knowledge and experiences to program emerging complex parallel computing systems. They are
... En savoir plus
Nios4 PRIMI PASSI

par Gessica Monteforte ...

Nios4 è una piattaforma per creare gestionali ERP e CRM. Si tratta di un programma che permette, attraverso tools e funzioni, di realizzare una propria gestione dei dati di qualsiasi tipologia.Questo manuale è una vera e propria guida pratica rivolta a tutti quelli che intendono avvicinarsi per la prima volta a Nios4 per creare il proprio sistema di gestione dati personalizzato.Ogni capitolo ti ... En savoir plus

$3.99 CAD ou Gratuit avec Kobo Plus

Nios4 è una piattaforma per creare gestionali ERP e CRM. Si tratta di un programma che permette, attraverso tools e funzioni, di realizzare una propria gestione dei dati di qualsiasi tipologia.Questo manuale è una vera e propria guida pratica rivolta a tutti quelli che intendono avvicinarsi per la prima volta a Nios4 per creare il proprio sistema di gestione dati personalizzato.Ogni capitolo ti
... En savoir plus
New Statistics for Design Researchers

A Bayesian Workflow in Tidy R

par Martin Schmettow ...

Collections series Computer Science (R0)
Design Research uses scientific methods to evaluate designs and build design theories. This book starts with recognizable questions in Design Research, such as A/B testing, how users learn to operate a device and why computer-generated faces are eerie. Using a broad range of examples, efficient research designs are presented together with statistical models and many visualizations.With the tidy R ... En savoir plus

$64.09 CAD

Design Research uses scientific methods to evaluate designs and build design theories. This book starts with recognizable questions in Design Research, such as A/B testing, how users learn to operate a device and why computer-generated faces are eerie. Using a broad range of examples, efficient research designs are presented together with statistical models and many visualizations.With the tidy R
... En savoir plus
Automated Reasoning

10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I

Modifié par Nicolas Peltier, Viorica Sofronie-Stokkermans ...

Collections Livre 1 - Springer Nature Proceedings Computer Science
This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.* In 2020, IJCAR was a merger of the following leading events, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), ITP ... En savoir plus

$102.49 CAD

This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.* In 2020, IJCAR was a merger of the following leading events, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), ITP
... En savoir plus
GUIDE UTILISATEUR AFFINITY 2026-2027

Un Parcours Structuré Pour Une Utilisation Quotidienne Et Un Succès À Long Terme

par Bianch Rossi ...

GUIDE UTILISATEUR AFFINITY 2026-2027Êtes-vous lassé des abonnements mensuels coûteux et cherchez-vous une alternative professionnelle et définitive pour vos créations ?Vous sentez-vous perdu face à l'interface d'Affinity et craignez-vous de ne pas exploiter tout le potentiel de la suite ?Souhaitez-vous intégrer l'intelligence artificielle dans votre processus créatif sans sacrifier votre contrôle ... En savoir plus

$23.99 CAD ou Gratuit avec Kobo Plus

GUIDE UTILISATEUR AFFINITY 2026-2027Êtes-vous lassé des abonnements mensuels coûteux et cherchez-vous une alternative professionnelle et définitive pour vos créations ?Vous sentez-vous perdu face à l'interface d'Affinity et craignez-vous de ne pas exploiter tout le potentiel de la suite ?Souhaitez-vous intégrer l'intelligence artificielle dans votre processus créatif sans sacrifier votre contrôle
... En savoir plus
Serious Games

Joint International Conference, JCSG 2022, Weimar, Germany, September 22–23, 2022, Proceedings

Modifié par Heinrich Söbke, Pia Spangenberger, Philipp Müller, Stefan Göbel ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 8th Joint International Conference on Serious Games, JCSG 2022, held in Weimar, Germany, in September 2022.The 14 full papers presented together with 5 short papers were carefully reviewed and selected from 31 submissions. JSCG 2022 is dedicated to serious games and its interdisciplinary characteristics combining game concepts and technologies ... En savoir plus

$89.69 CAD

This book constitutes the refereed proceedings of the 8th Joint International Conference on Serious Games, JCSG 2022, held in Weimar, Germany, in September 2022.The 14 full papers presented together with 5 short papers were carefully reviewed and selected from 31 submissions. JSCG 2022 is dedicated to serious games and its interdisciplinary characteristics combining game concepts and technologies
... En savoir plus
AWS Certified Database – Specialty (DBS-C01) Certification Guide

A comprehensive guide to becoming an AWS Certified Database specialist

par Kate Gawron ...

Pass the AWS Certified Database- Specialty Certification exam with the help of practice testsKey FeaturesUnderstand different AWS database technologies and when to use themMaster the management and administration of AWS databases using both the console and command lineComplete, up-to-date coverage of DBS-C01 exam objectives to pass it on the first attemptBook DescriptionThe AWS Certified Database ... En savoir plus

$44.79 CAD ou Gratuit avec Kobo Plus

Pass the AWS Certified Database- Specialty Certification exam with the help of practice testsKey FeaturesUnderstand different AWS database technologies and when to use themMaster the management and administration of AWS databases using both the console and command lineComplete, up-to-date coverage of DBS-C01 exam objectives to pass it on the first attemptBook DescriptionThe AWS Certified Database
... En savoir plus
Higher Education Learning Methodologies and Technologies Online

6th International Conference, HELMeTO 2024, Rome, Italy, September 25–27, 2024, Revised Selected Papers, Part II

Modifié par Pasquale Ardimento, Raffaele Di Fuccio, Giovanni Fulantelli, Pierpaolo Limone, Riccardo Pecori, Paolo Raviolo, Marco Rondonotti, Daniele Schicchi, Davide Taibi, Gianluca Zaza ...

Collections Livre 2 - Springer Nature Proceedings excluding Computer Science
The two-volume set CCIS 2467 and 2468 constitutes the refereed post-conference proceedings of the 6th International Conference on Higher Education Learning Methodologies and Technologies Online, HELMeTO 2024, held in Rome, Italy, during September 25–27, 2024.The 46 revised full papers presented in these proceedings were carefully reviewed and selected from 101 submissions. The papers are organized ... En savoir plus

$108.89 CAD

The two-volume set CCIS 2467 and 2468 constitutes the refereed post-conference proceedings of the 6th International Conference on Higher Education Learning Methodologies and Technologies Online, HELMeTO 2024, held in Rome, Italy, during September 25–27, 2024.The 46 revised full papers presented in these proceedings were carefully reviewed and selected from 101 submissions. The papers are organized
... En savoir plus
The Official MongoDB Guide

Resilience, scalability, security and performance

par Rachelle Palmer, Jeffrey Allen, Parker Faucher, Alison Huh, Lander Kerbey, Maya Raman, Lauren Tran ...

The official guide to MongoDB architecture, tools, and cloud features, written by leading MongoDB subject matter experts to help you build secure, scalable, high-performance applications Free with your book: DRM-free PDF version + access to Packt's next-gen Reader\* Key FeaturesDesign resilient, secure solutions with high performance and scalabilityStreamline development with modern tooling, ... En savoir plus

$63.99 CAD ou Gratuit avec Kobo Plus

The official guide to MongoDB architecture, tools, and cloud features, written by leading MongoDB subject matter experts to help you build secure, scalable, high-performance applications Free with your book: DRM-free PDF version + access to Packt's next-gen Reader\* Key FeaturesDesign resilient, secure solutions with high performance and scalabilityStreamline development with modern tooling,
... En savoir plus
Advances in Artificial Intelligence and Machine Learning in Big Data Processing

Second International Conference, AAIMB 2024, Chennai, India, December 12–13, 2024, Proceedings, Part I

Modifié par Geetha Ramachandran, Nhu-Ngoc Dao, Noor Zaman Jhanjhi, Anuradha Muthukrishnan, Hemanand Duraivelu ...

Collections Livre 1 - Springer Nature Proceedings excluding Computer Science
This two-set volume CCIS 2653 and 2654 constitutes the refereed proceedings of the Second International Conference on Advances in Artificial Intelligence and Machine Learning in Big Data Processing, AAIMB 2024, held in Chennai, India, during December 12–13, 2024.The 59 full papers included in this book were carefully reviewed and selected from 434 submissions. The papers are organized in the ... En savoir plus

$128.09 CAD

This two-set volume CCIS 2653 and 2654 constitutes the refereed proceedings of the Second International Conference on Advances in Artificial Intelligence and Machine Learning in Big Data Processing, AAIMB 2024, held in Chennai, India, during December 12–13, 2024.The 59 full papers included in this book were carefully reviewed and selected from 434 submissions. The papers are organized in the
... En savoir plus
Artificial Intelligence and Large Language Models

A Scientific Perspective

Modifié par Abbas Moallem, Helmut Degen, Stavroula Ntoa ...

Collections series The Human Element in Smart and Intelligent Systems
With the latest developments in generative artificial intelligence (AI) and large language model (LLM) applications, like ChatGPT and Gemini, millions of people have started using them in their personal and professional lives. Interest in them continues to grow and they are becoming the go-to applications for students, academics, engineers, lawyers, designers, writers, media experts, programmers, ... En savoir plus

$261.08 CAD

With the latest developments in generative artificial intelligence (AI) and large language model (LLM) applications, like ChatGPT and Gemini, millions of people have started using them in their personal and professional lives. Interest in them continues to grow and they are becoming the go-to applications for students, academics, engineers, lawyers, designers, writers, media experts, programmers,
... 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 :