All About Maude - A High-Performance Logical Framework

Κώδικας QR

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
Διαθέσιμο Online:	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)