Practical TLA+

QR-koodi

Practical TLA+

Tallennettuna:

Bibliografiset tiedot
Päätekijä:	Wayne, Hillel
Aineistotyyppi:	Kirja
Kieli:	English
Julkaistu:	Apress 2020
Aiheet:	Computer Science Programming Languages, Compilers, Interpreters Programming Techniques
Linkit:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/86140
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

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

Samankaltaisia teoksia

Practical C++ Design
Tekijä: Singer, Adam B.
Julkaistu: (2020)

Practical Aspects of Declarative Languages
Julkaistu: (2020)

Practical Aspects of Declarative Languages
Tekijä: Hanus, Michael
Julkaistu: (2020)

Practical Aspects of Declarative Languages
Tekijä: Hudak, Paul, et al.
Julkaistu: (2020)

Practical Aspects of Declarative Languages
Tekijä: Lierler, Yuliya, et al.
Julkaistu: (2020)

Practical Scala DSLs. 1st ed.
Tekijä: Riti, Pierluigi
Julkaistu: (2020)

Pro Python Best Practices. 1st ed.
Tekijä: Rother, Kristian
Julkaistu: (2020)

Practical Aspects of Declarative Languages
Tekijä: Komendantskaya, Ekaterina, et al.
Julkaistu: (2020)

Advances in Smalltalk
Tekijä: Meuter, Wolfgang De
Julkaistu: (2020)

C# and XML Primer. 1st ed.
Tekijä: Hartwell, Jonathan
Julkaistu: (2020)

All About Maude - A High-Performance Logical Framework
Tekijä: Clavel, Manuel, et al.
Julkaistu: (2020)

Languages and Compilers for High Performance Computing
Tekijä: Eigenmann, Rudolf, et al.
Julkaistu: (2020)

Network Programming with Go
Tekijä: Newmarch, Jan
Julkaistu: (2020)

Rules and Reasoning
Tekijä: Costantini, Stefania, et al.
Julkaistu: (2020)

Test Driven Development in Ruby
Tekijä: Paranj, Bala
Julkaistu: (2020)

Systems Programming in Unix/Linux
Tekijä: Wang, K.C.
Julkaistu: (2020)

Machine Learning Using R
Tekijä: Ramasubramanian, Karthik, et al.
Julkaistu: (2020)

Functional Programming in R
Tekijä: Mailund, Thomas
Julkaistu: (2020)

Languages and Compilers for Parallel Computing
Tekijä: Pugh, Bill, et al.
Julkaistu: (2020)

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

Central European Functional Programming School
Julkaistu: (2020)

Beginning Bazel
Tekijä: McNerney, P.J.
Julkaistu: (2020)

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

Introduction to Programming with Fortran
Tekijä: Chivers, Ian, et al.
Julkaistu: (2020)

Modeling Decisions for Artificial Intelligence
Julkaistu: (2020)

Rules and Reasoning
Tekijä: Benzmüller, Christoph, et al.
Julkaistu: (2020)

Learn Unity for Android Game Development
Tekijä: Sinicki, Adam
Julkaistu: (2020)

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

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

Beginning Rust
Tekijä: Milanesi, Carlo
Julkaistu: (2020)

Exploring Swift Playgrounds. 1st ed.
Tekijä: Feiler, Jesse
Julkaistu: (2020)

Clean C++
Tekijä: Roth, Stephan
Julkaistu: (2020)

An Introduction to HTML and JavaScript
Tekijä: Brooks, David R.
Julkaistu: (2020)

Model Checking and Artificial Intelligence
Julkaistu: (2020)

Interpreting LISP. 2nd ed.
Tekijä: Knott, Gary D.
Julkaistu: (2020)

Beginning Ada Programming
Tekijä: Shvets, Andrew T.
Julkaistu: (2020)

Logic and Its Applications
Julkaistu: (2020)

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

MATLAB Machine Learning. 1st ed.
Tekijä: Paluszek, Michael, et al.
Julkaistu: (2020)

Logics in Artificial Intelligence
Julkaistu: (2020)