Dynamic Logic. New Trends and Applications

QR Kod

Dynamic Logic. New Trends and Applications

Kaydedildi:

Detaylı Bibliyografya
Asıl Yazarlar:	Barbosa, Luís Soares, Baltag, Alexandru
Materyal Türü:	Kitap
Dil:	English
Baskı/Yayın Bilgisi:	Springer International Publishing 2020
Konular:	Computer Science Logics and Meanings of Programs Special Purpose and Application-Based Systems Computer System Implementation
Online Erişim:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/89863
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

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

Benzer Materyaller

Computer Safety, Reliability, and Security
Yazar:: Gallina, Barbara, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Grid and Distributed Computing
Baskı/Yayın Bilgisi: (2020)

Constructive Side-Channel Analysis and Secure Design
Yazar:: Fan, Junfeng, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Parallel Computational Technologies
Yazar:: Sokolinsky, Leonid, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Perspectives of System Informatics
Yazar:: Bjørner, Nikolaj, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Future and Emerging Trends in Language Technology. Machine Learning and Big Data
Yazar:: Quesada, José F, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Trends in Enterprise Application Architecture
Yazar:: Draheim, Dirk, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Intelligent Computing, Networked Control, and Their Engineering Applications
Baskı/Yayın Bilgisi: (2020)

Applications of Evolutionary Computation. 1st ed. 2017
Yazar:: Squillero, Giovanni, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Cyber Physical Systems. Model-Based Design
Yazar:: Chamberlain, Roger, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Dynamic System Reconfiguration in Heterogeneous Platforms
Yazar:: Voros, Nikolaos, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

API Management. 1st ed.
Yazar:: De, Brajesh
Baskı/Yayın Bilgisi: (2020)

Smart Objects and Technologies for Social Good
Yazar:: Guidi, Barbara, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Smart Energy Research. At the Crossroads of Engineering, Economics, and Computer Science
Yazar:: Derksen, Christian, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Advances in Practical Applications of Cyber-Physical Multi-Agent Systems: The PAAMS Collection
Yazar:: Demazeau, Yves, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

End-User Development
Yazar:: Barbosa, Simone, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Recent Trends and Future Technology in Applied Intelligence
Yazar:: Mouhoub, Malek, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

5G for Future Wireless Networks
Yazar:: Long, Keping, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Electronics System Design Techniques for Safety Critical Applications
Yazar:: Sterpone, Luca
Baskı/Yayın Bilgisi: (2020)

Intelligent Robotics and Applications
Yazar:: Chen, Zhiyong, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Hybrid Systems: Computation and Control
Baskı/Yayın Bilgisi: (2020)

Dependable Computing
Yazar:: Maziero, Carlos Alberto, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Hybrid Systems: Computation and Control
Yazar:: Bemporad, Alberto, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Hybrid Systems: Computation and Control
Yazar:: Egerstedt, Magnus, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Language and Automata Theory and Applications
Yazar:: Leporati, Alberto, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Embedded Systems Specification and Design Languages
Yazar:: Villar, Eugenio
Baskı/Yayın Bilgisi: (2020)

Understanding Modern Dive Computers and Operation
Yazar:: Wienke, B. R., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Information Processing and Security Systems
Baskı/Yayın Bilgisi: (2020)

Unleash the System On Chip using FPGAs and Handel C
Yazar:: Kamat, Rajanish K., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Retargetable Processor System Integration into Multi-Processor System-on-Chip Platforms
Yazar:: Wieferink, Andreas, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Applications of Evolutionary Computation
Yazar:: Squillero, Giovanni, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Dependable Computing - EDCC 2005
Baskı/Yayın Bilgisi: (2020)

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Baskı/Yayın Bilgisi: (2020)

E-Business@Print
Yazar:: König, Anne
Baskı/Yayın Bilgisi: (2020)

Learning and Intelligent Optimization: Designing, Implementing and Analyzing Effective Heuristics
Baskı/Yayın Bilgisi: (2020)

JDF
Yazar:: Kühn, Wolfgang, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Multi-Agent Systems and Agreement Technologies
Yazar:: Belardinelli, Francesco, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Robotic Grasping and Manipulation
Yazar:: Sun, Yu, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Smart STEM-Driven Computer Science Education
Yazar:: Štuikys, Vytautas, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Advanced Computational Methods in Energy, Power, Electric Vehicles, and Their Integration
Baskı/Yayın Bilgisi: (2020)