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
38 träffar
|
Titel |
Författare |
År |
Språk |
21 |
Reliable Software Technologies - Ada-Europe 2010 electronic resource : 15th Ada-Europe International Conference on Reliabel Software Technologies, Valencia, Spain, June 14-18, 2010, Proceedings / edited by Jorge Real, Tullio Vardanega
|
Spain) 2010 : (15th Ada-Europe International Conference on Reliable Software Technologies Valencia
|
uuuu-uuuu |
Okänt |
22 |
Reliable Software Technologies - Ada-Europe 2008 electronic resource : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings / edited by Fabrice Kordon, Tullio Vardanega
|
Italy) 2008 : (13th Ada-Europe International Conference on Reliable Software Technologies Venice
|
uuuu-uuuu |
Okänt |
23 |
Reliable software technologies-Ada-Europe 2002 : 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002 : proceedings / Johann Blieberger, Alfred Streohmeier (editors)
|
Austria) 2002 : (7th Ada-Europe International Conference on Reliable Software Technologies Vienna
|
uuuu-uuuu |
Okänt |
24 |
Reliable software technology : Ada-Europe 2005 : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005 : proceedings / Tullio Vardanega, Andy Wellings (eds.)
|
England) 2005 : (10th Ada-Europe International Conference on Reliable Software Technologies York
|
uuuu-uuuu |
Okänt |
25 |
Reliable software technologies - Ada-Europe. - 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999 : proceedings
|
Spain) Ada-Europe International Conference on Reliable Software Technologies (1999 : Santander Ada-Europe International Conference on Reliable Software Technologies
|
1999 |
Engelska |
26 |
A Time-Triggered Middleware for Safety-Critical Automotive Applications
|
The 22nd International Conference on Reliable Software Technologies – Ada-Europe 2017 Ayhan Mehmed
|
2017 |
Engelska |
27 |
Reliable software technologies - Ada Europe '97 : proceedings
|
Ada-Europe International Conference on Reliable Software Technologies 1997) (London :
|
cop. 1997 |
Engelska |
28-29 |
Reliable software technologies - Ada-Europe '99 : 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999 : proceedings
(flera utgåvor)
|
Ada-Europe International Conference on Reliable Software Technologies 1999) (Santander :
|
cop. 1999 |
Engelska |
30-31 |
Reliable software technologies - ADA-Europe 2002 - 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002 : proceedings
(flera utgåvor)
|
Ada-Europe International Conference on Reliable Software Technologies 2002 : Vienna)
|
cop. 2002 |
Engelska |
32-33 |
Reliable software technologies - Ada-Europe 2001 : 6th Ada-Europe International Conference on Reliable Software Technologies, Leuven, Belgium, May 14-18, 2001 : proceedings
(flera utgåvor)
|
Ada-Europe International Conference on Reliable Software Technologies 2001 : Louvain)
|
cop. 2001 |
Engelska |
34 |
Reliable software technologies - Ada-Europe 2000 : 5th Ada-Europe Internetional conference, Potsdam, Germany, June 26-30, 2000 : proceedings
|
Ada-Europe International Conference on Reliable Software Technologies 2000) Potsdam :
|
cop. 2000 |
Engelska |
35-36 |
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 |
37 |
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 |
38 |
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.