Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- BASE 106 Treffer
- Ambrose Digital 26 Treffer
- Torrossa 26 Treffer
- Openedition.org 26 Treffer
- Networked Digital Library of Theses & Dissertations 26 Treffer
-
42 weitere Werte:
- McGraw-Hill Medical 26 Treffer
- LearningExpress Library 26 Treffer
- Kotar Digital Library 26 Treffer
- Janes Terrorism & Insurgency Centre (JTIC) - Terrorism Events 26 Treffer
- Janes Military & Security Assessments (JMSA) – News 26 Treffer
- Janes Military & Security Assessments (JMSA) - Military Capabilities 26 Treffer
- Janes Military & Security Assessments (JMSA) - Country Risk 26 Treffer
- Janes Defence Industry & Markets (JDIM) - Defense Industry 26 Treffer
- Sustainable Organization Library (SOL) 26 Treffer
- Janes Defence Equipment & Technology (JDET) - News 26 Treffer
- Janes Defence Equipment & Technology (JDET) – Land 26 Treffer
- Janes Defence Equipment & Technology (JDET) - C4ISR & Mission Systems 26 Treffer
- Janes Defence Equipment & Technology (JDET) - Air & Space 26 Treffer
- Janes Chemical, Biological, Radiological & Nuclear Assessments (JCBRN) - Intelligence Centre 26 Treffer
- Index New Zealand 26 Treffer
- Films on Demand 26 Treffer
- Europeana 26 Treffer
- DieselNet Technology Guide 26 Treffer
- Janes Defence Equipment & Technology (JDET) – Sea 26 Treffer
- Canada Commons 26 Treffer
- Beeld en Geluid op school 26 Treffer
- OpenDissertations 20 Treffer
- Biodiversity Heritage Library 2 Treffer
- Teen Health & Wellness 2 Treffer
- SAGE Business Researcher 2 Treffer
- BazTech 2 Treffer
- PsychiatryOnline 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
- computer science 24 Treffer
- analyse statique 23 Treffer
- staticka analyza 22 Treffer
- abstract interpretation 20 Treffer
- program analysis 17 Treffer
-
45 weitere Werte:
- dynamic analysis 16 Treffer
- bugs 14 Treffer
- security 11 Treffer
- software testing 11 Treffer
- concurrency 10 Treffer
- interpretation abstraite 10 Treffer
- software engineering 10 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 9 Treffer
- java 9 Treffer
- computer sciences 8 Treffer
- software security 8 Treffer
- formal verification 7 Treffer
- verification 7 Treffer
- abstraktni interpretace 6 Treffer
- android 6 Treffer
- datavetenskap (datalogi) 6 Treffer
- deadlock detection 6 Treffer
- formalni verifikace 6 Treffer
- privacy 6 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 5 Treffer
- bug detection 5 Treffer
- computer software 5 Treffer
- false positive 5 Treffer
- information security 5 Treffer
- program slicing 5 Treffer
- programming languages 5 Treffer
- slicing 5 Treffer
- software 5 Treffer
- vicevlaknove programy 5 Treffer
- [info]computer science [cs] 4 Treffer
- bogue 4 Treffer
- convex polyhedra 4 Treffer
- facebook infer 4 Treffer
- fuzzing 4 Treffer
- incremental analysis 4 Treffer
- inkrementalni analyza 4 Treffer
- mobile app 4 Treffer
- multi-threaded programs 4 Treffer
- nlp 4 Treffer
- pattern matching 4 Treffer
- pointer analysis 4 Treffer
- reactive systems 4 Treffer
- reliability 4 Treffer
- sentiment analysis 4 Treffer
- subjective logic 4 Treffer
Verlag
- hal ccsd 20 Treffer
- vysoke uceni technicke v brne. fakulta informacnich technologii 20 Treffer
- university of waterloo 5 Treffer
- linkopings universitet, institutionen for datavetenskap 4 Treffer
- unsw, sydney 4 Treffer
-
34 weitere Werte:
- brasil 3 Treffer
- institutionen for datavetenskap 3 Treffer
- unilu - university of luxembourg 3 Treffer
- escholarship, university of california 2 Treffer
- instituto de informatica - inf (rg) 2 Treffer
- linkoping university, department of computer and information science 2 Treffer
- linneuniversitetet, institutionen for datavetenskap (dv) 2 Treffer
- programa de pos-graduacao em ciencia da computacao (inf) 2 Treffer
- the ohio state university / ohiolink 2 Treffer
- ufg 2 Treffer
- universidade federal de goias 2 Treffer
- university of delaware 2 Treffer
- university of oxford 2 Treffer
- virginia tech 2 Treffer
- athens university economics and business (aueb) 1 Treffer
- bacharelado em engenharia de software 1 Treffer
- cleveland state university / ohiolink 1 Treffer
- digital wpi 1 Treffer
- faculty of engineering and information technologies, school of information technologies 1 Treffer
- kent state university / ohiolink 1 Treffer
- kit-bibliothek, karlsruhe 1 Treffer
- royal holloway, university of london 1 Treffer
- tartu ulikool 1 Treffer
- the university of sydney 1 Treffer
- ufrn 1 Treffer
- uga 1 Treffer
- universidade federal do rio grande do norte 1 Treffer
- universite d'ottawa / university of ottawa 1 Treffer
- university of toledo / ohiolink 1 Treffer
- univerzita karlova, matematicko-fyzikalni fakulta 1 Treffer
- wien 1 Treffer
- οικονομικο πανεπιστημιο αθηνων 1 Treffer
- 가천대학교 일반대학원 1 Treffer
- 서울대학교 대학원 1 Treffer
Publikation
Sprache
155 Treffer
-
2021HochschulschriftZugriff:
-
2023Online HochschulschriftZugriff:
-
2010HochschulschriftZugriff:
-
2021HochschulschriftZugriff:
-
2016Online HochschulschriftZugriff:
-
2015Online HochschulschriftZugriff:
-
2014Online HochschulschriftZugriff:
-
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:
-
2005Online HochschulschriftZugriff:
-
2014Online HochschulschriftZugriff:
-
2015Online HochschulschriftZugriff:
-
2019HochschulschriftZugriff:
-
In: Biblioteca Digital de Teses e Dissertações da UFG, 2014-11-19HochschulschriftZugriff:
-
2019Online HochschulschriftZugriff: