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: Kazuhiro Ogata
9 träffar
|
Titel |
Författare |
År |
Språk |
| 1 |
Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi
|
Shusaku. Iida
|
2014 |
Engelska |
| 2 |
Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
|
|
2016 |
Engelska |
| 3-4 |
Formal Methods and Software Engineering : 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings / edited by Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu
(flera utgåvor)
|
Kazuhiro. Ogata
|
uuuu-uuuu |
Okänt |
| 5-6 |
Rewriting Logic and Its Applications : 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers
(flera utgåvor)
|
Kazuhiro. Ogata
|
uuuu-uuuu |
Okänt |
| 7 |
Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi
|
|
2014 |
Okänt |
| 8 |
Rewriting Logic and Its Applications : 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers
|
Kazuhiro. Ogata
|
2024 |
Engelska |
| 9 |
Formal Methods and Software Engineering
|
Kazuhiro Ogata
|
2024 |
Engelska |
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.