Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- program analysis 3 Treffer
- software verification 3 Treffer
- hemodialysis 2 Treffer
- no 2 Treffer
- adherence 1 Treffer
-
45 weitere Werte:
- algorithm selection 1 Treffer
- alzheimer's disease 1 Treffer
- american chemical society 1 Treffer
- amino acid replacement 1 Treffer
- antioxidants 1 Treffer
- arithmetic 1 Treffer
- assistive technology 1 Treffer
- asthma 1 Treffer
- augmented reality 1 Treffer
- binary tree 1 Treffer
- binomial random variable 1 Treffer
- biomarker 1 Treffer
- biomedical sciences 1 Treffer
- biosynthetic gene cluster 1 Treffer
- black box testing 1 Treffer
- blood smear 1 Treffer
- board size 1 Treffer
- body mass index 1 Treffer
- boron content 1 Treffer
- boron neutron capture therapy 1 Treffer
- brain 1 Treffer
- bronchiectasis 1 Treffer
- cancer 1 Treffer
- caring 1 Treffer
- cholinergic 1 Treffer
- chromosome territory 1 Treffer
- chronic obstructive pulmonary disease (copd) 1 Treffer
- class activation maps 1 Treffer
- clinical outcomes 1 Treffer
- cockroaches 1 Treffer
- coli strain 1 Treffer
- components 1 Treffer
- composition 1 Treffer
- concurrent system 1 Treffer
- conditional model checking 1 Treffer
- conjugative transfer 1 Treffer
- consistency 1 Treffer
- context institution 1 Treffer
- contracts 1 Treffer
- convolutional neural networks 1 Treffer
- cooperative verification 1 Treffer
- counterexample 1 Treffer
- cpachecker 1 Treffer
- cross ratio 1 Treffer
- data market 1 Treffer
Verlag
Publikation
- tools and algorithms for the construction and analysis of systems : 25 years of tacas: toolympics, held as part of etaps 2019, prague, czech republic, april 6-11, 2019, proceedings, part iii 11 Treffer
- genedis 2020 : geriatrics 7 Treffer
- fundamental approaches to software engineering : 12th international conference, fase 2009, held as part of the joint european conferences on theory and practice of software, etaps 2009, york, uk, march 22-29, 2009. proceedings 3 Treffer
- software-intensive systems and new computing paradigms : challenges and visions 3 Treffer
- bildverarbeitung fur die medizin 2007 : algorithmen - systeme - anwendungen proceedings des workshops vom 25.-27. marz 2007 in munchen 2 Treffer
-
39 weitere Werte:
- chromatographic fingerprint analysis of herbal medicines volume v : thin-layer and high performance liquid chromatography of chinese drugs 2 Treffer
- database and expert systems applications : 25th international conference, dexa 2014, munich, germany, september 1-4, 2014. proceedings, part i 2 Treffer
- recent advances in ngf and related molecules : the continuum of the ngf "saga" 2 Treffer
- trust in media and journalism : empirical perspectives on ethics, norms, impacts and populism in europe 2 Treffer
- advances in intelligent data analysis xx : 20th international symposium on intelligent data analysis, ida 2022, rennes, france, april 20-22, 2022, proceedings 1 Treffer
- advances in maternal-fetal biomedicine : cellular and molecular mechanisms of pregnancy pathologies 1 Treffer
- automata, languages, and programming : 41st international colloquium, icalp 2014, copenhagen, denmark, july 8-11, 2014, proceedings, part i 1 Treffer
- automated technology for verification and analysis : 17th international symposium, atva 2019, taipei, taiwan, october 28-31, 2019, proceedings 1 Treffer
- bildverarbeitung fur die medizin 2008 : algorithmen - systeme - anwendungen proceedings des workshops vom 6. bis 8. april 2008 in berlin 1 Treffer
- bildverarbeitung fur die medizin 2009 : algorithmen - systeme - anwendungen proceedings des workshops vom 22. bis 25. marz 2009 in heidelberg 1 Treffer
- biomedical visualisation : volume 10 1 Treffer
- biomedical visualisation : volume 15 - visualisation in teaching of biomedical and clinical subjects: anatomy, advanced microscopy and radiology 1 Treffer
- computational modelling of the brain : modelling approaches to cells, circuits and networks 1 Treffer
- current oculomotor research : physiological and psychological aspects 1 Treffer
- deontic logic in computer science : 11th international conference, deon 2012, bergen, norway, july 16-18, 2012. proceedings 1 Treffer
- ejb reviews 1994 1 Treffer
- explainable artificial intelligence : first world conference, xai 2023, lisbon, portugal, july 26-28, 2023, proceedings, part i 1 Treffer
- frontiers in neutron capture therapy : volume 1 1 Treffer
- fundamental approaches to software engineering : 27th international conference, fase 2024, held as part of the european joint conferences on theory and practice of software, etaps 2024, luxembourg city, luxembourg, april 6-11, 2024, proceedings 1 Treffer
- genes and proteins underlying microbial urinary tract virulence : basic aspects and applications 1 Treffer
- genomics and proteomics : functional and computational aspects 1 Treffer
- hardware and software: verification and testing : 13th international haifa verification conference, hvc 2017, haifa, israel, november 13-15, 2017, proceedings 1 Treffer
- information processing in computer-assisted interventions : first international conference, ipcai 2010, geneva, switzerland, june 23, 2010. proceedings 1 Treffer
- innovations in derivatives markets : fixed income modeling, valuation adjustments, risk management, and regulation 1 Treffer
- leveraging applications of formal methods, verification and validation. verification : 8th international symposium, isola 2018, limassol, cyprus, november 5-9, 2018, proceedings, part ii 1 Treffer
- leveraging applications of formal methods, verification and validation: verification principles : 9th international symposium on leveraging applications of formal methods, isola 2020, rhodes, greece, october 20-30, 2020, proceedings, part i 1 Treffer
- medical image computing and computer-assisted intervention - miccai 2007 : 10th international conference, brisbane, australia, october 29 - november 2, 2007, proceedings, part ii 1 Treffer
- oxygen transport to tissue xlii 1 Treffer
- radical innovations of software and systems engineering in the future : 9th international workshop, rissef 2002, venice, italy, october 7-11, 2002. revised papers 1 Treffer
- recent trends in algebraic development techniques : 16th international workshop, wadt 2002, frauenchiemsee, germany, september 24-27, 2002, revised selected papers 1 Treffer
- remote instrumentation and virtual laboratories : service architecture and networking 1 Treffer
- selective sweep 1 Treffer
- shape in medical imaging : international workshop, shapemi 2020, held in conjunction with miccai 2020, lima, peru, october 4, 2020, proceedings 1 Treffer
- tests and proofs : 12th international conference, tap 2018, held as part of staf 2018, toulouse, france, june 27-29, 2018, proceedings 1 Treffer
- theoretical aspects of computing - ictac 2005 : second international colloquium, hanoi, vietnam, october 17-21, 2005. proceedings 1 Treffer
- tools and algorithms for the construction and analysis of systems : 23rd international conference, tacas 2017, held as part of the european joint conferences on theory and practice of software, etaps 2017, uppsala, sweden, april 22-29, 2017, proceedings, part ii 1 Treffer
- tools and algorithms for the construction and analysis of systems : 30th international conference, tacas 2024, held as part of the european joint conferences on theory and practice of software, etaps 2024, luxembourg city, luxembourg, april 6-11, 2024, proceedings, part iii 1 Treffer
- uncertainty in pharmacology : epistemology, methods, and decisions 1 Treffer
- web engineering : 4th international conference, icwe 2004, munich, germany, july 26-30, 2004. proceedings 1 Treffer
69 Treffer
-
2024Online E-BookZugriff:
-
2024Online E-BookZugriff:
-