Dynamic Logic. New Trends and Applications

QRコード

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
オンライン･アクセス:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/89863
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

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

類似資料

Computer Safety, Reliability, and Security
著者:: Gallina, Barbara, 等
出版事項: (2020)

Grid and Distributed Computing
出版事項: (2020)

Constructive Side-Channel Analysis and Secure Design
著者:: Fan, Junfeng, 等
出版事項: (2020)

Parallel Computational Technologies
著者:: Sokolinsky, Leonid, 等
出版事項: (2020)

Perspectives of System Informatics
著者:: Bjørner, Nikolaj, 等
出版事項: (2020)

Future and Emerging Trends in Language Technology. Machine Learning and Big Data
著者:: Quesada, José F, 等
出版事項: (2020)

Trends in Enterprise Application Architecture
著者:: Draheim, Dirk, 等
出版事項: (2020)

Intelligent Computing, Networked Control, and Their Engineering Applications
出版事項: (2020)

Applications of Evolutionary Computation. 1st ed. 2017
著者:: Squillero, Giovanni, 等
出版事項: (2020)

Cyber Physical Systems. Model-Based Design
著者:: Chamberlain, Roger, 等
出版事項: (2020)

Dynamic System Reconfiguration in Heterogeneous Platforms
著者:: Voros, Nikolaos, 等
出版事項: (2020)

API Management. 1st ed.
著者:: De, Brajesh
出版事項: (2020)

Smart Objects and Technologies for Social Good
著者:: Guidi, Barbara, 等
出版事項: (2020)

Smart Energy Research. At the Crossroads of Engineering, Economics, and Computer Science
著者:: Derksen, Christian, 等
出版事項: (2020)

Advances in Practical Applications of Cyber-Physical Multi-Agent Systems: The PAAMS Collection
著者:: Demazeau, Yves, 等
出版事項: (2020)

End-User Development
著者:: Barbosa, Simone, 等
出版事項: (2020)

Recent Trends and Future Technology in Applied Intelligence
著者:: Mouhoub, Malek, 等
出版事項: (2020)

5G for Future Wireless Networks
著者:: Long, Keping, 等
出版事項: (2020)

Electronics System Design Techniques for Safety Critical Applications
著者:: Sterpone, Luca
出版事項: (2020)

Intelligent Robotics and Applications
著者:: Chen, Zhiyong, 等
出版事項: (2020)

Hybrid Systems: Computation and Control
出版事項: (2020)

Dependable Computing
著者:: Maziero, Carlos Alberto, 等
出版事項: (2020)

Hybrid Systems: Computation and Control
著者:: Bemporad, Alberto, 等
出版事項: (2020)

Hybrid Systems: Computation and Control
著者:: Egerstedt, Magnus, 等
出版事項: (2020)

Language and Automata Theory and Applications
著者:: Leporati, Alberto, 等
出版事項: (2020)

Embedded Systems Specification and Design Languages
著者:: Villar, Eugenio
出版事項: (2020)

Understanding Modern Dive Computers and Operation
著者:: Wienke, B. R., 等
出版事項: (2020)

Information Processing and Security Systems
出版事項: (2020)

Unleash the System On Chip using FPGAs and Handel C
著者:: Kamat, Rajanish K., 等
出版事項: (2020)

Retargetable Processor System Integration into Multi-Processor System-on-Chip Platforms
著者:: Wieferink, Andreas, 等
出版事項: (2020)

Applications of Evolutionary Computation
著者:: Squillero, Giovanni, 等
出版事項: (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, 等
出版事項: (2020)

Multi-Agent Systems and Agreement Technologies
著者:: Belardinelli, Francesco, 等
出版事項: (2020)

Robotic Grasping and Manipulation
著者:: Sun, Yu, 等
出版事項: (2020)

Smart STEM-Driven Computer Science Education
著者:: Štuikys, Vytautas, 等
出版事項: (2020)

Advanced Computational Methods in Energy, Power, Electric Vehicles, and Their Integration
出版事項: (2020)