Formal Models of Operating System Kernels

Mã QR

Formal Models of Operating System Kernels

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Craig, Iain D.
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer London 2020
Những chủ đề:	Computer Science Computer System Implementation Operating Systems
Truy cập trực tuyến:	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82970
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Những quyển sách tương tự

Domain Modeling and the Duration Calculus
Bỡi: George, Chris, et al.
Được phát hành: (2020)

Model Driven Architecture - Foundations and Applications
Bỡi: Schieferdecker, Ina, et al.
Được phát hành: (2020)

Embedded Computer Systems: Architectures, Modeling, and Simulation
Được phát hành: (2020)

Oracle WebLogic Server 12c Administration I Exam 1Z0-133. 1st ed.
Bỡi: Garnica, Gustavo
Được phát hành: (2020)

Embedded Computer Systems: Architectures, Modeling, and Simulation
Bỡi: Berekovic, Mladen, et al.
Được phát hành: (2020)

Modern operating systems
Bỡi: Andrew S. Tanenbaum
Được phát hành: (2001)

High Performance Computing Systems
Bỡi: Bianchini, Calebe, et al.
Được phát hành: (2020)

Embedded Operating Systems
Bỡi: Holt, Alan, et al.
Được phát hành: (2020)

High Performance Computing for Computational Science - VECPAR 2006
Bỡi: Daydé, Michel, et al.
Được phát hành: (2020)

Operating systems
Bỡi: Stallings, William
Được phát hành: (2015)

Operating systems /
Bỡi: Đặng Văn Đức.
Được phát hành: (1999)

Modelling Distributed Systems
Bỡi: Fokkink, Wan
Được phát hành: (2020)

Operating systems
Bỡi: Gary J. Nutt
Được phát hành: (1997)

Operating systems
Bỡi: William Stallings
Được phát hành: (1995)

Operating systems :
Bỡi: Tanenbaum, Andrew S.
Được phát hành: (1987)

Operating systems
Bỡi: Godbole, Achyut S.
Được phát hành: (2004)

Operating systems /
Bỡi: Nutt, Gary J.
Được phát hành: (2004)

Operating systems /
Bỡi: Nutt, Gary J.
Được phát hành: (2004)

Operating systems : design and implementation /
Bỡi: Tanenbaum, Andrew S., 1944-
Được phát hành: (1987)

An introduction to operating systems /
Bỡi: Deitel, Harvey M.
Được phát hành: (1983)

Linux kernel programming : algorithms and structures of version 2.4 /
Được phát hành: (2002)

Introduction to operating systems :
Bỡi: English, John
Được phát hành: (2005)

Understanding operating systems
Bỡi: Flynn, Ida M.
Được phát hành: (2006)

Operating system principles /
Bỡi: Silberschatz, Abraham.
Được phát hành: (2006)

Operating system concepts /
Bỡi: Silberschatz, Abraham.
Được phát hành: (2002)

Operating system concepts /
Bỡi: Silberschatz, Abraham.
Được phát hành: (2002)

An introduction to operating systems /
Bỡi: Deitel, Harvey M., 1945-
Được phát hành: (1989)

Modern operating systems /
Bỡi: Tanenbaum, Andrew S., 1944-
Được phát hành: (2001)

Scalable Information Systems
Được phát hành: (2020)

Coordination Models and Languages
Bỡi: Lea, Doug, et al.
Được phát hành: (2020)

Formal Techniques for Distributed Objects, Components, and Systems
Bỡi: Baier, Christel, et al.
Được phát hành: (2020)

Model Driven Architecture
Bỡi: Aßmann, Uwe, et al.
Được phát hành: (2020)

Achievements in European Research on Grid Systems
Bỡi: Gorlatch, Sergei, et al.
Được phát hành: (2020)

Formal Methods for Components and Objects
Được phát hành: (2020)

Model Driven Architecture - Foundations and Applications
Bỡi: Akehurst, David, et al.
Được phát hành: (2020)

Model Driven Architecture - Foundations and Applications
Bỡi: Hartman, Alan, et al.
Được phát hành: (2020)

Measurement, Modelling and Evaluation of Computing Systems
Bỡi: Hermanns, Holger
Được phát hành: (2020)

A+ guide to PC operating systems
Bỡi: Michael W. Graves
Được phát hành: (2005)

Interrupt Handling Schemes in Operating Systems
Bỡi: Mejia-Alvarez, Pedro, et al.
Được phát hành: (2020)

Architecting Dependable Systems IV
Bỡi: Lemos, Rogério de, et al.
Được phát hành: (2020)