Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- biological and medical sciences 832 Treffer
- sciences biologiques et medicales 832 Treffer
- exact sciences and technology 649 Treffer
- sciences exactes et technologie 649 Treffer
- fundamental and applied biological sciences. psychology 595 Treffer
-
45 weitere Werte:
- sciences biologiques fondamentales et appliquees. psychologie 595 Treffer
- applied sciences 361 Treffer
- sciences appliquees 361 Treffer
- medical sciences 264 Treffer
- sciences medicales 264 Treffer
- homme 252 Treffer
- human 248 Treffer
- chemistry 246 Treffer
- chimie 246 Treffer
- hombre 233 Treffer
- aves 222 Treffer
- etude experimentale 217 Treffer
- experimental study 215 Treffer
- chimie generale et chimie physique 207 Treffer
- general and physical chemistry 207 Treffer
- estudio experimental 180 Treffer
- chimie generale, chimie physique 171 Treffer
- general chemistry, physical chemistry 171 Treffer
- informatique 169 Treffer
- poulet 169 Treffer
- computer science 168 Treffer
- computer science; control theory; systems 163 Treffer
- informatique; automatique theorique; systemes 163 Treffer
- psychologie, psychopathologie, psychiatrie 148 Treffer
- psychology, psychopathology, psychiatry 148 Treffer
- psychologie. psychanalyse. psychiatrie 145 Treffer
- psychology. psychoanalysis. psychiatry 145 Treffer
- theorie des reactions, cinetique generale. catalyse. nomenclature, documentation chimique, informatique chimique 144 Treffer
- theory of reactions, general kinetics. catalysis. nomenclature, chemical documentation, computer chemistry 144 Treffer
- vertebrata 142 Treffer
- catalyse 138 Treffer
- catalysis 138 Treffer
- psychanalyse 116 Treffer
- psychoanalysis 116 Treffer
- informatique theorique 112 Treffer
- theoretical computing 108 Treffer
- animal, plant and microbial ecology 105 Treffer
- ecologie animale, vegetale et microbienne 105 Treffer
- catalisis heterogenea 102 Treffer
- catalyse heterogene 102 Treffer
- heterogeneous catalysis 102 Treffer
- polymeres, industries des peintures et bois 99 Treffer
- polymers, paint and wood industries 99 Treffer
- invertebrata 97 Treffer
- insecta 91 Treffer
Verlag
- elsevier 279 Treffer
- springer 158 Treffer
- centre etienne marcel 118 Treffer
- elsevier science 58 Treffer
- american chemical society 49 Treffer
-
45 weitere Werte:
- wiley 35 Treffer
- office national de la chasse 27 Treffer
- institute of electrical and electronics engineers 23 Treffer
- blackwell 19 Treffer
- royal society of chemistry 19 Treffer
- edp sciences 18 Treffer
- linguistic society of new zealand 18 Treffer
- taylor & francis 15 Treffer
- lavoisier 11 Treffer
- acm 10 Treffer
- esprit 9 Treffer
- lippincott williams & wilkins 9 Treffer
- american society for microbiology 8 Treffer
- elsevier sequoia 8 Treffer
- inria 7 Treffer
- association for computing machinery 6 Treffer
- national research council of canada 6 Treffer
- simarre 6 Treffer
- blackwell science 5 Treffer
- centre international d'etudes pedagogiques 5 Treffer
- john libbey eurotext 5 Treffer
- karger 5 Treffer
- masson 5 Treffer
- portland press 5 Treffer
- springer-verlag 5 Treffer
- american physiological society 4 Treffer
- huthig 4 Treffer
- institution of electrical engineers 4 Treffer
- institution of engineering and technology 4 Treffer
- kexue chubanshe 4 Treffer
- lippincott 4 Treffer
- oxford university press 4 Treffer
- revue de metallurgie 4 Treffer
- societe d'etudes historiques et archeologiques de la moyenne correze 4 Treffer
- spie 4 Treffer
- [s.n.] 3 Treffer
- american academy of pediatrics 3 Treffer
- eres 3 Treffer
- institut national de la recherche agronomique 3 Treffer
- optical society of america 3 Treffer
- orientations magazine 3 Treffer
- parey 3 Treffer
- princeps 3 Treffer
- selper 3 Treffer
- society for general microbiology 3 Treffer
Publikation
- le coq-heron 118 Treffer
- lecture notes in computer science 91 Treffer
- journal of catalysis (print) 38 Treffer
- ieee transactions on antennas and propagation 20 Treffer
- te reo 18 Treffer
-
45 weitere Werte:
- applied catalysis. b, environmental 16 Treffer
- catalysis letters 15 Treffer
- gibier faune sauvage 15 Treffer
- macromolecules 13 Treffer
- theoretical computer science 13 Treffer
- violences, entre clinique et politique. ii 13 Treffer
- applied catalysis. a, general 12 Treffer
- game & wildlife science 12 Treffer
- catalysis today 11 Treffer
- acm sigplan notices 10 Treffer
- journal of colloid and interface science 10 Treffer
- journal of material chemistry 10 Treffer
- langmuir 10 Treffer
- partridges, quails and pheasants 10 Treffer
- esprit (1940) 9 Treffer
- journal of solid state chemistry (print) 9 Treffer
- coq (le) heron paris 8 Treffer
- journal of molecular catalysis 8 Treffer
- tphols 2002 : theorem proving in higher order logics (hampton va, 20-23 august 2002) 8 Treffer
- tsi. technique et science informatiques 8 Treffer
- violences : entre clinique et politique 8 Treffer
- applied catalysis 7 Treffer
- journal of molecular catalysis. a, chemical 7 Treffer
- journal of polymer science. part a. polymer chemistry 7 Treffer
- journal of the european ceramic society 7 Treffer
- lemouzi 7 Treffer
- racisme no iii 7 Treffer
- tphols 2000 : theorem proving in higher order logics (portland or, 14-18 august 2000) 7 Treffer
- electronics letters 6 Treffer
- enfances 6 Treffer
- esprit. changer la culture et la politique paris 6 Treffer
- formal aspects of computing 6 Treffer
- microporous and mesoporous materials 6 Treffer
- polymer (guildford) 6 Treffer
- tphols 2003 : theorem proving in higher order logics (rome, 8-12 september 2003) 6 Treffer
- biomedicine & pharmacotherapy 5 Treffer
- chemistry of materials 5 Treffer
- jfla 2001 : journees francophones des langages applicatifs (pontcarlier, 29-30 janvier 2001 ) 5 Treffer
- journal de physique. iv 5 Treffer
- journal of agricultural and food chemistry (print) 5 Treffer
- journal of alloys and compounds 5 Treffer
- journal of automated reasoning 5 Treffer
- journal of bacteriology 5 Treffer
- macromolecular chemistry and physics (print) 5 Treffer
- mechanisms of ageing and development 5 Treffer
Sprache
- english 1.132 Treffer
- french 501 Treffer
- german 56 Treffer
- russian 24 Treffer
- chinese 13 Treffer
-
17 weitere Werte:
- spanish; castilian 10 Treffer
- italian 7 Treffer
- bulgarian 5 Treffer
- japanese 5 Treffer
- romanian; moldavian; moldovan 5 Treffer
- czech 4 Treffer
- ukrainian 4 Treffer
- portuguese 3 Treffer
- slovak 3 Treffer
- dutch; flemish 2 Treffer
- norwegian 2 Treffer
- polish 2 Treffer
- arabic 1 Treffer
- danish 1 Treffer
- latin 1 Treffer
- maltese 1 Treffer
- swedish 1 Treffer
Geographischer Bezug
1.775 Treffer
-
In: Journal of automated reasoning, Jg. 53 (2014), Heft 3, S. 271-304Online academicJournalZugriff:
-
In: JFLA 2001 : journées francophones des langages applicatifs (Pontcarlier, 29-30 janvier 2001 ), 2001, S. 33-47KonferenzZugriff:
-
In: JFLA 2001 : journées francophones des langages applicatifs (Pontcarlier, 29-30 janvier 2001 ), 2001, S. 1-15KonferenzZugriff:
-
In: TYPES 2002 : types for proofs and programs (Berg en Dal, 24-28 April 2002, selected papers), 2003, S. 200-219KonferenzZugriff:
-
In: Méthodes formelles pour l'analyse statique et la compilation, Jg. 30 (2011), Heft 4, S. 409-440academicJournalZugriff:
-
In: JFLA 2001 : journées francophones des langages applicatifs (Pontcarlier, 29-30 janvier 2001 ), 2001, S. 17-31KonferenzZugriff:
-
In: TACS 2001 : theoretical aspects of computer software (Sendai, 29-31 October 2001), 2001, S. 298-315KonferenzZugriff:
-
In: Computer aided systems theory - EUROCAST 2001 (Las Palmas de Gran Canaria, 19-23 February 2001, selected & revised papers ), 2001, S. 583-596KonferenzZugriff:
-
In: TPHOLs 2001 : theorem proving in higher order logics (Edinburgh, 3-6 September 2001), 2001, S. 154-168KonferenzZugriff:
-
In: Les espaces ludiques, 2012, Heft 82, S. 97-120academicJournalZugriff:
-
In: TPHOLs'99 : theorem proving in higher order logics (Nice, 14-17 September 1999), 1999, S. 91-108KonferenzZugriff:
-
In: TPHOLs 2001 : theorem proving in higher order logics (Edinburgh, 3-6 September 2001), 2001, S. 362-377KonferenzZugriff:
-
In: Les espaces ludiques, 2012, Heft 82, S. 97-120academicJournalZugriff:
-
In: Revue d'histoire et d'art de la Brie et du pays de Meaux, 2000, Heft 51, S. 39-58academicJournalZugriff:
-
In: Langages applicatifs : spécification, programmation, vérification, Jg. 24 (2005), Heft 9, S. 1113-1138academicJournalZugriff:
-
In: Langages applicatifs : spécification, programmation, vérification, Jg. 24 (2005), Heft 9, S. 1139-1160academicJournalZugriff:
-
In: Bulletin du Musée basque, 2005, Heft 166, S. 37-66academicJournalZugriff:
-
In: TSI. Technique et science informatiques, Jg. 26 (2007), Heft 9, S. 1111-1136academicJournalZugriff:
-
In: Revue de linguistique romane, 2003, Heft 265-66, S. 223-230academicJournalZugriff:
-
In: Mechanisms of ageing and development, Jg. 128 (2007), Heft 11-12, S. 681-687academicJournalZugriff: