Practical TLA+

QR Kod

Practical TLA+

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Wayne, Hillel
Materyal Türü:	Kitap
Dil:	English
Baskı/Yayın Bilgisi:	Apress 2020
Konular:	Computer Science Programming Languages, Compilers, Interpreters Programming Techniques
Online Erişim:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/86140
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

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

Benzer Materyaller

Practical C++ Design
Yazar:: Singer, Adam B.
Baskı/Yayın Bilgisi: (2020)

Practical Aspects of Declarative Languages
Baskı/Yayın Bilgisi: (2020)

Practical Aspects of Declarative Languages
Yazar:: Hanus, Michael
Baskı/Yayın Bilgisi: (2020)

Practical Aspects of Declarative Languages
Yazar:: Hudak, Paul, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Practical Aspects of Declarative Languages
Yazar:: Lierler, Yuliya, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Practical Scala DSLs. 1st ed.
Yazar:: Riti, Pierluigi
Baskı/Yayın Bilgisi: (2020)

Pro Python Best Practices. 1st ed.
Yazar:: Rother, Kristian
Baskı/Yayın Bilgisi: (2020)

Practical Aspects of Declarative Languages
Yazar:: Komendantskaya, Ekaterina, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Advances in Smalltalk
Yazar:: Meuter, Wolfgang De
Baskı/Yayın Bilgisi: (2020)

C# and XML Primer. 1st ed.
Yazar:: Hartwell, Jonathan
Baskı/Yayın Bilgisi: (2020)

All About Maude - A High-Performance Logical Framework
Yazar:: Clavel, Manuel, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Languages and Compilers for High Performance Computing
Yazar:: Eigenmann, Rudolf, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Network Programming with Go
Yazar:: Newmarch, Jan
Baskı/Yayın Bilgisi: (2020)

Rules and Reasoning
Yazar:: Costantini, Stefania, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Test Driven Development in Ruby
Yazar:: Paranj, Bala
Baskı/Yayın Bilgisi: (2020)

Systems Programming in Unix/Linux
Yazar:: Wang, K.C.
Baskı/Yayın Bilgisi: (2020)

Machine Learning Using R
Yazar:: Ramasubramanian, Karthik, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Functional Programming in R
Yazar:: Mailund, Thomas
Baskı/Yayın Bilgisi: (2020)

Languages and Compilers for Parallel Computing
Yazar:: Pugh, Bill, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Advances in Artificial Intelligence - SBIA 2008
Baskı/Yayın Bilgisi: (2020)

Central European Functional Programming School
Baskı/Yayın Bilgisi: (2020)

Beginning Bazel
Yazar:: McNerney, P.J.
Baskı/Yayın Bilgisi: (2020)

Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence
Baskı/Yayın Bilgisi: (2020)

Introduction to Programming with Fortran
Yazar:: Chivers, Ian, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Modeling Decisions for Artificial Intelligence
Baskı/Yayın Bilgisi: (2020)

Rules and Reasoning
Yazar:: Benzmüller, Christoph, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Learn Unity for Android Game Development
Yazar:: Sinicki, Adam
Baskı/Yayın Bilgisi: (2020)

Applications of Declarative Programming and Knowledge Management
Baskı/Yayın Bilgisi: (2020)

MICAI 2008: Advances in Artificial Intelligence
Baskı/Yayın Bilgisi: (2020)

Beginning Rust
Yazar:: Milanesi, Carlo
Baskı/Yayın Bilgisi: (2020)

Exploring Swift Playgrounds. 1st ed.
Yazar:: Feiler, Jesse
Baskı/Yayın Bilgisi: (2020)

Clean C++
Yazar:: Roth, Stephan
Baskı/Yayın Bilgisi: (2020)

An Introduction to HTML and JavaScript
Yazar:: Brooks, David R.
Baskı/Yayın Bilgisi: (2020)

Model Checking and Artificial Intelligence
Baskı/Yayın Bilgisi: (2020)

Interpreting LISP. 2nd ed.
Yazar:: Knott, Gary D.
Baskı/Yayın Bilgisi: (2020)

Beginning Ada Programming
Yazar:: Shvets, Andrew T.
Baskı/Yayın Bilgisi: (2020)

Logic and Its Applications
Baskı/Yayın Bilgisi: (2020)

Guide to Assembly Language Programming in Linux
Baskı/Yayın Bilgisi: (2020)

MATLAB Machine Learning. 1st ed.
Yazar:: Paluszek, Michael, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Logics in Artificial Intelligence
Baskı/Yayın Bilgisi: (2020)