Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- ground term 4 Treffer
- lipid peroxidation 4 Treffer
- function symbol 3 Treffer
- slip system 3 Treffer
- eosinophil peroxidase 2 Treffer
-
45 weitere Werte:
- keshan disease 2 Treffer
- normal form 2 Treffer
- partial order 2 Treffer
- seismic anisotropy 2 Treffer
- shear wave splitting 2 Treffer
- step sequence 2 Treffer
- synthesis problem 2 Treffer
- transitive relation 2 Treffer
- vertical column 2 Treffer
- abstract domain 1 Treffer
- abstract interpretation 1 Treffer
- acute intoxication 1 Treffer
- adaptive optic 1 Treffer
- allyl alcohol 1 Treffer
- antioxidants 1 Treffer
- atomic decomposition 1 Treffer
- beer drinker 1 Treffer
- binary decision diagram 1 Treffer
- binary relation 1 Treffer
- biomembranes 1 Treffer
- boolean function 1 Treffer
- brain antigen 1 Treffer
- business process 1 Treffer
- business process model 1 Treffer
- causal dependency 1 Treffer
- cell dehydration 1 Treffer
- cellular dehydration 1 Treffer
- chronic granulomatous disease 1 Treffer
- conjunctive constraint 1 Treffer
- constant symbol 1 Treffer
- critical pair 1 Treffer
- cytochrome p-450 1 Treffer
- decision procedure 1 Treffer
- dependency graph 1 Treffer
- elastic constant 1 Treffer
- execution phase 1 Treffer
- finite strain 1 Treffer
- ghost image 1 Treffer
- glutamic oxaloacetic transaminase 1 Treffer
- ground instance 1 Treffer
- groundness analysis 1 Treffer
- guide star 1 Treffer
- hasse diagram 1 Treffer
- heme peroxidase 1 Treffer
- historical overview 1 Treffer
Publikation
- petri nets and other models of concurrency - icatpn 2006 : 27th international conference on applications and theory of petri nets and other models of concurrency, turku, finland, june 26-30, 2006. proceedings 2 Treffer
- plate deformation from cradle to grave : seismic anisotropy and deformation at mid-ocean ridges and in the lowermost mantle 2 Treffer
- recent advances in stored product protection 2 Treffer
- selenium in biology and medicine 2 Treffer
- the peroxidase multigene family of enzymes : biochemical basis and clinical applications 2 Treffer
-
25 weitere Werte:
- toxic interfaces of neurones, smoke and genes : proceeding of the european society of toxicology meeting held in kuopio, june 16-19, 1985 2 Treffer
- algebra, meaning, and computation : essays dedicated to joseph a. goguen on the occasion of his 65th birthday 1 Treffer
- algebraic and logic programming : international workshop gaussig, gdr, november 14-18, 1988 proceedings 1 Treffer
- application and theory of petri nets and concurrency : 34th international conference, petri nets 2013, milan, italy, june 24-28, 2013. proceedings 1 Treffer
- automated reasoning : second international joint conference, ijcar 2004, cork, ireland, july 4-8, 2004. proceedings 1 Treffer
- biological monitoring of exposure and the response at the subcellular level to toxic substances : proceedings of the european society of toxicology meeting held in munich, september 4-7, 1988 1 Treffer
- computational logic - cl 2000 : first international conference london, uk, july 24-28, 2000 proceedings 1 Treffer
- computer aided verification : 13th international conference, cav 2001 paris, france, july 18-22, 2001 proceedings 1 Treffer
- control mechanisms of drinking 1 Treffer
- deutsche pharmakologische gesellschaft : abstracts of the 19. spring meeting march 14-17, 1978, mainz 1 Treffer
- free radicals in the brain : aging, neurological and mental disorders 1 Treffer
- goethe als chemiker 1 Treffer
- languages and compilers for parallel computing : 14th international workshop, lcpc 2001, cumberland falls, ky, usa, august 1-3, 2001 revised papers 1 Treffer
- logic for programming, artificial intelligence, and reasoning : 14th international conference, lpar 2007, yerevan, armenia, october 15-19, 2007. proceedings 1 Treffer
- logic programming : 17thinternational conference, iclp 2001 paphos, cyprus, november 26 - december 1, 2001 proceedings 1 Treffer
- microtectonics 1 Treffer
- oxidativer stress in der kinderheilkunde : theoretische spekulation oder praxisrelevante tatsache? 1 Treffer
- petri nets and other models of concurrency - icatpn 2007 : 28th international conference on applications and theory of petri nets and other models of concurrency, icatpn 2007, siedlce, poland, june 25-29, 2007. proceedings 1 Treffer
- rewriting techniques and applications : 10th international conference, rta-99 trento, italy, july 2-4, 1999 proceedings 1 Treffer
- rewriting techniques and applications : 5th international conference, rta-93 montreal, canada, june 16-18, 1993 proceedings 1 Treffer
- sofsem 2007: theory and practice of computer science : 33rd conference on current trends in theory and practice of computer science, harrachov, czech republic, january 20-26, 2007. proceedings 1 Treffer
- sofsem 2009: theory and practice of computer science : 35th conference on current trends in theory and practice of computer science, spindleruv mlyn, czech republic, january 24-30, 2009. proceedings 1 Treffer
- term rewriting and applications : 17th international conference, rta 2006 seattle, wa, usa, august 12-14, 2006 proceedings 1 Treffer
- the 2007 eso instrument calibration workshop : proceedings of the eso workshop held in garching, germany, 23-26 january 2007 1 Treffer
- theorem proving in higher order logics : 11th international conference, tphols'98 canberra, australia september 27-october 1, 1998 proceedings 1 Treffer
36 Treffer
-
2006Online E-BookZugriff:
-
2007Online E-BookZugriff:
-
2009Online E-BookZugriff:
-
2006Online E-BookZugriff:
-
2006Online E-BookZugriff:
-
In: Microtectonics; (2005) S. 67-109Online E-BookZugriff:
-
2001Online E-BookZugriff:
-
2001Online E-BookZugriff:
-
2000Online E-BookZugriff:
-
1986Online E-BookZugriff:
-
In: Control Mechanisms of Drinking; (1975) S. 108-116Online E-BookZugriff:
-
In: Plate Deformation from Cradle to Grave : Seismic Anisotropy and Deformation at Mid-Ocean Ridges and in the Lowermost Mantle; (2013) S. 123-149Online E-BookZugriff:
-
In: Plate Deformation from Cradle to Grave : Seismic Anisotropy and Deformation at Mid-Ocean Ridges and in the Lowermost Mantle; (2013) S. 9-60Online E-BookZugriff:
-
In: The 2007 ESO Instrument Calibration Workshop : Proceedings of the ESO Workshop held in Garching, Germany, 23-26 January 2007; (2008) S. 279-288Online E-BookZugriff:
-
2007Online E-BookZugriff:
-
2006Online E-BookZugriff: