Coordination Models and Languages

Côd QR

Coordination Models and Languages

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awduron:	Lea, Doug, Zavattaro, Gianluigi
Fformat:	Llyfr
Iaith:	English
Cyhoeddwyd:	Springer Berlin Heidelberg 2020
Pynciau:	Computer Science Computer System Implementation Software Engineering
Mynediad Ar-lein:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81634
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

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

Eitemau Tebyg

Coordination Models and Languages
gan: Murphy, Amy L., et al.
Cyhoeddwyd: (2020)

Coordination Models and Languages
gan: Serugendo, Giovanna Di Marzo, et al.
Cyhoeddwyd: (2020)

Coordination Models and Languages
Cyhoeddwyd: (2020)

Coordination Models and Languages
Cyhoeddwyd: (2020)

Coordination Models and Languages
gan: Jacquet, Jean-Marie, et al.
Cyhoeddwyd: (2020)

Domain Modeling and the Duration Calculus
gan: George, Chris, et al.
Cyhoeddwyd: (2020)

Model Driven Architecture - Foundations and Applications
gan: Schieferdecker, Ina, et al.
Cyhoeddwyd: (2020)

Component Deployment
gan: Dearle, Alan, et al.
Cyhoeddwyd: (2020)

Architecting Dependable Systems IV
gan: Lemos, Rogério de, et al.
Cyhoeddwyd: (2020)

Measurement, Modelling and Evaluation of Computing Systems
gan: Hermanns, Holger
Cyhoeddwyd: (2020)

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

Formal Models of Operating System Kernels
gan: Craig, Iain D.
Cyhoeddwyd: (2020)

Coordination, Organizations, Institutions, and Norms in Agent Systems II
gan: Noriega, Pablo, et al.
Cyhoeddwyd: (2020)

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

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

Formal Methods for Computational Systems Biology
gan: Bernardo, Marco, et al.
Cyhoeddwyd: (2020)

Embedded Computer Systems: Architectures, Modeling, and Simulation
gan: Berekovic, Mladen, et al.
Cyhoeddwyd: (2020)

Model Driven Architecture
gan: Aßmann, Uwe, et al.
Cyhoeddwyd: (2020)

High Performance Computing Systems
gan: Bianchini, Calebe, et al.
Cyhoeddwyd: (2020)

Model Driven Architecture - Foundations and Applications
gan: Akehurst, David, et al.
Cyhoeddwyd: (2020)

Model Driven Architecture - Foundations and Applications
gan: Hartman, Alan, et al.
Cyhoeddwyd: (2020)

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

Languages and Compilers for Parallel Computing
gan: Ding, Chen, et al.
Cyhoeddwyd: (2020)

Modelling Distributed Systems
gan: Fokkink, Wan
Cyhoeddwyd: (2020)

Formal Techniques for Computer Systems and Business Processes
gan: Bravetti, Mario, et al.
Cyhoeddwyd: (2020)

Language and Automata Theory and Applications
gan: Leporati, Alberto, et al.
Cyhoeddwyd: (2020)

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

Theorem Proving in Higher Order Logics
gan: Hurd, Joe, et al.
Cyhoeddwyd: (2020)

Scalable Information Systems
Cyhoeddwyd: (2020)

Achievements in European Research on Grid Systems
gan: Gorlatch, Sergei, et al.
Cyhoeddwyd: (2020)

Applications and Theory of Petri Nets
gan: Hee, Kees van, et al.
Cyhoeddwyd: (2020)

It's All About Coordination
gan: Boer, Frank de, et al.
Cyhoeddwyd: (2020)

Software Language Engineering
Cyhoeddwyd: (2020)

Domain-Specific Languages
Cyhoeddwyd: (2020)

Model Driven Engineering Languages and Systems
Cyhoeddwyd: (2020)

Transactions on Pattern Languages of Programming I
Cyhoeddwyd: (2020)

Model Checking Software
gan: Godefroid, Patrick
Cyhoeddwyd: (2020)

Models in Software Engineering
gan: Kühne, Thomas
Cyhoeddwyd: (2020)

Model Checking Software
gan: Bosnacki, Dragan, et al.
Cyhoeddwyd: (2020)

Implementing Distributed Systems with Java and CORBA
gan: Aleksy, Markus, et al.
Cyhoeddwyd: (2020)