Coordination Models and Languages

Mã QR

Coordination Models and Languages

Đã lưu trong:

Bibliografiske detaljer
Những tác giả chính:	Lea, Doug, Zavattaro, Gianluigi
Format:	Bog
Sprog:	English
Udgivet:	Springer Berlin Heidelberg 2020
Fag:	Computer Science Computer System Implementation Software Engineering
Online adgang:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81634
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

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

Lignende værker

Coordination Models and Languages
af: Murphy, Amy L., et al.
Udgivet: (2020)

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

Coordination Models and Languages
Udgivet: (2020)

Coordination Models and Languages
Udgivet: (2020)

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

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

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

Component Deployment
af: Dearle, Alan, et al.
Udgivet: (2020)

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

Measurement, Modelling and Evaluation of Computing Systems
af: Hermanns, Holger
Udgivet: (2020)

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

Formal Models of Operating System Kernels
af: Craig, Iain D.
Udgivet: (2020)

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

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

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

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

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

Model Driven Architecture
af: Aßmann, Uwe, et al.
Udgivet: (2020)

High Performance Computing Systems
af: Bianchini, Calebe, et al.
Udgivet: (2020)

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

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

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

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

Modelling Distributed Systems
af: Fokkink, Wan
Udgivet: (2020)

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

Language and Automata Theory and Applications
af: Leporati, Alberto, et al.
Udgivet: (2020)

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

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

Scalable Information Systems
Udgivet: (2020)

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

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

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

Software Language Engineering
Udgivet: (2020)

Domain-Specific Languages
Udgivet: (2020)

Model Driven Engineering Languages and Systems
Udgivet: (2020)

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

Model Checking Software
af: Godefroid, Patrick
Udgivet: (2020)

Models in Software Engineering
af: Kühne, Thomas
Udgivet: (2020)

Model Checking Software
af: Bosnacki, Dragan, et al.
Udgivet: (2020)

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