Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- BASE 68 Treffer
- Ambrose Digital 20 Treffer
- Torrossa 20 Treffer
- Openedition.org 20 Treffer
- Networked Digital Library of Theses & Dissertations 20 Treffer
-
43 weitere Werte:
- McGraw-Hill Medical 20 Treffer
- LearningExpress Library 20 Treffer
- Kotar Digital Library 20 Treffer
- Janes Terrorism & Insurgency Centre (JTIC) - Terrorism Events 20 Treffer
- Janes Military & Security Assessments (JMSA) – News 20 Treffer
- Janes Military & Security Assessments (JMSA) - Military Capabilities 20 Treffer
- Janes Military & Security Assessments (JMSA) - Country Risk 20 Treffer
- Janes Defence Industry & Markets (JDIM) - Defense Industry 20 Treffer
- Sustainable Organization Library (SOL) 20 Treffer
- Janes Defence Equipment & Technology (JDET) - News 20 Treffer
- Janes Defence Equipment & Technology (JDET) – Land 20 Treffer
- Janes Defence Equipment & Technology (JDET) - C4ISR & Mission Systems 20 Treffer
- Janes Defence Equipment & Technology (JDET) - Air & Space 20 Treffer
- Janes Chemical, Biological, Radiological & Nuclear Assessments (JCBRN) - Intelligence Centre 20 Treffer
- Index New Zealand 20 Treffer
- Films on Demand 20 Treffer
- Europeana 20 Treffer
- DieselNet Technology Guide 20 Treffer
- Janes Defence Equipment & Technology (JDET) – Sea 20 Treffer
- Canada Commons 20 Treffer
- Beeld en Geluid op school 20 Treffer
- OpenDissertations 8 Treffer
- Biodiversity Heritage Library 2 Treffer
- Teen Health & Wellness 2 Treffer
- SAGE Business Researcher 2 Treffer
- BazTech 2 Treffer
- PsychiatryOnline 2 Treffer
- Orlando: Women's Writing in the British Isles, from the Beginnings to the Present 2 Treffer
- McGraw-Hill eBook Library 2 Treffer
- Routledge Handbooks Online 2 Treffer
- First Research 2 Treffer
- Drama Online 2 Treffer
- British Library EThOS 2 Treffer
- BrillOnline Primary Source 2 Treffer
- ICPSR Data Archive 2 Treffer
- Classiques Garnier Numerique: Patrologia Graeca 2 Treffer
- 스콜라(Scholar) 1 Treffer
- DBPIA 1 Treffer
- eArticle 1 Treffer
- KERIS Theses & Dissertations 1 Treffer
- Korean Studies Information Service System 1 Treffer
- KoreaScholar 1 Treffer
- KRpia 1 Treffer
Art der Quelle
Schlagwort
- verification formelle 30 Treffer
- model checking 12 Treffer
- coq 6 Treffer
- cryptography 6 Treffer
- embedded systems 6 Treffer
-
45 weitere Werte:
- ingenierie dirigee par les modeles 6 Treffer
- interpretation 6 Treffer
- model-driven engineering 6 Treffer
- systemes embarques 6 Treffer
- bmc 5 Treffer
- computer science 5 Treffer
- formalni verifikace 5 Treffer
- static analysis 5 Treffer
- test generation 5 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 4 Treffer
- [spi.nano]engineering sciences [physics]/micro and nanotechnologies/microelectronics 4 Treffer
- algebres de processus 4 Treffer
- bounded model checking 4 Treffer
- compcert 4 Treffer
- formal specification 4 Treffer
- generation de tests 4 Treffer
- java 4 Treffer
- methodologies 4 Treffer
- outils 4 Treffer
- process algebra 4 Treffer
- processor 4 Treffer
- sat solver 4 Treffer
- satisfiability 4 Treffer
- security 4 Treffer
- software testing 4 Treffer
- specification formelle 4 Treffer
- staticka analyza 4 Treffer
- system-on-chip 4 Treffer
- tools 4 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 3 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 3 Treffer
- assertions 3 Treffer
- atpg 3 Treffer
- cheri 3 Treffer
- electrical engineering 3 Treffer
- embedded software 3 Treffer
- formal methods 3 Treffer
- formal semantics 3 Treffer
- formale verifikation 3 Treffer
- implications 3 Treffer
- isabelle 3 Treffer
- just-in-time compilation 3 Treffer
- mu-calculus 3 Treffer
- processeurs 3 Treffer
- program synthesis 3 Treffer
Verlag
- hal ccsd 18 Treffer
- virginia tech 8 Treffer
- georgia institute of technology 6 Treffer
- vysoke uceni technicke v brne. fakulta informacnich technologii 5 Treffer
- north dakota state university 4 Treffer
-
31 weitere Werte:
- brasil 2 Treffer
- fachbereich 03: mathematik/informatik (fb 03) 2 Treffer
- kth, skolan for elektroteknik och datavetenskap (eecs) 2 Treffer
- ufam 2 Treffer
- universidade federal do amazonas 2 Treffer
- universitat bremen 2 Treffer
- university of cambridge 2 Treffer
- university of oxford 2 Treffer
- university of waterloo 2 Treffer
- apollo - university of cambridge repository 1 Treffer
- auckland university of technology 1 Treffer
- biblioteca digitais de teses e dissertacoes da usp 1 Treffer
- br 1 Treffer
- country:italy 1 Treffer
- engenharia eletrica 1 Treffer
- escholarship, university of california 1 Treffer
- faculdade de tecnologia 1 Treffer
- instituto de computa????o 1 Treffer
- johns hopkins university 1 Treffer
- kit-bibliothek, karlsruhe 1 Treffer
- politecnico di torino 1 Treffer
- programa de p??s-gradua????o em inform??tica 1 Treffer
- programa de pos-graduacao em engenharia eletrica 1 Treffer
- the ohio state university / ohiolink 1 Treffer
- universidade de sao paulo 1 Treffer
- universitat politecnica de catalunya 1 Treffer
- universitat tubingen 1 Treffer
- usa 1 Treffer
- usp 1 Treffer
- wien 1 Treffer
- 고려대학교 대학원 1 Treffer
Publikation
Sprache
99 Treffer
-
2010HochschulschriftZugriff:
-
In: VYVIAL, P. Statická detekce častých chyb JBoss aplikačního serveru [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2010, 2010Online HochschulschriftZugriff:
-
2022HochschulschriftZugriff:
-
2021Online HochschulschriftZugriff:
-
2022Online HochschulschriftZugriff:
-
In: https://theses.hal.science/tel-03987749 ; Other [cs.OH]. École normale supérieure de Rennes, 2022. English. ⟨NNT : 2022ENSR0038⟩, 2022Online HochschulschriftZugriff:
-
In: https://inria.hal.science/tel-03981965 ; Cryptography and Security [cs.CR]. Paris Sciences et Lettres, 2022. English. ⟨NNT : ⟩, 2022Online HochschulschriftZugriff:
-
In: https://hal.archives-ouvertes.fr/tel-03326923 ; Programming Languages [cs.PL]. Université Grenoble Alpes, 2021. English, 2021Online HochschulschriftZugriff:
-
2018Online HochschulschriftZugriff:
-
2019Online HochschulschriftZugriff:
-
2021HochschulschriftZugriff:
-
2017Online HochschulschriftZugriff:
-
2016HochschulschriftZugriff: