All About Maude - A High-Performance Logical Framework

क्यूआर कोड

All About Maude - A High-Performance Logical Framework

में बचाया:

ग्रंथसूची विवरण
मुख्य लेखकों:	Clavel, Manuel, Durán, Francisco, Eker, Steven, Lincoln, Patrick, Martí-Oliet, Narciso, Meseguer, José, Talcott, Carolyn
स्वरूप:	पुस्तक
भाषा:	English
प्रकाशित:	Springer Berlin Heidelberg 2020
विषय:	Computer Science Programming Languages, Compilers, Interpreters Programming Techniques
ऑनलाइन पहुंच:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81812
टैग :	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

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

समान संसाधन

It's All About Coordination
द्वारा: Boer, Frank de, और अन्य
प्रकाशित: (2020)

Introducing Play Framework
द्वारा: Karunakaran, Prem Kumar
प्रकाशित: (2020)

Logic-Based Program Synthesis and Transformation
द्वारा: Hermenegildo, Manuel V, और अन्य
प्रकाशित: (2020)

Advances in Smalltalk
द्वारा: Meuter, Wolfgang De
प्रकाशित: (2020)

Practical Aspects of Declarative Languages
प्रकाशित: (2020)

C# and XML Primer. 1st ed.
द्वारा: Hartwell, Jonathan
प्रकाशित: (2020)

Languages and Compilers for High Performance Computing
द्वारा: Eigenmann, Rudolf, और अन्य
प्रकाशित: (2020)

Network Programming with Go
द्वारा: Newmarch, Jan
प्रकाशित: (2020)

Rules and Reasoning
द्वारा: Costantini, Stefania, और अन्य
प्रकाशित: (2020)

Test Driven Development in Ruby
द्वारा: Paranj, Bala
प्रकाशित: (2020)

Systems Programming in Unix/Linux
द्वारा: Wang, K.C.
प्रकाशित: (2020)

Machine Learning Using R
द्वारा: Ramasubramanian, Karthik, और अन्य
प्रकाशित: (2020)

Functional Programming in R
द्वारा: Mailund, Thomas
प्रकाशित: (2020)

Practical Aspects of Declarative Languages
द्वारा: Hanus, Michael
प्रकाशित: (2020)

Languages and Compilers for Parallel Computing
द्वारा: Pugh, Bill, और अन्य
प्रकाशित: (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, और अन्य
प्रकाशित: (2020)

Modeling Decisions for Artificial Intelligence
प्रकाशित: (2020)

Rules and Reasoning
द्वारा: Benzmüller, Christoph, और अन्य
प्रकाशित: (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)

Practical Aspects of Declarative Languages
द्वारा: Hudak, Paul, और अन्य
प्रकाशित: (2020)

Exploring Swift Playgrounds. 1st ed.
द्वारा: Feiler, Jesse
प्रकाशित: (2020)

Practical TLA+
द्वारा: Wayne, Hillel
प्रकाशित: (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, और अन्य
प्रकाशित: (2020)

Logics in Artificial Intelligence
प्रकाशित: (2020)

Automated Deduction – CADE-22
प्रकाशित: (2020)

C++17 Quick Syntax Reference
द्वारा: Olsson, Mikael
प्रकाशित: (2020)