Dynamic Logic. New Trends and Applications

Mã QR

Dynamic Logic. New Trends and Applications

שמור ב:

מידע ביבליוגרפי
Những tác giả chính:	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, 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)