Coordination Models and Languages

Codi QR

Coordination Models and Languages

Guardat en:

Dades bibliogràfiques
Autors principals:	Lea, Doug, Zavattaro, Gianluigi
Format:	Llibre
Idioma:	English
Publicat:	Springer Berlin Heidelberg 2020
Matèries:	Computer Science Computer System Implementation Software Engineering
Accés en línia:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81634
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

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

Ítems similars

Coordination Models and Languages
per: Murphy, Amy L., et al.
Publicat: (2020)

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

Coordination Models and Languages
Publicat: (2020)

Coordination Models and Languages
Publicat: (2020)

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

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

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

Component Deployment
per: Dearle, Alan, et al.
Publicat: (2020)

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

Measurement, Modelling and Evaluation of Computing Systems
per: Hermanns, Holger
Publicat: (2020)

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

Formal Models of Operating System Kernels
per: Craig, Iain D.
Publicat: (2020)

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

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

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

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

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

Model Driven Architecture
per: Aßmann, Uwe, et al.
Publicat: (2020)

High Performance Computing Systems
per: Bianchini, Calebe, et al.
Publicat: (2020)

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

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

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

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

Modelling Distributed Systems
per: Fokkink, Wan
Publicat: (2020)

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

Language and Automata Theory and Applications
per: Leporati, Alberto, et al.
Publicat: (2020)

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

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

Scalable Information Systems
Publicat: (2020)

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

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

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

Software Language Engineering
Publicat: (2020)

Domain-Specific Languages
Publicat: (2020)

Model Driven Engineering Languages and Systems
Publicat: (2020)

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

Model Checking Software
per: Godefroid, Patrick
Publicat: (2020)

Models in Software Engineering
per: Kühne, Thomas
Publicat: (2020)

Model Checking Software
per: Bosnacki, Dragan, et al.
Publicat: (2020)

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