Rakuten Kobo

Introduction to Concurrency in Programming Languages

de Matthew J. Sottile, Timothy G. Mattson, Craig E Rasmussen ...

Illustrating the effect of concurrency on programs written in familiar languages, this text focuses on novel language abstractions that truly bring concurrency into the language and aid analysis and compilation tools in generating efficient, correct programs. It also explains the complexity involved in taking advantage of concurrency with regard to program correctness and performance. The book ... Leer más

Antes $91.99 USD Ahora $81.99 USD

Illustrating the effect of concurrency on programs written in familiar languages, this text focuses on novel language abstractions that truly bring concurrency into the language and aid analysis and compilation tools in generating efficient, correct programs. It also explains the complexity involved in taking advantage of concurrency with regard to program correctness and performance. The book
... Leer más
Explorations in Computing

An Introduction to Computer Science

de John S. Conery ...

Series series Chapman & Hall/CRC Textbooks in Computing
Based on the author’s introductory course at the University of Oregon, Explorations in Computing: An Introduction to Computer Science focuses on the fundamental idea of computation and offers insight into how computation is used to solve a variety of interesting and important real-world problems. Taking an active learning approach, the text encourages students to explore computing ideas by running ... Leer más

$132.99 USD

Based on the author’s introductory course at the University of Oregon, Explorations in Computing: An Introduction to Computer Science focuses on the fundamental idea of computation and offers insight into how computation is used to solve a variety of interesting and important real-world problems. Taking an active learning approach, the text encourages students to explore computing ideas by running
... Leer más
Intelligent Robotics and Applications

17th International Conference, ICIRA 2024, Xi'an, China, July 31 – August 2, 2024, Proceedings, Part VI

Edición de Xuguang Lan, Xuesong Mei, Caigui Jiang, Fei Zhao, Zhiqiang Tian ...

Series Libro 6 - Springer Nature Proceedings Computer Science
The 10-volume set LNAI 15201-15210 constitutes the proceedings of the 17th International Conference on Intelligent Robotics and Applications, ICIRA 2024, which took place in Xi’an, China, during July 31–August 2, 2024.The 321 full papers included in these proceedings were carefully reviewed and selected from 489 submissions.They were organized in topical sections as follows:Part I: Innovative ... Leer más

$143.09 USD

The 10-volume set LNAI 15201-15210 constitutes the proceedings of the 17th International Conference on Intelligent Robotics and Applications, ICIRA 2024, which took place in Xi’an, China, during July 31–August 2, 2024.The 321 full papers included in these proceedings were carefully reviewed and selected from 489 submissions.They were organized in topical sections as follows:Part I: Innovative
... Leer más
Python Experiments in Physics and Astronomy

de Padraig Houlahan ...

Python Experiments in Physics and Astronomy acts as a resource for science and engineering students or faculty who would like to see how a diverse selection of topics can be analyzed and simulated using Python programs. The book also provides Python solutions that can be learned from and modified as needed. The book is mainly aimed at undergraduates, but since many science students and faculty ... Leer más

Antes $77.99 USD Ahora $69.99 USD

Python Experiments in Physics and Astronomy acts as a resource for science and engineering students or faculty who would like to see how a diverse selection of topics can be analyzed and simulated using Python programs. The book also provides Python solutions that can be learned from and modified as needed. The book is mainly aimed at undergraduates, but since many science students and faculty
... Leer más
Computer Aided Verification

30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Edición de Hana Chockler, Georg Weissenbacher ...

Series Libro 1 - Springer Nature Proceedings Computer Science
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and ... Leer más

Gratis

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and
... Leer más
IoT as a Service

7th EAI International Conference, IoTaaS 2021, Sydney, Australia, December 13–14, 2021, Proceedings

Edición de Walayat Hussain, Mian Ahmad Jan ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed post-conference proceedings of the 7th International Conference on IoT as a Service, IoTaaS 2021, which took place in Sydney, Australia, in December 2021. Due to COVID-19 pandemic the conference was held virtually.The 17 revised full papers were carefully reviewed and selected from 129 submissions. The papers are divided in content-related tracks: Intelligent IoT ... Leer más

$49.49 USD

This book constitutes the refereed post-conference proceedings of the 7th International Conference on IoT as a Service, IoTaaS 2021, which took place in Sydney, Australia, in December 2021. Due to COVID-19 pandemic the conference was held virtually.The 17 revised full papers were carefully reviewed and selected from 129 submissions. The papers are divided in content-related tracks: Intelligent IoT
... Leer más
Scientific Computing and Software

Go20 CSCS, Marsalforn, Malta, May 22-26, 2023

Edición de Raymond J. Spiteri, Joyce Reimer ...

Series series Springer Nature Proceedings excluding Computer Science
These proceedings present a curated collection of innovative approaches to tackling challenging problems in applied mathematics. These problems, often marked by instability, inaccuracy, and high computational cost, remain at the forefront of mathematical research due to their difficulty. Addressing this demand, the contributions in this volume offer robust numerical methods designed to improve the ... Leer más

$197.09 USD

These proceedings present a curated collection of innovative approaches to tackling challenging problems in applied mathematics. These problems, often marked by instability, inaccuracy, and high computational cost, remain at the forefront of mathematical research due to their difficulty. Addressing this demand, the contributions in this volume offer robust numerical methods designed to improve the
... Leer más
Applications of Federated Learning in Technological Advancements

Use Cases and Applications

Edición de S. Jayachitra, A. Prasanth, Rajesh Kumar Dhanaraj, Balasubramaniam S, Danilo Pelusi ...

This book explores the applications and advancements of federated learning across diverse sectors, focusing on its integration with cutting- edge technologies like Internet of Things (IoT), artificial intelligence (AI), blockchain, and digital twins. Real-world examples and case studies illustrate federated learning’s role in healthcare, smart cities, and maritime applications while addressing ... Leer más

$234.99 USD

This book explores the applications and advancements of federated learning across diverse sectors, focusing on its integration with cutting- edge technologies like Internet of Things (IoT), artificial intelligence (AI), blockchain, and digital twins. Real-world examples and case studies illustrate federated learning’s role in healthcare, smart cities, and maritime applications while addressing
... Leer más
Building REST APIs with ASP.NET Core 8

The Ultimate Guide to Designing and Implementing Modern Back-Ends

de Prissy Max ...

Tired of feeling like your code is just a collection of disconnected endpoints? Do you dream of building powerful, scalable applications that communicate with a flawless, elegant precision? Do you want to stop just building APIs and start crafting them?The digital world runs on a silent, powerful language: APIs. They are the nervous system of modern technology, the invisible threads that connect ... Leer más

$9.99 USD

Tired of feeling like your code is just a collection of disconnected endpoints? Do you dream of building powerful, scalable applications that communicate with a flawless, elegant precision? Do you want to stop just building APIs and start crafting them?The digital world runs on a silent, powerful language: APIs. They are the nervous system of modern technology, the invisible threads that connect
... Leer más
SOFTWARE IS NOT SOFTING

de Raghuraj Singh ...

Why Software Is Not Softing— A crash course in modern tech absurdity. Welcome to the software industry — where the coffee is strong, the deadlines are stronger, and logic occasionally goes on vacation.This book explores the daily drama of software development — from meetings that meet few things, to clients who client with full power, to hardware that finally stopped being dramatic (and thank ... Leer más

$5.99 USD

Why Software Is Not Softing— A crash course in modern tech absurdity. Welcome to the software industry — where the coffee is strong, the deadlines are stronger, and logic occasionally goes on vacation.This book explores the daily drama of software development — from meetings that meet few things, to clients who client with full power, to hardware that finally stopped being dramatic (and thank
... Leer más
Engineering Educational Games for a Sustainable Society

Play, Learn and Transform

Edición de Antonio Bucchiarone, Valentina Rossi, Vanissa Wanick ...

Series series Education (R0)
This book explores innovative approaches to educational game development, emphasizing practical solutions and transformative learning experiences. As learning increasingly converges with digital culture, game-based learning and serious games offer compelling ways to spark curiosity, cultivate systems thinking and resilience, and create inclusive, sustainable educational experiences.The book is ... Leer más

$224.09 USD

This book explores innovative approaches to educational game development, emphasizing practical solutions and transformative learning experiences. As learning increasingly converges with digital culture, game-based learning and serious games offer compelling ways to spark curiosity, cultivate systems thinking and resilience, and create inclusive, sustainable educational experiences.The book is
... Leer más
Journeys Between Formal Methods and the Railway Industry

Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday

Edición de Maurice H. ter Beek, Stefania Gnesi, Anne E. Haxthausen, Laura Semini ...

Series series Computer Science (R0)
Alessandro Fantechi earned a Laurea Degree in Computer Science from the University of Pisa and a Diploma from the Scuola Normale Superiore di Pisa, both in 1978. He has lectured at the University of Florence for decades on the foundations of Computer Science and Software Engineering, where he was also responsible for the curriculum of the PhD school in Information Engineering, coordinator of the ... Leer más

$98.09 USD

Alessandro Fantechi earned a Laurea Degree in Computer Science from the University of Pisa and a Diploma from the Scuola Normale Superiore di Pisa, both in 1978. He has lectured at the University of Florence for decades on the foundations of Computer Science and Software Engineering, where he was also responsible for the curriculum of the PhD school in Information Engineering, coordinator of the
... Leer más
Ultimate GraphQL for Scalable Web Apps

de Robins Gupta ...

Master GraphQL to build scalable, production-ready web applications.Key Features● Build a complete Netflix-style streaming platform using GraphQL, React, Node.js, and Apollo.● Master production-grade concepts including DataLoader, caching, scalability, and performance tuning.● Learn by doing, and progress from GraphQL fundamentals to advanced real-world full-stack development.Book Description... ... Leer más

$20.89 USD

Master GraphQL to build scalable, production-ready web applications.Key Features● Build a complete Netflix-style streaming platform using GraphQL, React, Node.js, and Apollo.● Master production-grade concepts including DataLoader, caching, scalability, and performance tuning.● Learn by doing, and progress from GraphQL fundamentals to advanced real-world full-stack development.Book Description...
... Leer más
Systems, Software and Services Process Improvement

31st European Conference, EuroSPI 2024, Munich, Germany, September 4–6, 2024, Proceedings, Part I

Edición de Murat Yilmaz, Paul Clarke, Andreas Riel, Richard Messnarz, Christian Greiner, Thomas Peisl ...

Series Libro 1 - Springer Nature Proceedings Computer Science
The two-volume set CCIS 2179 + 2180 constitutes the refereed proceedings of the 31st European Conference on Systems, Software and Services Process Improvement, EuroSPI 2024, held in Munich, Germany, during September 2024.The 55 papers included in these proceedings were carefully reviewed and selected from 100 submissions. They were organized in topical sections as follows:Part I: SPI and Emerging ... Leer más

$89.99 USD

The two-volume set CCIS 2179 + 2180 constitutes the refereed proceedings of the 31st European Conference on Systems, Software and Services Process Improvement, EuroSPI 2024, held in Munich, Germany, during September 2024.The 55 papers included in these proceedings were carefully reviewed and selected from 100 submissions. They were organized in topical sections as follows:Part I: SPI and Emerging
... Leer más
C++ Recipes

A Problem-Solution Approach

de Bruce Sutherland ...

Series series Professional and Applied Computing (R0)
C++ Recipes: A Problem-Solution Approach is a handy code cookbook reference guide that cover the latest C++ 14 as well as some of the code templates available in the latest Standard Template Library (STL).In this handy reference, you'll find numbers, strings, dates, times, classes, exceptions, streams, flows, pointers and more. Also, you'll see various code samples, templates for C++ algorithms, ... Leer más

$44.99 USD

C++ Recipes: A Problem-Solution Approach is a handy code cookbook reference guide that cover the latest C++ 14 as well as some of the code templates available in the latest Standard Template Library (STL).In this handy reference, you'll find numbers, strings, dates, times, classes, exceptions, streams, flows, pointers and more. Also, you'll see various code samples, templates for C++ algorithms,
... Leer más
High-Performance Computing Applications in Numerical Simulation and Edge Computing

ACM ICS 2018 International Workshops, HPCMS and HiDEC, Beijing, China, June 12, 2018, Revised Selected Papers

Edición de Changjun Hu, Wen Yang, Congfeng Jiang, Dong Dai ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the referred proceedings of two workshops held at the 32nd ACM International Conference on Supercomputing, ACM ICS 2018, in Beijing, China, in June 2018. This volume presents the papers that have been accepted for the following workshops: Second International Workshop on High Performance Computing for Advanced Modeling and Simulation in Nuclear Energy and Environmental ... Leer más

$49.99 USD

This book constitutes the referred proceedings of two workshops held at the 32nd ACM International Conference on Supercomputing, ACM ICS 2018, in Beijing, China, in June 2018. This volume presents the papers that have been accepted for the following workshops: Second International Workshop on High Performance Computing for Advanced Modeling and Simulation in Nuclear Energy and Environmental
... Leer más
Proteinstrukturalignment - Berechnung von Alignments

de Karsten Patzwaldt ...

Studienarbeit aus dem Jahr 2005 im Fachbereich Informatik - Angewandte Informatik, Note: ohne Bewertung, Humboldt-Universität zu Berlin (Informatik), Veranstaltung: Proseminar Klassische Algorithmen der Bioinformatik, Sprache: Deutsch, Abstract: Als Proteinstrukturalignment bezeichnet man das Finden von Teilketten in 2 oder mehreren Proteinsträngen, deren Tertiärstruktur eine möglichst hohe ... Leer más

$14.75 USD

Studienarbeit aus dem Jahr 2005 im Fachbereich Informatik - Angewandte Informatik, Note: ohne Bewertung, Humboldt-Universität zu Berlin (Informatik), Veranstaltung: Proseminar Klassische Algorithmen der Bioinformatik, Sprache: Deutsch, Abstract: Als Proteinstrukturalignment bezeichnet man das Finden von Teilketten in 2 oder mehreren Proteinsträngen, deren Tertiärstruktur eine möglichst hohe
... Leer más
Progress OpenEdge

de Don de C. S. Junior ...

Nesta obra abordaremos de forma simples e prática, os principais recursos disponíveis na linguagem Progress, de encontro com as necessidades de um desenvolvedor iniciante; sempre que possível demonstrando através de exemplos cada assunto tratado e respectivos comentários. ... Leer más

$15.99 USD o gratis con Kobo Plus

Nesta obra abordaremos de forma simples e prática, os principais recursos disponíveis na linguagem Progress, de encontro com as necessidades de um desenvolvedor iniciante; sempre que possível demonstrando através de exemplos cada assunto tratado e respectivos comentários.
... Leer más
Introduction to Python Programming

de Gowrishankar S, Veena A ...

Introduction to Python Programming is written for students who are beginners in the field of computer programming. This book presents an intuitive approach to the concepts of Python Programming for students. This book differs from traditional texts not only in its philosophy but also in its overall focus, level of activities, development of topics, and attention to programming details. The ... Leer más

$235.99 USD

Introduction to Python Programming is written for students who are beginners in the field of computer programming. This book presents an intuitive approach to the concepts of Python Programming for students. This book differs from traditional texts not only in its philosophy but also in its overall focus, level of activities, development of topics, and attention to programming details. The
... Leer más
Python Fehlerbehandlung & Debugging

Fehler verstehen, finden und systematisch beheben - von Anfänger bis Fortgeschritten.

de Lukas Neumann ...

Traducido por Lukas Neumann ...

Fehler verstehen, finden und systematisch beheben – Ihr umfassender Praxisleitfaden für professionelles Python-DebuggingFehler gehören zur Softwareentwicklung dazu – doch der Unterschied zwischen frustriertem Herumprobieren und professionellem Debugging liegt in der Methodik. Dieses Buch macht Sie zum Experten für Fehlerbehandlung in Python und zeigt Ihnen, wie Sie jeden Bug systematisch aufspüren ... Leer más

$17.41 USD o gratis con Kobo Plus

Fehler verstehen, finden und systematisch beheben – Ihr umfassender Praxisleitfaden für professionelles Python-DebuggingFehler gehören zur Softwareentwicklung dazu – doch der Unterschied zwischen frustriertem Herumprobieren und professionellem Debugging liegt in der Methodik. Dieses Buch macht Sie zum Experten für Fehlerbehandlung in Python und zeigt Ihnen, wie Sie jeden Bug systematisch aufspüren
... Leer más
Intelligent Computing and Optimization for Sustainable Development

Edición de Veena Grover, Rajesh Kumar Dhanaraj, Balamurugan Balusamy, Gopal Rathinam ...

This book presents insights into how Intelligent Computing and Optimization techniques can be used to attain the goals of Sustainable Development. It provides a comprehensive overview of the latest breakthroughs and recent developments in sustainable, intelligent computing technologies, applications, and optimization techniques across various industries, including business process management, ... Leer más

Gratis

This book presents insights into how Intelligent Computing and Optimization techniques can be used to attain the goals of Sustainable Development. It provides a comprehensive overview of the latest breakthroughs and recent developments in sustainable, intelligent computing technologies, applications, and optimization techniques across various industries, including business process management,
... Leer más
Raspberry Pi - Das Handbuch

Konfiguration, Hardware, Applikationserstellung

de Klaus Dembowski ...

Series series Computer Science and Engineering (German Language)
Das Buch befasst sich sachlich und praxisorientiert mit dem Raspberry Pi. Zunächst ist es wichtig, dass der Leser schnell zu einem Erfolgserlebnis kommt. Deshalb wird das System gleich im ersten Kapitel (Schnellstart) in Betrieb gesetzt, um damit eine definitiv funktionierende Grundlage zu schaffen, auf die auch in Problemsituationen zurückgegriffen werden kann. Damit ist das Buch sowohl für ... Leer más

$28.99 USD

Das Buch befasst sich sachlich und praxisorientiert mit dem Raspberry Pi. Zunächst ist es wichtig, dass der Leser schnell zu einem Erfolgserlebnis kommt. Deshalb wird das System gleich im ersten Kapitel (Schnellstart) in Betrieb gesetzt, um damit eine definitiv funktionierende Grundlage zu schaffen, auf die auch in Problemsituationen zurückgegriffen werden kann. Damit ist das Buch sowohl für
... Leer más
Tools and Algorithms for the Construction and Analysis of Systems

31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part III

Edición de Arie Gurfinkel, Marijn Heule ...

Series Libro 3 - Springer Nature Proceedings Computer Science
The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada.The 46 papers presented were carefully reviewed ... Leer más

Gratis

The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada.The 46 papers presented were carefully reviewed
... Leer más
Management von Netzwerken mit Novell Z.E.N. works™

de Ricardo Büttner ...

Studienarbeit aus dem Jahr 1999 im Fachbereich Informatik - Angewandte Informatik, Note: 1,0, Technische Universität Ilmenau (Institut für Praktische Informatik und Medieninformatik), Veranstaltung: Universitätsrechenzentrum, Sprache: Deutsch, Abstract: Die Arbeit zeigt, wie mittels Novell Z.E.N. works(TM) Arbeitsstationen verwaltet werden können. Sie umfasst die automatische Anwendungsverwaltung, ... Leer más

$20.10 USD

Studienarbeit aus dem Jahr 1999 im Fachbereich Informatik - Angewandte Informatik, Note: 1,0, Technische Universität Ilmenau (Institut für Praktische Informatik und Medieninformatik), Veranstaltung: Universitätsrechenzentrum, Sprache: Deutsch, Abstract: Die Arbeit zeigt, wie mittels Novell Z.E.N. works(TM) Arbeitsstationen verwaltet werden können. Sie umfasst die automatische Anwendungsverwaltung,
... 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 Desarrollo de software

Mostrar: