Rakuten Kobo

Formal Methods and Software Engineering

24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings

Edited by Yi Li, Sofiène Tahar ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21–24, 2023.The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference ... Read more

$62.99 USD

This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21–24, 2023.The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference
... Read more
Computational Pathology and Ophthalmic Medical Image Analysis

First International Workshop, COMPAY 2018, and 5th International Workshop, OMIA 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16 - 20, 2018, Proceedings

Edited by Danail Stoyanov, Zeike Taylor, Francesco Ciompi, Yanwu Xu, Anne Martel, Lena Maier-Hein, Nasir Rajpoot, Jeroen van der Laak, Mitko Veta, Stephen McKenna, David Snead, Emanuele Trucco, Mona K. Garvin, Xin Jan Chen, Hrvoje Bogunovic ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed joint proceedings of the First International Workshop on Computational Pathology, COMPAY 2018, and the 5th International Workshop on Ophthalmic Medical Image Analysis, OMIA 2018, held in conjunction with the 21st International Conference on Medical Imaging and Computer-Assisted Intervention, MICCAI 2018, in Granada, Spain, in September 2018.The 19 full papers ... Read more

$49.49 USD

This book constitutes the refereed joint proceedings of the First International Workshop on Computational Pathology, COMPAY 2018, and the 5th International Workshop on Ophthalmic Medical Image Analysis, OMIA 2018, held in conjunction with the 21st International Conference on Medical Imaging and Computer-Assisted Intervention, MICCAI 2018, in Granada, Spain, in September 2018.The 19 full papers
... Read more
Model and Data Engineering

8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings

Edited by El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 8h International Conference on Model and Data Engineering, MEDI 2018, held in Marrakesh, Morocco, in October 2018.The 23 full papers and 4 short papers presented together with 2 invited talks were carefully reviewed and selected from 86 submissions. The papers covered the recent and relevant topics in the areas of databases; ontology and model ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 8h International Conference on Model and Data Engineering, MEDI 2018, held in Marrakesh, Morocco, in October 2018.The 23 full papers and 4 short papers presented together with 2 invited talks were carefully reviewed and selected from 86 submissions. The papers covered the recent and relevant topics in the areas of databases; ontology and model
... Read more
Requirements Engineering: Foundation for Software Quality

25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings

Edited by Eric Knauss, Michael Goedicke ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 25th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2019, held in Essen, Germany, in March 2019.The 13 full papers and 9 short papers in this volume were carefully reviewed and selected from 66 submissions. The papers were organized in topical sections named: Automated Analysis; Making Sense of ... Read more

$67.49 USD

This book constitutes the proceedings of the 25th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2019, held in Essen, Germany, in March 2019.The 13 full papers and 9 short papers in this volume were carefully reviewed and selected from 66 submissions. The papers were organized in topical sections named: Automated Analysis; Making Sense of
... Read more
Business Information Systems Workshops

BIS 2019 International Workshops, Seville, Spain, June 26–28, 2019, Revised Papers

Edited by Witold Abramowicz, Rafael Corchuelo ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised papers from the nine workshops and one accompanying event which took place at the 22nd International Conference on Business Information Systems, BIS 2019, held in Seville, Spain, in June 2019. There was a total of 139 submissions to all workshops of which 57 papers were accepted for publication.The workshops included in this volume are: AKTB 2019: 11th Workshop on ... Read more

$80.09 USD

This book constitutes revised papers from the nine workshops and one accompanying event which took place at the 22nd International Conference on Business Information Systems, BIS 2019, held in Seville, Spain, in June 2019. There was a total of 139 submissions to all workshops of which 57 papers were accepted for publication.The workshops included in this volume are: AKTB 2019: 11th Workshop on
... Read more
Natural Language Information Retrieval

Edited by T. Strzalkowski ...

Series series Social Sciences (R0)
The last decade has been one of dramatic progress in the field of Natural Language Processing (NLP). This hitherto largely academic discipline has found itself at the center of an information revolution ushered in by the Internet age, as demand for human-computer communication and informa tion access has exploded. Emerging applications in computer-assisted infor mation production and dissemination ... Read more

$89.09 USD

The last decade has been one of dramatic progress in the field of Natural Language Processing (NLP). This hitherto largely academic discipline has found itself at the center of an information revolution ushered in by the Internet age, as demand for human-computer communication and informa tion access has exploded. Emerging applications in computer-assisted infor mation production and dissemination
... Read more
Python Programming for Beginners

The Complete Guide to Mastering Python in 10 Days with Guiding Exercises – Top Secret Coding Tips, Well-detailed Examples and Outputs, with Questions and Answers for Each Chapter. The Ultimate Python Crash Course for Dummies. Computer science

by C J Smith ...

THE EASIEST PYTHON PROGRAMMING BOOK EVERLooking to learn Python programming in a beginner-friendly way? Look no further than "Python Programming for Beginners" by Musa Usman! This comprehensive guide covers everything you need to know about Python, from the basics of data types and control structures to advanced topics like object-oriented programming and multithreading. With clear explanations, ... Read more

$9.99 USD or Free with Kobo Plus

THE EASIEST PYTHON PROGRAMMING BOOK EVERLooking to learn Python programming in a beginner-friendly way? Look no further than "Python Programming for Beginners" by Musa Usman! This comprehensive guide covers everything you need to know about Python, from the basics of data types and control structures to advanced topics like object-oriented programming and multithreading. With clear explanations,
... Read more
Web Design

by On Line Editora ...

Series Book 2 - Guia Essencial Web Design
Neste segundo e último volume do "Guia Essencial Web Design” completamos o ciclo de temas propostos nesta coleção. Nos quatro capítulos a seguir, em que tratamos de CSS, JavaScript, SEO e design responsivo, vamos abordar as muitas técnicas de desenvolvimento de sites incríveis e modernos. Usando programação em CSS, você aprende como evitar os erros mais comuns, criar grades flexíveis usando o Sass ... Read more

$3.99 USD or Free with Kobo Plus

Neste segundo e último volume do "Guia Essencial Web Design” completamos o ciclo de temas propostos nesta coleção. Nos quatro capítulos a seguir, em que tratamos de CSS, JavaScript, SEO e design responsivo, vamos abordar as muitas técnicas de desenvolvimento de sites incríveis e modernos. Usando programação em CSS, você aprende como evitar os erros mais comuns, criar grades flexíveis usando o Sass
... Read more
Transforming Digital Worlds

13th International Conference, iConference 2018, Sheffield, UK, March 25-28, 2018, Proceedings

Edited by Gobinda Chowdhury, Julie McLeod, Val Gillet, Peter Willett ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 13th International Conference on Transforming Digital Worlds, iConference 2018, held in Sheffield, UK, in March 2018.The 42 full papers and 40 short papers presented together with the abstracts of 3 invited talks in this volume were carefully reviewed and selected from 219 submissions. The papers address topics such as social media; communication ... Read more

$143.09 USD

This book constitutes the proceedings of the 13th International Conference on Transforming Digital Worlds, iConference 2018, held in Sheffield, UK, in March 2018.The 42 full papers and 40 short papers presented together with the abstracts of 3 invited talks in this volume were carefully reviewed and selected from 219 submissions. The papers address topics such as social media; communication
... Read more
Social Robotics

9th International Conference, ICSR 2017, Tsukuba, Japan, November 22-24, 2017, Proceedings

Edited by Hongsheng He, Eiichi Yoshida, Shuzhi Sam Ge, Kenji Suzuki, Friederike Eyssel, John-John Cabibihan, Abderrahmane Kheddar ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 9th International Conference on Social Robotics, ICSR 2016, held in Tsukuba, Japan, in November 2017.The 74 revised full papers presented were carefully reviewed and selected from 110 submissions.The theme of the 2017 conference is: Embodied Interactive Robots. In addition to the technical sessions, ICSR 2017 included four workshops: 1) Social ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 9th International Conference on Social Robotics, ICSR 2016, held in Tsukuba, Japan, in November 2017.The 74 revised full papers presented were carefully reviewed and selected from 110 submissions.The theme of the 2017 conference is: Embodied Interactive Robots. In addition to the technical sessions, ICSR 2017 included four workshops: 1) Social
... Read more
Internet Science

4th International Conference, INSCI 2017, Thessaloniki, Greece, November 22-24, 2017, Proceedings

Edited by Ioannis Kompatsiaris, Jonathan Cave, Anna Satsiou, Georg Carle, Antonella Passani, Efstratios Kontopoulos, Sotiris Diplaris, Donald McMillan ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 4th International Conference on Internet Science held in Thessaloniki, Greece, in November 2017.The 34 papers presented were carefully reviewed and selected for inclusion in this volume. They were organized in topical sections named: next generation community engagement; online policy, politics and co-creation; understanding and empowering digital ... Read more

$49.49 USD

This book constitutes the proceedings of the 4th International Conference on Internet Science held in Thessaloniki, Greece, in November 2017.The 34 papers presented were carefully reviewed and selected for inclusion in this volume. They were organized in topical sections named: next generation community engagement; online policy, politics and co-creation; understanding and empowering digital
... Read more
Smart Objects and Technologies for Social Good

Third International Conference, GOODTECHS 2017, Pisa, Italy, November 29-30, 2017, Proceedings

Edited by Barbara Guidi, Laura Ricci, Carlos Calafate, Ombretta Gaggi, Johann Marquez-Barja ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the Third EAI International Conference on Smart Objects and Technologies for Social Good, GOODTECHS 2017, held in Pisa, Italy, November 29-30, 2017.The 38 revised full papers presented were carefully reviewed and selected from 70 submissions. The papers reflect the design, implementation, deployment, operation and evaluation of smart objects and ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the Third EAI International Conference on Smart Objects and Technologies for Social Good, GOODTECHS 2017, held in Pisa, Italy, November 29-30, 2017.The 38 revised full papers presented were carefully reviewed and selected from 70 submissions. The papers reflect the design, implementation, deployment, operation and evaluation of smart objects and
... Read more
Proceedings of the Third International Conference on Intelligent Human Computer Interaction (IHCI 2011), Prague, Czech Republic, August, 2011

Edited by Miloš Kudělka, Jaroslav Pokorný, Václav Snášel, Ajith Abraham ...

Series series Springer Nature Proceedings excluding Computer Science
The Third International Conference on Intelligent Human Computer Interaction 2011 (IHCI 2011) was held at Charles University, Prague, Czech Republic from August 29 - August 31, 2011. This conference was third in the series, following IHCI 2009 and IHCI 2010 held in January at IIIT Allahabad, India.Human computer interaction is a fast growing research area and an attractive subject of interest for ... Read more

$89.09 USD

The Third International Conference on Intelligent Human Computer Interaction 2011 (IHCI 2011) was held at Charles University, Prague, Czech Republic from August 29 - August 31, 2011. This conference was third in the series, following IHCI 2009 and IHCI 2010 held in January at IIIT Allahabad, India.Human computer interaction is a fast growing research area and an attractive subject of interest for
... Read more
Color in Electronic Display Systems

Advantages of Multi-primary Displays

by Michael E. Miller ...

Series series Engineering (R0)
This book explores the principles, design, and image processing of multi-primary displays, and introduces the reader to the intricacies of the typical imaging pathways which influence display design and the perception of color within a display system.Early chapters introduce the concepts behind human perception, color science, and lighting, which are necessary to fully understand multi-primary ... Read more

$134.09 USD

This book explores the principles, design, and image processing of multi-primary displays, and introduces the reader to the intricacies of the typical imaging pathways which influence display design and the perception of color within a display system.Early chapters introduce the concepts behind human perception, color science, and lighting, which are necessary to fully understand multi-primary
... Read more
New Developments in Legal Reasoning and Logic

From Ancient Law to Modern Legal Systems

Edited by Shahid Rahman, Matthias Armgardt, Hans Christian Nordtveit Kvernenes ...

Series series Philosophy and Religion (R0)
This book intends to unite studies in different fields related to the development of the relations between logic, law and legal reasoning. Combining historical and philosophical studies on legal reasoning in Civil and Common Law, and on the often neglected Arabic and Talmudic traditions of jurisprudence, this project unites these areas with recent technical developments in computer science.This ... Read more

$107.09 USD

This book intends to unite studies in different fields related to the development of the relations between logic, law and legal reasoning. Combining historical and philosophical studies on legal reasoning in Civil and Common Law, and on the often neglected Arabic and Talmudic traditions of jurisprudence, this project unites these areas with recent technical developments in computer science.This
... Read more
Programming Smalltalk – Object-Orientation from the Beginning

An introduction to the principles of programming

by Johannes Brauer ...

Series series Computer Science (R0)
A straightforward, step-by-step introduction to clear and elegant object-oriented programming. Using a language that's perfect for this kind of programming, the book has been tested in numerous courses and workshops over ten years.Programming Smalltalk is particularly suited for readers with no prior programming knowledge. Starting from the first principles of programming, it teaches you how to ... Read more

$53.99 USD

A straightforward, step-by-step introduction to clear and elegant object-oriented programming. Using a language that's perfect for this kind of programming, the book has been tested in numerous courses and workshops over ten years.Programming Smalltalk is particularly suited for readers with no prior programming knowledge. Starting from the first principles of programming, it teaches you how to
... Read more
Ubiquitous and Mobile Learning in the Digital Age

Edited by Demetrios G. Sampson, Pedro Isaias, Dirk Ifenthaler, J. Michael Spector ...

Series series Education (R0)
This edited volume with selected expanded papers from CELDA (Cognition and Exploratory Learning in the Digital Age) 2011 (http://www.celda-‐conf.org/) will focus on Ubiquitous and Mobile Informal and Formal Learning in the Digital Age, with sub-topics: Mobile and Ubiquitous Informal and Formal Learning Environments (Part I), Social Web Technologies for new knowledge representation, retrieval, ... Read more

$89.09 USD

This edited volume with selected expanded papers from CELDA (Cognition and Exploratory Learning in the Digital Age) 2011 (http://www.celda-‐conf.org/) will focus on Ubiquitous and Mobile Informal and Formal Learning in the Digital Age, with sub-topics: Mobile and Ubiquitous Informal and Formal Learning Environments (Part I), Social Web Technologies for new knowledge representation, retrieval,
... Read more
Foundations of Artificial Intelligence in Finance

Insights for Practitioners with Applications and Case Studies

Edited by Syed Hasan Jafar, Hemachandran K, Donkor Nawaah, Raul Villamarin Rodriguez ...

Series series AI Applications and Case Studies for Business
This book discusses the financial impact of Artificial Intelligence (AI) on the finance and business sectors. By providing readers with comprehensive insights, real-world case studies, and expert discussions, it delves into various applications of AI in finance, including NLP for financial document analysis, predictive analytics, explainable AI, and blockchain integration. Covering a range of ... Read more

$103.99 USD

This book discusses the financial impact of Artificial Intelligence (AI) on the finance and business sectors. By providing readers with comprehensive insights, real-world case studies, and expert discussions, it delves into various applications of AI in finance, including NLP for financial document analysis, predictive analytics, explainable AI, and blockchain integration. Covering a range of
... Read more
Agile Architektur mit .NET - Grundlagen und Best Practices

by Daniel Grund ...

Series Book 60 - shortcuts
Agile Vorgehensmodelle sind aus der modernen Softwareentwicklung nicht mehr wegzudenken. Kurze Entwicklungszyklen und sich stetig ändernde Anforderungen stellen insbesondere für Softwarearchitekten eine besondere Herausforderung dar. Big Upfront Design war gestern. Die Architektur des Systems muss flexibel und erweiterbar sein. In diesem shortcut werden sowohl organisatorische Mittel wie auch ... Read more

$5.99 USD or Free with Kobo Plus

Agile Vorgehensmodelle sind aus der modernen Softwareentwicklung nicht mehr wegzudenken. Kurze Entwicklungszyklen und sich stetig ändernde Anforderungen stellen insbesondere für Softwarearchitekten eine besondere Herausforderung dar. Big Upfront Design war gestern. Die Architektur des Systems muss flexibel und erweiterbar sein. In diesem shortcut werden sowohl organisatorische Mittel wie auch
... Read more
Sviluppare Large Language Model

Costruire da zero LLM su misura

by Sebastian Raschka ...

La creazione di modelli linguistici di grandi dimensioni (Large Language Model - LLM) rappresenta una delle possibilità più avanzate e affascinanti nell'ambito dell'intelligenza artificiale. Questo manuale spiega in maniera pratica come affrontare la sfida partendo da zero. Il testo affronta ogni fase del processo: dalla pianificazione e codifica delle componenti del modello alla preparazione dei ... Read more

$31.99 USD

La creazione di modelli linguistici di grandi dimensioni (Large Language Model - LLM) rappresenta una delle possibilità più avanzate e affascinanti nell'ambito dell'intelligenza artificiale. Questo manuale spiega in maniera pratica come affrontare la sfida partendo da zero. Il testo affronta ogni fase del processo: dalla pianificazione e codifica delle componenti del modello alla preparazione dei
... Read more
Smart Textiles

Fundamentals, Design, and Interaction

Edited by Stefan Schneegass, Oliver Amft ...

Series series Computer Science (R0)
From a holistic perspective, this handbook explores the design, development and production of smart textiles and textile electronics, breaking with the traditional silo-structure of smart textile research and development.Leading experts from different domains including textile production, electrical engineering, interaction design and human-computer interaction (HCI) address production processes ... Read more

$170.09 USD

From a holistic perspective, this handbook explores the design, development and production of smart textiles and textile electronics, breaking with the traditional silo-structure of smart textile research and development.Leading experts from different domains including textile production, electrical engineering, interaction design and human-computer interaction (HCI) address production processes
... Read more
Principles of Modeling

Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday

Edited by Marten Lohstroh, Patricia Derler, Marjan Sirjani ...

Series series Computer Science (R0)
This Festschrift is published in honor of Edward A. Lee, Robert S. Pepper Distinguished Professor Emeritus and Professor in the Graduate School in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley, USA, on the occasion of his 60th birthday.The title of this Festschrift is “Principles of Modeling" because Edward A. Lee has long been devoted to ... Read more

$49.49 USD

This Festschrift is published in honor of Edward A. Lee, Robert S. Pepper Distinguished Professor Emeritus and Professor in the Graduate School in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley, USA, on the occasion of his 60th birthday.The title of this Festschrift is “Principles of Modeling" because Edward A. Lee has long been devoted to
... Read more
Socially Aware Organisations and Technologies. Impact and Challenges

17th IFIP WG 8.1 International Conference on Informatics and Semiotics in Organisations, ICISO 2016, Campinas, Brazil, August 1-3, 2016, Proceedings

Edited by Maria Cecilia Calani Baranauskas, Kecheng Liu, Lily Sun, Vânia Paula de Almeida Neris, Rodrigo Bonacin, Keiichi Nakata ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th IFIP WG 8.1 International Conference on Informatics and Semiotics in Organisations, ICISO 2016, held in Campinas, Brazil, in August 2016.The 16 full papers and 9 short papers presented were carefully reviewed and selected from 30 submissions. The papers are organized in the following topical sections: organisational semiotics: theory and ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 17th IFIP WG 8.1 International Conference on Informatics and Semiotics in Organisations, ICISO 2016, held in Campinas, Brazil, in August 2016.The 16 full papers and 9 short papers presented were carefully reviewed and selected from 30 submissions. The papers are organized in the following topical sections: organisational semiotics: theory and
... Read more
Universal Access in Human-Computer Interaction

18th International Conference, UAHCI 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 – July 4, 2024, Proceedings, Part III

Edited by Margherita Antona, Constantine Stephanidis ...

Series Book 3 - Springer Nature Proceedings Computer Science
This three-volume set LNCS 14696-14698 constitutes the refereed proceedings of the 18th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2024, held as part of the 26th International Conference, HCI International 2024, in Washington, DC, USA, during June 29 – July 4, 2024.The total of 1271 papers and 309 posters included in the HCII 2024 proceedings was carefully ... Read more

$107.09 USD

This three-volume set LNCS 14696-14698 constitutes the refereed proceedings of the 18th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2024, held as part of the 26th International Conference, HCI International 2024, in Washington, DC, USA, during June 29 – July 4, 2024.The total of 1271 papers and 309 posters included in the HCII 2024 proceedings was carefully
... Read more

eReaders

Apps

Accessories

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Programming eBooks

Show: