Rakuten Kobo

Handlekurv

Titlene er ikke tilgjengelige for kjøp

Se gjennom handlekurven din. Du kan fjerne titlene som ikke er tilgjengelige nå eller vi fjerner dem automatisk ved kassen.

titlertittel

- Inkluderer e-bøker
  
  Inkluderer lydbøker
  
  Inkluderer 30 timer med lyttetid
  
  Ingen binding, si opp når som helst på kobo.com/account/subscriptions
  
  Få 1 kreditt hver måned for lydboken du selv velger
  
  Ingen binding, si opp når som helst på kobo.com/account/subscriptions
  
  Inkluderer e-bøker
  
  Inkluderer lydbøker
  
  Inkluderer 30 timer med lyttetid
  
  Ingen binding, si opp når som helst på kobo.com/account/subscriptions
  Lydbok
  av ,
  
  Tilgjengelig:
  
  . Ingen binding, si opp når som helst på kobo.com/account/subscriptions.
  
  Forhåndsbestille
  1 lydbok hver måned
  
  + GRATIS prøveperiode på 30 dager
  
  Spesialtilbud
  
  Få 1 kreditt hver måned som du kan løse inn mot en valgfri lydbok
  
  *Ingen forpliktelser, du kan avslutte når som helst
  
  GRATIS

titlertittel

Inkluderer e-bøker

Inkluderer lydbøker

Inkluderer 30 timer med lyttetid

Ingen binding, si opp når som helst på kobo.com/account/subscriptions

Få 1 kreditt hver måned for lydboken du selv velger

Ingen binding, si opp når som helst på kobo.com/account/subscriptions

Inkluderer e-bøker

Inkluderer lydbøker

Inkluderer 30 timer med lyttetid

Ingen binding, si opp når som helst på kobo.com/account/subscriptions
Lydbok
av ,

Tilgjengelig:
. Ingen binding, si opp når som helst på kobo.com/account/subscriptions.

Forhåndsbestille
1 lydbok hver måned

+ GRATIS prøveperiode på 30 dager

Spesialtilbud

Få 1 kreditt hver måned som du kan løse inn mot en valgfri lydbok

*Ingen forpliktelser, du kan avslutte når som helst

GRATIS

Anbefalt for deg

Fundamentals of Software Architecture

A Modern Engineering Approach

av Mark Richards, Neal Ford ...

Salary surveys worldwide regularly place software architect in the top 10 best jobs, yet no real guide exists to help developers become architects. Until now. This updated edition provides a comprehensive overview of software architecture's many aspects, with five new chapters covering the latest insights from the field. Aspiring and existing architects alike will examine architectural ... Les mer

535,29 kr

Salary surveys worldwide regularly place software architect in the top 10 best jobs, yet no real guide exists to help developers become architects. Until now. This updated edition provides a comprehensive overview of software architecture's many aspects, with five new chapters covering the latest insights from the field. Aspiring and existing architects alike will examine architectural
... Les mer
Guide to Discrete Mathematics

An Accessible Introduction to the History, Theory, Logic and Applications

av Gerard O'Regan ...

Serie serien Computer Science (R0)
This stimulating textbook presents a broad and accessible guide to the fundamentals of discrete mathematics, highlighting how the techniques may be applied to various exciting areas in computing. The text is designed to motivate and inspire the reader, encouraging further study in this important skill.Features: provides an introduction to the building blocks of discrete mathematics, including sets ... Les mer

571,84 kr

This stimulating textbook presents a broad and accessible guide to the fundamentals of discrete mathematics, highlighting how the techniques may be applied to various exciting areas in computing. The text is designed to motivate and inspire the reader, encouraging further study in this important skill.Features: provides an introduction to the building blocks of discrete mathematics, including sets
... Les mer
Learn Digital and Microprocessor Techniques on your Smartphone

av Clive W. Humphris ...

An enhanced eBook published in full colour. Now including extensive interactive content enabling exploration by inserting any values that would occur in a real situation whereby the graphics are redrawn to reflect those changes.Calculations can be also tested against any standard subject textbook to compare the results.Interactive Technology when used in the classroom can motivate passive students ... Les mer

33,81 kr

An enhanced eBook published in full colour. Now including extensive interactive content enabling exploration by inserting any values that would occur in a real situation whereby the graphics are redrawn to reflect those changes.Calculations can be also tested against any standard subject textbook to compare the results.Interactive Technology when used in the classroom can motivate passive students
... Les mer
Model-Driven Engineering and Software Development

5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers

Redigert av Luís Ferreira Pires, Slimane Hammoudi, Bran Selic ...

Serie serien Springer Nature Proceedings Computer Science
This book constitutes thoroughly revised and selected papers from the 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, held in Porto, Portugal, in February 2017.The 20 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 91 submissions. They contribute to the development of highly relevant ... Les mer

539,46 kr

This book constitutes thoroughly revised and selected papers from the 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, held in Porto, Portugal, in February 2017.The 20 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 91 submissions. They contribute to the development of highly relevant
... Les mer
Numbers and Computers

av Ronald T. Kneusel ...

Serie serien Computer Science (R0)
This is a book about numbers and how those numbers are represented in and operated on by computers. It is crucial that developers understand this area because the numerical operations allowed by computers, and the limitations of those operations, especially in the area of floating point math, affect virtually everything people try to do with computers. This book aims to fill this gap by exploring, ... Les mer

647,38 kr

This is a book about numbers and how those numbers are represented in and operated on by computers. It is crucial that developers understand this area because the numerical operations allowed by computers, and the limitations of those operations, especially in the area of floating point math, affect virtually everything people try to do with computers. This book aims to fill this gap by exploring,
... Les mer
Let's Play with Excel

av Anurag Pandey ...

Let's Play with ExcelWhat can you really make Excel do with VBA?Excel is much more than a tool for entering data, making tables, and performing calculations. With VBA, logical thinking, and a little creativity, you can automate repetitive work, manipulate data, generate useful documents, solve programming problems, and explore possibilities that go beyond ordinary spreadsheet operations.Let's Play ... Les mer

36,96 kr eller gratis med Kobo Plus

Let's Play with ExcelWhat can you really make Excel do with VBA?Excel is much more than a tool for entering data, making tables, and performing calculations. With VBA, logical thinking, and a little creativity, you can automate repetitive work, manipulate data, generate useful documents, solve programming problems, and explore possibilities that go beyond ordinary spreadsheet operations.Let's Play
... Les mer
Tools and Algorithms for the Construction and Analysis of Systems

25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Redigert av Tomáš Vojnar, Lijun Zhang ...

Serie Bok 2 - Springer Nature Proceedings Computer Science
This book is Open Access under a CC BY licence.The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The total of ... Les mer

Gratis

This book is Open Access under a CC BY licence.The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The total of
... Les mer
Scientific Computing, Computer Arithmetic, and Validated Numerics

16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers

Redigert av Marco Nehmeier, Jürgen Wolff von Gudenberg, Warwick Tucker ...

Serie serien Springer Nature Proceedings Computer Science
This book constitutes the refereed post proceedings of the 16th International Symposium, SCAN 2014, held in Würzburg, Germany, in September 2014.The 22 full papers presented were carefully reviewed and selected from 60 submissions. The main concerns of research addressed by SCAN conferences are validation, verification or reliable assertions of numerical computations. Interval arithmetic and other ... Les mer

539,46 kr

This book constitutes the refereed post proceedings of the 16th International Symposium, SCAN 2014, held in Würzburg, Germany, in September 2014.The 22 full papers presented were carefully reviewed and selected from 60 submissions. The main concerns of research addressed by SCAN conferences are validation, verification or reliable assertions of numerical computations. Interval arithmetic and other
... Les mer
Stabilization, Safety, and Security of Distributed Systems

20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings

Redigert av Taisuke Izumi, Petr Kuznetsov ...

Serie serien Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2018, held in Tokyo, Japan, in November 2018.The 24 revised full papers presented were carefully reviewed and selected from 55 submissions. The papers are organized into three tracks reflecting major trends related to distributed systems: theoretical ... Les mer

539,46 kr

This book constitutes the refereed proceedings of the 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2018, held in Tokyo, Japan, in November 2018.The 24 revised full papers presented were carefully reviewed and selected from 55 submissions. The papers are organized into three tracks reflecting major trends related to distributed systems: theoretical
... Les mer
Dual Mode Logic

A New Paradigm for Digital IC Design

av Itamar Levi, Alexander Fish ...

Serie serien Engineering (R0)
This book presents Dual Mode Logic (DML), a new design paradigm for digital integrated circuits. DML logic gates can operate in two modes, each optimized for a different metric. Its on-the-fly switching between these operational modes at the gate, block and system levels provide maximal E-D optimization flexibility. Each highly detailed chapter has multiple illustrations showing how the DML ... Les mer

647,38 kr

This book presents Dual Mode Logic (DML), a new design paradigm for digital integrated circuits. DML logic gates can operate in two modes, each optimized for a different metric. Its on-the-fly switching between these operational modes at the gate, block and system levels provide maximal E-D optimization flexibility. Each highly detailed chapter has multiple illustrations showing how the DML
... Les mer
Supercomputing

6th Russian Supercomputing Days, RuSCDays 2020, Moscow, Russia, September 21–22, 2020, Revised Selected Papers

Redigert av Vladimir Voevodin, Sergey Sobolev ...

Serie serien Springer Nature Proceedings Computer Science
This book constitutes the refereed post-conference proceedings of the 6th Russian Supercomputing Days, RuSCDays 2020, held in Moscow, Russia, in September 2020.*The 51 revised full and 4 revised short papers presented were carefully reviewed and selected from 106 submissions. The papers are organized in the following topical sections: parallel algorithms; supercomputer simulation; HPC, BigData, AI ... Les mer

971,12 kr

This book constitutes the refereed post-conference proceedings of the 6th Russian Supercomputing Days, RuSCDays 2020, held in Moscow, Russia, in September 2020.*The 51 revised full and 4 revised short papers presented were carefully reviewed and selected from 106 submissions. The papers are organized in the following topical sections: parallel algorithms; supercomputer simulation; HPC, BigData, AI
... Les mer
Software Architecture

13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings

Redigert av Tomas Bures, Laurence Duchien, Paola Inverardi ...

Serie serien Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th European Conference on Software Architecture, ECSA 2019, held in Paris, France, in September 2019.In the Research Track, 11 full papers presented together with 4 short papers were carefully reviewed and selected from 63 submissions. They are organized in topical sections as follows: Services and Micro-services, Software Architecture in ... Les mer

615,00 kr

This book constitutes the refereed proceedings of the 13th European Conference on Software Architecture, ECSA 2019, held in Paris, France, in September 2019.In the Research Track, 11 full papers presented together with 4 short papers were carefully reviewed and selected from 63 submissions. They are organized in topical sections as follows: Services and Micro-services, Software Architecture in
... Les mer
The Little Typer

av Daniel P. Friedman, David Thrane Christiansen ...

An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.A program's type describes its behavior. Dependent types are a first-class part of a language, and are much more powerful than other kinds of types; using just one language for types and programs allows program descriptions to be as powerful as the programs they describe. The Little Typer explains ... Les mer

425,19 kr

An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.A program's type describes its behavior. Dependent types are a first-class part of a language, and are much more powerful than other kinds of types; using just one language for types and programs allows program descriptions to be as powerful as the programs they describe. The Little Typer explains
... Les mer
Logical Foundations of Computer Science

(In 2 volumes)Vol 1: Propositional LogicVol 2: Predicate Logic

av Peter A Fejer, Dan A Simovici ...

Logic is a foundational mathematical discipline for Computer Science. This unique compendium provides the main ideas and techniques originating from logic. It is divided into two volumes — propositional logic and predicate logic. The volume presents some of the most important concepts starting with a variety of logic formalisms — Hilbert/Frege systems, tableaux, sequents, and natural deduction in ... Les mer

3 334,49 kr

Logic is a foundational mathematical discipline for Computer Science. This unique compendium provides the main ideas and techniques originating from logic. It is divided into two volumes — propositional logic and predicate logic. The volume presents some of the most important concepts starting with a variety of logic formalisms — Hilbert/Frege systems, tableaux, sequents, and natural deduction in
... Les mer
Architectures and Circuits for Distributed Quantum Computing

av Daniele Cuomo ...

Serie serien Physics and Astronomy (R0)
This thesis treats networks providing quantum computation based on distributed paradigms. Compared to architectures relying on one processor, a network promises to be more scalable and less fault-prone. Developing a distributed system able to provide practical quantum computation comes with numerous challenges, each of which need to be faced with careful analysis in order to create a seamless ... Les mer

1 726,51 kr

This thesis treats networks providing quantum computation based on distributed paradigms. Compared to architectures relying on one processor, a network promises to be more scalable and less fault-prone. Developing a distributed system able to provide practical quantum computation comes with numerous challenges, each of which need to be faced with careful analysis in order to create a seamless
... Les mer
PIC® Micro Principles Teachers Pack V11

av Clive W. Humphris ...

An enhanced eBook published in full colour. Now including extensive interactive content enabling exploration by inserting any values that would occur in a real situation whereby the graphics are redrawn to reflect those changes.Calculations can be also tested against any standard subject textbook to compare the results.Interactive Technology when used in the classroom can motivate passive students ... Les mer

33,81 kr

An enhanced eBook published in full colour. Now including extensive interactive content enabling exploration by inserting any values that would occur in a real situation whereby the graphics are redrawn to reflect those changes.Calculations can be also tested against any standard subject textbook to compare the results.Interactive Technology when used in the classroom can motivate passive students
... Les mer
Introduction to Logic Circuits & Logic Design with VHDL

av Brock J. LaMeres ...

Serie serien Engineering (R0)
This textbook introduces readers to the fundamental hardware used in modern computers. The only pre-requisite is algebra, so it can be taken by college freshman or sophomore students or even used in Advanced Placement courses in high school. This book presents both the classical approach to digital system design (i.e., pen and paper) in addition to the modern hardware description language (HDL) ... Les mer

863,20 kr

This textbook introduces readers to the fundamental hardware used in modern computers. The only pre-requisite is algebra, so it can be taken by college freshman or sophomore students or even used in Advanced Placement courses in high school. This book presents both the classical approach to digital system design (i.e., pen and paper) in addition to the modern hardware description language (HDL)
... Les mer
Fundamentals of Electronic Systems Design

av Jens Lienig, Hans Bruemmer ...

Serie serien Engineering (R0)
This textbook covers the design of electronic systems from the ground up, from drawing and CAD essentials to recycling requirements. Chapter by chapter, it deals with the challenges any modern system designer faces: The design process and its fundamentals, such as technical drawings and CAD, electronic system levels, assembly and packaging issues and appliance protection classes, reliability ... Les mer

701,33 kr

This textbook covers the design of electronic systems from the ground up, from drawing and CAD essentials to recycling requirements. Chapter by chapter, it deals with the challenges any modern system designer faces: The design process and its fundamentals, such as technical drawings and CAD, electronic system levels, assembly and packaging issues and appliance protection classes, reliability
... Les mer
Reversible Computation

12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings

Redigert av Ivan Lanese, Mariusz Rawski ...

Serie serien Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held in Oslo, Norway, in July 2020. The 17 full papers included in this volume were carefully reviewed and selected from 22 submissions.The papers are organized in the following topical sections: theory and foundation; programming languages; circuit synthesis; evaluation of ... Les mer

539,46 kr

This book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held in Oslo, Norway, in July 2020. The 17 full papers included in this volume were carefully reviewed and selected from 22 submissions.The papers are organized in the following topical sections: theory and foundation; programming languages; circuit synthesis; evaluation of
... Les mer
FPGA EDA

Design Principles and Implementation

av Kaihui Tu, Xifan Tang, Cunxi Yu, Lana Josipović, Zhufei Chu ...

Serie serien Computer Science (R0)
This book focuses on FPGA EDA tools, the very foundation of FPGA technology. Instead of illustrating how to use them, this book dives into the tools themselves, revealing how these tools are being designed and how they may improve. Unlike other semiconductors, FPGA has a distinctive two-stage EDA system: chip design EDA and application design EDA.State-of-the-art algorithms, data models and design ... Les mer

593,42 kr

This book focuses on FPGA EDA tools, the very foundation of FPGA technology. Instead of illustrating how to use them, this book dives into the tools themselves, revealing how these tools are being designed and how they may improve. Unlike other semiconductors, FPGA has a distinctive two-stage EDA system: chip design EDA and application design EDA.State-of-the-art algorithms, data models and design
... Les mer
Graph-Theoretic Concepts in Computer Science

44th International Workshop, WG 2018, Cottbus, Germany, June 27–29, 2018, Proceedings

Redigert av Andreas Brandstädt, Ekkehard Köhler, Klaus Meer ...

Serie serien Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers of the 44th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2018, held in Cottbus, Germany, in June 2018.The 30 full papers presented in this volume were carefully reviewed and selected from 66 submissions. They cover a wide range of areas, aiming at connecting theory and applications by demonstrating how graph-theoretic ... Les mer

539,46 kr

This book constitutes the revised selected papers of the 44th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2018, held in Cottbus, Germany, in June 2018.The 30 full papers presented in this volume were carefully reviewed and selected from 66 submissions. They cover a wide range of areas, aiming at connecting theory and applications by demonstrating how graph-theoretic
... Les mer
Adiabatic Logic

Future Trend and System Level Perspective

av Philip Teichmann ...

Serie serien Engineering (R0)
Adiabatic logic is a potential successor for static CMOS circuit design when it comes to ultra-low-power energy consumption. Future development like the evolutionary shrinking of the minimum feature size as well as revolutionary novel transistor concepts will change the gate level savings gained by adiabatic logic. In addition, the impact of worsening degradation effects has to be considered in ... Les mer

971,12 kr

Adiabatic logic is a potential successor for static CMOS circuit design when it comes to ultra-low-power energy consumption. Future development like the evolutionary shrinking of the minimum feature size as well as revolutionary novel transistor concepts will change the gate level savings gained by adiabatic logic. In addition, the impact of worsening degradation effects has to be considered in
... Les mer
Job Scheduling Strategies for Parallel Processing

24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected Papers

Redigert av Dalibor Klusáček, Walfredo Cirne, Gonzalo P. Rodrigo ...

Serie serien Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2021, held as a virtual event in May 2021 (due to the Covid-19 pandemic).The 10 revised full papers presented were carefully reviewed and selected from 17 submissions. In addition to this, one keynote paper was included in the ... Les mer

701,33 kr

This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2021, held as a virtual event in May 2021 (due to the Covid-19 pandemic).The 10 revised full papers presented were carefully reviewed and selected from 17 submissions. In addition to this, one keynote paper was included in the
... Les mer
From Code to Chip

Open-Source Automated Analog Layout Design

av Jakob Ratschenberger, Harald Pretl ...

Serie serien Synthesis Collection of Technology (R0)
This book shows how the layout of an analog circuit can be automatically generated in a fully open-source way. Based on an exemplary design flow, it introduces and explains the necessary steps for transforming a SPICE netlist into a layout, which can be inspected by the open-source layout editor Magic VLSI. This is done by using the industry’s first open-source process design kit SKY130. ... Les mer

539,46 kr

This book shows how the layout of an analog circuit can be automatically generated in a fully open-source way. Based on an exemplary design flow, it introduces and explains the necessary steps for transforming a SPICE netlist into a layout, which can be inspected by the open-source layout editor Magic VLSI. This is done by using the industry’s first open-source process design kit SKY130.
... Les mer

Kobo Rakuten

Lesebrett

Apper

Tilbehør

Handlekurv

Du får VIP-behandlingen!

Handlekurven din er tom

Tilgjengelig:

1 lydbok hver måned

+ GRATIS prøveperiode på 30 dager

Tilgjengelig:

1 lydbok hver måned

+ GRATIS prøveperiode på 30 dager

Anbefalt for deg

Logisk design e-bøker

Fundamentals of Software Architecture

Guide to Discrete Mathematics

Learn Digital and Microprocessor Techniques on your Smartphone

Model-Driven Engineering and Software Development

Numbers and Computers

Let's Play with Excel

Tools and Algorithms for the Construction and Analysis of Systems

Scientific Computing, Computer Arithmetic, and Validated Numerics

Stabilization, Safety, and Security of Distributed Systems

Dual Mode Logic

Supercomputing

Software Architecture

The Little Typer

Logical Foundations of Computer Science

Architectures and Circuits for Distributed Quantum Computing

PIC® Micro Principles Teachers Pack V11

Introduction to Logic Circuits & Logic Design with VHDL

Fundamentals of Electronic Systems Design

Reversible Computation

FPGA EDA

Graph-Theoretic Concepts in Computer Science

Adiabatic Logic

Job Scheduling Strategies for Parallel Processing

From Code to Chip