Sök böcker
Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!
Sökning efter: Răzvan. Diaconescu 9 träffar
| Titel | Författare | År | Språk | |
|---|---|---|---|---|
| 1 | CafeOBJ report : the language, proof techniques, and methodologies for object-oriented algebraic specification / Razvan Diaconescu, Kokichi Futatsugi | Razvan. Diaconescu | uuuu-uuuu | Okänt |
| 2-3 | Institution-independent Model Theory (flera utgåvor) | Razvan Diaconescu | 2025 | Okänt |
| 4 | Institution-independent model theory | Răzvan. Diaconescu | c2008 | Engelska |
| 5 | Institution-independent model theory electronic resource / Răzvan Diaconescu | Răzvan. Diaconescu | uuuu-uuuu | Okänt |
| 6 | Logic and Computation | Răzvan Diaconescu | 2023 | Okänt |
| 7 | Logic and Computation | 2023 | Engelska | |
| 8 | Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers | 2015 | Engelska | |
| 9 | Recent Trends in Algebraic Development Techniques | 2015 | Okänt |
1
Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.