System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering

Mã QR

System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Khendek, Ferhat, Gotzhein, Reinhard
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer International Publishing 2020
Những chủ đề:	Computer Science Software Engineering Computer Hardware
Truy cập trực tuyến:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/87518
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ự

Applied Reconfigurable Computing. Architectures, Tools, and Applications
Bỡi: Voros, Nikolaos, et al.
Được phát hành: (2020)

Model Driven Engineering Languages and Systems
Bỡi: Briand, Lionel, et al.
Được phát hành: (2020)

Thread and Data Mapping for Multicore Systems
Bỡi: Cruz, Eduardo H. M., et al.
Được phát hành: (2020)

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

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

Model Driven Engineering Languages and Systems
Được phát hành: (2020)

Software Quality: Methods and Tools for Better Software and Systems
Bỡi: Winkler, Dietmar, et al.
Được phát hành: (2020)

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

SystemC Kernel Extensions for Heterogeneous System Modeling
Bỡi: Patel, Hiren, et al.
Được phát hành: (2020)

Model Driven Engineering Languages and Systems
Được phát hành: (2020)

Tools and Methods of Program Analysis
Bỡi: Itsykson, Vladimir, et al.
Được phát hành: (2020)

Conceptual Modelling in Information Systems Engineering
Bỡi: Krogstie, John, et al.
Được phát hành: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
Được phát hành: (2020)

Model Driven Engineering Languages and Systems
Bỡi: Engels, Gregor, et al.
Được phát hành: (2020)

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Bỡi: Fantechi, Alessandro, et al.
Được phát hành: (2020)

Methods, Models and Tools for Fault Tolerance
Được phát hành: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
Được phát hành: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
Bỡi: Grumberg, Orna, et al.
Được phát hành: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
Bỡi: Beyer, Dirk, et al.
Được phát hành: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
Bỡi: Beyer, Dirk, et al.
Được phát hành: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
Bỡi: Ramakrishnan, C.R., et al.
Được phát hành: (2020)

Models, Algorithms, Logics and Tools
Bỡi: Aceto, Luca, et al.
Được phát hành: (2020)

Formal Modeling and Analysis of Timed Systems
Bỡi: Raskin, Jean-Francois, et al.
Được phát hành: (2020)

Formal Modeling and Analysis of Timed Systems
Bỡi: Pettersson, Paul, et al.
Được phát hành: (2020)

Reconfigurable Computing: Architectures, Tools, and Applications
Bỡi: Woods, Roger, et al.
Được phát hành: (2020)

Reconfigurable Computing: Architectures, Tools and Applications
Bỡi: Diniz, Pedro C., et al.
Được phát hành: (2020)

Analysis and Design of Information Systems
Bỡi: Langer, Arthur M.
Được phát hành: (2020)

Formal Modeling and Analysis of Timed Systems
Bỡi: Abate, Alessandro, et al.
Được phát hành: (2020)

Formal Methods for Industrial Critical Systems
Bỡi: Leue, Stefan, et al.
Được phát hành: (2020)

Robot Operating System (ROS) for Absolute Beginners
Bỡi: Joseph, Lentin
Được phát hành: (2020)

Measurement, Modelling and Evaluation of Computing Systems
Bỡi: German, Reinhard, et al.
Được phát hành: (2020)

Reconfigurable Computing: Architectures, Tools and Applications
Được phát hành: (2020)

Fundamentals of Secure System Modelling
Bỡi: Matulevičius, Raimundas
Được phát hành: (2020)

Computational Methods in Systems Biology
Bỡi: Češka, Milan, et al.
Được phát hành: (2020)

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

Languages, Methodologies and Development Tools for Multi-Agent Systems
Bỡi: Dastani, Mehdi, et al.
Được phát hành: (2020)

Engineering Self-Organising Systems
Được phát hành: (2020)

Agent Based Modelling of Urban Systems
Bỡi: Namazi-Rad, Mohammad-Reza, et al.
Được phát hành: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
Bỡi: Vojnar, Tomáš, et al.
Được phát hành: (2020)

Formal Methods for Computational Systems Biology
Bỡi: Bernardo, Marco, et al.
Được phát hành: (2020)