Practical TLA+

Mã QR

Practical TLA+

שמור ב:

מידע ביבליוגרפי
מחבר ראשי:	Wayne, Hillel
פורמט:	ספר
שפה:	English
יצא לאור:	Apress 2020
נושאים:	Computer Science Programming Languages, Compilers, Interpreters Programming Techniques
גישה מקוונת:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/86140
תגים:	הוספת תג אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!

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

פריטים דומים

Practical C++ Design
מאת: Singer, Adam B.
יצא לאור: (2020)

Practical Aspects of Declarative Languages
יצא לאור: (2020)

Practical Aspects of Declarative Languages
מאת: Hanus, Michael
יצא לאור: (2020)

Practical Aspects of Declarative Languages
מאת: Hudak, Paul, et al.
יצא לאור: (2020)

Practical Aspects of Declarative Languages
מאת: Lierler, Yuliya, et al.
יצא לאור: (2020)

Practical Scala DSLs. 1st ed.
מאת: Riti, Pierluigi
יצא לאור: (2020)

Pro Python Best Practices. 1st ed.
מאת: Rother, Kristian
יצא לאור: (2020)

Practical Aspects of Declarative Languages
מאת: Komendantskaya, Ekaterina, et al.
יצא לאור: (2020)

Advances in Smalltalk
מאת: Meuter, Wolfgang De
יצא לאור: (2020)

C# and XML Primer. 1st ed.
מאת: Hartwell, Jonathan
יצא לאור: (2020)

All About Maude - A High-Performance Logical Framework
מאת: Clavel, Manuel, et al.
יצא לאור: (2020)

Languages and Compilers for High Performance Computing
מאת: Eigenmann, Rudolf, et al.
יצא לאור: (2020)

Network Programming with Go
מאת: Newmarch, Jan
יצא לאור: (2020)

Rules and Reasoning
מאת: Costantini, Stefania, et al.
יצא לאור: (2020)

Test Driven Development in Ruby
מאת: Paranj, Bala
יצא לאור: (2020)

Systems Programming in Unix/Linux
מאת: Wang, K.C.
יצא לאור: (2020)

Machine Learning Using R
מאת: Ramasubramanian, Karthik, et al.
יצא לאור: (2020)

Functional Programming in R
מאת: Mailund, Thomas
יצא לאור: (2020)

Languages and Compilers for Parallel Computing
מאת: Pugh, Bill, et al.
יצא לאור: (2020)

Advances in Artificial Intelligence - SBIA 2008
יצא לאור: (2020)

Central European Functional Programming School
יצא לאור: (2020)

Beginning Bazel
מאת: McNerney, P.J.
יצא לאור: (2020)

Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence
יצא לאור: (2020)

Introduction to Programming with Fortran
מאת: Chivers, Ian, et al.
יצא לאור: (2020)

Modeling Decisions for Artificial Intelligence
יצא לאור: (2020)

Rules and Reasoning
מאת: Benzmüller, Christoph, et al.
יצא לאור: (2020)

Learn Unity for Android Game Development
מאת: Sinicki, Adam
יצא לאור: (2020)

Applications of Declarative Programming and Knowledge Management
יצא לאור: (2020)

MICAI 2008: Advances in Artificial Intelligence
יצא לאור: (2020)

Beginning Rust
מאת: Milanesi, Carlo
יצא לאור: (2020)

Exploring Swift Playgrounds. 1st ed.
מאת: Feiler, Jesse
יצא לאור: (2020)

Clean C++
מאת: Roth, Stephan
יצא לאור: (2020)

An Introduction to HTML and JavaScript
מאת: Brooks, David R.
יצא לאור: (2020)

Model Checking and Artificial Intelligence
יצא לאור: (2020)

Interpreting LISP. 2nd ed.
מאת: Knott, Gary D.
יצא לאור: (2020)

Beginning Ada Programming
מאת: Shvets, Andrew T.
יצא לאור: (2020)

Logic and Its Applications
יצא לאור: (2020)

Guide to Assembly Language Programming in Linux
יצא לאור: (2020)

MATLAB Machine Learning. 1st ed.
מאת: Paluszek, Michael, et al.
יצא לאור: (2020)

Logics in Artificial Intelligence
יצא לאור: (2020)