Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Meinten Sie men?
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- model check 13 Treffer
- business 11 Treffer
- business.industry 11 Treffer
- support vector machine 10 Treffer
- computer science 8 Treffer
-
45 weitere Werte:
- artificial intelligence 6 Treffer
- computer 6 Treffer
- kernel method 6 Treffer
- mathematics 6 Treffer
- symbolic execution 6 Treffer
- bile duct 5 Treffer
- computer.software_genre 5 Treffer
- hybrid automaton 5 Treffer
- abstract domain 4 Treffer
- kernel methods 4 Treffer
- medicine 4 Treffer
- pattern recognition 4 Treffer
- predicate abstraction 4 Treffer
- separation logic 4 Treffer
- abstract interpretation 3 Treffer
- ball (mathematics) 3 Treffer
- biology 3 Treffer
- bounded model check 3 Treffer
- computation 3 Treffer
- concurrent program 3 Treffer
- deterministic algorithm 3 Treffer
- device driver 3 Treffer
- hybrid system 3 Treffer
- minimum enclosing ball 3 Treffer
- original article 3 Treffer
- reachability analysis 3 Treffer
- symbolic model check 3 Treffer
- training set 3 Treffer
- vergiftung 3 Treffer
- acetylcholine receptor 2 Treffer
- algorithm 2 Treffer
- analytical methods 2 Treffer
- autopsie 2 Treffer
- autopsy 2 Treffer
- bile duct stone 2 Treffer
- bile duct stricture 2 Treffer
- binary code 2 Treffer
- biology.organism_classification 2 Treffer
- boolean formula 2 Treffer
- cluster analysis 2 Treffer
- common bile duct 2 Treffer
- common bile duct stone 2 Treffer
- computer network 2 Treffer
- computer science::computational geometry 2 Treffer
- conjunctive normal form 2 Treffer
Publikation
- computer aided verification : 23rd international conference, cav 2011, snowbird, ut, usa, july 14-20, 2011. proceedings 60 Treffer
- clinical hepatology : principles and practice of hepatobiliary diseases 13 Treffer
- bulletin of engineering geology and the environment: the official journal of the iaeg 3 Treffer
- environmental science and pollution research 3 Treffer
- applied microbiology and biotechnology 2 Treffer
-
45 weitere Werte:
- applied physics a: materials science & processing 2 Treffer
- european journal of clinical pharmacology 2 Treffer
- ionics: international journal of ionicsthe science and technology of ionic motion 2 Treffer
- rechtsmedizin 2 Treffer
- springer handbook of robotics 2 Treffer
- 11th international munich chassis symposium 2020 : chassis.tech plus 1 Treffer
- 17. hamophilie-symposion : hamburg 1986 1 Treffer
- 32nd hemophilia symposium : hamburg 2001 1 Treffer
- 5th european conference of the international federation for medical and biological engineering : 14-18 september 2011, budapest, hungary 1 Treffer
- adaptive and natural computing algorithms : 10th international conference, icannga 2011, ljubljana, slovenia, april 14-16, 2011, proceedings, part ii 1 Treffer
- adaptive and natural computing algorithms : 8th international conference, icannga 2007, warsaw, poland, april 11-14, 2007, proceedings, part ii 1 Treffer
- advanced intelligent computing theories and applications. with aspects of contemporary intelligent computing techniques : third international conference on intelligent computing, icic 2007, qingdao, china, august 21-24, 2007. proceedings 1 Treffer
- advances in neural networks - isnn 2008 : 5th international symposium on neural networks, isnn 2008, beijing, china, september 24-28, 2008, proceedings, part i 1 Treffer
- anal bioanal chem 1 Treffer
- analytical and bioanalytical chemistry 1 Treffer
- anasthesie und intensivmedizin 1 Treffer
- annual update in intensive care and emergency medicine 2011 1 Treffer
- ant colony optimization and swarm intelligence : 6th international conference, ants 2008, brussels, belgium, september 22-24, 2008. proceedings 1 Treffer
- approximation, randomization, and combinatorial optimization. algorithms and techniques : 14th international workshop, approx 2011, and 15th international workshop, random 2011, princeton, nj, usa, august 17-19, 2011. proceedings 1 Treffer
- archives of toxicology 1 Treffer
- behavioral neurobiology of chronic pain 1 Treffer
- braun-falco s dermatology 1 Treffer
- braun-falco s dermatology ; page 1-9 ; isbn 9783662587133 9783662587133 1 Treffer
- braun-falco's dermatologie, venerologie und allergologie 1 Treffer
- braun-falco's dermatologie, venerologie und allergologie ; page 1-10 ; isbn 9783662495469 9783662495469 1 Treffer
- braun-falco's dermatology 1 Treffer
- bulletin of the international association of engineering geology - bulletin de l'association internationale de geologie de l'ingenieur: the official journal of the iaeg 1 Treffer
- cancer chemotherapy and pharmacology 1 Treffer
- computational mechanics: solids, fluids, structures, fluid-structure interactions, biomechanics, micromechanics, multiscale mechanics, materials, constitutive modeling, nonlinear mechanics, aerodynamics 1 Treffer
- der hautarzt: zeitschrift fur dermatologie, venerologie und verwandte gebiete 1 Treffer
- eur j pediatr 1 Treffer
- european child & adolescent psychiatry 1 Treffer
- funct integr genomics 1 Treffer
- hydrogeology journal: official journal of the international association of hydrogeologists 1 Treffer
- il nuovo cimento b (1965-1970) 1 Treffer
- infection 1 Treffer
- international journal of machine learning and cybernetics 1 Treffer
- journal of cryptographic engineering 1 Treffer
- journal of public health: from theory to practice 1 Treffer
- molecular genetics and genomics 1 Treffer
- neurogenetics 1 Treffer
- palz: palaontologische zeitschrift 1 Treffer
- polymer bulletin 1 Treffer
- soft computing: a fusion of foundations, methodologies and applications 1 Treffer
- the european physical journal plus 1 Treffer
Sprache
217 Treffer
-
In: Braun-Falco´s Dermatology; (2022) S. 801-809Online E-BookZugriff:
-
In: Proceedings ; 11th International Munich Chassis Symposium 2020 ; page 1-17 ; ISSN 2198-7432 2198-7440 ; ISBN 9783662631928 9783662631935; (2021)BuchZugriff:
-
In: Funct Integr Genomics, 2023academicJournalZugriff:
-
In: Ionics: International Journal of IonicsThe Science and Technology of Ionic Motion, Jg. 28 (2022-03-01), Heft 3, S. 1199-1209Online academicJournalZugriff:
-
In: Il Nuovo Cimento B (1965-1970), Jg. 48 (1967-03-01), Heft 1, S. 1-12Online academicJournalZugriff:
-
In: Analytical and Bioanalytical Chemistry, Jg. 413 (2021-09-01), Heft 21, S. 5395-5408Online academicJournalZugriff:
-
In: Eur J Pediatr, 2022academicJournalZugriff:
-
In: Braun-Falco’s Dermatologie, Venerologie und Allergologie; (2018) S. 811-820Online E-BookZugriff:
-
2010Online E-BookZugriff:
-
In: Springer Handbook of Electrochemical Energy; (2017) S. 611-647Online E-BookZugriff:
-
2007Online E-BookZugriff: