Skip to contents Doulos Ltd. Ringwood SystemVerilog golden reference guide : a concise guide to SystemVerilog IEEE Std 1800-2012 - [Version 7.0, July 2016] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. San Jose, CA: Doulos, Juli 2016 Gopalakrishnan, Ganesh [Editor]; Qadeer, Shaz [Other] ; CAV 23 2011 Snowbird, Utah Computer aided verification : 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6806 Bouajjani, Ahmed [Editor]; Maler, Oded [Other] ; CAV 21 2009 Grenoble Computer aided verification : 21st international conference, CAV 2009, Grenoble, France, June 26-July 2, 2009 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2009 Published in: Lecture notes in computer science ; 5643 Touili, Tayssir [Editor]; Cook, Byron [Other]; Jackson, Paul [Other] ; CAV 22 2010 Edinburgh Computer aided verification : 22nd international conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 6174 Gupta, Aarti [Editor]; Malik, Sharad [Other] ; CAV 20 2008 Princeton, NJ Computer aided verification : 20th international conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2008 Published in: Lecture notes in computer science ; 5123 Wiemann, Alan [Author] Standardized functional verification Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York, NY: Springer, 2008 Damm, Werner [Editor]; Hermanns, Holger [Other] ; CAV 19 2007 Berlin Computer aided verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3 - 7, 2007 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2007 Published in: Lecture notes in computer science ; 4590 Etessami, Kousha [Editor]; Rajamani, Sriram K. [Other] ; CAV 17 2005 Edinburgh Computer aided verification : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3576 Ball, Thomas [Editor]; Jones, Robert B. [Other] ; CAV 18 2006 Seattle, Wash Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17 - 20, 2006 ; proceedings ; [part of the Federated Logic Conference (FLoC 2006)] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 4144 Brinksma, Ed [Editor] ; CAV 14 2002 Kopenhagen Computer aided verification : 14th international conference ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2002 Published in: Lecture notes in computer science ; 2404 Hunt, Warren A. [Editor]; Somenzi, Fabio [Other] ; CAV 15 2003 Boulder, Colo Computer aided verification : 15th International Conference, Boulder, CO, USA, July 8 - 12, 2003 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2003 Published in: Lecture notes in computer science ; 2725 Emerson, E. Allen [Editor]; Sistla, Aravinda Prasad [Other] ; CAV 12 2000 Chicago, Ill Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2000 Published in: Lecture notes in computer science ; 1855 Berry, Gérard [Editor] ; CAV 13 2001 Paris Computer aided verification : 13th international conference, CAV 2001, Paris, France, July 18 - 22, 2001 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2001 Published in: Lecture notes in computer science ; 2102 Halbwachs, Nicolas [Editor] ; CAV 11 1999 Trient Computer aided verification : 11th international conference ; CAV '99, Trento, Italy, July 6 - 10, 1999 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1999 Published in: Lecture notes in computer science ; 1633 Hu, Alan J. [Editor] ; CAV 10 1998 Vancouver, British Columbia Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1998 Published in: Lecture notes in computer science ; 1427 Grumberg, Orna [Editor] ; CAV 9 1997 Ḥêfā Computer aided verification : 9th international conference, CAV '97, Haifa, Israel, June 22 - 25, 1997 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1997 Published in: Lecture notes in computer science ; 1254 Alur, Rajeev [Editor] ; CAV 8 1996 New Brunswick, NJ Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 1996 Published in: Lecture notes in computer science ; 1102 Wolper, Pierre [Editor] ; CAV 7 1995 Lüttich Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1995 Published in: Lecture notes in computer science ; 939 Misak, Cheryl J. [Author] Verificationism : its history and prospects - [1. publ.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London [u.a.]: Routledge, 1995 Published in: Philosophical issues in science MacMillan, Kenneth L. [Author] ; McMillan, Kenneth L. [Other] Symbolic model checking Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boston [u.a.]: Kluwer Academic, 1993
Doulos Ltd. Ringwood SystemVerilog golden reference guide : a concise guide to SystemVerilog IEEE Std 1800-2012 - [Version 7.0, July 2016] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. San Jose, CA: Doulos, Juli 2016
Gopalakrishnan, Ganesh [Editor]; Qadeer, Shaz [Other] ; CAV 23 2011 Snowbird, Utah Computer aided verification : 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6806
Bouajjani, Ahmed [Editor]; Maler, Oded [Other] ; CAV 21 2009 Grenoble Computer aided verification : 21st international conference, CAV 2009, Grenoble, France, June 26-July 2, 2009 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2009 Published in: Lecture notes in computer science ; 5643
Touili, Tayssir [Editor]; Cook, Byron [Other]; Jackson, Paul [Other] ; CAV 22 2010 Edinburgh Computer aided verification : 22nd international conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 6174
Gupta, Aarti [Editor]; Malik, Sharad [Other] ; CAV 20 2008 Princeton, NJ Computer aided verification : 20th international conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2008 Published in: Lecture notes in computer science ; 5123
Wiemann, Alan [Author] Standardized functional verification Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York, NY: Springer, 2008
Damm, Werner [Editor]; Hermanns, Holger [Other] ; CAV 19 2007 Berlin Computer aided verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3 - 7, 2007 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2007 Published in: Lecture notes in computer science ; 4590
Etessami, Kousha [Editor]; Rajamani, Sriram K. [Other] ; CAV 17 2005 Edinburgh Computer aided verification : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3576
Ball, Thomas [Editor]; Jones, Robert B. [Other] ; CAV 18 2006 Seattle, Wash Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17 - 20, 2006 ; proceedings ; [part of the Federated Logic Conference (FLoC 2006)] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 4144
Brinksma, Ed [Editor] ; CAV 14 2002 Kopenhagen Computer aided verification : 14th international conference ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2002 Published in: Lecture notes in computer science ; 2404
Hunt, Warren A. [Editor]; Somenzi, Fabio [Other] ; CAV 15 2003 Boulder, Colo Computer aided verification : 15th International Conference, Boulder, CO, USA, July 8 - 12, 2003 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2003 Published in: Lecture notes in computer science ; 2725
Emerson, E. Allen [Editor]; Sistla, Aravinda Prasad [Other] ; CAV 12 2000 Chicago, Ill Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2000 Published in: Lecture notes in computer science ; 1855
Berry, Gérard [Editor] ; CAV 13 2001 Paris Computer aided verification : 13th international conference, CAV 2001, Paris, France, July 18 - 22, 2001 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2001 Published in: Lecture notes in computer science ; 2102
Halbwachs, Nicolas [Editor] ; CAV 11 1999 Trient Computer aided verification : 11th international conference ; CAV '99, Trento, Italy, July 6 - 10, 1999 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1999 Published in: Lecture notes in computer science ; 1633
Hu, Alan J. [Editor] ; CAV 10 1998 Vancouver, British Columbia Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1998 Published in: Lecture notes in computer science ; 1427
Grumberg, Orna [Editor] ; CAV 9 1997 Ḥêfā Computer aided verification : 9th international conference, CAV '97, Haifa, Israel, June 22 - 25, 1997 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1997 Published in: Lecture notes in computer science ; 1254
Alur, Rajeev [Editor] ; CAV 8 1996 New Brunswick, NJ Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 1996 Published in: Lecture notes in computer science ; 1102
Wolper, Pierre [Editor] ; CAV 7 1995 Lüttich Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1995 Published in: Lecture notes in computer science ; 939
Misak, Cheryl J. [Author] Verificationism : its history and prospects - [1. publ.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London [u.a.]: Routledge, 1995 Published in: Philosophical issues in science
MacMillan, Kenneth L. [Author] ; McMillan, Kenneth L. [Other] Symbolic model checking Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boston [u.a.]: Kluwer Academic, 1993
> Media type Skip to next facet Standards (1.812) Wert ausschließen Books (616) Wert ausschließen Articles (69) Wert ausschließen Thesis (7) Wert ausschließen Conference Proceedings (2) Wert ausschließen Electronic Resources (1) Wert ausschließen Journals / Newspapers / Series (1) Wert ausschließen Microforms (1) Wert ausschließen Videos (1) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (55) Wert ausschließen Stack Collection (178) Wert ausschließen Ask for availability (13) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (199) Wert ausschließen Central Library (37) Wert ausschließen Branch Library of Medicine (3) Wert ausschließen TU Dresden holdings (2) Wert ausschließen Branch Library of Law (1) Wert ausschließen Branch Library of Forestry (1) Wert ausschließen Show more show less
> Rights information Skip to next facet In Copyright (1.815) Wert ausschließen Attribution (CC BY) (8) Wert ausschließen Attribution - No Derivs (CC BY-ND) (5) Wert ausschließen In Copyright - Non-commercial Use Permitted (2) Wert ausschließen Attribution - Non Commercial (CC BY-NC) (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (173) Wert ausschließen Restricted Access (1.814) Wert ausschließen Without Specification (288) Wert ausschließen Show more show less
> Language Skip to next facet German (1.389) Wert ausschließen English (1.377) Wert ausschließen Not determined (15) Wert ausschließen French (7) Wert ausschließen Latin (1) Wert ausschließen Norwegian (1) Wert ausschließen Polish (1) Wert ausschließen Russian (1) Wert ausschließen Swedish (1) Wert ausschließen Show more show less
> Subject Skip to next facet Technology (1.719) Wert ausschließen Computer science (332) Wert ausschließen Biology (215) Wert ausschließen Agriculture and forestry, horticulture, fisheries, housekeeping (182) Wert ausschließen Geology and paleontology (162) Wert ausschließen Physics (148) Wert ausschließen Economics (142) Wert ausschließen Medicine (135) Wert ausschließen Mathmatics (101) Wert ausschließen Chemistry and pharmacology (64) Wert ausschließen Sociology (30) Wert ausschließen Geography (19) Wert ausschließen General (11) Wert ausschließen History (9) Wert ausschließen Political science (8) Wert ausschließen General and comparative linguistics and literary studies, indo-european, non-european languages and literatures (7) Wert ausschließen Jurisprudence (7) Wert ausschließen Military science (6) Wert ausschließen General sciences (5) Wert ausschließen Allgemeine Naturwissenschaften (5) Wert ausschließen Philosophy (5) Wert ausschließen Sports science (5) Wert ausschließen Theology and religious studies (2) Wert ausschließen Germanic and Scandinavian studies (1) Wert ausschließen Psychology (1) Wert ausschließen Show more show less
> Creator Skip to next facet DIN Deutsches Institut für Normung e. V. (1.090) Wert ausschließen DIN German Institute for Standardization (1.090) Wert ausschließen ISO International Organization for Standardization (637) Wert ausschließen ISO Internationale Organisation für Normung (637) Wert ausschließen ISO Organisation Internationale de Normalisation (637) Wert ausschließen DIN Standards Committee Building and Civil Energeering (209) Wert ausschließen DIN-Normenausschuss Bauwesen (NABau) (209) Wert ausschließen DIN-Normenausschuss Lebensmittel und landwirtschaftliche Produkte (NAL) (157) Wert ausschließen Food and Agricultural Products Standards Committee (157) Wert ausschließen DKE Deutsche Kommission Elektrotechnik Elektronik Informationstechnik in DIN und VDE (119) Wert ausschließen German Commission for Electrical, Electronic and Information Technologies of DIN and VDE (119) Wert ausschließen ISO/TC 34 Food products (117) Wert ausschließen ISO/TC 34 Lebensmittelerzeugnisse (117) Wert ausschließen ISO/TC 34 Produits alimentaires (117) Wert ausschließen DIN-Normenausschuss Maschinenbau (NAM) (112) Wert ausschließen Mechanical Engineering Standards Committee (112) Wert ausschließen DIN-Normenausschuss Materialprüfung (NMP) (94) Wert ausschließen Materials Testing Standards Committee (94) Wert ausschließen VDI - The Association of German Engineers (75) Wert ausschließen VDI Verein Deutscher Ingenieure e.V. (75) Wert ausschließen CEI Commission Electrotechnique Internationale (50) Wert ausschließen IEC International Electrotechnical Commission (50) Wert ausschließen IEC Internationale Elektrotechnische Kommission (50) Wert ausschließen Aerospace Standards Committee (48) Wert ausschließen DIN-Normenausschuss Luft- und Raumfahrt (NL) (48) Wert ausschließen DIN Standards Committee Health Technologies (39) Wert ausschließen DIN-Normenausschuss Gesundheitstechnologien (NAGesuTech) (39) Wert ausschließen DIN-Normenausschuss Wasserwesen (NAW) (33) Wert ausschließen Water Practice Standards Committee (33) Wert ausschließen VDI/DIN-Commission on Air Pollution Prevention (KRdL) - Standards Committee (28) Wert ausschließen VDI/DIN-Kommission Reinhaltung der Luft (KRdL) - Normenausschuss (28) Wert ausschließen ISO/TC 147 Qualité de l'eau (26) Wert ausschließen ISO/TC 147 Wasserbeschaffenheit (26) Wert ausschließen ISO/TC 147 Water quality (26) Wert ausschließen ISO/TC 44 Schweißen und verwandte Verfahren (24) Wert ausschließen ISO/TC 44 Soudage et techniques connexes (24) Wert ausschließen ISO/TC 44 Welding and allied processes (24) Wert ausschließen DIN-Normenausschuss Schweißen und verwandte Verfahren (NAS) (23) Wert ausschließen Welding and allied processes (23) Wert ausschließen Comité de normalisation ferroviaire (22) Wert ausschließen DIN-Normenausschuss Fahrweg und Schienenfahrzeuge (FSF) (22) Wert ausschließen Railway standardisation committee (22) Wert ausschließen DIN-Normenausschuss Eisen und Stahl (FES) (21) Wert ausschließen Iron and Steel Standards Committee (21) Wert ausschließen Acoustics, Noise Control and Vibration Engineering Standards Committee in DIN and VDI (20) Wert ausschließen ISO/TC 110 Chariots de manutention (20) Wert ausschließen ISO/TC 110 Flurförderzeuge (20) Wert ausschließen ISO/TC 110 Industrial trucks (20) Wert ausschließen ISO/TC 85 Kernenergie (20) Wert ausschließen ISO/TC 85 Nuclear energy (20) Wert ausschließen ISO/TC 85 Énergie nucléaire (20) Wert ausschließen Normenausschuss Akustik, Lärmminderung und Schwingungstechnik (NALS) im DIN und VDI (20) Wert ausschließen ISO/TC 198 Sterilisation von Produkten für die Gesundheitsvorsorge (18) Wert ausschließen ISO/TC 198 Sterilization of health care products (18) Wert ausschließen ISO/TC 198 Stérilisation des produits de santé (18) Wert ausschließen ISO/TC 61 Kunststoffe (17) Wert ausschließen ISO/TC 61 Plastics (17) Wert ausschließen ISO/TC 61 Plastiques (17) Wert ausschließen VDI Society Energy and Environment (17) Wert ausschließen VDI-Gesellschaft Energie und Umwelt (17) Wert ausschließen DIN-Normenausschuss Holzwirtschaft und Möbel (NHM) (16) Wert ausschließen Timber and Furniture Standards Committee (16) Wert ausschließen DIN-Normenausschuss Informationstechnik und Anwendungen (NIA) (15) Wert ausschließen Information Technology and selected IT Applications Standards Committee (15) Wert ausschließen International Association for Computer and Information Science (15) Wert ausschließen DIN-Normenausschuss Grundlagen des Umweltschutzes (NAGUS) (14) Wert ausschließen ISO/TC 135 Essais non destructifs (14) Wert ausschließen ISO/TC 135 Non-destructive testing (14) Wert ausschließen ISO/TC 135 Zerstörungsfreie Prüfungen (14) Wert ausschließen ISO/TC 213 Dimensional and geometrical product specifications and verification (14) Wert ausschließen ISO/TC 213 Geometrische Produktspezifikationen und -prüfung (14) Wert ausschließen ISO/TC 213 Spécifications et vérification dimensionnelles et géométriques des produits (14) Wert ausschließen ISO/TC 39 Machine tools (14) Wert ausschließen ISO/TC 39 Machines-outils (14) Wert ausschließen ISO/TC 39 Werkzeugmaschinen (14) Wert ausschließen ISO/TC 69 Anwendung statistischer Verfahren (14) Wert ausschließen ISO/TC 69 Application des méthodes statistiques (14) Wert ausschließen ISO/TC 69 Applications of statistical methods (14) Wert ausschließen Principles of Environmental Protection Standards Committee (14) Wert ausschließen VDI/VDE Society Measurement and Automation (14) Wert ausschließen VDI/VDE-Gesellschaft Mess- und Automatisierungstechnik (14) Wert ausschließen DIN-Normenausschuss Qualitätsmanagement, Statistik und Zertifizierungsgrundlagen (NQSZ) (13) Wert ausschließen DIN-Normenausschuss Technische Grundlagen (NATG) (13) Wert ausschließen Fundamental Technical Standards Committee (13) Wert ausschließen ISO/TC 146 Air quality (13) Wert ausschließen ISO/TC 146 Luftbeschaffenheit (13) Wert ausschließen ISO/TC 146 Qualité de l'air (13) Wert ausschließen ISO/TC 264 Feuerwerk (13) Wert ausschließen ISO/TC 264 Fireworks (13) Wert ausschließen ISO/TC 33 Feuerfeste Erzeugnisse (13) Wert ausschließen ISO/TC 33 Matériaux réfractaires (13) Wert ausschließen ISO/TC 33 Refractories (13) Wert ausschließen Quality Management, Statistics and Certification Standards Committee (13) Wert ausschließen Steffen, Bernhard (13) Wert ausschließen ISO/TC 17 Acier (12) Wert ausschließen ISO/TC 17 Stahl (12) Wert ausschließen ISO/TC 17 Steel (12) Wert ausschließen DIN-Normenausschuss Kunststoffe (FNK) (11) Wert ausschließen ISO/TC 164 Essais mécaniques des métaux (11) Wert ausschließen ISO/TC 164 Mechanical testing of metals (11) Wert ausschließen Show more show less
> Collection Skip to next facet Nautos (DIN-Normen) (1.090) Wert ausschließen Nautos (ISO-Normen) (637) Wert ausschließen Verbunddaten SWB (601) Wert ausschließen Lizenzfreie Online-Ressourcen (128) Wert ausschließen Nautos (VDI-Normen) (75) Wert ausschließen Diss online (25) Wert ausschließen BASE - Bielefeld Academic Search Engine (17) Wert ausschließen Wiley (CrossRef) (17) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (14) Wert ausschließen Nautos (DWA-Normen) (10) Wert ausschließen Qucosa (8) Wert ausschließen Georg Thieme Verlag KG (CrossRef) (7) Wert ausschließen Sächsische Bibliografie (7) Wert ausschließen Walter de Gruyter GmbH (CrossRef) (7) Wert ausschließen Institutional Repository of Leibniz Universität Hannover (4) Wert ausschließen Fachkatalog Technikgeschichte (3) Wert ausschließen Henry - Hydraulic Engineering Repository (3) Wert ausschließen KITopen (Karlsruhe Institute of Technologie) (3) Wert ausschließen ETH Zürich Research Collection (2) Wert ausschließen Brill (CrossRef) (1) Wert ausschließen DOAJ Directory of Open Access Journals (1) Wert ausschließen Digital Library Thüringen (1) Wert ausschließen Duncker & Humblot GmbH (CrossRef) (1) Wert ausschließen German Federal Highway Research Institute (BASt): Electronic BASt Archive (ELBA) (1) Wert ausschließen Informa UK Limited (CrossRef) (1) Wert ausschließen Leipzig University Library (CrossRef) (1) Wert ausschließen Nomos Verlag (CrossRef) (1) Wert ausschließen Qucosa Universität Leipzig (1) Wert ausschließen SAGE Publications (CrossRef) (1) Wert ausschließen Scientific publications of the Saarland University (UdS) (1) Wert ausschließen TU Braunschweig: LeoPARD - Publications And Research Data (1) Wert ausschließen University of Bern (CrossRef) (1) Wert ausschließen Würzburg University: Online Publication Service (1) Wert ausschließen © Georg Thieme Verlag KG (CrossRef) (1) Wert ausschließen Show more show less