Principles of Modeling

QRコード

Principles of Modeling

保存先:

書誌詳細
主要な著者:	Lohstroh, Marten, Derler, Patricia, Sirjani, Marjan
フォーマット:	図書
言語:	English
出版事項:	Springer International Publishing 2020
主題:	Computer Science Programming Languages, Compilers, Interpreters Computer Systems Organization and Communication Networks
オンライン･アクセス:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/87828
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

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

類似資料

Euro-Par 2018: Parallel Processing
著者:: Aldinucci, Marco, 等
出版事項: (2020)

Software Engineering and Formal Methods
著者:: Cimatti, Alessandro, 等
出版事項: (2020)

Computational Logic in Multi-Agent Systems
出版事項: (2020)

Declarative Agent Languages and Technologies V
著者:: Baldoni, Matteo, 等
出版事項: (2020)

Formal Methods for Open Object-Based Distributed Systems
著者:: Bonsangue, Marcello M., 等
出版事項: (2020)

Coordination Models and Languages
著者:: Murphy, Amy L., 等
出版事項: (2020)

The Agent Modeling Language - AML
出版事項: (2020)

Modeling Decisions for Artificial Intelligence
出版事項: (2020)

Model Checking and Artificial Intelligence
出版事項: (2020)

Getting Started with Visual Studio 2019
著者:: Strauss, Dirk
出版事項: (2020)

Principles of Programming Languages
著者:: Dowek, Gilles
出版事項: (2020)

Models in Software Engineering
著者:: Giese, Holger
出版事項: (2020)

Model Checking Software
出版事項: (2020)

Conceptual Modeling
著者:: Mayr, Heinrich C., 等
出版事項: (2020)

Conceptual Modeling - ER 2008
出版事項: (2020)

Theory and Practice of Model Transformations
出版事項: (2020)

Model and Data Engineering
著者:: Abdelwahed, El Hassan, 等
出版事項: (2020)

Modelling Foundations and Applications
著者:: Pierantonio, Alfonso, 等
出版事項: (2020)

Modelling Foundations and Applications
著者:: Anjorin, Anthony, 等
出版事項: (2020)

Model Checking Software
出版事項: (2020)

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

Quality of Software Architectures Models and Architectures
出版事項: (2020)

25 Years of Model Checking
著者:: Grumberg, Orna, 等
出版事項: (2020)

Theory and Practice of Model Transformation
著者:: Rensink, Arend, 等
出版事項: (2020)

UML Modeling Languages and Applications
出版事項: (2020)

Model-Driven Engineering and Software Development
著者:: Hammoudi, Slimane, 等
出版事項: (2020)

Model Driven Engineering Languages and Systems
著者:: Briand, Lionel, 等
出版事項: (2020)

Complete Guide to Test Automation
著者:: Axelrod, Arnon
出版事項: (2020)

Beginning C++17
著者:: Horton, Ivor, 等
出版事項: (2020)

Theorem Proving in Higher Order Logics
著者:: Mohamed, Otmane Ait, 等
出版事項: (2020)

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

Software Technologies
著者:: Cabello, Enrique, 等
出版事項: (2020)

Build Mobile Apps with Ionic 2 and Firebase. 1st ed.
著者:: Cheng, Fu
出版事項: (2020)

Pro Android with Kotlin
著者:: Späth, Peter
出版事項: (2020)

Object-Oriented Design with ABAP. 1st ed.
著者:: McDonough, James E.
出版事項: (2020)

Logic Programming
出版事項: (2020)

Programming Languages and Systems
著者:: Ahmed, Amal
出版事項: (2020)

macOS Programming for Absolute Beginners. 1st ed.
著者:: Wang, Wallace
出版事項: (2020)

The Blender Python API. 1st ed.
著者:: Conlan, Chris
出版事項: (2020)

Beginning EJB in Java EE 8
著者:: Wetherbee, Jonathan, 等
出版事項: (2020)