Browse

Author Profile

Browsing by Subject hệ thống mạng

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 2 of 2
  • OER000001013-1.pdf.jpg
  • Book

  • Computer Aided Verification. Part I

    • Authors : Lahiri, Shuvendu K. (2020)

  • AI Verification NNV: The Neural Network Verification Tool, Verification of Deep Convolutional Neural Networks Using ImageStars. An Abstraction-Based Framework for Neural Network Verification. Blockchain and Security The Move Prover, End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract. Concurrency Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems Refinement for Structured Concurrent Programs. Hardware Verification and Decis...
  • OER000001270.pdf.jpg
  • Book

  • Networks of Modernity: Germany in the Age of the Telegraph, 1830–1880

    • Authors : Johnston, Jean-Michel (2021)

  • This book is structured chronologically and divided into two parts. After the Prologue, the first three chapters explore the ‘landscape of innovation’ across which the idea of telegraphy was discussed, applied, and developed into a useable technology, between 1830 and 1849. Chapter 1 traces the expectations which scientists, intellectuals, bureaucrats, and entrepreneurs placed in the possibility of instantaneous, long-distance communication. Chapter 2 highlights the ne...