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: JFLA 2002 : journées francophones des langages applicatifs (Anglet, 28-29 janvier 2002), 2002, S. 101-116KonferenzZugriff:
-
In: TPHOLs 2002 : theorem proving in higher order logics (Hampton VA, 20-23 August 2002), 2002, S. 332-347KonferenzZugriff:
-
In: TPHOLs 2002 : theorem proving in higher order logics (Hampton VA, 20-23 August 2002), 2002, S. 198-213KonferenzZugriff:
-
In: TYPES 2000 : Types for proofs and programs (Durham, 8-12 December 2000, selected papers), 2002, S. 79-95KonferenzZugriff:
-
In: TYPES 2003 : types for proofs and programs (Torino, 30 April - 4 May 2003, revised selected papers), 2004, S. 324-337KonferenzZugriff:
-
In: TPHOLS 2004 : theorem proving in higher order logics (Park City UT, 14-17 September 2004), 2004, S. 225-240KonferenzZugriff:
-
In: TPHOLs 2003 : theorem proving in higher order logics (Rome, 8-12 September 2003), 2003, S. 335-351KonferenzZugriff:
-
In: Computer aided systems theory : EUROCAST 2003 (Las Palmas de Gran Canaria, 24-28 February 2003, revised selected papers), 2003, S. 279-290KonferenzZugriff:
-
In: TPHOLs 2003 : theorem proving in higher order logics (Rome, 8-12 September 2003), 2003, S. 155-170KonferenzZugriff:
-
In: TPHOLs 2000 : theorem proving in higher order logics (Portland OR, 14-18 August 2000), 2000, S. 356-371KonferenzZugriff:
-
In: TPHOLs 2000 : theorem proving in higher order logics (Portland OR, 14-18 August 2000), 2000, S. 108-125KonferenzZugriff:
-
In: MOVEP '98 : modélisation et vérification des processus parallèles (Nantes, 6-9 juillet 1998), 1998, S. 239-251KonferenzZugriff:
-
In: IET software (Print), Jg. 5 (2011), Heft 1, S. 32-42academicJournalZugriff:
-
In: Cliniques méditerranéennes, 2013, Heft 87, S. 183-190academicJournalZugriff:
-
In: Report - Software engineering, 2008, Heft 6, S. 1-17academicJournalZugriff:
-
In: Formal aspects of computing, Jg. 20 (2008), Heft 3, S. 259-275Online academicJournalZugriff:
-
In: TPHOLs 2002 : theorem proving in higher order logics (Hampton VA, 20-23 August 2002), 2002, S. 31-46KonferenzZugriff:
-
In: Histoire des sciences médicales (Colombes), Jg. 43 (2009), Heft 3, S. 241-248academicJournalZugriff:
-
In: TPHOLs 2000 : theorem proving in higher order logics (Portland OR, 14-18 August 2000), 2000, S. 126-144KonferenzZugriff:
-
In: Horlogerie ancienne (Besançon), 2009, Heft 65, S. 28-33academicJournalZugriff: