Dynamic Logic. New Trends and Applications

QR Code (код быстрого отклика)

Dynamic Logic. New Trends and Applications

Сохранить в:

Библиографические подробности
Главные авторы:	Barbosa, Luís Soares, Baltag, Alexandru
Формат:	‌
Язык:	English
Опубликовано:	Springer International Publishing 2020
Предметы:	Computer Science Logics and Meanings of Programs Special Purpose and Application-Based Systems Computer System Implementation
Online-ссылка:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/89863
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

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

Схожие документы

Computer Safety, Reliability, and Security
по: Gallina, Barbara, et al.
Опубликовано: (2020)

Grid and Distributed Computing
Опубликовано: (2020)

Constructive Side-Channel Analysis and Secure Design
по: Fan, Junfeng, et al.
Опубликовано: (2020)

Parallel Computational Technologies
по: Sokolinsky, Leonid, et al.
Опубликовано: (2020)

Perspectives of System Informatics
по: Bjørner, Nikolaj, et al.
Опубликовано: (2020)

Future and Emerging Trends in Language Technology. Machine Learning and Big Data
по: Quesada, José F, et al.
Опубликовано: (2020)

Trends in Enterprise Application Architecture
по: Draheim, Dirk, et al.
Опубликовано: (2020)

Intelligent Computing, Networked Control, and Their Engineering Applications
Опубликовано: (2020)

Applications of Evolutionary Computation. 1st ed. 2017
по: Squillero, Giovanni, et al.
Опубликовано: (2020)

Cyber Physical Systems. Model-Based Design
по: Chamberlain, Roger, et al.
Опубликовано: (2020)

Dynamic System Reconfiguration in Heterogeneous Platforms
по: Voros, Nikolaos, et al.
Опубликовано: (2020)

API Management. 1st ed.
по: De, Brajesh
Опубликовано: (2020)

Smart Objects and Technologies for Social Good
по: Guidi, Barbara, et al.
Опубликовано: (2020)

Smart Energy Research. At the Crossroads of Engineering, Economics, and Computer Science
по: Derksen, Christian, et al.
Опубликовано: (2020)

Advances in Practical Applications of Cyber-Physical Multi-Agent Systems: The PAAMS Collection
по: Demazeau, Yves, et al.
Опубликовано: (2020)

End-User Development
по: Barbosa, Simone, et al.
Опубликовано: (2020)

Recent Trends and Future Technology in Applied Intelligence
по: Mouhoub, Malek, et al.
Опубликовано: (2020)

5G for Future Wireless Networks
по: Long, Keping, et al.
Опубликовано: (2020)

Electronics System Design Techniques for Safety Critical Applications
по: Sterpone, Luca
Опубликовано: (2020)

Intelligent Robotics and Applications
по: Chen, Zhiyong, et al.
Опубликовано: (2020)

Hybrid Systems: Computation and Control
Опубликовано: (2020)

Dependable Computing
по: Maziero, Carlos Alberto, et al.
Опубликовано: (2020)

Hybrid Systems: Computation and Control
по: Bemporad, Alberto, et al.
Опубликовано: (2020)

Hybrid Systems: Computation and Control
по: Egerstedt, Magnus, et al.
Опубликовано: (2020)

Language and Automata Theory and Applications
по: Leporati, Alberto, et al.
Опубликовано: (2020)

Embedded Systems Specification and Design Languages
по: Villar, Eugenio
Опубликовано: (2020)

Understanding Modern Dive Computers and Operation
по: Wienke, B. R., et al.
Опубликовано: (2020)

Information Processing and Security Systems
Опубликовано: (2020)

Unleash the System On Chip using FPGAs and Handel C
по: Kamat, Rajanish K., et al.
Опубликовано: (2020)

Retargetable Processor System Integration into Multi-Processor System-on-Chip Platforms
по: Wieferink, Andreas, et al.
Опубликовано: (2020)

Applications of Evolutionary Computation
по: Squillero, Giovanni, et al.
Опубликовано: (2020)

Dependable Computing - EDCC 2005
Опубликовано: (2020)

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Опубликовано: (2020)

E-Business@Print
по: König, Anne
Опубликовано: (2020)

Learning and Intelligent Optimization: Designing, Implementing and Analyzing Effective Heuristics
Опубликовано: (2020)

JDF
по: Kühn, Wolfgang, et al.
Опубликовано: (2020)

Multi-Agent Systems and Agreement Technologies
по: Belardinelli, Francesco, et al.
Опубликовано: (2020)

Robotic Grasping and Manipulation
по: Sun, Yu, et al.
Опубликовано: (2020)

Smart STEM-Driven Computer Science Education
по: Štuikys, Vytautas, et al.
Опубликовано: (2020)

Advanced Computational Methods in Energy, Power, Electric Vehicles, and Their Integration
Опубликовано: (2020)