All About Maude - A High-Performance Logical Framework

QR Kod

All About Maude - A High-Performance Logical Framework

Kaydedildi:

Detaylı Bibliyografya
Asıl Yazarlar:	Clavel, Manuel, Durán, Francisco, Eker, Steven, Lincoln, Patrick, Martí-Oliet, Narciso, Meseguer, José, Talcott, Carolyn
Materyal Türü:	Kitap
Dil:	English
Baskı/Yayın Bilgisi:	Springer Berlin Heidelberg 2020
Konular:	Computer Science Programming Languages, Compilers, Interpreters Programming Techniques
Online Erişim:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81812
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

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

Benzer Materyaller

It's All About Coordination
Yazar:: Boer, Frank de, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Introducing Play Framework
Yazar:: Karunakaran, Prem Kumar
Baskı/Yayın Bilgisi: (2020)

Logic-Based Program Synthesis and Transformation
Yazar:: Hermenegildo, Manuel V, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Advances in Smalltalk
Yazar:: Meuter, Wolfgang De
Baskı/Yayın Bilgisi: (2020)

Practical Aspects of Declarative Languages
Baskı/Yayın Bilgisi: (2020)

C# and XML Primer. 1st ed.
Yazar:: Hartwell, Jonathan
Baskı/Yayın Bilgisi: (2020)

Languages and Compilers for High Performance Computing
Yazar:: Eigenmann, Rudolf, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Network Programming with Go
Yazar:: Newmarch, Jan
Baskı/Yayın Bilgisi: (2020)

Rules and Reasoning
Yazar:: Costantini, Stefania, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Test Driven Development in Ruby
Yazar:: Paranj, Bala
Baskı/Yayın Bilgisi: (2020)

Systems Programming in Unix/Linux
Yazar:: Wang, K.C.
Baskı/Yayın Bilgisi: (2020)

Machine Learning Using R
Yazar:: Ramasubramanian, Karthik, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Functional Programming in R
Yazar:: Mailund, Thomas
Baskı/Yayın Bilgisi: (2020)

Practical Aspects of Declarative Languages
Yazar:: Hanus, Michael
Baskı/Yayın Bilgisi: (2020)

Languages and Compilers for Parallel Computing
Yazar:: Pugh, Bill, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Advances in Artificial Intelligence - SBIA 2008
Baskı/Yayın Bilgisi: (2020)

Central European Functional Programming School
Baskı/Yayın Bilgisi: (2020)

Beginning Bazel
Yazar:: McNerney, P.J.
Baskı/Yayın Bilgisi: (2020)

Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence
Baskı/Yayın Bilgisi: (2020)

Introduction to Programming with Fortran
Yazar:: Chivers, Ian, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Modeling Decisions for Artificial Intelligence
Baskı/Yayın Bilgisi: (2020)

Rules and Reasoning
Yazar:: Benzmüller, Christoph, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Learn Unity for Android Game Development
Yazar:: Sinicki, Adam
Baskı/Yayın Bilgisi: (2020)

Applications of Declarative Programming and Knowledge Management
Baskı/Yayın Bilgisi: (2020)

MICAI 2008: Advances in Artificial Intelligence
Baskı/Yayın Bilgisi: (2020)

Beginning Rust
Yazar:: Milanesi, Carlo
Baskı/Yayın Bilgisi: (2020)

Practical Aspects of Declarative Languages
Yazar:: Hudak, Paul, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Exploring Swift Playgrounds. 1st ed.
Yazar:: Feiler, Jesse
Baskı/Yayın Bilgisi: (2020)

Practical TLA+
Yazar:: Wayne, Hillel
Baskı/Yayın Bilgisi: (2020)

Clean C++
Yazar:: Roth, Stephan
Baskı/Yayın Bilgisi: (2020)

An Introduction to HTML and JavaScript
Yazar:: Brooks, David R.
Baskı/Yayın Bilgisi: (2020)

Model Checking and Artificial Intelligence
Baskı/Yayın Bilgisi: (2020)

Interpreting LISP. 2nd ed.
Yazar:: Knott, Gary D.
Baskı/Yayın Bilgisi: (2020)

Beginning Ada Programming
Yazar:: Shvets, Andrew T.
Baskı/Yayın Bilgisi: (2020)

Logic and Its Applications
Baskı/Yayın Bilgisi: (2020)

Guide to Assembly Language Programming in Linux
Baskı/Yayın Bilgisi: (2020)

MATLAB Machine Learning. 1st ed.
Yazar:: Paluszek, Michael, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Logics in Artificial Intelligence
Baskı/Yayın Bilgisi: (2020)

Automated Deduction – CADE-22
Baskı/Yayın Bilgisi: (2020)

C++17 Quick Syntax Reference
Yazar:: Olsson, Mikael
Baskı/Yayın Bilgisi: (2020)