Dynamic Logic. New Trends and Applications

Côd QR

Dynamic Logic. New Trends and Applications

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awduron:	Barbosa, Luís Soares, Baltag, Alexandru
Fformat:	Llyfr
Iaith:	English
Cyhoeddwyd:	Springer International Publishing 2020
Pynciau:	Computer Science Logics and Meanings of Programs Special Purpose and Application-Based Systems Computer System Implementation
Mynediad Ar-lein:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/89863
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

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

Eitemau Tebyg

Computer Safety, Reliability, and Security
gan: Gallina, Barbara, et al.
Cyhoeddwyd: (2020)

Grid and Distributed Computing
Cyhoeddwyd: (2020)

Constructive Side-Channel Analysis and Secure Design
gan: Fan, Junfeng, et al.
Cyhoeddwyd: (2020)

Parallel Computational Technologies
gan: Sokolinsky, Leonid, et al.
Cyhoeddwyd: (2020)

Perspectives of System Informatics
gan: Bjørner, Nikolaj, et al.
Cyhoeddwyd: (2020)

Future and Emerging Trends in Language Technology. Machine Learning and Big Data
gan: Quesada, José F, et al.
Cyhoeddwyd: (2020)

Trends in Enterprise Application Architecture
gan: Draheim, Dirk, et al.
Cyhoeddwyd: (2020)

Intelligent Computing, Networked Control, and Their Engineering Applications
Cyhoeddwyd: (2020)

Applications of Evolutionary Computation. 1st ed. 2017
gan: Squillero, Giovanni, et al.
Cyhoeddwyd: (2020)

Cyber Physical Systems. Model-Based Design
gan: Chamberlain, Roger, et al.
Cyhoeddwyd: (2020)

Dynamic System Reconfiguration in Heterogeneous Platforms
gan: Voros, Nikolaos, et al.
Cyhoeddwyd: (2020)

API Management. 1st ed.
gan: De, Brajesh
Cyhoeddwyd: (2020)

Smart Objects and Technologies for Social Good
gan: Guidi, Barbara, et al.
Cyhoeddwyd: (2020)

Smart Energy Research. At the Crossroads of Engineering, Economics, and Computer Science
gan: Derksen, Christian, et al.
Cyhoeddwyd: (2020)

Advances in Practical Applications of Cyber-Physical Multi-Agent Systems: The PAAMS Collection
gan: Demazeau, Yves, et al.
Cyhoeddwyd: (2020)

End-User Development
gan: Barbosa, Simone, et al.
Cyhoeddwyd: (2020)

Recent Trends and Future Technology in Applied Intelligence
gan: Mouhoub, Malek, et al.
Cyhoeddwyd: (2020)

5G for Future Wireless Networks
gan: Long, Keping, et al.
Cyhoeddwyd: (2020)

Electronics System Design Techniques for Safety Critical Applications
gan: Sterpone, Luca
Cyhoeddwyd: (2020)

Intelligent Robotics and Applications
gan: Chen, Zhiyong, et al.
Cyhoeddwyd: (2020)

Hybrid Systems: Computation and Control
Cyhoeddwyd: (2020)

Dependable Computing
gan: Maziero, Carlos Alberto, et al.
Cyhoeddwyd: (2020)

Hybrid Systems: Computation and Control
gan: Bemporad, Alberto, et al.
Cyhoeddwyd: (2020)

Hybrid Systems: Computation and Control
gan: Egerstedt, Magnus, et al.
Cyhoeddwyd: (2020)

Language and Automata Theory and Applications
gan: Leporati, Alberto, et al.
Cyhoeddwyd: (2020)

Embedded Systems Specification and Design Languages
gan: Villar, Eugenio
Cyhoeddwyd: (2020)

Understanding Modern Dive Computers and Operation
gan: Wienke, B. R., et al.
Cyhoeddwyd: (2020)

Information Processing and Security Systems
Cyhoeddwyd: (2020)

Unleash the System On Chip using FPGAs and Handel C
gan: Kamat, Rajanish K., et al.
Cyhoeddwyd: (2020)

Retargetable Processor System Integration into Multi-Processor System-on-Chip Platforms
gan: Wieferink, Andreas, et al.
Cyhoeddwyd: (2020)

Applications of Evolutionary Computation
gan: Squillero, Giovanni, et al.
Cyhoeddwyd: (2020)

Dependable Computing - EDCC 2005
Cyhoeddwyd: (2020)

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Cyhoeddwyd: (2020)

E-Business@Print
gan: König, Anne
Cyhoeddwyd: (2020)

Learning and Intelligent Optimization: Designing, Implementing and Analyzing Effective Heuristics
Cyhoeddwyd: (2020)

JDF
gan: Kühn, Wolfgang, et al.
Cyhoeddwyd: (2020)

Multi-Agent Systems and Agreement Technologies
gan: Belardinelli, Francesco, et al.
Cyhoeddwyd: (2020)

Robotic Grasping and Manipulation
gan: Sun, Yu, et al.
Cyhoeddwyd: (2020)

Smart STEM-Driven Computer Science Education
gan: Štuikys, Vytautas, et al.
Cyhoeddwyd: (2020)

Advanced Computational Methods in Energy, Power, Electric Vehicles, and Their Integration
Cyhoeddwyd: (2020)