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: Simin Nadjm-Tehrani 60 träffar

Titel Författare År Språk
1 Security Standard Compliance in System of Systems Ani Bicaku 2020 Engelska
2 Algorithmic debugging with assertions Włodzimierz Drabent 1988 Engelska
3 Analysis of the overtaking scenario - specification of an autonomous car and a driver support system Simin Nadjm-Tehrani 1991 Engelska
4-5 Towards reliable models of hybrid systems (flera utgåvor) Jan-Erik Strömberg 1993 Engelska
6 Complex hybrid systems 1994-9999 Engelska
7 Complex hybrid systems 1, A study of available tools and specification of planned work 1994 Engelska
8 Compositional modelling of hybrid systems Simin Nadjm-Tehrani 1993 Engelska
9 Modelling and verification of hybrid systems - a case study : conference paper version Simin Nadjm-Tehrani 1993 Engelska
10 On discrete and hybrid representation of hybrid systems Jan-Erik Strömberg 1994 Engelska
11 A study of decompositional verification of hybrid systems Martin Westhead 1995 Engelska
12 On semantics of reactive rule-based systems Man Lin 1996 Engelska
13 JAS-95 Lite - modelling and formal analysis of dynamic properties Simin Nadjm-Tehrani 1996 Engelska
14 Sharing the Cost of Lunch - Energy Apportionment Policies 2015 November 2-6 Mexico Cancun held in conjunction with the 18th ACM MSWiM 2015 Q2SWinet 2015 the 11th ACM Symposium on QoS and Security for Wireless and Mobile Networks Ekhiotz Jon Vergara Alonso 2015 Engelska
15 Contributions to the declarative approach to debugging Prolog programs Simin Nadjm-Tehrani 1989 Engelska
16 Reactive systems in physical environments - compositional modelling and framework for verification Simin Nadjm-Tehrani 1994 Engelska
17 First CRIS International Workshop on Critical Information Infrastructure - may 17-18, 2005, Linköping, Sweden : proceedings CRIS International Workshop on Critical Information Infrastructure 2005 : Linköping) 2005 Engelska
18 Monkey Gamer: Automatic profiling of Android games Applications and Services (MobiCASE) International Conference on Mobile Computing Javier Santos 2014 Engelska
19 Understanding Shared Memory Bank Access Interference in Multi-Core Avionics 16th International Workshop on Worst-Case Execution Time Analysis (WCET) Andreas Löfwenmark 2016 Engelska
20 NODES 09 - NOrdic workshop and doctoral symposium on DEpendability and Security, Linköping, Sweden, April 27, 2009 2009 Svenska

1 2 3 Nästa sida

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.