Dynamic Logic. New Trends and Applications

QR Kodea

Dynamic Logic. New Trends and Applications

Gorde:

Xehetasun bibliografikoak
Egile Nagusiak:	Barbosa, Luís Soares, Baltag, Alexandru
Formatua:	Liburua
Hizkuntza:	English
Argitaratua:	Springer International Publishing 2020
Gaiak:	Computer Science Logics and Meanings of Programs Special Purpose and Application-Based Systems Computer System Implementation
Sarrera elektronikoa:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/89863
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

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

Antzeko izenburuak

Computer Safety, Reliability, and Security
nork: Gallina, Barbara, et al.
Argitaratua: (2020)

Grid and Distributed Computing
Argitaratua: (2020)

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

Parallel Computational Technologies
nork: Sokolinsky, Leonid, et al.
Argitaratua: (2020)

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

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

Trends in Enterprise Application Architecture
nork: Draheim, Dirk, et al.
Argitaratua: (2020)

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

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

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

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

API Management. 1st ed.
nork: De, Brajesh
Argitaratua: (2020)

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

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

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

End-User Development
nork: Barbosa, Simone, et al.
Argitaratua: (2020)

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

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

Electronics System Design Techniques for Safety Critical Applications
nork: Sterpone, Luca
Argitaratua: (2020)

Intelligent Robotics and Applications
nork: Chen, Zhiyong, et al.
Argitaratua: (2020)

Hybrid Systems: Computation and Control
Argitaratua: (2020)

Dependable Computing
nork: Maziero, Carlos Alberto, et al.
Argitaratua: (2020)

Hybrid Systems: Computation and Control
nork: Bemporad, Alberto, et al.
Argitaratua: (2020)

Hybrid Systems: Computation and Control
nork: Egerstedt, Magnus, et al.
Argitaratua: (2020)

Language and Automata Theory and Applications
nork: Leporati, Alberto, et al.
Argitaratua: (2020)

Embedded Systems Specification and Design Languages
nork: Villar, Eugenio
Argitaratua: (2020)

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

Information Processing and Security Systems
Argitaratua: (2020)

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

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

Applications of Evolutionary Computation
nork: Squillero, Giovanni, et al.
Argitaratua: (2020)

Dependable Computing - EDCC 2005
Argitaratua: (2020)

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

E-Business@Print
nork: König, Anne
Argitaratua: (2020)

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

JDF
nork: Kühn, Wolfgang, et al.
Argitaratua: (2020)

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

Robotic Grasping and Manipulation
nork: Sun, Yu, et al.
Argitaratua: (2020)

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

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