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: Ada-Europe International Conference on Reliable Software Technologies
26 träffar
|
Titel |
Författare |
År |
Språk |
| 21-22 |
Reliable software technologies-Ada-Europe 2003 - 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003 : proceedings
(flera utgåvor)
|
France) Ada-Europe International Conference on Reliable Software Technologies 2003 : Toulouse
|
cop. 2003 |
Engelska |
| 23 |
Reliable software technologies. - Ada-Europe 2001 : 6th Ada-Europe International Conference on Reliable Software Technologies, Leuven, Belgium, May 14-18, 2001 : proceedings
|
Ada-Europe International Conference on Reliable Software Technologies 2001 : Louvain)
|
cop. 2001 |
Engelska |
| 24 |
Reliable software technologies - ADA-Europe 2002. - 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002 : proceedings
|
Ada-Europe International Conference on Reliable Software Technologies 2002 : Vienna)
|
cop. 2002 |
Engelska |
| 25 |
Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation
|
Portugal Lisbon 18 Jun 2018 23rd International Conference on Reliable Software Technologies - Ada-Europe 2018 Ada-Europe-2018 Irfan Sljivo
|
2018 |
Engelska |
| 26 |
Using Safety Contracts to Verify Design Assumptions During Runtime
|
Portugal Lisbon 18-22 June 2018 Ada-Europe 2018 23rd International Conference on Reliable Software Technologies Omar Jaradat
|
2018 |
Engelska |
Förra sidan
1
2
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.