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
オンライン･アクセス:	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)