Practical TLA+

QRコード

Practical TLA+

保存先:

書誌詳細
第一著者:	Wayne, Hillel
フォーマット:	図書
言語:	English
出版事項:	Apress 2020
主題:	Computer Science Programming Languages, Compilers, Interpreters Programming Techniques
オンライン･アクセス:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/86140
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

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

類似資料

Practical C++ Design
著者:: Singer, Adam B.
出版事項: (2020)

Practical Aspects of Declarative Languages
出版事項: (2020)

Practical Aspects of Declarative Languages
著者:: Hanus, Michael
出版事項: (2020)

Practical Aspects of Declarative Languages
著者:: Hudak, Paul, 等
出版事項: (2020)

Practical Aspects of Declarative Languages
著者:: Lierler, Yuliya, 等
出版事項: (2020)

Practical Scala DSLs. 1st ed.
著者:: Riti, Pierluigi
出版事項: (2020)

Pro Python Best Practices. 1st ed.
著者:: Rother, Kristian
出版事項: (2020)

Practical Aspects of Declarative Languages
著者:: Komendantskaya, Ekaterina, 等
出版事項: (2020)

Advances in Smalltalk
著者:: Meuter, Wolfgang De
出版事項: (2020)

C# and XML Primer. 1st ed.
著者:: Hartwell, Jonathan
出版事項: (2020)

All About Maude - A High-Performance Logical Framework
著者:: Clavel, Manuel, 等
出版事項: (2020)

Languages and Compilers for High Performance Computing
著者:: Eigenmann, Rudolf, 等
出版事項: (2020)

Network Programming with Go
著者:: Newmarch, Jan
出版事項: (2020)

Rules and Reasoning
著者:: Costantini, Stefania, 等
出版事項: (2020)

Test Driven Development in Ruby
著者:: Paranj, Bala
出版事項: (2020)

Systems Programming in Unix/Linux
著者:: Wang, K.C.
出版事項: (2020)

Machine Learning Using R
著者:: Ramasubramanian, Karthik, 等
出版事項: (2020)

Functional Programming in R
著者:: Mailund, Thomas
出版事項: (2020)

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

Advances in Artificial Intelligence - SBIA 2008
出版事項: (2020)

Central European Functional Programming School
出版事項: (2020)

Beginning Bazel
著者:: McNerney, P.J.
出版事項: (2020)

Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence
出版事項: (2020)

Introduction to Programming with Fortran
著者:: Chivers, Ian, 等
出版事項: (2020)

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

Rules and Reasoning
著者:: Benzmüller, Christoph, 等
出版事項: (2020)

Learn Unity for Android Game Development
著者:: Sinicki, Adam
出版事項: (2020)

Applications of Declarative Programming and Knowledge Management
出版事項: (2020)

MICAI 2008: Advances in Artificial Intelligence
出版事項: (2020)

Beginning Rust
著者:: Milanesi, Carlo
出版事項: (2020)

Exploring Swift Playgrounds. 1st ed.
著者:: Feiler, Jesse
出版事項: (2020)

Clean C++
著者:: Roth, Stephan
出版事項: (2020)

An Introduction to HTML and JavaScript
著者:: Brooks, David R.
出版事項: (2020)

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

Interpreting LISP. 2nd ed.
著者:: Knott, Gary D.
出版事項: (2020)

Beginning Ada Programming
著者:: Shvets, Andrew T.
出版事項: (2020)

Logic and Its Applications
出版事項: (2020)

Guide to Assembly Language Programming in Linux
出版事項: (2020)

MATLAB Machine Learning. 1st ed.
著者:: Paluszek, Michael, 等
出版事項: (2020)

Logics in Artificial Intelligence
出版事項: (2020)