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)