Coordination Models and Languages

QRコード

Coordination Models and Languages

保存先:

書誌詳細
主要な著者:	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., 等
出版事項: (2020)

Coordination Models and Languages
著者:: Serugendo, Giovanna Di Marzo, 等
出版事項: (2020)

Coordination Models and Languages
出版事項: (2020)

Coordination Models and Languages
出版事項: (2020)

Coordination Models and Languages
著者:: Jacquet, Jean-Marie, 等
出版事項: (2020)

Domain Modeling and the Duration Calculus
著者:: George, Chris, 等
出版事項: (2020)

Model Driven Architecture - Foundations and Applications
著者:: Schieferdecker, Ina, 等
出版事項: (2020)

Component Deployment
著者:: Dearle, Alan, 等
出版事項: (2020)

Architecting Dependable Systems IV
著者:: Lemos, Rogério de, 等
出版事項: (2020)

Measurement, Modelling and Evaluation of Computing Systems
著者:: Hermanns, Holger
出版事項: (2020)

High Performance Computing for Computational Science - VECPAR 2006
著者:: Daydé, Michel, 等
出版事項: (2020)

Formal Models of Operating System Kernels
著者:: Craig, Iain D.
出版事項: (2020)

Coordination, Organizations, Institutions, and Norms in Agent Systems II
著者:: Noriega, Pablo, 等
出版事項: (2020)

Coordination, Organizations, Institutions, and Norms in Agent Systems III
著者:: Sichman, Jaime Simão, 等
出版事項: (2020)

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

Formal Methods for Computational Systems Biology
著者:: Bernardo, Marco, 等
出版事項: (2020)

Embedded Computer Systems: Architectures, Modeling, and Simulation
著者:: Berekovic, Mladen, 等
出版事項: (2020)

Model Driven Architecture
著者:: Aßmann, Uwe, 等
出版事項: (2020)

High Performance Computing Systems
著者:: Bianchini, Calebe, 等
出版事項: (2020)

Model Driven Architecture - Foundations and Applications
著者:: Akehurst, David, 等
出版事項: (2020)

Model Driven Architecture - Foundations and Applications
著者:: Hartman, Alan, 等
出版事項: (2020)

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

Languages and Compilers for Parallel Computing
著者:: Ding, Chen, 等
出版事項: (2020)

Modelling Distributed Systems
著者:: Fokkink, Wan
出版事項: (2020)

Formal Techniques for Computer Systems and Business Processes
著者:: Bravetti, Mario, 等
出版事項: (2020)

Language and Automata Theory and Applications
著者:: Leporati, Alberto, 等
出版事項: (2020)

System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering
著者:: Khendek, Ferhat, 等
出版事項: (2020)

Theorem Proving in Higher Order Logics
著者:: Hurd, Joe, 等
出版事項: (2020)

Scalable Information Systems
出版事項: (2020)

Achievements in European Research on Grid Systems
著者:: Gorlatch, Sergei, 等
出版事項: (2020)

Applications and Theory of Petri Nets
著者:: Hee, Kees van, 等
出版事項: (2020)

It's All About Coordination
著者:: Boer, Frank de, 等
出版事項: (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, 等
出版事項: (2020)

Implementing Distributed Systems with Java and CORBA
著者:: Aleksy, Markus, 等
出版事項: (2020)