BOOKS LISTS DIARY ACTIVITY REVIEWS STATS MEMBERS

Yükleniyor

Track books, build shelves, write reviews, make public lists, and follow readers whose taste you trust.

Explore

Browse books
Lists
Diary
Stats

Community

Reader activity
Public lists
Reviews
Members

Newsletter

Get weekly book recommendations.

© 2026 Cilt. All rights reserved.

Yükleniyor

Yazar

laura kovacs

4 cilt bulundu.

Cilt sonuçları

CiltTests and ProofsLaura Kovács, Karl Meinke

Tests and Proofs

Laura Kovács, Karl Meinke · Springer International Publishing AG

Sayfa sayısı yok · 2022

Kategori yok

CiltReachability ProblemsLaura Kovács, Ana Sokolova

Reachability Problems

Laura Kovács, Ana Sokolova · Springer

Sayfa sayısı yok · 2024

Kategori yok

Computer software, developmentIntegrated Formal MethodsNikolai Kosmatov, Laura Kovács

Integrated Formal Methods

Nikolai Kosmatov, Laura Kovács · Springer

Sayfa sayısı yok · 2024

Computer software, development

CiltAutomated ReasoningJasmin Blanchette, Laura Kovács, Dirk Pattinson

Automated Reasoning

Jasmin Blanchette, Laura Kovács, Dirk Pattinson · Springer International Publishing AG

Sayfa sayısı yok · 2022

Kategori yok