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: Luís. Caires
8 träffar
|
Titel |
Författare |
År |
Språk |
1 |
Automata, Languages and Programming - 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings
|
Luís. Caires
|
2005 |
Engelska |
2 |
Automata, Languages and Programming
|
Luis. Caires
|
|
Engelska |
3-4 |
CONCUR 2007 Concurrency Theory
(flera utgåvor)
|
Luís. Caires
|
2007 |
Engelska |
5 |
Formal Techniques for Distributed Objects, Components, and Systems - 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings
|
|
2018 |
Engelska |
6 |
CONCUR 2007 Concurrency Theory : 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings
|
Luís Caires
|
2007 |
Okänt |
7 |
Automata, Languages and Programming: 32Nd International Colloquium, ICALP 2005 Lisbon, Portugal, July 11-15, 2005 : Proceedings (Lecture notes in computer science, 3580)
|
Luis Caires
|
2005 |
Okänt |
8 |
Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings
|
|
2018 |
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.