All About Maude - A High-Performance Logical Framework

All About Maude - A High-Performance Logical Framework

Zapisane w:

Opis bibliograficzny
Główni autorzy:	Clavel, Manuel, Durán, Francisco, Eker, Steven, Lincoln, Patrick, Martí-Oliet, Narciso, Meseguer, José, Talcott, Carolyn
Format:	Książka
Język:	English
Wydane:	Springer Berlin Heidelberg 2020
Hasła przedmiotowe:	Computer Science Programming Languages, Compilers, Interpreters Programming Techniques
Dostęp online:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81812
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!

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

Podobne zapisy

It's All About Coordination
od: Boer, Frank de, i wsp.
Wydane: (2020)

Introducing Play Framework
od: Karunakaran, Prem Kumar
Wydane: (2020)

Logic-Based Program Synthesis and Transformation
od: Hermenegildo, Manuel V, i wsp.
Wydane: (2020)

Advances in Smalltalk
od: Meuter, Wolfgang De
Wydane: (2020)

Practical Aspects of Declarative Languages
Wydane: (2020)

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

Languages and Compilers for High Performance Computing
od: Eigenmann, Rudolf, i wsp.
Wydane: (2020)

Network Programming with Go
od: Newmarch, Jan
Wydane: (2020)

Rules and Reasoning
od: Costantini, Stefania, i wsp.
Wydane: (2020)

Test Driven Development in Ruby
od: Paranj, Bala
Wydane: (2020)

Systems Programming in Unix/Linux
od: Wang, K.C.
Wydane: (2020)

Machine Learning Using R
od: Ramasubramanian, Karthik, i wsp.
Wydane: (2020)

Functional Programming in R
od: Mailund, Thomas
Wydane: (2020)

Practical Aspects of Declarative Languages
od: Hanus, Michael
Wydane: (2020)

Languages and Compilers for Parallel Computing
od: Pugh, Bill, i wsp.
Wydane: (2020)

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

Central European Functional Programming School
Wydane: (2020)

Beginning Bazel
od: McNerney, P.J.
Wydane: (2020)

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

Introduction to Programming with Fortran
od: Chivers, Ian, i wsp.
Wydane: (2020)

Modeling Decisions for Artificial Intelligence
Wydane: (2020)

Rules and Reasoning
od: Benzmüller, Christoph, i wsp.
Wydane: (2020)

Learn Unity for Android Game Development
od: Sinicki, Adam
Wydane: (2020)

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

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

Beginning Rust
od: Milanesi, Carlo
Wydane: (2020)

Practical Aspects of Declarative Languages
od: Hudak, Paul, i wsp.
Wydane: (2020)

Exploring Swift Playgrounds. 1st ed.
od: Feiler, Jesse
Wydane: (2020)

Practical TLA+
od: Wayne, Hillel
Wydane: (2020)

Clean C++
od: Roth, Stephan
Wydane: (2020)

An Introduction to HTML and JavaScript
od: Brooks, David R.
Wydane: (2020)

Model Checking and Artificial Intelligence
Wydane: (2020)

Interpreting LISP. 2nd ed.
od: Knott, Gary D.
Wydane: (2020)

Beginning Ada Programming
od: Shvets, Andrew T.
Wydane: (2020)

Logic and Its Applications
Wydane: (2020)

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

MATLAB Machine Learning. 1st ed.
od: Paluszek, Michael, i wsp.
Wydane: (2020)

Logics in Artificial Intelligence
Wydane: (2020)

Automated Deduction – CADE-22
Wydane: (2020)

C++17 Quick Syntax Reference
od: Olsson, Mikael
Wydane: (2020)