Practical TLA+

QR Kodea

Practical TLA+

Gorde:

Xehetasun bibliografikoak
Egile nagusia:	Wayne, Hillel
Formatua:	Liburua
Hizkuntza:	English
Argitaratua:	Apress 2020
Gaiak:	Computer Science Programming Languages, Compilers, Interpreters Programming Techniques
Sarrera elektronikoa:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/86140
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

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

Antzeko izenburuak

Practical C++ Design
nork: Singer, Adam B.
Argitaratua: (2020)

Practical Aspects of Declarative Languages
Argitaratua: (2020)

Practical Aspects of Declarative Languages
nork: Hanus, Michael
Argitaratua: (2020)

Practical Aspects of Declarative Languages
nork: Hudak, Paul, et al.
Argitaratua: (2020)

Practical Aspects of Declarative Languages
nork: Lierler, Yuliya, et al.
Argitaratua: (2020)

Practical Scala DSLs. 1st ed.
nork: Riti, Pierluigi
Argitaratua: (2020)

Pro Python Best Practices. 1st ed.
nork: Rother, Kristian
Argitaratua: (2020)

Practical Aspects of Declarative Languages
nork: Komendantskaya, Ekaterina, et al.
Argitaratua: (2020)

Advances in Smalltalk
nork: Meuter, Wolfgang De
Argitaratua: (2020)

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

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

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

Network Programming with Go
nork: Newmarch, Jan
Argitaratua: (2020)

Rules and Reasoning
nork: Costantini, Stefania, et al.
Argitaratua: (2020)

Test Driven Development in Ruby
nork: Paranj, Bala
Argitaratua: (2020)

Systems Programming in Unix/Linux
nork: Wang, K.C.
Argitaratua: (2020)

Machine Learning Using R
nork: Ramasubramanian, Karthik, et al.
Argitaratua: (2020)

Functional Programming in R
nork: Mailund, Thomas
Argitaratua: (2020)

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

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

Central European Functional Programming School
Argitaratua: (2020)

Beginning Bazel
nork: McNerney, P.J.
Argitaratua: (2020)

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

Introduction to Programming with Fortran
nork: Chivers, Ian, et al.
Argitaratua: (2020)

Modeling Decisions for Artificial Intelligence
Argitaratua: (2020)

Rules and Reasoning
nork: Benzmüller, Christoph, et al.
Argitaratua: (2020)

Learn Unity for Android Game Development
nork: Sinicki, Adam
Argitaratua: (2020)

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

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

Beginning Rust
nork: Milanesi, Carlo
Argitaratua: (2020)

Exploring Swift Playgrounds. 1st ed.
nork: Feiler, Jesse
Argitaratua: (2020)

Clean C++
nork: Roth, Stephan
Argitaratua: (2020)

An Introduction to HTML and JavaScript
nork: Brooks, David R.
Argitaratua: (2020)

Model Checking and Artificial Intelligence
Argitaratua: (2020)

Interpreting LISP. 2nd ed.
nork: Knott, Gary D.
Argitaratua: (2020)

Beginning Ada Programming
nork: Shvets, Andrew T.
Argitaratua: (2020)

Logic and Its Applications
Argitaratua: (2020)

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

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

Logics in Artificial Intelligence
Argitaratua: (2020)