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

Alberto Lluch Lafuente

9 cilt bulundu.

Cilt sonuçları

Internet e Web 2.0

Internet e Web 2.0

Alberto Lluch Lafuente, Marco Righi · Yayınevi bilinmiyor

221 sayfa · 2011

Computers

CiltPartial-Order Reduction for General State Exploring AlgorithmsDragan Bosnački, Stefan Leue, Alberto Lluch-Lafuente

Partial-Order Reduction for General State Exploring Algorithms

Dragan Bosnački, Stefan Leue, Alberto Lluch-Lafuente · Yayınevi bilinmiyor

Sayfa sayısı yok · 2008

Kategori yok

CiltPartial Order Reduction in Directed Model CheckingAlberto Lluch-Lafuente, Stefan Edelkamp, Stefan Leue

Partial Order Reduction in Directed Model Checking

Alberto Lluch-Lafuente, Stefan Edelkamp, Stefan Leue · Yayınevi bilinmiyor

Sayfa sayısı yok · 2008

Kategori yok

CiltDirected Explicit Model Checking with HSF-SPINStefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue

Directed Explicit Model Checking with HSF-SPIN

Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue · Yayınevi bilinmiyor

Sayfa sayısı yok · 2008

Kategori yok

CiltDirected Search for the Verification of Communication ProtocolsAlberto Lluch Lafuente

Directed Search for the Verification of Communication Protocols

Alberto Lluch Lafuente · Yayınevi bilinmiyor

144 sayfa · 2003

Kategori yok

CiltFirst Attempts to Combine Symmetry Reduction and Heuristic Search for Error DetectionBilinmeyen yazar

First Attempts to Combine Symmetry Reduction and Heuristic Search for Error Detection

Bilinmeyen yazar · Yayınevi bilinmiyor

Sayfa sayısı yok · 2003

Kategori yok

CiltLettres d'un licentié en théologie à un intendant de province sur la constitution Unigenitus, où l'on établit l'état de la disputeBilinmeyen yazar

Lettres d'un licentié en théologie à un intendant de province sur la constitution Unigenitus, où l'on établit l'état de la dispute

Bilinmeyen yazar · Yayınevi bilinmiyor

Sayfa sayısı yok · 1716

Kategori yok

CiltProtocol Verification with Heuristic SearchStefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue

Protocol Verification with Heuristic Search

Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue · Yayınevi bilinmiyor

Sayfa sayısı yok · 2008

Kategori yok

CiltAnálisis de protocolos de transporte en redes híbridasBilinmeyen yazar

Análisis de protocolos de transporte en redes híbridas

Bilinmeyen yazar · Yayınevi bilinmiyor

Sayfa sayısı yok · 1999

Kategori yok