Hardwarebücher - englischsprachig  (151 Angebote unter 17.388.139 Artikeln)

This book constitutes the refereed proceedings of the 28th Argentine Congress on Computer Science, CACIC 2022, held in La Rioja, Argentina, during October 3-6, 2022. The 20 full papers included in ...

These two volumes constitute the selected and revised papers presented at the Second International Conference on Communication, Networks and Computing, CNC 2022, held in Gwalior, India, in December...

Third International Conference, CNC 2022, Gwalior, India, December 8-10, 2022, Proceedings, Part II

It is now more than fifty years since the first paper on formal specifications of an information system was published by Young and Kent. Even if the term "conceptual model" was not used at that tim...

Heavy Tails: The Effect of the Service Discipline.- The Möbius State-Level Abstract Functional Interface.- The ProC/BToolset for the Modelling and Analysis of Process Chains.- MRMSolve: Distributio...

38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, Proceedings

Modernsoftwaresystemsincreasinglyusecommercial-o?-the-shelf(COTS)so- ware products as building blocks. In some cases, major software systems are assembled with virtually no custom code in the syste...

Invited Paper.- The Ten Most Powerful Principles for Quality in (Software and) Software Organizations for Dependable Systems.- Verification and Validation.- Empirical Assessment of Software On-Line...

DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings

This book constitutes the refereed proceedings of the 4th Multidisciplinary International Symposium on Disinformation in Open Online Media, MISDOOM 2022, held in October 2022.  The 7 full papers an...

This book constitutes the refereed post-conference proceedings of the International Conferences ICCASA and ICTCC 2019, held in November 2019 in My Tho, Vietnam. The 20 revised full papers presented...

In this concise yet comprehensive Open Access textbook, future inventors are introduced to the key concepts of Cyber-Physical Systems (CPS). Using modeling as a way to develop deeper understanding ...

Experimental Tools.- An Object Oriented Simulation of Real Occurring Molecular Biological Processes for DNA Computing and Its Experimental Verification.- Towards Optimization of PCR Protocol in DNA...

7th EAI International Conference, DLI 2022, Faro, Portugal, November 21-22, 2022, Proceedings

This book constitutes the refereed proceedings of the Second European Dependable Computing Conference, EDCC-2, held in Taormina, Italy, in October 1996. The book presents 26 revised full papers sel...