Rakuten Kobo

Art, Design and Technology: Collaboration and Implementation

de Rae Earnshaw ...

Series series Computer Science (R0)
This book examines how digital technology is being used to assist the artists and designers. The computer is able to store data and reproduce designs, thus facilitating the speed-up of the iterative process towards a final design which meets the objectives of the designer and the requirements of the user. Collaborative design enables the sharing of information across digital networks to produce ... Leer más

Antes $62.99 USD Ahora $48.59 USD

This book examines how digital technology is being used to assist the artists and designers. The computer is able to store data and reproduce designs, thus facilitating the speed-up of the iterative process towards a final design which meets the objectives of the designer and the requirements of the user. Collaborative design enables the sharing of information across digital networks to produce
... Leer más
Leveraging Applications of Formal Methods, Verification and Validation. Verification

8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Edición de Tiziana Margaria, Bernhard Steffen ...

Series Libro 2 - Springer Nature Proceedings Computer Science
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual ... Leer más

Antes $80.99 USD Ahora $44.54 USD

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual
... Leer más
AI INTERVIEWS with LEGENDARY WOMEN

Voices of Power, Creativity, and Courage Beyond Time

de BORKO FURHT ...

What if the greatest women in history could speak directly to the future?This groundbreaking nonfiction work brings together ai women book women in artificial intelligence interviews that transcend time, discipline, and imagination. Through visionary conversations powered by artificial intelligence, readers are invited into intimate dialogues with legendary female thinkers, creators, and leaders ... Leer más

$5.39 USD

What if the greatest women in history could speak directly to the future?This groundbreaking nonfiction work brings together ai women book women in artificial intelligence interviews that transcend time, discipline, and imagination. Through visionary conversations powered by artificial intelligence, readers are invited into intimate dialogues with legendary female thinkers, creators, and leaders
... Leer más
Context-Aware Systems and Applications

13th EAI International Conference, ICCASA 2024, Dalat City, Vietnam, October 15–16, 2024, Proceedings

Edición de Phan Cong Vinh, Nguyen Thanh Tung, Abdur Rakib ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed post proceedings of 13th EAI International Conference on Context-Aware Systems and Applications, ICCASA 2024, held in Dalat City, Vietnam, during October 15–16, 2024.The 9 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The papers cover a wide spectrum of modern approaches and techniques for smart computing systems ... Leer más

$64.79 USD

This book constitutes the refereed post proceedings of 13th EAI International Conference on Context-Aware Systems and Applications, ICCASA 2024, held in Dalat City, Vietnam, during October 15–16, 2024.The 9 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The papers cover a wide spectrum of modern approaches and techniques for smart computing systems
... Leer más
Dashboard Design

de Michael Burch, Marco Schmid ...

Series series River Publishers Series in Computing and Information Science and Technology
Interactive visualization and visual analytics tools have been designed and developed in the past and will be developed in the future as well. In each application domain in which data is measured, generated, and recorded we see a potential candidate for an interactive visualization tool with the goal to find insights and knowledge in the data. This knowledge can be found either visually by humans’ ... Leer más

$126.00 USD

Interactive visualization and visual analytics tools have been designed and developed in the past and will be developed in the future as well. In each application domain in which data is measured, generated, and recorded we see a potential candidate for an interactive visualization tool with the goal to find insights and knowledge in the data. This knowledge can be found either visually by humans’
... Leer más
Mathematical and Computational Modelling of Covid-19 Transmission

Edición de Mandeep Mittal, Nita H. Shah ...

Series series River Publishers Series in Mathematical, Statistical and Computational Modelling for Engineering
Infectious diseases are leading threats and are of highest risk to the human population globally. Over the last two years, we saw the transmission of Covid-19. Millions of people died or were forced to live with a disability. Mathematical models are effective tools that enable analysis of relevant information, simulate the related process and evaluate beneficial results. They can help to make ... Leer más

$126.00 USD

Infectious diseases are leading threats and are of highest risk to the human population globally. Over the last two years, we saw the transmission of Covid-19. Millions of people died or were forced to live with a disability. Mathematical models are effective tools that enable analysis of relevant information, simulate the related process and evaluate beneficial results. They can help to make
... Leer más
Emerging Technologies for Education

4th International Symposium, SETE 2019, Held in Conjunction with ICWL 2019, Magdeburg, Germany, September 23–25, 2019, Revised Selected Papers

Edición de Elvira Popescu, Tianyong Hao, Ting-Chia Hsu, Haoran Xie, Marco Temperini, Wei Chen ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Symposium, SETE 2019, held in conjunction with ICWL 2019, in Magdeburg, Germany, in September 2019.The 10 full and 6 short papers presented together with 24 papers from 5 workshops were carefully reviewed and selected from 34 submissions. The papers cover the latest findings in various areas, such as: ... Leer más

Antes $71.99 USD Ahora $44.54 USD

This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Symposium, SETE 2019, held in conjunction with ICWL 2019, in Magdeburg, Germany, in September 2019.The 10 full and 6 short papers presented together with 24 papers from 5 workshops were carefully reviewed and selected from 34 submissions. The papers cover the latest findings in various areas, such as:
... Leer más
Relational and Algebraic Methods in Computer Science

17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings

Edición de Jules Desharnais, Walter Guttmann, Stef Joosten ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, held in Groningen, The Netherlands, in October/November 2018.The 21 full papers and 1 invited paper presented together with 2 invited abstracts and 1 abstract of a tutorial were carefully selected from 31 submissions. The papers are organized in the ... Leer más

Antes $71.99 USD Ahora $44.54 USD

This book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, held in Groningen, The Netherlands, in October/November 2018.The 21 full papers and 1 invited paper presented together with 2 invited abstracts and 1 abstract of a tutorial were carefully selected from 31 submissions. The papers are organized in the
... Leer más
Webbstrategi för alla

de Marcus Österberg ...

Här har du boken som tar upp hantverket att ta fram och ta hand om en webbplats. Inledningen återger webbens historia och hur det knyter an till den webb vi ser idag. Andra delen berör det viktigaste inom hur man tar hand om sin information och dess arkitektur.Självklart tas designstrategier upp, bland annat responsiv webbdesign och hur man designar för att övertyga. Näst sist ämnet kring hur man ... Leer más

Gratis

Här har du boken som tar upp hantverket att ta fram och ta hand om en webbplats. Inledningen återger webbens historia och hur det knyter an till den webb vi ser idag. Andra delen berör det viktigaste inom hur man tar hand om sin information och dess arkitektur.Självklart tas designstrategier upp, bland annat responsiv webbdesign och hur man designar för att övertyga. Näst sist ämnet kring hur man
... Leer más
Enterprise Information Systems

14th International Conference, ICEIS 2012, Wroclaw, Poland, June 28 - July 1, 2012, Revised Selected Papers

Edición de José Cordeiro, Leszek A. Maciaszek, Joaquim Filipe ...

Series series Springer Nature Proceedings Computer Science
This book contains substantially extended and revised versions of the best papers from the 14th International Conference on Enterprise Information Systems (ICEIS 2012), held in Wroclaw, Poland, in June/July 2012.The 25 full and 3 invited papers included in this volume were carefully reviewed and selected from 299 submissions. They reflect state-of-the-art research work focusing mainly on real ... Leer más

$72.08 USD

This book contains substantially extended and revised versions of the best papers from the 14th International Conference on Enterprise Information Systems (ICEIS 2012), held in Wroclaw, Poland, in June/July 2012.The 25 full and 3 invited papers included in this volume were carefully reviewed and selected from 299 submissions. They reflect state-of-the-art research work focusing mainly on real
... Leer más
Adaptive Instructional Systems. Design and Evaluation

Third International Conference, AIS 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part I

Edición de Robert A. Sottilare, Jessica Schwarz ...

Series Libro 1 - Springer Nature Proceedings Computer Science
This two-volume set LNCS 12792 and 12793 constitutes the refereed proceedings of the Third International Conference on Adaptive Instructional Systems, AIS 2021, held as Part of the 23rd International Conference, HCI International 2021, which took place in July 2021. Due to COVID-19 pandemic the conference was held virtually.The total of 1276 papers and 241 posters included in the 39 HCII 2021 ... Leer más

$96.38 USD

This two-volume set LNCS 12792 and 12793 constitutes the refereed proceedings of the Third International Conference on Adaptive Instructional Systems, AIS 2021, held as Part of the 23rd International Conference, HCI International 2021, which took place in July 2021. Due to COVID-19 pandemic the conference was held virtually.The total of 1276 papers and 241 posters included in the 39 HCII 2021
... 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

$36.44 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
Multilingual Entity Linking

de Chen-Tse Tsai, Shyam Upadhyay, Dan Roth ...

Series series Synthesis Collection of Technology (R0)
This book focuses on Entity Discovery and Linking (EDL), which is the problem of identifying concepts and entities, disambiguating them, and grounding them to one or more knowledge bases (KBs). The authors first provide background on the topic and emphasize why it is a crucial step toward understanding natural language text. As most of the content on the internet is not in English, the book also ... Leer más

$36.44 USD

This book focuses on Entity Discovery and Linking (EDL), which is the problem of identifying concepts and entities, disambiguating them, and grounding them to one or more knowledge bases (KBs). The authors first provide background on the topic and emphasize why it is a crucial step toward understanding natural language text. As most of the content on the internet is not in English, the book also
... Leer más
C# 10 Quick Syntax Reference

A Pocket Guide to the Language, APIs, and Library

de Mikael Olsson ...

Series Libro 10 - Professional and Applied Computing (R0)
Discover what's new in C# and .NET for Windows programming. This book is a condensed code and syntax reference to the C# programming language, updated with the latest features of version 10 for .NET 6.You'll review the essential C# 10 and earlier syntax, not previously covered, in a well-organized format that can be used as a handy reference. Specifically, unions, generic attributes, ... Leer más

$25.64 USD

Discover what's new in C# and .NET for Windows programming. This book is a condensed code and syntax reference to the C# programming language, updated with the latest features of version 10 for .NET 6.You'll review the essential C# 10 and earlier syntax, not previously covered, in a well-organized format that can be used as a handy reference. Specifically, unions, generic attributes,
... Leer más
Data Science for Librarians

de Yunfei Du, Hammad Rauf Khan ...

Series series Library and Information Science Text Series
This unique textbook intersects traditional library science with data science principles that readers will find useful in implementing or improving data services within their libraries.Data Science for Librarians introduces data science to students and practitioners in library services. Writing for academic, public, and school library managers; library science students; and library and information ... Leer más

$54.71 USD

This unique textbook intersects traditional library science with data science principles that readers will find useful in implementing or improving data services within their libraries.Data Science for Librarians introduces data science to students and practitioners in library services. Writing for academic, public, and school library managers; library science students; and library and information
... Leer más
Conversational Dialogue Systems for the Next Decade

Edición de Luis Fernando D'Haro, Zoraida Callejas, Satoshi Nakamura ...

Series series Engineering (R0)
This book compiles and presents a synopsis on current global research efforts to push forward the state of the art in dialogue technologies, including advances to the classical problems of dialogue management, language generation, question answering, human–robot interaction, chatbots design and evaluation, as well as topics related to the human nature of the conversational phenomena such as humour ... Leer más

$104.48 USD

This book compiles and presents a synopsis on current global research efforts to push forward the state of the art in dialogue technologies, including advances to the classical problems of dialogue management, language generation, question answering, human–robot interaction, chatbots design and evaluation, as well as topics related to the human nature of the conversational phenomena such as humour
... Leer más
Intelligent Systems and Human Machine Collaboration

Select Proceedings of ICISHMC 2022

Edición de Siddhartha Bhattacharyya, Mario Koeppen, Debashis De, Vincenzo Piuri ...

Series series Springer Nature Proceedings Computer Science
The book constitutes proceedings of the International Conference on Intelligent Systems and Human-Machine Collaboration 2022. The papers consist of research from different domains of human-machine interaction, computer engineering like quantum computational intelligence, big data analytics, the Internet of things, etc. The book includes significant contributions from academia and industry dealing ... Leer más

$161.99 USD

The book constitutes proceedings of the International Conference on Intelligent Systems and Human-Machine Collaboration 2022. The papers consist of research from different domains of human-machine interaction, computer engineering like quantum computational intelligence, big data analytics, the Internet of things, etc. The book includes significant contributions from academia and industry dealing
... Leer más
Formal Methods

22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

Edición de Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018.The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions. They present formal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical ... Leer más

$72.08 USD

This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018.The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions. They present formal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical
... Leer más
Integrated Formal Methods

15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

Edición de Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019.The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their ... Leer más

Antes $80.09 USD Ahora $44.54 USD

This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019.The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their
... Leer más
NASA Formal Methods

9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

Edición de Clark Barrett, Misty Davies, Temesghen Kahsai ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017.The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, ... Leer más

Antes $76.49 USD Ahora $44.54 USD

This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017.The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations,
... Leer más
Integrated Formal Methods

13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Edición de Nadia Polikarpova, Steve Schneider ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017.The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, ... Leer más

Antes $76.49 USD Ahora $44.54 USD

This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017.The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems,
... Leer más
Clean Ruby

A Guide to Crafting Better Code for Rubyists

de Carleton DiLeo ...

Series series Professional and Applied Computing (R0)
Learn how to make better decisions and write cleaner Ruby code. This book shows you how to avoid messy code that is hard to test and which cripples productivity. Author Carleton DiLeo shares hard-learned lessons gained from years of experience across numerous codebases both large and small. Each chapter covers the topics you need to know to make better decisions and optimize your productivity. ... Leer más

$36.44 USD

Learn how to make better decisions and write cleaner Ruby code. This book shows you how to avoid messy code that is hard to test and which cripples productivity. Author Carleton DiLeo shares hard-learned lessons gained from years of experience across numerous codebases both large and small. Each chapter covers the topics you need to know to make better decisions and optimize your productivity.
... Leer más
JRuby Rails Web Application Development

de Deepak Vohra ...

Series series Computer Science (R0)
This SpringerBrief explains how to create a Rails web application with JRuby, a 100% Java implementation for Ruby. This brief demonstrates how Oracle® WebLogic servers and JBoss® application servers deploy the JRuby application, how JRuby runs on the Java® Virtual Machine, and how JRuby is the basis for popular websites including LinkedIn, Oracle Mix, and Mingle. The Oracle® database and Oracle® ... Leer más

$44.54 USD

This SpringerBrief explains how to create a Rails web application with JRuby, a 100% Java implementation for Ruby. This brief demonstrates how Oracle® WebLogic servers and JBoss® application servers deploy the JRuby application, how JRuby runs on the Java® Virtual Machine, and how JRuby is the basis for popular websites including LinkedIn, Oracle Mix, and Mingle. The Oracle® database and Oracle®
... Leer más
Two Bit Circus and the Future of Entertainment

de Elise Lemle, Katherine Bomkamp, Marcella Klein Williams, Elizabeth Cutbirth ...

Series series Computer Science (R0)
This brief will explore topics in computer science through the lens of Two Bit Circus, an engineering entertainment company based out of downtown Los Angeles. This brief examines the ways they apply computer science to a wide variety of applications, including interactive games, immersive adventures, and virtual reality. The authors demonstrate how technology can encourage children and adults to ... Leer más

Antes $62.99 USD Ahora $44.54 USD

This brief will explore topics in computer science through the lens of Two Bit Circus, an engineering entertainment company based out of downtown Los Angeles. This brief examines the ways they apply computer science to a wide variety of applications, including interactive games, immersive adventures, and virtual reality. The authors demonstrate how technology can encourage children and adults to
... 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 Programación

Mostrar: