Practical TLA+

Đã lưu trong:

Sonraí Bibleagrafaíochta
Príomhúdar:	Wayne, Hillel
Formáid:	Leabhar
Teanga:	English
Foilsithe:	Apress 2020
Ábhair:	Computer Science Programming Languages, Compilers, Interpreters Programming Techniques
Rochtain Ar Líne:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/86140
Clibeanna:	Cuir Clib Leis Gan Chlibeanna, Bí ar an gcéad duine leis an taifead seo a chlibeáil!

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

Míreanna Comhchosúla

Practical C++ Design
le: Singer, Adam B.
Foilsithe: (2020)

Practical Aspects of Declarative Languages
Foilsithe: (2020)

Practical Aspects of Declarative Languages
le: Hanus, Michael
Foilsithe: (2020)

Practical Aspects of Declarative Languages
le: Hudak, Paul, et al.
Foilsithe: (2020)

Practical Aspects of Declarative Languages
le: Lierler, Yuliya, et al.
Foilsithe: (2020)

Practical Scala DSLs. 1st ed.
le: Riti, Pierluigi
Foilsithe: (2020)

Pro Python Best Practices. 1st ed.
le: Rother, Kristian
Foilsithe: (2020)

Practical Aspects of Declarative Languages
le: Komendantskaya, Ekaterina, et al.
Foilsithe: (2020)

Advances in Smalltalk
le: Meuter, Wolfgang De
Foilsithe: (2020)

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

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

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

Network Programming with Go
le: Newmarch, Jan
Foilsithe: (2020)

Rules and Reasoning
le: Costantini, Stefania, et al.
Foilsithe: (2020)

Test Driven Development in Ruby
le: Paranj, Bala
Foilsithe: (2020)

Systems Programming in Unix/Linux
le: Wang, K.C.
Foilsithe: (2020)

Machine Learning Using R
le: Ramasubramanian, Karthik, et al.
Foilsithe: (2020)

Functional Programming in R
le: Mailund, Thomas
Foilsithe: (2020)

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

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

Central European Functional Programming School
Foilsithe: (2020)

Beginning Bazel
le: McNerney, P.J.
Foilsithe: (2020)

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

Introduction to Programming with Fortran
le: Chivers, Ian, et al.
Foilsithe: (2020)

Modeling Decisions for Artificial Intelligence
Foilsithe: (2020)

Rules and Reasoning
le: Benzmüller, Christoph, et al.
Foilsithe: (2020)

Learn Unity for Android Game Development
le: Sinicki, Adam
Foilsithe: (2020)

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

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

Beginning Rust
le: Milanesi, Carlo
Foilsithe: (2020)

Exploring Swift Playgrounds. 1st ed.
le: Feiler, Jesse
Foilsithe: (2020)

Clean C++
le: Roth, Stephan
Foilsithe: (2020)

An Introduction to HTML and JavaScript
le: Brooks, David R.
Foilsithe: (2020)

Model Checking and Artificial Intelligence
Foilsithe: (2020)

Interpreting LISP. 2nd ed.
le: Knott, Gary D.
Foilsithe: (2020)

Beginning Ada Programming
le: Shvets, Andrew T.
Foilsithe: (2020)

Logic and Its Applications
Foilsithe: (2020)

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

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

Logics in Artificial Intelligence
Foilsithe: (2020)