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: Carlo A. Furia
10 träffar
|
Titel |
Författare |
År |
Språk |
| 1 |
Modeling Time in Computing electronic resource / by Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
|
Carlo A. author. Furia
|
uuuu-uuuu |
Okänt |
| 2-3 |
Modeling time in computing
(flera utgåvor)
|
Carlo A. Furia
|
2012 |
Engelska |
| 4 |
Modeling Time in Computing
|
Carlo A. Furia
|
2012 |
Okänt |
| 5 |
Objects, Models, Components, Patterns - 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings
|
Carlo A. Furia
|
2012 |
Engelska |
| 6 |
Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
|
|
2018 |
Engelska |
| 7 |
Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
|
|
2018 |
Okänt |
| 8 |
Object, Models, Components, Patterns: 50th International Conference, TOOLS Europe 2012, Prague, Czech Republic, May 29-31, 2012, Proceedings
|
|
2012 |
Okänt |
| 9 |
Tests and Proofs - 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
|
|
2016 |
Engelska |
| 10 |
Tests and Proofs
|
|
2016 |
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.