Zum Inhalt springen

  2. Cook, Byron [VerfasserIn]; Kröning, Daniel [VerfasserIn]; Sharygina, Natasha [VerfasserIn]

    Symbolic model checking for asynchronous Boolean programs

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    ETH, Department of Computer Science, 2005

    Erschienen in: Technical Report / ETH Zurich, Department of Computer Science, 487

  3. Kayem, Anne [HerausgeberIn]; Meinel, Christoph [HerausgeberIn] ; IGI Global

    Information security in diverse computing environments

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Hershey, Pennsylvania (701 E. Chocolate Avenue, Hershey, Pa., 17033, USA): IGI Global, 2014

  5. Mbarek, Ons [VerfasserIn] ; Nice [MitwirkendeR]; Auguin, Michel [MitwirkendeR]

    Une approche de modélisation au niveau système pour la conception et la vérification de systèmes sur puce à faible consommation ; An electronic system level modeling approach for the design and verification of low-power systems-on chip

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2013-05-29

  8. DIN-Normenausschuss Lebensmittel und landwirtschaftliche Produkte (NAL), Food and Agricultural Products Standards Committee, DIN Deutsches Institut für Normung e. V., DIN German Institute for Standardization

    DIN EN ISO 6888-3 : Mikrobiologie von Lebensmitteln und Futtermitteln - Horizontales Verfahren für die Zählung von koagulase-positiven Staphylokokken (Staphylococcus aureus und andere Spezies) - Teil 3: Nachweis und MPN-Verfahren für niedrige Keimzahlen (ISO 6888-3:2003); Deutsche Fassung EN ISO 6888-3:2003 + AC:2005 - [2005-07-00]

    Normen
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Wien, Zürich: Beuth Verlag, 2005

    Erschienen in: DIN-Regelwerk- Deutsche Normen

  9. ISO/TC 34 Lebensmittelerzeugnisse, ISO/TC 34 Food products, ISO/TC 34 Produits alimentaires, ISO Internationale Organisation für Normung, ISO International Organization for Standardization, ISO Organisation Internationale de Normalisation

    ISO 6888-3 : Microbiology of food and animal feeding stuffs - Horizontal method for the enumeration of coagulase-positive staphylococci (Staphylococcus aureus and other species) - Part 3: Detection and MPN technique for low numbers - [2003-03-00]

    Normen
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Geneve: International Organization for Standardization, 2003

    Erschienen in: ISO-Regelwerk- ISO-Normen

  10. ISO/TC 33 Feuerfeste Erzeugnisse, ISO/TC 33 Refractories, ISO/TC 33 Matériaux réfractaires, ISO Internationale Organisation für Normung, ISO International Organization for Standardization, ISO Organisation Internationale de Normalisation

    ISO 21079-2 : Chemical analysis of refractories containing alumina, zirconia, and silica - Refractories containing 5 % to 45 % of ZrO<sub>2</sub> (alternative to the X-ray fluorescence method) - Part 2: Wet chemical analysis - [2008-04-00]

    Normen
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Geneve: International Organization for Standardization, 2008

    Erschienen in: ISO-Regelwerk- ISO-Normen

  11. DIN-Normenausschuss Materialprüfung (NMP), Materials Testing Standards Committee, DIN Deutsches Institut für Normung e. V., DIN German Institute for Standardization

    DIN EN ISO 21079-1 : Chemische Analyse von aluminiumoxid-, zirkoniumoxid- und silicium(IV)-oxidhaltigen feuerfesten Erzeugnissen - Feuerfeste Erzeugnisse mit einem Massenanteil an ZrO<sub>2</sub> von 5 % bis 45 % (Alternative zum Röntgenfluoreszenzverfahren) - Teil 1: Geräte, Reagenzien und Aufschluss (ISO 21079-1:2008); Deutsche Fassung EN ISO 21079-1:2008 - [2008-08-00]

    Normen
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Wien, Zürich: Beuth Verlag, 2008

    Erschienen in: DIN-Regelwerk- Deutsche Normen

  12. DIN-Normenausschuss Materialprüfung (NMP), Materials Testing Standards Committee, DIN Deutsches Institut für Normung e. V., DIN German Institute for Standardization

    DIN EN ISO 21079-2 : Chemische Analyse von aluminiumoxid-, zirkoniumoxid- und silicium(IV)-oxidhaltigen feuerfesten Erzeugnissen - Feuerfeste Erzeugnisse mit einem Massenanteil an ZrO<sub>2</sub> von 5 % bis 45 % (Alternative zum Röntgenfluoreszenzverfahren) - Teil 2: Nasschemische Analyse (ISO 21079-2:2008); Deutsche Fassung EN ISO 21079-2:2008 - [2008-08-00]

    Normen
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Wien, Zürich: Beuth Verlag, 2008

    Erschienen in: DIN-Regelwerk- Deutsche Normen

  13. DIN-Normenausschuss Lebensmittel und landwirtschaftliche Produkte (NAL), Food and Agricultural Products Standards Committee, DIN Deutsches Institut für Normung e. V., DIN German Institute for Standardization

    DIN EN 15792 : Futtermittel - Bestimmung von Zearalenon in Futtermitteln - Hochleistungsflüssigchromatographisches Verfahren mit Fluoreszenznachweis und Reinigung an einer Immunoaffinitätssäule; Deutsche Fassung EN 15792:2009 - [2009-12-00]

    Normen
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Wien, Zürich: Beuth Verlag, 2009

    Erschienen in: DIN-Regelwerk- Deutsche Normen

  14. ISO/TC 33 Feuerfeste Erzeugnisse, ISO/TC 33 Refractories, ISO/TC 33 Matériaux réfractaires, ISO Internationale Organisation für Normung, ISO International Organization for Standardization, ISO Organisation Internationale de Normalisation

    ISO 21079-1 : Chemical analysis of refractories containing alumina, zirconia and silica - Refractories containing 5 % to 45 % of ZrO<sub>2</sub> (alternative to the X-ray fluorescence method) - Part 1: Apparatus, reagents and dissolution - [2008-04-00]

    Normen
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Geneve: International Organization for Standardization, 2008

    Erschienen in: ISO-Regelwerk- ISO-Normen

  15. ISO/TC 33 Feuerfeste Erzeugnisse, ISO/TC 33 Refractories, ISO/TC 33 Matériaux réfractaires, ISO Internationale Organisation für Normung, ISO International Organization for Standardization, ISO Organisation Internationale de Normalisation

    ISO 21079-3 : Chemical analysis of refractories containing alumina, zirconia, and silica - Refractories containing 5 % to 45 % of ZrO<sub>2</sub> (alternative to the X-ray fluorescence method) - Part 3: Flame atomic absorption spectrophotometry (FAAS) and inductively coupled plasma emission spectrometry (ICP-AES) - [2008-04-00]

    Normen
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Geneve: International Organization for Standardization, 2008

    Erschienen in: ISO-Regelwerk- ISO-Normen

  16. DIN-Normenausschuss Materialprüfung (NMP), Materials Testing Standards Committee, DIN Deutsches Institut für Normung e. V., DIN German Institute for Standardization

    DIN EN ISO 21079-3 : Chemische Analyse von aluminiumoxid-, zirkoniumoxid- und silicium(IV)-oxidhaltigen feuerfesten Erzeugnissen - Feuerfeste Erzeugnisse mit einem Massenanteil an ZrO<sub>2</sub> von 5 % bis 45 % (Alternative zum Röntgenfluoreszenzverfahren) - Teil 3: Flammenatomabsorptionsspektrophotometrie (FAAS) und Atomemissionsspektrometrie mit induktiv gekoppeltem Plasma (ICP-AES) (ISO 21079-3:2008); Deutsche Fassung EN ISO 21079-3:2008 - [2008-08-00]

    Normen
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Wien, Zürich: Beuth Verlag, 2008

    Erschienen in: DIN-Regelwerk- Deutsche Normen

  17. DIN-Normenausschuss Lebensmittel und landwirtschaftliche Produkte (NAL), Food and Agricultural Products Standards Committee, DIN Deutsches Institut für Normung e. V., DIN German Institute for Standardization

    DIN 10118 : Mikrobiologische Untersuchung von Lebensmitteln - Nachweis von Verotoxinen in Lebensmitteln tierischer Herkunft mit einem immunologischen Testsystem - [2018-07-00]

    Normen
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Wien, Zürich: Beuth Verlag, 2018

    Erschienen in: DIN-Regelwerk- Deutsche Normen

  18. DIN-Normenausschuss Wasserwesen (NAW), Water Practice Standards Committee, DIN Deutsches Institut für Normung e. V., DIN German Institute for Standardization

    DIN EN ISO 9308-2 : Wasserbeschaffenheit - Zählung von Escherichia coli und coliformen Bakterien - Teil 2: Verfahren zur Bestimmung der wahrscheinlichsten Keimzahl (ISO 9308-2:2012); Deutsche Fassung EN ISO 9308-2:2014 - [2014-06-00]

    Normen
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Wien, Zürich: Beuth Verlag, 2014

    Erschienen in: DIN-Regelwerk- Deutsche Normen

  19. ISO/TC 147 Wasserbeschaffenheit, ISO/TC 147 Water quality, ISO/TC 147 Qualité de l'eau, ISO Internationale Organisation für Normung, ISO International Organization for Standardization, ISO Organisation Internationale de Normalisation

    ISO 9308-2 : Water quality - Enumeration of Escherichia coli and coliform bacteria - Part 2: Most probable number method - [2012-07-00]

    Normen
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Geneve: International Organization for Standardization, 2012

    Erschienen in: ISO-Regelwerk- ISO-Normen

  20. Carpio, Carmen [VerfasserIn]; Perazzo, Alfredo [VerfasserIn]; Sotomayor, Renzo [VerfasserIn]

    Verification of Performance in Results-Based Financing : The Case of Panama's Health Protection for Vulnerable Populations (PSPV) Program

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    World Bank, Washington, DC, 2015

    Erschienen in: Health, Nutrition and Population Discussion Paper