Rakuten Kobo

Indkøbskurv

Vare(r) ikke tilgængelig til køb

Gennemgå din indkøbskurv. Du kan fjerne de(n) tilgængelige vare(r) nu, ellers fjerner vi det automatisk ved kassen.

varervare

- Ubegrænset adgang til e-bøger
  
  Ubegrænset adgang til lydbøger
  
  Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions
  
  Få 1 kredit hver måned til en lydbog efter eget valg
  
  Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions
  
  Ubegrænset adgang til e-bøger
  
  Ubegrænset adgang til lydbøger
  
  Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions
  lydbog
  af ,
  
  Ledig:
  
  . Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions.
  
  Forudbestilling
  1 lydbog om måneden
  
  + GRATIS 30-dages prøve
  
  Særtilbud
  
  Få 1 kredit hver måned til at bytte til en lydbog efter eget valg
  
  *Ingen forpligtelse, annuller når som helst
  
  GRATIS

varervare

Ubegrænset adgang til e-bøger

Ubegrænset adgang til lydbøger

Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions

Få 1 kredit hver måned til en lydbog efter eget valg

Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions

Ubegrænset adgang til e-bøger

Ubegrænset adgang til lydbøger

Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions
lydbog
af ,

Ledig:
. Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions.

Forudbestilling
1 lydbog om måneden

+ GRATIS 30-dages prøve

Særtilbud

Få 1 kredit hver måned til at bytte til en lydbog efter eget valg

*Ingen forpligtelse, annuller når som helst

GRATIS

Anbefalet til dig

Interactive Theorem Proving

9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

Redigeret af Jeremy Avigad, Assia Mahboubi ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018.The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions. The papers feature research in the area of logical frameworks and interactive proof assistants. The topics include theoretical ... Læs mere

840,47 kr.

This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018.The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions. The papers feature research in the area of logical frameworks and interactive proof assistants. The topics include theoretical
... Læs mere
Decoding the AI Enigma: A Layperson's Guide to Understanding the Concepts, Math, and Pitfalls of Artificial Intelligence

af Eugene Raymond ...

Artificial intelligence (AI) has become an integral part of our modern lives, influencing everything from the way we shop and communicate to how we work and make decisions. As AI continues to advance at an astonishing pace, it is crucial for individuals from all walks of life to grasp its concepts, comprehend its underlying mathematics, and navigate its potential pitfalls. In this book, "Decoding ... Læs mere

62,88 kr. eller Gratis med Kobo Plus

Artificial intelligence (AI) has become an integral part of our modern lives, influencing everything from the way we shop and communicate to how we work and make decisions. As AI continues to advance at an astonishing pace, it is crucial for individuals from all walks of life to grasp its concepts, comprehend its underlying mathematics, and navigate its potential pitfalls. In this book, "Decoding
... Læs mere
Beginning Perl Programming

From Novice to Professional

af William "Bo" Rothwell ...

Serier serie Professional and Applied Computing (R0)
Get started with Perl 5 and learn the important core concepts of Perl programming, such as variables, flow control, expressions, and I/O. Additionally, this book covers pattern matching and shows that Perl is extremely flexible and powerful, and that it isn’t afraid of the cloud. After reading and using this book, you'll be able to start writing your own powerful scripts to solve many web and ... Læs mere

497,43 kr.

Get started with Perl 5 and learn the important core concepts of Perl programming, such as variables, flow control, expressions, and I/O. Additionally, this book covers pattern matching and shows that Perl is extremely flexible and powerful, and that it isn’t afraid of the cloud. After reading and using this book, you'll be able to start writing your own powerful scripts to solve many web and
... Læs mere
Hybrid Artificial Intelligent Systems

12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings

Redigeret af Rubén Urraca, Emilio Corchado, Francisco Javier Martínez de Pisón, Héctor Quintián ...

Serier serie Springer Nature Proceedings Computer Science
This volume constitutes the refereed proceedings of the 12th International Conference on Hybrid Artificial Intelligent Systems, HAIS 2017, held in La Rioja, Spain, in June 2017.The 60 full papers published in this volume were carefully reviewed and selected from 130 submissions. They are organized in the following topical sections: data mining, knowledge discovery and big data; bioinspired models ... Læs mere

466,89 kr.

This volume constitutes the refereed proceedings of the 12th International Conference on Hybrid Artificial Intelligent Systems, HAIS 2017, held in La Rioja, Spain, in June 2017.The 60 full papers published in this volume were carefully reviewed and selected from 130 submissions. They are organized in the following topical sections: data mining, knowledge discovery and big data; bioinspired models
... Læs mere
Java XML and JSON

af JEFF FRIESEN ...

Serier serie Professional and Applied Computing (R0)
Java XML and JSON is your one-stop guide to mastering the XML metalanguage and JSON data format along with significant Java APIs for parsing and creating XML/JSON documents (and more). The first six chapters focus on XML along with the SAX, DOM, StAX, XPath, and XSLT APIs. The remaining four chapters focus on JSON along with the mJson, GSON, and JsonPath APIs.Each chapter ends with select ... Læs mere

322,87 kr.

Java XML and JSON is your one-stop guide to mastering the XML metalanguage and JSON data format along with significant Java APIs for parsing and creating XML/JSON documents (and more). The first six chapters focus on XML along with the SAX, DOM, StAX, XPath, and XSLT APIs. The remaining four chapters focus on JSON along with the mJson, GSON, and JsonPath APIs.Each chapter ends with select
... Læs mere
Conceptual Modeling

36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedings

Redigeret af Heinrich C. Mayr, Giancarlo Guizzardi, Hui Ma, Oscar Pastor ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 35th International Conference on Conceptual Modeling, ER 2017, held in Valencia, Spain, in November 2017.The 28 full and 10 short papers presented together with 1 full 6 keynotes were carefully reviewed and selected from 153 submissions.This events covers a wide range of following topics: Conceptual Modeling Methodology, Conceptual Modeling and ... Læs mere

466,89 kr.

This book constitutes the refereed proceedings of the 35th International Conference on Conceptual Modeling, ER 2017, held in Valencia, Spain, in November 2017.The 28 full and 10 short papers presented together with 1 full 6 keynotes were carefully reviewed and selected from 153 submissions.This events covers a wide range of following topics: Conceptual Modeling Methodology, Conceptual Modeling and
... Læs mere
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I

Redigeret af Tiziana Margaria, Bernhard Steffen ...

Serier Bog 1 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016.The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each ... Læs mere

840,47 kr.

The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016.The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each
... Læs mere
Hardware and Software: Verification and Testing

12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Redigeret af Roderick Bloem, Eli Arbel ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016. The 13 revised full papers and one tool paper presented were carefully reviewed and selected from 26 submissions. They are dedicated to advance the state of the art and state of the practice in verification and testing and are discussing future ... Læs mere

466,89 kr.

This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016. The 13 revised full papers and one tool paper presented were carefully reviewed and selected from 26 submissions. They are dedicated to advance the state of the art and state of the practice in verification and testing and are discussing future
... Læs mere
Pro CDI 2 in Java EE 8

An In-Depth Guide to Context and Dependency Injection

af Jan Beernink, Arjan Tijms ...

Serier serie Professional and Applied Computing (R0)
In Pro CDI 2 in Java EE 8, use CDI and the CDI 2.0 to automatically manage the life cycle of your enterprise Java, Java EE, or Jakarta EE application’s beans using predefined scopes and define custom life cycles using scopes. In this book, you will see how you can implement dynamic and asynchronous communication between separate beans in your application with CDI events.The authors explain how to ... Læs mere

497,43 kr.

In Pro CDI 2 in Java EE 8, use CDI and the CDI 2.0 to automatically manage the life cycle of your enterprise Java, Java EE, or Jakarta EE application’s beans using predefined scopes and define custom life cycles using scopes. In this book, you will see how you can implement dynamic and asynchronous communication between separate beans in your application with CDI events.The authors explain how to
... Læs mere
Visual Studio Code Distilled

Evolved Code Editing for Windows, macOS, and Linux

af Alessandro Del Sole ...

Serier serie Professional and Applied Computing (R0)
Use Visual Studio Code to write and debug code quickly and efficiently on any platform, for any device, using any programming language, and on the operating system of your choice.Visual Studio Code is an open source and cross-platform development tool that focuses on code editing across a variety of development scenarios, including web, mobile, and cloud development. Visual Studio Code Distilled ... Læs mere

322,87 kr.

Use Visual Studio Code to write and debug code quickly and efficiently on any platform, for any device, using any programming language, and on the operating system of your choice.Visual Studio Code is an open source and cross-platform development tool that focuses on code editing across a variety of development scenarios, including web, mobile, and cloud development. Visual Studio Code Distilled
... Læs mere
Model-Based Systems Engineering with OPM and SysML

af Dov Dori ...

Serier serie Computer Science (R0)
Model-Based Systems Engineering (MBSE), which tackles architecting and design of complex systems through the use of formal models, is emerging as the most critical component of systems engineering. This textbook specifies the two leading conceptual modeling languages, OPM—the new ISO 19450, composed primarily by the author of this book, and OMG SysML. It provides essential insights into a domain ... Læs mere

606,98 kr.

Model-Based Systems Engineering (MBSE), which tackles architecting and design of complex systems through the use of formal models, is emerging as the most critical component of systems engineering. This textbook specifies the two leading conceptual modeling languages, OPM—the new ISO 19450, composed primarily by the author of this book, and OMG SysML. It provides essential insights into a domain
... Læs mere
Einführung in JavaFX/OpenJFX

Moderne GUIs für RIAs und Java-Applikationen

af Ralph Steyer ...

Serier serie Computer Science and Engineering (German Language)
Das JavaFX-Framework gibt es schon seit einigen Jahren, hat aber mit den ersten Versionen fast nur noch den Namen gemeinsam. Seit der Version 2 hat JavaFX jedoch einen festen und ausgereiften Stand erreicht und ist mittlerweile die aktuelle Technologie im Java-Umfeld, um leistungsfähige und moderne grafische Benutzeroberflächen (GUI) erstellen zu können. Dieses Buch stellt Ihnen dazu eine Vielzahl ... Læs mere

410,20 kr.

Das JavaFX-Framework gibt es schon seit einigen Jahren, hat aber mit den ersten Versionen fast nur noch den Namen gemeinsam. Seit der Version 2 hat JavaFX jedoch einen festen und ausgereiften Stand erreicht und ist mittlerweile die aktuelle Technologie im Java-Umfeld, um leistungsfähige und moderne grafische Benutzeroberflächen (GUI) erstellen zu können. Dieses Buch stellt Ihnen dazu eine Vielzahl
... Læs mere
AIxIA 2024 – Advances in Artificial Intelligence

XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25–28, 2024 Proceedings

Redigeret af Alessandro Artale, Gabriella Cortellessa, Marco Montali ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the XXIIIrd International Conference on AIxIA 2024 – Advances in Artificial Intelligence, AIxIA 2024, held in Bolzano, Italy, during November 25–28, 2024.The 24 full papers and 1 invited paper included in this volume were carefully reviewed and selected from 41 submissions. The papers cover the following topics: artificial intelligence; journals; ... Læs mere

700,38 kr.

This book constitutes the refereed proceedings of the XXIIIrd International Conference on AIxIA 2024 – Advances in Artificial Intelligence, AIxIA 2024, held in Bolzano, Italy, during November 25–28, 2024.The 24 full papers and 1 invited paper included in this volume were carefully reviewed and selected from 41 submissions. The papers cover the following topics: artificial intelligence; journals;
... Læs mere
Ubiquitous Information Technologies and Applications

CUTE 2012

Redigeret af Youn-Hee Han, Doo-Soon Park, Weijia Jia, Sang-Soo Yeo ...

Serier serie Springer Nature Proceedings excluding Computer Science
Recent advances in electronic and computer technologies have paved the way for the proliferation of ubiquitous computing and innovative applications that incorporate these technologies. This proceedings book describes these new and innovative technologies, and covers topics like Ubiquitous Communication and Networks, Security Systems, Smart Devices and Applications, Cloud and Grid Systems, Service ... Læs mere

1.867,83 kr.

Recent advances in electronic and computer technologies have paved the way for the proliferation of ubiquitous computing and innovative applications that incorporate these technologies. This proceedings book describes these new and innovative technologies, and covers topics like Ubiquitous Communication and Networks, Security Systems, Smart Devices and Applications, Cloud and Grid Systems, Service
... Læs mere
Beginning PyQt

A Hands-on Approach to GUI Programming with PyQt6

af Joshua M Willman ...

Serier serie Professional and Applied Computing (R0)
Learn GUI application development from the ground up by building simple projects that teach the fundamentals of using PyQt6. This 2nd edition includes updated code, programs, and new chapters to get you started using the newest version. Taking a practical approach, each chapter will gradually teach more advanced and diverse concepts to aid you in designing and customizing interesting and ... Læs mere

584,75 kr.

Learn GUI application development from the ground up by building simple projects that teach the fundamentals of using PyQt6. This 2nd edition includes updated code, programs, and new chapters to get you started using the newest version. Taking a practical approach, each chapter will gradually teach more advanced and diverse concepts to aid you in designing and customizing interesting and
... Læs mere
Separation Logic for High-level Synthesis

af Felix Winterstein ...

Serier serie Engineering (R0)
This book presents novel compiler techniques, which combine a rigorous mathematical framework, novel program analyses and digital hardware design to advance current high-level synthesis tools and extend their scope beyond the industrial ‘state of the art’. Implementing computation on customised digital hardware plays an increasingly important role in the quest for energy-efficient high-performance ... Læs mere

840,47 kr.

This book presents novel compiler techniques, which combine a rigorous mathematical framework, novel program analyses and digital hardware design to advance current high-level synthesis tools and extend their scope beyond the industrial ‘state of the art’. Implementing computation on customised digital hardware plays an increasingly important role in the quest for energy-efficient high-performance
... Læs mere
Beginning Bazel

Building and Testing for Java, Go, and More

af P.J. McNerney ...

Serier serie Professional and Applied Computing (R0)
Discover Bazel, a new build and software test set of tools for today's programmers and developers. This book shows you how to speed up your builds and tests, and how to use Bazel in the context of your favorite programming language. You'll see that the languages and SDKs supported include Java, Android, iOS, and Go.What You Will LearnUse Bazel as a build toolTest software with BazelWork with Java, ... Læs mere

322,87 kr.

Discover Bazel, a new build and software test set of tools for today's programmers and developers. This book shows you how to speed up your builds and tests, and how to use Bazel in the context of your favorite programming language. You'll see that the languages and SDKs supported include Java, Android, iOS, and Go.What You Will LearnUse Bazel as a build toolTest software with BazelWork with Java,
... Læs mere
Android Studio IDE Quick Reference

A Pocket Guide to Android Studio Development

af Ted Hagos ...

Serier serie Professional and Applied Computing (R0)
This concise reference book for Android Studio 3 presents the essential Android Studio functions in a well-organized format that can be used as a handy reference. It will quickly demonstrate the usage of the Android Studio IDE to build an Android mobile app step by step.You won’t find any technical jargon, bloated samples, drawn out history lessons, or witty stories in this book. What you will ... Læs mere

322,87 kr.

This concise reference book for Android Studio 3 presents the essential Android Studio functions in a well-organized format that can be used as a handy reference. It will quickly demonstrate the usage of the Android Studio IDE to build an Android mobile app step by step.You won’t find any technical jargon, bloated samples, drawn out history lessons, or witty stories in this book. What you will
... Læs mere
CryEngine Basics: First Steps in Game Development

CryEngine Series

af Kameron Hussain, Frahaan Hussain ...

Serier serie CryEngine Series
Embark on an exhilarating journey into the world of game development with "CryEngine Basics: First Steps in Game Development." This comprehensive guide is an indispensable resource for aspiring game developers, digital artists, and enthusiasts eager to master the fundamentals of using CryEngine, one of the most powerful game engines available today.Authored by a seasoned game developer, this book ... Læs mere

62,82 kr. eller Gratis med Kobo Plus

Embark on an exhilarating journey into the world of game development with "CryEngine Basics: First Steps in Game Development." This comprehensive guide is an indispensable resource for aspiring game developers, digital artists, and enthusiasts eager to master the fundamentals of using CryEngine, one of the most powerful game engines available today.Authored by a seasoned game developer, this book
... Læs mere
Rapid Java Persistence and Microservices

Persistence Made Easy Using Java EE8, JPA and Spring

af Raj Malhotra ...

Serier serie Professional and Applied Computing (R0)
Gain all the essentials you need to create scalable microservices, which will help you solve real challenges when deploying services into production. This book will take you through creating a scalable data layer with polygot persistence. You’ll cover data access and query patterns in Spring and JPA in high-performance environments. As part of this topic, you’ll see the advantages of multiple ... Læs mere

322,87 kr.

Gain all the essentials you need to create scalable microservices, which will help you solve real challenges when deploying services into production. This book will take you through creating a scalable data layer with polygot persistence. You’ll cover data access and query patterns in Spring and JPA in high-performance environments. As part of this topic, you’ll see the advantages of multiple
... Læs mere
SQL Server T-SQL Recipes

af David Dye, Jason Brimhall, Timothy Roberts, Wayne Sheffield, Joseph Sack, Jonathan Gennick ...

Serier serie Professional and Applied Computing (R0)
SQL Server T-SQL Recipes is an example-based guide to the Transact-SQL language that is at the core of SQL Server. This edition has been lightly updated for SQL Server 2014 and provides ready-to-implement solutions to common programming and database administration tasks. Learn to create databases, create in-memory tables and stored procedures, insert and update data, generate reports, secure your ... Læs mere

872,79 kr.

SQL Server T-SQL Recipes is an example-based guide to the Transact-SQL language that is at the core of SQL Server. This edition has been lightly updated for SQL Server 2014 and provides ready-to-implement solutions to common programming and database administration tasks. Learn to create databases, create in-memory tables and stored procedures, insert and update data, generate reports, secure your
... Læs mere
PRIMA 2017: Principles and Practice of Multi-Agent Systems

20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedings

Redigeret af Serena Villata, Ana Bazzan, João Leite, Leendert van der Torre, Bo An ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017, held in Nice, France, in October/November 2017.The 24 revised full papers presented together with one abstract of a keynote talk and 11 short papers were carefully reviewed and selected from 88 submissions.The intention of the papers is to showcase ... Læs mere

466,89 kr.

This book constitutes the refereed proceedings of the 20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017, held in Nice, France, in October/November 2017.The 24 revised full papers presented together with one abstract of a keynote talk and 11 short papers were carefully reviewed and selected from 88 submissions.The intention of the papers is to showcase
... Læs mere
Engineering Trustworthy Software Systems

Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Redigeret af Jonathan P. Bowen, Zhiming Liu, Zili Zhang ...

Serier serie Springer Nature Proceedings Computer Science
This volume contains a record of some of the lectures and seminars delivered at the Third International School on Engineering Trustworthy Software Systems (SETSS 2017), held in April 2017 at Southwest University in Chongqing, China.The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been ... Læs mere

466,89 kr.

This volume contains a record of some of the lectures and seminars delivered at the Third International School on Engineering Trustworthy Software Systems (SETSS 2017), held in April 2017 at Southwest University in Chongqing, China.The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been
... Læs mere
Python Descriptors

af Jacob Zimmerman ...

Serier serie Professional and Applied Computing (R0)
This short book on Python descriptors is a collection of knowledge and ideas from many sources on dealing with and creating descriptors. And, after going through the things all descriptors have in common, the author explores ideas that have multiple ways of being implemented as well as completely new ideas never seen elsewhere before.This truly is a comprehensive guide to creating Python ... Læs mere

148,31 kr.

This short book on Python descriptors is a collection of knowledge and ideas from many sources on dealing with and creating descriptors. And, after going through the things all descriptors have in common, the author explores ideas that have multiple ways of being implemented as well as completely new ideas never seen elsewhere before.This truly is a comprehensive guide to creating Python
... Læs mere

Kobo Rakuten

e-læsere

Apps

Tilbehør

Indkøbskurv

Du får VIP-behandling!

Din indkøbskurv er tom

Ledig:

1 lydbog om måneden

+ GRATIS 30-dages prøve

Ledig:

1 lydbog om måneden

+ GRATIS 30-dages prøve

Anbefalet til dig

Udarbejdere e-bøger

Interactive Theorem Proving

Decoding the AI Enigma: A Layperson's Guide to Understanding the Concepts, Math, and Pitfalls of Artificial Intelligence

Beginning Perl Programming

Hybrid Artificial Intelligent Systems

Java XML and JSON

Conceptual Modeling

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

Hardware and Software: Verification and Testing

Pro CDI 2 in Java EE 8

Visual Studio Code Distilled

Model-Based Systems Engineering with OPM and SysML

Einführung in JavaFX/OpenJFX

AIxIA 2024 – Advances in Artificial Intelligence

Ubiquitous Information Technologies and Applications

Beginning PyQt

Separation Logic for High-level Synthesis

Beginning Bazel

Android Studio IDE Quick Reference

CryEngine Basics: First Steps in Game Development

Rapid Java Persistence and Microservices

SQL Server T-SQL Recipes

PRIMA 2017: Principles and Practice of Multi-Agent Systems

Engineering Trustworthy Software Systems

Python Descriptors