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

- Ubegrenset tilgang til e-bøker
  
  Ubegrenset tilgang til lydbøker
  
  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
  
  Ubegrenset tilgang til e-bøker
  
  Ubegrenset tilgang til lydbøker
  
  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

Ubegrenset tilgang til e-bøker

Ubegrenset tilgang til lydbøker

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

Ubegrenset tilgang til e-bøker

Ubegrenset tilgang til lydbøker

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

547,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
Applied Computer Sciences in Engineering

6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings

Redigert av Juan Carlos Figueroa-García, Mario Duarte-González, Sebastián Jaramillo-Isaza, Alvaro David Orjuela-Cañon, Yesid Díaz-Gutierrez ...

Serie serien Springer Nature Proceedings Computer Science
This volume constitutes the refereed proceedings of the 6th Workshop on Engineering Applications, WEA 2019, held in Santa Marta, Colombia, in October 2019.The 62 revised full papers and 2 short papers presented in this volume were carefully reviewed and selected from 178 submissions. The papers are organized in the following topical sections: computer science; computational intelligence; ... Les mer

1 012,44 kr

This volume constitutes the refereed proceedings of the 6th Workshop on Engineering Applications, WEA 2019, held in Santa Marta, Colombia, in October 2019.The 62 revised full papers and 2 short papers presented in this volume were carefully reviewed and selected from 178 submissions. The papers are organized in the following topical sections: computer science; computational intelligence;
... Les mer
Time & Logic

A Computational Approach

Redigert av Leonard Bolc, Andrzej Szałas ...

Serie serien Routledge Revivals
Originally published in 1995 Time and Logic examines understanding and application of temporal logic, presented in computational terms. The emphasis in the book is on presenting a broad range of approaches to computational applications. The techniques used will also be applicable in many cases to formalisms beyond temporal logic alone, and it is hoped that adaptation to many different logics of ... Les mer

501,74 kr

Originally published in 1995 Time and Logic examines understanding and application of temporal logic, presented in computational terms. The emphasis in the book is on presenting a broad range of approaches to computational applications. The techniques used will also be applicable in many cases to formalisms beyond temporal logic alone, and it is hoped that adaptation to many different logics of
... Les mer
Reversible Computation

14th International Conference, RC 2022, Urbino, Italy, July 5–6, 2022, Proceedings

Redigert av Claudio Antares Mezzina, Krzysztof Podlaski ...

Serie serien Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 14th International Conference on Reversible Computation, RC 2022, which was held in Urbino, Italy, during July 5-6, 2021.The 10 full papers and 6 short papers included in this book were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: Reversible and Quantum Circuits; Applications of quantum ... Les mer

731,18 kr

This book constitutes the refereed proceedings of the 14th International Conference on Reversible Computation, RC 2022, which was held in Urbino, Italy, during July 5-6, 2021.The 10 full papers and 6 short papers included in this book were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: Reversible and Quantum Circuits; Applications of quantum
... Les mer
Calidad de Sistemas de Información (5ª edición ampliada y actualizada)

av Mario G. Piattini, Félix Óscar García ...

En la actualidad todas las organizaciones son ?empresas de software?, ya que la calidad de sus sistemas de información se ha convertido en uno de sus principales objetivos estratégicos._x000D_ De hecho, el software forma parte de nuestras vidas. Barjne Stroustrup señala que: ?our civilization runs on software?, la misma idea que transmite Marc Andreessen cuando advierte que ?software is eating the ... Les mer

116,19 kr eller gratis med Kobo Plus

En la actualidad todas las organizaciones son ?empresas de software?, ya que la calidad de sus sistemas de información se ha convertido en uno de sus principales objetivos estratégicos._x000D_ De hecho, el software forma parte de nuestras vidas. Barjne Stroustrup señala que: ?our civilization runs on software?, la misma idea que transmite Marc Andreessen cuando advierte que ?software is eating the
... Les mer
Larisa Maksimova on Implication, Interpolation, and Definability

Redigert av Sergei Odintsov ...

Serie serien Philosophy and Religion (R0)
This edited volume focuses on the work of Professor Larisa Maksimova, providing a comprehensive account of her outstanding contributions to different branches of non-classical logic. The book covers themes ranging from rigorous implication, relevance and algebraic logic, to interpolation, definability and recognizability in superintuitionistic and modal logics. It features both her scientific ... Les mer

562,42 kr

This edited volume focuses on the work of Professor Larisa Maksimova, providing a comprehensive account of her outstanding contributions to different branches of non-classical logic. The book covers themes ranging from rigorous implication, relevance and algebraic logic, to interpolation, definability and recognizability in superintuitionistic and modal logics. It features both her scientific
... Les mer
Applying Math with Python

Practical recipes for solving computational math problems using Python programming and its libraries

av Sam Morley ...

Discover easy-to-follow solutions and techniques to help you to implement applied mathematical concepts such as probability, calculus, and equations using Python\\'s numeric and scientific librariesKey FeaturesCompute complex mathematical problems using programming logic with the help of step-by-step recipesLearn how to utilize Python's libraries for computation, mathematical modeling, and ... Les mer

288,99 kr eller gratis med Kobo Plus

Discover easy-to-follow solutions and techniques to help you to implement applied mathematical concepts such as probability, calculus, and equations using Python\\'s numeric and scientific librariesKey FeaturesCompute complex mathematical problems using programming logic with the help of step-by-step recipesLearn how to utilize Python's libraries for computation, mathematical modeling, and
... Les mer
Quaternions for Computer Graphics

av John Vince ...

Serie serien Computer Science (R0)
Sir William Rowan Hamilton was a genius, and will be remembered for his significant contributions to physics and mathematics. The Hamiltonian, which is used in quantum physics to describe the total energy of a system, would have been a major achievement for anyone, but Hamilton also invented quaternions, which paved the way for modern vector analysis.Quaternions are one of the most documented ... Les mer

731,18 kr

Sir William Rowan Hamilton was a genius, and will be remembered for his significant contributions to physics and mathematics. The Hamiltonian, which is used in quantum physics to describe the total energy of a system, would have been a major achievement for anyone, but Hamilton also invented quaternions, which paved the way for modern vector analysis.Quaternions are one of the most documented
... 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

1 012,44 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
Azure Ascension: From Cloud Novice to Enterprise Architect

av Scott Markham ...

Azure Ascension: From Cloud Novice to Enterprise Architect is your all-access boarding pass to the cloud kingdom—minus the turbulence, tech jargon headaches, and endless Googling. Whether you're still wondering if "Azure" is a color or a service, or you're already juggling virtual machines like flaming swords, this book lifts you from clueless to cloud-conquering with wit, clarity, and just enough ... Les mer

75,65 kr eller gratis med Kobo Plus

Azure Ascension: From Cloud Novice to Enterprise Architect is your all-access boarding pass to the cloud kingdom—minus the turbulence, tech jargon headaches, and endless Googling. Whether you're still wondering if "Azure" is a color or a service, or you're already juggling virtual machines like flaming swords, this book lifts you from clueless to cloud-conquering with wit, clarity, and just enough
... Les mer
Calidad de Sistemas de Información (4ª edición ampliada y actualizada)

av Mario G. Piattini ...

En la actualidad, todas las organizaciones son en alguna manera “empresas de software”, ya que la calidad de sus sistemas de información se ha convertido en uno de sus principales objetivos estratégicos y, más que nunca, su propia supervivencia depende de la calidad de los productos y servicios informáticos._x000D_ La industria del software tiene casi setenta años y en este período ha realizado ... Les mer

116,19 kr eller gratis med Kobo Plus

En la actualidad, todas las organizaciones son en alguna manera “empresas de software”, ya que la calidad de sus sistemas de información se ha convertido en uno de sus principales objetivos estratégicos y, más que nunca, su propia supervivencia depende de la calidad de los productos y servicios informáticos._x000D_ La industria del software tiene casi setenta años y en este período ha realizado
... Les mer
Logic and Language Models for Computer Science

av Dana Richards, Henry Hamburger ...

This unique compendium highlights the theory of computation, particularly logic and automata theory. Special emphasis is on computer science applications including loop invariants, program correctness, logic programming and algorithmic proof techniques.This innovative volume differs from standard textbooks, by building on concepts in a different order, using fewer theorems with simpler proofs. It ... Les mer

445,03 kr

This unique compendium highlights the theory of computation, particularly logic and automata theory. Special emphasis is on computer science applications including loop invariants, program correctness, logic programming and algorithmic proof techniques.This innovative volume differs from standard textbooks, by building on concepts in a different order, using fewer theorems with simpler proofs. It
... Les mer
NLTK应用开发指南

Chinese Edition

av Posts & Telecom Press, Nitin K Hardeniya ...

NLTK和Python库构建机器学习应用Key Features通过NLTK库与一些Python库的结合来实现复杂的NLP任务和机器学习应用探讨一些与数据科学相关的任务，通过这些任务来学习如何从零开始构建自定义的标识器和解析器深度探索NLP领域的基本概念，为各种开源的Python工具和库提供具有实践意义的见解Book Description自然语言处理（NLP）属于人工智能与计算机语言学的交叉领域，处理的是计算机与人类语言之间的交互问题。随着人机交互需求的日益增长，计算机具备处理当前主要自然语言的能力已经成为了一个必然趋势。NLTK正是这一领域中一个强大而稳健的工具包。在这本书中，我们首先会介绍一些与NLP相关的知识。然后，我们会探讨一些与数据科学相关的任务，通过这些任务来学习如何从零开始构建自定义的标识器和解析器。在此过程中，我们将会深度探索NLP领域的基本概念 ... Les mer

211,99 kr eller gratis med Kobo Plus

NLTK和Python库构建机器学习应用Key Features通过NLTK库与一些Python库的结合来实现复杂的NLP任务和机器学习应用探讨一些与数据科学相关的任务，通过这些任务来学习如何从零开始构建自定义的标识器和解析器深度探索NLP领域的基本概念，为各种开源的Python工具和库提供具有实践意义的见解Book Description自然语言处理（NLP）属于人工智能与计算机语言学的交叉领域，处理的是计算机与人类语言之间的交互问题。随着人机交互需求的日益增长，计算机具备处理当前主要自然语言的能力已经成为了一个必然趋势。NLTK正是这一领域中一个强大而稳健的工具包。在这本书中，我们首先会介绍一些与NLP相关的知识。然后，我们会探讨一些与数据科学相关的任务，通过这些任务来学习如何从零开始构建自定义的标识器和解析器。在此过程中，我们将会深度探索NLP领域的基本概念
... Les mer
Logical Foundations of Computer Science

International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

Redigert av Sergei Artemov, Anil Nerode ...

Serie serien Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield Beach, FL, USA, in January 2018.The 22 revised full papers were carefully reviewed and selected from 22 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, ... Les mer

562,42 kr

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield Beach, FL, USA, in January 2018.The 22 revised full papers were carefully reviewed and selected from 22 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata,
... Les mer
Quick Start Guide to VHDL

av Brock J. LaMeres ...

Serie serien Engineering (R0)
This textbook provides a starter’s guide to VHDL. This book can be used in conjunction with a one-semester course in Digital Systems Design or on its own for designers who only need an introduction to the language. This book is designed to provide a bottoms-up approach to learning the VHDL language. This design supports a course in which foundational knowledge is covered before moving into ... Les mer

787,43 kr

This textbook provides a starter’s guide to VHDL. This book can be used in conjunction with a one-semester course in Digital Systems Design or on its own for designers who only need an introduction to the language. This book is designed to provide a bottoms-up approach to learning the VHDL language. This design supports a course in which foundational knowledge is covered before moving into
... Les mer
Start Programming, Simulating HMI and PLC in Your Laptop: A No Bs, No Fluff, HMI and PLC Programming & Simulating Volume 2

Volume, #2

av Michael Blake, Farouk Idris ...

Serie Bok 2 - Volume
Learning to code controllers, PLCs & HMIs?Get the PLC-HMI programming skills they did not teach you back in the day... Skills Michael and I learned over a decade of working in the field of Automation. Whether you have just graduated or are a technician, a hobbyist, a total beginner, or a new programmer. If you are ready to take it to the next level, this is your next step in PLC-HMI programmer ... Les mer

56,53 kr eller gratis med Kobo Plus

Learning to code controllers, PLCs & HMIs?Get the PLC-HMI programming skills they did not teach you back in the day... Skills Michael and I learned over a decade of working in the field of Automation. Whether you have just graduated or are a technician, a hobbyist, a total beginner, or a new programmer. If you are ready to take it to the next level, this is your next step in PLC-HMI programmer
... Les mer
Computational Science and Its Applications – ICCSA 2019

19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part III

Redigert av Sanjay Misra, Osvaldo Gervasi, Beniamino Murgante, Elena Stankova, Vladimir Korkhov, Carmelo Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino ...

Serie Bok 3 - Springer Nature Proceedings Computer Science
The six volumes LNCS 11619-11624 constitute the refereed proceedings of the 19th International Conference on Computational Science and Its Applications, ICCSA 2019, held in Saint Petersburg, Russia, in July 2019.The 64 full papers, 10 short papers and 259 workshop papers presented were carefully reviewed and selected form numerous submissions. The 64 full papers are organized in the following five ... Les mer

562,42 kr

The six volumes LNCS 11619-11624 constitute the refereed proceedings of the 19th International Conference on Computational Science and Its Applications, ICCSA 2019, held in Saint Petersburg, Russia, in July 2019.The 64 full papers, 10 short papers and 259 workshop papers presented were carefully reviewed and selected form numerous submissions. The 64 full papers are organized in the following five
... Les mer
Multiple-Valued Logic Design

an Introduction

av G Epstein ...

Multiple-Valued Logic Design: An Introduction explains the theory and applications of this increasingly important subject. Written in a clear and understandable style, the author develops the material in a skillful way. Without using a huge mathematical apparatus, he introduces the subject in a general form that includes the well-known binary logic as a special case. The book is further enhanced ... Les mer

5 040,45 kr

Multiple-Valued Logic Design: An Introduction explains the theory and applications of this increasingly important subject. Written in a clear and understandable style, the author develops the material in a skillful way. Without using a huge mathematical apparatus, he introduces the subject in a general form that includes the well-known binary logic as a special case. The book is further enhanced
... Les mer
Problem Solving In Operation Management

Redigert av Patricia Esperanza Balderas-Cañas, Gabriel De Las Nieves Sánchez-Guerrero ...

Serie serien Engineering (R0)
This volume examines problem solving and applied systems aimed at improving performance and management of organizations. The book’s eight chapters are integrated into two parts: methodologies and techniques that discuss complex dynamic analysis of the organizations, participative processes for building trend scenarios, consultancy as a systemic intervention process, processes to promote innovative ... Les mer

1 012,44 kr

This volume examines problem solving and applied systems aimed at improving performance and management of organizations. The book’s eight chapters are integrated into two parts: methodologies and techniques that discuss complex dynamic analysis of the organizations, participative processes for building trend scenarios, consultancy as a systemic intervention process, processes to promote innovative
... Les mer
Advanced Artificial Intelligence (Second Edition)

av Zhongzhi Shi ...

Serie Bok 4 - Series On Intelligence Science
The joint breakthrough of big data, cloud computing and deep learning has made artificial intelligence (AI) the new focus in the international arena. AI is a branch of computer science, developing intelligent machine with imitating, extending and augmenting human intelligence through artificial means and techniques to realize intelligent behaviour.This comprehensive compendium, consisting of 15 ... Les mer

1 344,55 kr

The joint breakthrough of big data, cloud computing and deep learning has made artificial intelligence (AI) the new focus in the international arena. AI is a branch of computer science, developing intelligent machine with imitating, extending and augmenting human intelligence through artificial means and techniques to realize intelligent behaviour.This comprehensive compendium, consisting of 15
... Les mer
Applied Satisfiability

Cryptography, Scheduling, and Coalitional Games

av Xiaojuan Liao, Miyuki Koshimura ...

Apply satisfiability to a range of difficult problemsThe Boolean Satisfiability Problem (SAT) is one of the most famous and widely-studied problems in Boolean logic. Optimization versions of this problem include the Maximum Satisfiability Problem (MaxSAT) and its extensions, such as partial MaxSAT and weighted MaxSAT, which assess whether, and to what extent, a solution satisfies a given set of ... Les mer

1 198,89 kr

Apply satisfiability to a range of difficult problemsThe Boolean Satisfiability Problem (SAT) is one of the most famous and widely-studied problems in Boolean logic. Optimization versions of this problem include the Maximum Satisfiability Problem (MaxSAT) and its extensions, such as partial MaxSAT and weighted MaxSAT, which assess whether, and to what extent, a solution satisfies a given set of
... Les mer
High Performance Integer Arithmetic Circuit Design on FPGA

Architecture, Implementation and Design Automation

av Ayan Palchaudhuri, Rajat Subhra Chakraborty ...

Serie serien Engineering (R0)
This book describes the optimized implementations of several arithmetic datapath, controlpath and pseudorandom sequence generator circuits for realization of high performance arithmetic circuits targeted towards a specific family of the high-end Field Programmable Gate Arrays (FPGAs). It explores regular, modular, cascadable and bit-sliced architectures of these circuits, by directly instantiating ... Les mer

1 012,44 kr

This book describes the optimized implementations of several arithmetic datapath, controlpath and pseudorandom sequence generator circuits for realization of high performance arithmetic circuits targeted towards a specific family of the high-end Field Programmable Gate Arrays (FPGAs). It explores regular, modular, cascadable and bit-sliced architectures of these circuits, by directly instantiating
... Les mer
Harnessing Performance Variability in Embedded and High-performance Many/Multi-core Platforms

A Cross-layer Approach

Redigert av William Fornaciari, Dimitrios Soudris ...

Serie serien Engineering (R0)
This book describes the state-of-the art of industrial and academic research in the architectural design of heterogeneous, multi/many-core processors. The authors describe methods and tools to enable next-generation embedded and high-performance heterogeneous processors to confront cost-effectively the inevitable variations by providing Dependable-Performance: correct functionality and timing ... Les mer

1 012,44 kr

This book describes the state-of-the art of industrial and academic research in the architectural design of heterogeneous, multi/many-core processors. The authors describe methods and tools to enable next-generation embedded and high-performance heterogeneous processors to confront cost-effectively the inevitable variations by providing Dependable-Performance: correct functionality and timing
... Les mer
Algorithmic Aspects of Cloud Computing

4th International Symposium, ALGOCLOUD 2018, Helsinki, Finland, August 20–21, 2018, Revised Selected Papers

Redigert av Yann Disser, Vassilios S. Verykios ...

Serie serien Springer Nature Proceedings Computer Science
This book constitutes the refereed post-conference proceedings of the 4th International Symposium on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2018, held in Helsinki, Finland, in August 2018.The 11 revised full papers were carefully reviewed and selected from 29 submissions. The aim of the symposium is to present research activities and results on topics related to algorithmic, design, and ... Les mer

562,42 kr

This book constitutes the refereed post-conference proceedings of the 4th International Symposium on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2018, held in Helsinki, Finland, in August 2018.The 11 revised full papers were carefully reviewed and selected from 29 submissions. The aim of the symposium is to present research activities and results on topics related to algorithmic, design, and
... 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

Applied Computer Sciences in Engineering

Time & Logic

Reversible Computation

Calidad de Sistemas de Información (5ª edición ampliada y actualizada)

Larisa Maksimova on Implication, Interpolation, and Definability

Applying Math with Python

Quaternions for Computer Graphics

Adiabatic Logic

Azure Ascension: From Cloud Novice to Enterprise Architect

Calidad de Sistemas de Información (4ª edición ampliada y actualizada)

Logic and Language Models for Computer Science

NLTK应用开发指南

Logical Foundations of Computer Science

Quick Start Guide to VHDL

Start Programming, Simulating HMI and PLC in Your Laptop: A No Bs, No Fluff, HMI and PLC Programming & Simulating Volume 2

Computational Science and Its Applications – ICCSA 2019

Multiple-Valued Logic Design

Problem Solving In Operation Management

Advanced Artificial Intelligence (Second Edition)

Applied Satisfiability

High Performance Integer Arithmetic Circuit Design on FPGA

Harnessing Performance Variability in Embedded and High-performance Many/Multi-core Platforms

Algorithmic Aspects of Cloud Computing