CİLTLER LİSTELER GÜNLÜK AKTİVİTE İNCELEMELER İSTATİSTİK ÜYELER

Yükleniyor

Kitaplarını kaydet, raflarını kur, inceleme yaz, herkese açık listeler yap ve zevkine güvendiğin okurları takip et.

Keşfet

Ciltleri gez
Listeler
Günlük
İstatistik

Topluluk

Okur aktivitesi
Herkese açık listeler
İncelemeler
Üyeler

Bülten

Haftalık kitap önerileri al.

© 2026 Cilt. Tüm hakları saklıdır.

Gizlilik Şartlar

Yükleniyor

Yazar

Manuel Clavel

6 cilt bulundu.

Cilt sonuçları

Reflection in Rewriting Logic

Reflection in Rewriting Logic

Manuel Clavel · Stanford Univ Center for the Study

200 sayfa · 2000-01-01

Computers

All About Maude - A High-Performance Logical Framework

All About Maude - A High-Performance Logical Framework

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott · Springer

802 sayfa · 2007-07-20

Computers

All About Maude - A High-Performance Logical Framework

All About Maude - A High-Performance Logical Framework

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, · Springer

Bajo el símbolo del rojo clavel

Bajo el símbolo del rojo clavel

Juan Manuel Casas García, Claudia Murillo · Yayınevi bilinmiyor

152 sayfa · 2010

Architecture

Computer logicReflection in Rewriting LogicManuel Clavel

Reflection in Rewriting Logic

Manuel Clavel · Yayınevi bilinmiyor

200 sayfa · 2000

Computer logic

CiltLumbago y ciáticaManuel Clavel Escribano

Lumbago y ciática

Manuel Clavel Escribano · Yayınevi bilinmiyor

264 sayfa · 1998-01-01

Kategori yok

Narciso Martí-Oliet,

José Meseguer,

Carolyn Talcott

799 sayfa · 2007-07-19

Computers