Practical TLA+

Côd QR

Practical TLA+

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Wayne, Hillel
Fformat:	Llyfr
Iaith:	English
Cyhoeddwyd:	Apress 2020
Pynciau:	Computer Science Programming Languages, Compilers, Interpreters Programming Techniques
Mynediad Ar-lein:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/86140
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

Practical C++ Design
gan: Singer, Adam B.
Cyhoeddwyd: (2020)

Practical Aspects of Declarative Languages
Cyhoeddwyd: (2020)

Practical Aspects of Declarative Languages
gan: Hanus, Michael
Cyhoeddwyd: (2020)

Practical Aspects of Declarative Languages
gan: Hudak, Paul, et al.
Cyhoeddwyd: (2020)

Practical Aspects of Declarative Languages
gan: Lierler, Yuliya, et al.
Cyhoeddwyd: (2020)

Practical Scala DSLs. 1st ed.
gan: Riti, Pierluigi
Cyhoeddwyd: (2020)

Pro Python Best Practices. 1st ed.
gan: Rother, Kristian
Cyhoeddwyd: (2020)

Practical Aspects of Declarative Languages
gan: Komendantskaya, Ekaterina, et al.
Cyhoeddwyd: (2020)

Advances in Smalltalk
gan: Meuter, Wolfgang De
Cyhoeddwyd: (2020)

C# and XML Primer. 1st ed.
gan: Hartwell, Jonathan
Cyhoeddwyd: (2020)

All About Maude - A High-Performance Logical Framework
gan: Clavel, Manuel, et al.
Cyhoeddwyd: (2020)

Languages and Compilers for High Performance Computing
gan: Eigenmann, Rudolf, et al.
Cyhoeddwyd: (2020)

Network Programming with Go
gan: Newmarch, Jan
Cyhoeddwyd: (2020)

Rules and Reasoning
gan: Costantini, Stefania, et al.
Cyhoeddwyd: (2020)

Test Driven Development in Ruby
gan: Paranj, Bala
Cyhoeddwyd: (2020)

Systems Programming in Unix/Linux
gan: Wang, K.C.
Cyhoeddwyd: (2020)

Machine Learning Using R
gan: Ramasubramanian, Karthik, et al.
Cyhoeddwyd: (2020)

Functional Programming in R
gan: Mailund, Thomas
Cyhoeddwyd: (2020)

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

Advances in Artificial Intelligence - SBIA 2008
Cyhoeddwyd: (2020)

Central European Functional Programming School
Cyhoeddwyd: (2020)

Beginning Bazel
gan: McNerney, P.J.
Cyhoeddwyd: (2020)

Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence
Cyhoeddwyd: (2020)

Introduction to Programming with Fortran
gan: Chivers, Ian, et al.
Cyhoeddwyd: (2020)

Modeling Decisions for Artificial Intelligence
Cyhoeddwyd: (2020)

Rules and Reasoning
gan: Benzmüller, Christoph, et al.
Cyhoeddwyd: (2020)

Learn Unity for Android Game Development
gan: Sinicki, Adam
Cyhoeddwyd: (2020)

Applications of Declarative Programming and Knowledge Management
Cyhoeddwyd: (2020)

MICAI 2008: Advances in Artificial Intelligence
Cyhoeddwyd: (2020)

Beginning Rust
gan: Milanesi, Carlo
Cyhoeddwyd: (2020)

Exploring Swift Playgrounds. 1st ed.
gan: Feiler, Jesse
Cyhoeddwyd: (2020)

Clean C++
gan: Roth, Stephan
Cyhoeddwyd: (2020)

An Introduction to HTML and JavaScript
gan: Brooks, David R.
Cyhoeddwyd: (2020)

Model Checking and Artificial Intelligence
Cyhoeddwyd: (2020)

Interpreting LISP. 2nd ed.
gan: Knott, Gary D.
Cyhoeddwyd: (2020)

Beginning Ada Programming
gan: Shvets, Andrew T.
Cyhoeddwyd: (2020)

Logic and Its Applications
Cyhoeddwyd: (2020)

Guide to Assembly Language Programming in Linux
Cyhoeddwyd: (2020)

MATLAB Machine Learning. 1st ed.
gan: Paluszek, Michael, et al.
Cyhoeddwyd: (2020)

Logics in Artificial Intelligence
Cyhoeddwyd: (2020)