Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 19 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 16 Treffer
- ubiquinone 11 Treffer
- [info.info-dc]computer science [cs]/distributed 9 Treffer
- [info.info-rb]computer science [cs]/robotics [cs.ro] 9 Treffer
-
45 weitere Werte:
- and cluster computing [cs.dc] 9 Treffer
- parallel 9 Treffer
- computer science 7 Treffer
- regular article - experimental physics 7 Treffer
- coq 6 Treffer
- mitochondria 6 Treffer
- type theory 6 Treffer
- coenzyme q10 5 Treffer
- type system 5 Treffer
- [info.info-es]computer science [cs]/embedded systems 4 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 4 Treffer
- article 4 Treffer
- coenzyme q 4 Treffer
- coq proof assistant 4 Treffer
- genie logiciel 4 Treffer
- java 4 Treffer
- proof assistant 4 Treffer
- security 4 Treffer
- theorem proving 4 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 4 Treffer
- applied sciences 3 Treffer
- communication protocols 3 Treffer
- computer science; control theory; systems 3 Treffer
- exact sciences and technology 3 Treffer
- formal specification 3 Treffer
- i/o automata 3 Treffer
- informatique 3 Treffer
- informatique theorique 3 Treffer
- informatique; automatique theorique; systemes 3 Treffer
- ingenieria logiciel 3 Treffer
- logiciel 3 Treffer
- preuve programme 3 Treffer
- program analysis 3 Treffer
- program proof 3 Treffer
- proof-checking 3 Treffer
- protocol verification 3 Treffer
- prueba programa 3 Treffer
- respiratory chain 3 Treffer
- sciences appliquees 3 Treffer
- sciences exactes et technologie 3 Treffer
- settore bio/09 - fisiologia 3 Treffer
- settore med/31 - otorinolaringoiatria 3 Treffer
- settore med/32 - audiologia 3 Treffer
- software 3 Treffer
- software engineering 3 Treffer
Verlag
Publikation
- lecture notes in computer science 132 Treffer
- zeitschrift fur jagdwissenschaft 30 Treffer
- journal of neurology 10 Treffer
- protoplasma: an international journal of cell biology 6 Treffer
- archives of virology 5 Treffer
-
45 weitere Werte:
- stabilization, safety, and security of distributed systems. sss 2018. ; https://hal.science/hal-01937420 ; stabilization, safety, and security of distributed systems. sss 2018., xavier defago, toshimitsu masuzawa, koichi wada, nov 2018, tokyo, japan. pp.404-408, ⟨10.1007/978-3-030-03232-6_29⟩ 5 Treffer
- chromatographia 4 Treffer
- formal aspects of computing: applicable formal methods 4 Treffer
- histochemistry 4 Treffer
- oecologia 4 Treffer
- zeitschrift fur physik d atoms, molecules and clusters 4 Treffer
- applied physics b: lasers and optics 3 Treffer
- bioprocess and biosystems engineering 3 Treffer
- european journal of nuclear medicine 3 Treffer
- types for proofs and programs (aussois, 15-19 december 1996, selected papers) 3 Treffer
- $2 2 Treffer
- applicable algebra in engineering, communication and computing 2 Treffer
- archives of toxicology 2 Treffer
- experimental brain research 2 Treffer
- innovations in systems and software engineering: a nasa journal 2 Treffer
- mgg molecular & general genetics 2 Treffer
- mit web domain 2 Treffer
- molecular and general genetics mgg 2 Treffer
- molecular general genetics mgg 2 Treffer
- the clinical investigator 2 Treffer
- aaps pharmscitech 1 Treffer
- acta endoscopica 1 Treffer
- acta informatica 1 Treffer
- acta neuropathologica 1 Treffer
- acta neurovegetativa 1 Treffer
- american potato journal 1 Treffer
- amino acids 1 Treffer
- applied physics a: materials science & processing 1 Treffer
- archiv fur toxikologie 1 Treffer
- archives of environmental contamination and toxicology 1 Treffer
- archives of environmental contamination and toxicology (print) 1 Treffer
- arxiv 1 Treffer
- bulletin of environmental contamination and toxicology 1 Treffer
- calcified tissue research 1 Treffer
- canadian journal of anaesthesia 1 Treffer
- chromosoma 1 Treffer
- diabetologia: clinical and experimental diabetes and metabolism 1 Treffer
- european journal of applied physiology 1 Treffer
- handbook of experimental pharmacology 1 Treffer
- journal of neural transmission vienna austria 1996 1 Treffer
- lecture notes in physics 1 Treffer
- neurogenetics 1 Treffer
- protoplasma 1 Treffer
- springerreference 1 Treffer
- theoretical and applied genetics 1 Treffer
Sprache
Geographischer Bezug
419 Treffer
-
In: Lecture notes in computer science, Jg. 14080 (2023), S. 395-412serialPeriodicalZugriff:
-
In: Lecture notes in computer science, Jg. 11760 (2019), S. 276-292serialPeriodicalZugriff:
-
In: Applicable Algebra in Engineering, Communication and Computing, Jg. 20 (2009-12-01), Heft 5-6, S. 379-425Online academicJournalZugriff:
-
In: Lecture notes in computer science, Jg. 9660 (2016), S. 309-324serialPeriodicalZugriff:
-
In: Journal of neurology, Jg. 268 (2021-09-01), Heft 9, S. 3381-3389Online academicJournalZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2014, Heft 8471, S. 150-166serialPeriodicalZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2014, Heft 8829, S. 139-154serialPeriodicalZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2014, Heft 8558, S. 499-514serialPeriodicalZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2014, Heft 8558, S. 275-291serialPeriodicalZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2014, Heft 8558, S. 258-274serialPeriodicalZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2014, Heft 8558, S. 226-241serialPeriodicalZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2014, Heft 8558, S. 193-208serialPeriodicalZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2014, Heft 8558, S. 209-225serialPeriodicalZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2014, Heft 8558, S. 77-92serialPeriodicalZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2014, Heft 8348, S. 273-290serialPeriodicalZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2014, Heft 8577, S. 159-173serialPeriodicalZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2014, Heft 8410, S. 189-208serialPeriodicalZugriff:
-
2015Online Elektronische Ressource
-
2016Online academicJournalZugriff:
-
In: Types for proofs and programs (Aussois, 15-19 December 1996, selected papers), 1998, S. 277-293KonferenzZugriff: