Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- fmt-nim: non-interleaving models 15 Treffer
- interdisciplinary sciences 9 Treffer
- fmt-pa: process algebras 7 Treffer
- process algebra 5 Treffer
- denotational semantics 3 Treffer
-
45 weitere Werte:
- event structure 3 Treffer
- fmt-fmpa: formal methods for performance analysis 3 Treffer
- fmt-pm: probabilistic methods 3 Treffer
- semantics 3 Treffer
- true concurrency 3 Treffer
- devices 2 Treffer
- idf imaging 2 Treffer
- life sciences, medicine and health care 2 Treffer
- microcirculation 2 Treffer
- operational semantics 2 Treffer
- orthognathic surgery 2 Treffer
- parallel composition 2 Treffer
- sdg 17 - partnerships for the goals 2 Treffer
- aggrecan 1 Treffer
- air 1 Treffer
- animals 1 Treffer
- animals, genetically modified 1 Treffer
- antagonists 1 Treffer
- antibiotic-resistance 1 Treffer
- antimicrobial resistance genes 1 Treffer
- attention 1 Treffer
- bacteroides 1 Treffer
- base sequence 1 Treffer
- bioinformatics 1 Treffer
- caenorhabditis elegans 1 Treffer
- causality 1 Treffer
- cfia 1 Treffer
- chad 1 Treffer
- chiropractic 1 Treffer
- chondrocyte 1 Treffer
- clostridioides difficile 1 Treffer
- cognitive models 1 Treffer
- combinatorial games 1 Treffer
- consensus 1 Treffer
- coronavirus 1 Treffer
- cycle time 1 Treffer
- data visualization 1 Treffer
- decorin 1 Treffer
- delphi technique 1 Treffer
- design concepts 1 Treffer
- design methodologies 1 Treffer
- dialysis 1 Treffer
- diffusion 1 Treffer
- distal pancreatectomy 1 Treffer
- dopamine 1 Treffer
Verlag
Publikation
- journal of clinical monitoring and computing 3 Treffer
- cognitive science 2 Treffer
- computer networks and isdn systems 2 Treffer
- international journal of humanoid robotics 2 Treffer
- journal of oral and maxillofacial surgery 2 Treffer
-
33 weitere Werte:
- advances in decision sciences 1 Treffer
- anaerobe 1 Treffer
- automata, languages and programming 1 Treffer
- chiropractic and manual therapies 1 Treffer
- clinical & experimental allergy 1 Treffer
- clinical microbiology and infection 1 Treffer
- computer journal 1 Treffer
- european journal of operational research 1 Treffer
- formal methods in system design 1 Treffer
- formal techniques in real-time and fault-tolerant systems 1 Treffer
- genome research 1 Treffer
- greenwood encyclopedia of american poetry 1 Treffer
- hepatobiliary surgery and nutrition 1 Treffer
- international journal of game theory 1 Treffer
- journal of antimicrobial chemotherapy 1 Treffer
- journal of economic dynamics and control 1 Treffer
- journal of geophysical research e: planets 1 Treffer
- journal of molecular and cellular cardiology 1 Treffer
- journal of molecular spectroscopy 1 Treffer
- journal of neuroscience methods 1 Treffer
- journal of organic chemistry 1 Treffer
- journal of social intervention : theory and practice 1 Treffer
- kidney international 1 Treffer
- legal knowledge and information systems 1 Treffer
- matrix biology 1 Treffer
- nuclear instruments and methods in physics research. section a: accelerators, spectrometers, detectors and associated equipment 1 Treffer
- scientific reports 1 Treffer
- sexual medicine 1 Treffer
- the electronic journal of combinatorics 1 Treffer
- theoretical computer science 1 Treffer
- tools and algorithms for the construction and analysis of systems 1 Treffer
- transplantation 1 Treffer
- vakblad sociaal werk 1 Treffer
Sprache
79 Treffer
-
In: International Journal of Game Theory, 2022Online serialPeriodicalZugriff:
-
In: Journal of Antimicrobial Chemotherapy, Jg. 73 (2018-10-01), Heft 10, S. 2687-2690Online serialPeriodicalZugriff:
-
In: Proceedings of the Toward Cognitive Humanoid Robots workshop, 2006Online serialPeriodicalZugriff:
-
In: Proceedings of the 27th annual conference of the Cognitive Science Society, 2005, S. 1225-1230KonferenzZugriff:
-
In: Modelowanie procesow zarzadzania; (2004) S. 9-18BuchZugriff:
-
2016Online unknownZugriff:
-
In: Vakblad Sociaal Werk, Jg. 5 (2016), S. 30-32Online serialPeriodicalZugriff:
-
In: The Electronic Journal of Combinatorics, Jg. 27 (2020), Heft 1Online serialPeriodicalZugriff:
-
In: Greenwood Encyclopedia of American Poetry; (2006) S. 1144-1145BuchZugriff:
-
2007Online HochschulschriftZugriff:
-
In: Tools and Algorithms for the Construction and Analysis of Systems, 2001, S. 220-235Online KonferenzZugriff:
-
1998Online KonferenzZugriff:
-
In: 8th International Conference on Concurrency Theory, CONCUR 1997, 1997, Heft 8, S. 317-332Online KonferenzZugriff:
-
In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996, S. 385-405Online KonferenzZugriff:
-
In: Application and Theory of Petri Nets 1995, 1995, S. 258-278Online KonferenzZugriff:
-
1978Online serialPeriodicalZugriff:
-
In: Journal of Organic Chemistry, Jg. 45 (1980), S. 547-548Online serialPeriodicalZugriff:
-
In: Computer networks and ISDN systems, Jg. 27 (1995), Heft 8, S. 1263-1285Online serialPeriodicalZugriff:
-
In: Computer journal, Jg. 38 (1995), Heft 7, S. 552-565Online serialPeriodicalZugriff:
-
2000KonferenzZugriff: