Coordination Models and Languages

Mã QR

Coordination Models and Languages

Đã lưu trong:

书目详细资料
Những tác giả chính:	Lea, Doug, Zavattaro, Gianluigi
格式:	图书
语言:	English
出版:	Springer Berlin Heidelberg 2020
主题:	Computer Science Computer System Implementation Software Engineering
在线阅读:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81634
标签:	添加标签没有标签, 成为第一个标记此记录!

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

相似书籍

Coordination Models and Languages
由: Murphy, Amy L., et al.
出版: (2020)

Coordination Models and Languages
由: Serugendo, Giovanna Di Marzo, et al.
出版: (2020)

Coordination Models and Languages
出版: (2020)

Coordination Models and Languages
出版: (2020)

Coordination Models and Languages
由: Jacquet, Jean-Marie, et al.
出版: (2020)

Domain Modeling and the Duration Calculus
由: George, Chris, et al.
出版: (2020)

Model Driven Architecture - Foundations and Applications
由: Schieferdecker, Ina, et al.
出版: (2020)

Component Deployment
由: Dearle, Alan, et al.
出版: (2020)

Architecting Dependable Systems IV
由: Lemos, Rogério de, et al.
出版: (2020)

Measurement, Modelling and Evaluation of Computing Systems
由: Hermanns, Holger
出版: (2020)

High Performance Computing for Computational Science - VECPAR 2006
由: Daydé, Michel, et al.
出版: (2020)

Formal Models of Operating System Kernels
由: Craig, Iain D.
出版: (2020)

Coordination, Organizations, Institutions, and Norms in Agent Systems II
由: Noriega, Pablo, et al.
出版: (2020)

Coordination, Organizations, Institutions, and Norms in Agent Systems III
由: Sichman, Jaime Simão, et al.
出版: (2020)

Embedded Computer Systems: Architectures, Modeling, and Simulation
出版: (2020)

Formal Methods for Computational Systems Biology
由: Bernardo, Marco, et al.
出版: (2020)

Embedded Computer Systems: Architectures, Modeling, and Simulation
由: Berekovic, Mladen, et al.
出版: (2020)

Model Driven Architecture
由: Aßmann, Uwe, et al.
出版: (2020)

High Performance Computing Systems
由: Bianchini, Calebe, et al.
出版: (2020)

Model Driven Architecture - Foundations and Applications
由: Akehurst, David, et al.
出版: (2020)

Model Driven Architecture - Foundations and Applications
由: Hartman, Alan, et al.
出版: (2020)

Coordination, Organizations, Institutions and Norms in Agent Systems IV
出版: (2020)

Languages and Compilers for Parallel Computing
由: Ding, Chen, et al.
出版: (2020)

Modelling Distributed Systems
由: Fokkink, Wan
出版: (2020)

Formal Techniques for Computer Systems and Business Processes
由: Bravetti, Mario, et al.
出版: (2020)

Language and Automata Theory and Applications
由: Leporati, Alberto, et al.
出版: (2020)

System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering
由: Khendek, Ferhat, et al.
出版: (2020)

Theorem Proving in Higher Order Logics
由: Hurd, Joe, et al.
出版: (2020)

Scalable Information Systems
出版: (2020)

Achievements in European Research on Grid Systems
由: Gorlatch, Sergei, et al.
出版: (2020)

Applications and Theory of Petri Nets
由: Hee, Kees van, et al.
出版: (2020)

It's All About Coordination
由: Boer, Frank de, et al.
出版: (2020)

Software Language Engineering
出版: (2020)

Domain-Specific Languages
出版: (2020)

Model Driven Engineering Languages and Systems
出版: (2020)

Transactions on Pattern Languages of Programming I
出版: (2020)

Model Checking Software
由: Godefroid, Patrick
出版: (2020)

Models in Software Engineering
由: Kühne, Thomas
出版: (2020)

Model Checking Software
由: Bosnacki, Dragan, et al.
出版: (2020)

Implementing Distributed Systems with Java and CORBA
由: Aleksy, Markus, et al.
出版: (2020)