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

Automotive Cybersecurity: Protecting Connected Vehicles

af Lucas Williamson ...

Protect the Future of Mobility — Master Automotive Cybersecurity from the Ground UpAs modern vehicles evolve into sophisticated, connected systems, they also become prime targets for cyber threats. Automotive Cybersecurity: Protecting Connected Vehicles is your complete guide to understanding the risks, technologies, and defenses that secure today's smart vehicles.Whether you're an engineer, ... Læs mere

25,30 kr. eller Gratis med Kobo Plus

Protect the Future of Mobility — Master Automotive Cybersecurity from the Ground UpAs modern vehicles evolve into sophisticated, connected systems, they also become prime targets for cyber threats. Automotive Cybersecurity: Protecting Connected Vehicles is your complete guide to understanding the risks, technologies, and defenses that secure today's smart vehicles.Whether you're an engineer,
... Læs mere
Formal Methods

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

Redigeret af Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink ...

Serier serie 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 ... Læs mere

756,36 kr.

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
... Læs mere
Integrated Formal Methods

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

Redigeret af Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa ...

Serier serie 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 ... Læs mere

420,11 kr.

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
... Læs mere
NASA Formal Methods

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

Redigeret af Clark Barrett, Misty Davies, Temesghen Kahsai ...

Serier serie 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, ... Læs mere

420,11 kr.

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,
... Læs mere
Integrated Formal Methods

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

Redigeret af Nadia Polikarpova, Steve Schneider ...

Serier serie 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, ... Læs mere

420,11 kr.

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,
... Læs mere
FM 2016: Formal Methods

21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

Redigeret af John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers presented together with one abstract of an invited talk and one invited presentation were carefully reviewed and selected from 162 submissions. The broad topics of interest for FM include: interdisciplinary ... Læs mere

420,11 kr.

This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers presented together with one abstract of an invited talk and one invited presentation were carefully reviewed and selected from 162 submissions. The broad topics of interest for FM include: interdisciplinary
... Læs mere
Software Sourcing in the Age of Open

Leveraging the Unknown Workforce

af Pär J. Ågerfalk, Brian Fitzgerald, Klaas-Jan Stol ...

Serier serie Computer Science (R0)
This SpringerBrief discusses multiple forms of open-source-inspired outsourcing: opensourcing, innersourcing and crowdsourcing. It uses a framework-based comparison to explain the strengths and weaknesses of each approach. By pointing out characteristics along with benefits and pitfalls of each approach, the authors provide nuanced and research-based advice to managers and developers facing ... Læs mere

420,11 kr.

This SpringerBrief discusses multiple forms of open-source-inspired outsourcing: opensourcing, innersourcing and crowdsourcing. It uses a framework-based comparison to explain the strengths and weaknesses of each approach. By pointing out characteristics along with benefits and pitfalls of each approach, the authors provide nuanced and research-based advice to managers and developers facing
... Læs mere
Leveraging Applications of Formal Methods, Verification and Validation. Verification

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

Redigeret af Tiziana Margaria, Bernhard Steffen ...

Serier Bog 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 ... Læs mere

420,11 kr.

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
... Læs mere
Multiple Criteria Decision Aid

Methods, Examples and Python Implementations

af Jason Papathanasiou, Nikolaos Ploskas ...

Serier serie Mathematics and Statistics (R0)
Multiple criteria decision aid (MCDA) methods are illustrated in this book through theoretical and computational techniques utilizing Python. Existing methods are presented in detail with a step by step learning approach. Theoretical background is given for TOPSIS, VIKOR, PROMETHEE, SIR, AHP, goal programming, and their variations. Comprehensive numerical examples are also discussed for each ... Læs mere

756,36 kr.

Multiple criteria decision aid (MCDA) methods are illustrated in this book through theoretical and computational techniques utilizing Python. Existing methods are presented in detail with a step by step learning approach. Theoretical background is given for TOPSIS, VIKOR, PROMETHEE, SIR, AHP, goal programming, and their variations. Comprehensive numerical examples are also discussed for each
... Læs mere
The Python Codebook: Building Essential Skills

af Krythalon Virexius ...

So you wanna learn Python, huh? Not just memorize a few print statements and impress your cat with a loop or two—but really learn it? Good. You've just stumbled onto the book that's about to take your Python game from "Hello World" to "Heck yeah, I built this!"Let me introduce you to The Python Codebook: Building Essential Skills—your no-fluff, all-fun, mildly sarcastic (but always helpful) guide ... Læs mere

224,54 kr. eller Gratis med Kobo Plus

So you wanna learn Python, huh? Not just memorize a few print statements and impress your cat with a loop or two—but really learn it? Good. You've just stumbled onto the book that's about to take your Python game from "Hello World" to "Heck yeah, I built this!"Let me introduce you to The Python Codebook: Building Essential Skills—your no-fluff, all-fun, mildly sarcastic (but always helpful) guide
... Læs mere
Eclipse for Java Developers

af Dimitar Boyadzhiev ...

How to install, configure and use Eclipse IDE for Java developers that are first time users of Eclipse.Step by step instructions with hands-on examples. ... Læs mere

12,62 kr. eller Gratis med Kobo Plus

How to install, configure and use Eclipse IDE for Java developers that are first time users of Eclipse.Step by step instructions with hands-on examples.
... Læs mere
Building Android Applications for Beginners

af Steve Taylor ...

This book is aimed at people with little or no understanding of developing applications or any experience with Java or computer programming in general.Rather than immediately delving into details, the book focuses instead on constructing simple Android examples that can immediately be seen to work. As an example, some very simple but yet powerful graphics are developed, the image on the book's ... Læs mere

25,30 kr. eller Gratis med Kobo Plus

This book is aimed at people with little or no understanding of developing applications or any experience with Java or computer programming in general.Rather than immediately delving into details, the book focuses instead on constructing simple Android examples that can immediately be seen to work. As an example, some very simple but yet powerful graphics are developed, the image on the book's
... Læs mere
Solutions for Agile Governance in the Enterprise (SAGE): Agile Project, Program, and Portfolio Management for Development of Hardware and Software Products

af Kevn Thompson ...

"This book is an essential tool in filling the knowledge gaps we have in being Agile on complicated projects. The other way to fill these gaps is through expensive and painful trial and error. From now on, I'll recommend reading this book instead."Mike Cohn, Mountain Goat SoftwareSolutions for Agile Governance in the Enterprise (SAGE) is the essential guide to understanding, implementing, and ... Læs mere

158,21 kr. eller Gratis med Kobo Plus

"This book is an essential tool in filling the knowledge gaps we have in being Agile on complicated projects. The other way to fill these gaps is through expensive and painful trial and error. From now on, I'll recommend reading this book instead."Mike Cohn, Mountain Goat SoftwareSolutions for Agile Governance in the Enterprise (SAGE) is the essential guide to understanding, implementing, and
... Læs mere
Flow: A Handbook for Change-Makers, Mavericks, Innovators and Leaders

af Haydn Shaughnessy, Fin Goulding ...

Business is changing. The old emphasis on agility in the IT department has now been extended to the whole business. Everybody has to become smarter. Everybody has to learn how to respond to new market conditions. Businesses want to be more agile, but the new framework for success is flow,Flow is the toolset you need to give your career a lift and to help transform your organisation into a truly ... Læs mere

31,64 kr. eller Gratis med Kobo Plus

Business is changing. The old emphasis on agility in the IT department has now been extended to the whole business. Everybody has to become smarter. Everybody has to learn how to respond to new market conditions. Businesses want to be more agile, but the new framework for success is flow,Flow is the toolset you need to give your career a lift and to help transform your organisation into a truly
... Læs mere
Ace the Trading Systems Engineer Interview (C++ Edition): Insider's Guide to Top Tech Jobs in Finance

af Dennis Thompson ...

Top 3 reasons why a software engineer might be interested to work at financial firms in the capital markets areawork with top Hedge Funds, Investment Banks, HFT firms, Algorithmic Trading firms, Exchanges, etc.implement smart algorithms and build low-latency, high-performance and mission-critical software with talented engineersearn top compensationThis book will help you with interview ... Læs mere

158,46 kr. eller Gratis med Kobo Plus

Top 3 reasons why a software engineer might be interested to work at financial firms in the capital markets areawork with top Hedge Funds, Investment Banks, HFT firms, Algorithmic Trading firms, Exchanges, etc.implement smart algorithms and build low-latency, high-performance and mission-critical software with talented engineersearn top compensationThis book will help you with interview
... Læs mere
Internet of Things. Technology and Applications

4th IFIP International Cross-Domain Conference, IFIPIoT 2021, Virtual Event, November 4–5, 2021, Revised Selected Papers

Redigeret af Luis M. Camarinha-Matos, Geert Heijenk, Srinivas Katkoori, Leon Strous ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed post-conference proceedings of the Fourth IFIP International Cross-Domain Conference on Internet of Things, IFIPIoT 2021, held virtually in November 2021.The 15 full papers presented were carefully reviewed and selected from 33 submissions. Also included is a summary of two panel sessions held at the conference. The papers are organized in the following topical ... Læs mere

714,24 kr.

This book constitutes the refereed post-conference proceedings of the Fourth IFIP International Cross-Domain Conference on Internet of Things, IFIPIoT 2021, held virtually in November 2021.The 15 full papers presented were carefully reviewed and selected from 33 submissions. Also included is a summary of two panel sessions held at the conference. The papers are organized in the following topical
... Læs mere
Internet of Things. IoT through a Multi-disciplinary Perspective

5th IFIP International Cross-Domain Conference, IFIPIoT 2022, Amsterdam, The Netherlands, October 27–28, 2022, Proceedings

Redigeret af Luis M. Camarinha-Matos, Luis Ribeiro, Leon Strous ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed post-conference proceedings of the Fifth IFIP International Cross-Domain Conference on Internet of Things, IFIPIoT 2022, held in Amsterdam in October 2022.The 20 full papers presented were carefully reviewed and selected from 36 submissions. The papers are organized in the following topical sections: IoT for Smart Villages, Security and Safety, Smart Home, ... Læs mere

756,36 kr.

This book constitutes the refereed post-conference proceedings of the Fifth IFIP International Cross-Domain Conference on Internet of Things, IFIPIoT 2022, held in Amsterdam in October 2022.The 20 full papers presented were carefully reviewed and selected from 36 submissions. The papers are organized in the following topical sections: IoT for Smart Villages, Security and Safety, Smart Home,
... Læs mere
The Binary Language of Music

af Brian Rigsby ...

Music has life and movement and texture. It can be dissonant or pretty, raucus or serene, crunchy or clean. Music can be powerful enough to cause a riot, or quiet enough for meditation. When the groove is right, it can cause you to bob your head or shake your hips. It can bring you back to bygone era, evoke the feel of 1930's Paris, or recall a long forgotten love.As human beings, we are ... Læs mere

18,96 kr. eller Gratis med Kobo Plus

Music has life and movement and texture. It can be dissonant or pretty, raucus or serene, crunchy or clean. Music can be powerful enough to cause a riot, or quiet enough for meditation. When the groove is right, it can cause you to bob your head or shake your hips. It can bring you back to bygone era, evoke the feel of 1930's Paris, or recall a long forgotten love.As human beings, we are
... Læs mere
Ottieni il meglio dalle tue Retrospettive Agili - Un insieme di tecniche per effettuare le tue Retrospettive nelle metodologie Agili

af Ben Linders, Luis Goncalves ...

Questo libro propone molte tecniche che potrai usare per facilitare le tue retrospettive, supportato dal "cosa" e "perchè" delle stesse, il valore economico e i benefici che comportano, nonchè come strumento di consulenza per introdurre e migliorare le tue retrospettive.Questo libro si rivolge ai coach di metodologie agili, Scrum Masters, Project e Product Managers e facilitatori che hanno almeno ... Læs mere

63,35 kr. eller Gratis med Kobo Plus

Questo libro propone molte tecniche che potrai usare per facilitare le tue retrospettive, supportato dal "cosa" e "perchè" delle stesse, il valore economico e i benefici che comportano, nonchè come strumento di consulenza per introdurre e migliorare le tue retrospettive.Questo libro si rivolge ai coach di metodologie agili, Scrum Masters, Project e Product Managers e facilitatori che hanno almeno
... Læs mere
The Power of APIs Leveraging Data and Services to Transform Your Business

af AJAY BHARTI ...

In today's fast-paced digital world, businesses of all sizes need to be able to quickly and efficiently access data and services to remain competitive.Whether it's accessing customer data to personalize services, automating internal processes to increase efficiency, or integrating with third-party services to expand offerings, APIs (Application Programming Interfaces) has become an essential tool ... Læs mere

12,62 kr.

In today's fast-paced digital world, businesses of all sizes need to be able to quickly and efficiently access data and services to remain competitive.Whether it's accessing customer data to personalize services, automating internal processes to increase efficiency, or integrating with third-party services to expand offerings, APIs (Application Programming Interfaces) has become an essential tool
... Læs mere
Design Thinking para principiantes: La innovación como factor para el éxito empresarial

af Kilian Langenfeld ...

El pensamiento de diseño para principiantes: la innovación como factor para el éxito empresarialEl papel del pensamiento de diseño en la gestión de la innovación en la era de la digitalización y la globalización¿Trabajas en un entorno innovador y buscas formas de generar ideas de manera estructurada?«Vivimos en una época en la que nuestro entorno laboral y personal está cambiando a gran velocidad. ... Læs mere

18,96 kr.

El pensamiento de diseño para principiantes: la innovación como factor para el éxito empresarialEl papel del pensamiento de diseño en la gestión de la innovación en la era de la digitalización y la globalización¿Trabajas en un entorno innovador y buscas formas de generar ideas de manera estructurada?«Vivimos en una época en la que nuestro entorno laboral y personal está cambiando a gran velocidad.
... Læs mere
Lecture Notes on Collaborative Software Projects

Practices, Concepts, and Key Events for Designing, Managing, and Prototyping Successful Products

af Alejandra J Magana ...

Lecture Notes on Collaborative Software Projects: Practices, Concepts, and Key Events for Designing, Managing, and Prototyping Successful Products provides a practical, integrated approach to systems analysis and design, guiding readers through the complete process of developing working software prototypes.Featuring a comprehensive case study with real project artifacts, this book emphasizes ... Læs mere

271,11 kr.

Lecture Notes on Collaborative Software Projects: Practices, Concepts, and Key Events for Designing, Managing, and Prototyping Successful Products provides a practical, integrated approach to systems analysis and design, guiding readers through the complete process of developing working software prototypes.Featuring a comprehensive case study with real project artifacts, this book emphasizes
... Læs mere
Title: The Ultimate Guide to Software Development: Exploring Emerging Technologies and Key Concepts

af Ahmed Shafea ...

Dive into "The Ultimate Guide to Software Development," an indispensable eBook that covers essential topics and trends in the ever-evolving world of software development. From foundational programming languages to advanced concepts like DevOps, cloud computing, artificial intelligence, and blockchain, this comprehensive guide equips developers, IT professionals, and tech enthusiasts with the ... Læs mere

Gratis

Dive into "The Ultimate Guide to Software Development," an indispensable eBook that covers essential topics and trends in the ever-evolving world of software development. From foundational programming languages to advanced concepts like DevOps, cloud computing, artificial intelligence, and blockchain, this comprehensive guide equips developers, IT professionals, and tech enthusiasts with the
... Læs mere
Carrera Profesional en Ingeniería de IA en 2026

af David Ernesto Albarracín ...

¿Estás listo para el mercado laboral de la IA cuando pase la "fiebre del oro"?Olvídate de los tutoriales básicos y las demos mágicas de 2023. Estamos en 2026. La fiesta del hype terminó, y las empresas ya no buscan "magos" de los prompts; buscan ingenieros profesionales que sepan construir sistemas robustos, escalables y rentables.Este libro es tu hoja de ruta para sobrevivir y destacar en la era ... Læs mere

171,21 kr.

¿Estás listo para el mercado laboral de la IA cuando pase la "fiebre del oro"?Olvídate de los tutoriales básicos y las demos mágicas de 2023. Estamos en 2026. La fiesta del hype terminó, y las empresas ya no buscan "magos" de los prompts; buscan ingenieros profesionales que sepan construir sistemas robustos, escalables y rentables.Este libro es tu hoja de ruta para sobrevivir y destacar en la era
... 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

Softwareudvikling e-bøger

Automotive Cybersecurity: Protecting Connected Vehicles

Formal Methods

Integrated Formal Methods

NASA Formal Methods

Integrated Formal Methods

FM 2016: Formal Methods

Software Sourcing in the Age of Open

Leveraging Applications of Formal Methods, Verification and Validation. Verification

Multiple Criteria Decision Aid

The Python Codebook: Building Essential Skills

Eclipse for Java Developers

Building Android Applications for Beginners

Solutions for Agile Governance in the Enterprise (SAGE): Agile Project, Program, and Portfolio Management for Development of Hardware and Software Products

Flow: A Handbook for Change-Makers, Mavericks, Innovators and Leaders

Ace the Trading Systems Engineer Interview (C++ Edition): Insider's Guide to Top Tech Jobs in Finance

Internet of Things. Technology and Applications

Internet of Things. IoT through a Multi-disciplinary Perspective

The Binary Language of Music

Ottieni il meglio dalle tue Retrospettive Agili - Un insieme di tecniche per effettuare le tue Retrospettive nelle metodologie Agili

The Power of APIs Leveraging Data and Services to Transform Your Business

Design Thinking para principiantes: La innovación como factor para el éxito empresarial

Lecture Notes on Collaborative Software Projects

Title: The Ultimate Guide to Software Development: Exploring Emerging Technologies and Key Concepts

Carrera Profesional en Ingeniería de IA en 2026