966 Results for : checking

  • Thumbnail
    Unphon:HYBRID REASONING SYSTEM FOR SEMA
    Erscheinungsdatum: 07/2011, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: HYBRID REASONING SYSTEM FOR SEMANTIC WEB, Titelzusatz: Rule-Based Chaining with Ontological Constraint Checking, Autor: Unphon, Hataichanok, Verlag: VDM Verlag, Sprache: Englisch, Rubrik: Informatik // EDV, Sonstiges, Seiten: 72, Informationen: Paperback, Gewicht: 124 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 43.39 EUR excl. shipping
  • Thumbnail
    Wardana:Development of Automatic Progra
    Erscheinungsdatum: 08.12.2009, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Development of Automatic Program Verification for Continuous Function Chart based on Model Checking, Autor: Wardana, Awang Noor Indra, Verlag: Universität Kassel // Kassel University Press, Sprache: Englisch, Rubrik: Elektronik // Elektrotechnik, Nachrichtentechnik, Seiten: 121, Gewicht: 239 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 29.00 EUR excl. shipping
  • Thumbnail
    40GS1632-2016AG - 16GB DDR4 3200 CL16 GSkill Aegis 2er Kit
    Aegis DDR4DDR4-3200MHz CL16-18-18-38 1.35V16GB (2x8GB)Benannt nach dem mächtigen Schild der griechischen Götter, symbolisiert Aegis Stärke und Macht. Dieser neue DDR4-Speicher in der AEGIS-Familie von Gaming-Speichern wurde für eine verbesserte Leistung und hohe Stabilität auf den neuesten PC-Spielsystemen entwickelt. Verleihen Sie Ihrem Gaming-System den qualitativen Leistungsschub, den es verdient, ganz gleich, um welches Spiel es sich handelt. Ob es sich um FPS, RTS, MOBA oder MMORPG handelt, lassen Sie den AEGIS Gaming DDR4-Speicher die Stärke Ihres Gaming-Arsenals sein!Highlights:Tested Speed: 3200MHzTested Latency: 16-18-18-38Tested Voltage: 1.35VRegistered/Unbuffered: UnbufferedError Checking: Non-ECCSPD Speed: 2133MHzSPD Voltage: 1.20VFan Included: NoFeatures: Intel XMP 2.0 (Extreme Memory Profile) ReadyAdditional Notes: Rated XMP frequency & stability depends on MB & CPU capability
    • Shop: reichelt elektronik
    • Price: 64.50 EUR excl. shipping
  • Thumbnail
    Welchering, Peter: Journalistische Praxis: Digitale Recherche
    Erscheinungsdatum: 08.08.2020, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Journalistische Praxis: Digitale Recherche, Titelzusatz: Verifikation und Fact Checking, Auflage: 1. Aufl. 2020, Autor: Welchering, Peter, Verlag: Springer-Verlag GmbH // Springer Fachmedien Wiesbaden GmbH, Imprint: Springer VS, Sprache: Deutsch, Schlagworte: Journalismus // Journalist // Publizistik // Medienwirtschaft // LANGUAGE ARTS & DISCIPLINES // Journalism // Medien- // Unterhaltungs- // Informations // und Kommunikationsindustrie, Rubrik: Journalistik // Presse, Film, Funk, TV, Seiten: 25, Abbildungen: Bibliographie, Informationen: Book, Gewicht: 87 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 14.99 EUR excl. shipping
  • Thumbnail
    Pham:Checking the Conformance
    Erscheinungsdatum: 09/2011, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Checking the Conformance, Titelzusatz: between the Implementation and PSM Specifications in Component Models., Autor: Pham, Van Viet, Verlag: LAP Lambert Acad. Publ., Sprache: Englisch, Rubrik: Informatik // EDV, Sonstiges, Seiten: 60, Informationen: Paperback, Gewicht: 106 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 43.39 EUR excl. shipping
  • Thumbnail
    Lehner:A Formal Definition of JML in Co
    Erscheinungsdatum: 06.07.2015, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: A Formal Definition of JML in Coq, Titelzusatz: and its Application to Runtime Assertion Checking, Autor: Lehner, Hermann, Verlag: Südwestdeutscher Verlag für Hochschulschriften AG Co. KG, Sprache: Englisch, Rubrik: Informatik, Seiten: 236, Informationen: Paperback, Gewicht: 368 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 75.59 EUR excl. shipping
  • Thumbnail
    Vilkova:Calculating cloud process matur
    Erscheinungsdatum: 05.05.2016, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Calculating cloud process maturity cost using conformance checking, Titelzusatz: Cost assessment, allocation and budgeting framework, Autor: Vilkova, Olga, Verlag: LAP Lambert Academic Publishing, Sprache: Englisch, Rubrik: Informatik // EDV, Sonstiges, Seiten: 64, Informationen: Paperback, Gewicht: 113 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 36.29 EUR excl. shipping
  • Thumbnail
    Cross Checking
    Cross Checking ab 24.49 € als Taschenbuch: . Aus dem Bereich: Bücher, Taschenbücher, Romane & Erzählungen,
    • Shop: hugendubel
    • Price: 24.49 EUR excl. shipping
  • Thumbnail
    Kovács:Information Flow Security in Tre
    Erscheinungsdatum: 16.02.2016, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Information Flow Security in Tree-Manipulating Processes, Titelzusatz: Verifying Safety Hyperproperties Using Abstract Interpretation and Model Checking, Autor: Kovács, Máté, Verlag: Südwestdeutscher Verlag für Hochschulschriften AG Co. KG, Sprache: Englisch, Rubrik: Informatik, Seiten: 152, Informationen: Paperback, Gewicht: 243 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 58.29 EUR excl. shipping
  • Thumbnail
    Karfa:Verification and Synthesis of Dig
    Erscheinungsdatum: 30.08.2010, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Verification and Synthesis of Digital Circuits, Titelzusatz: High-level Synthesis and Equivalence Checking, Autor: Karfa, Chandan // Sarkar, Dipankar // Mandal, Chittaranjan, Verlag: LAP Lambert Academic Publishing, Sprache: Englisch, Schlagworte: Informatik, Rubrik: Informatik, Seiten: 204, Informationen: Paperback, Gewicht: 322 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 66.99 EUR excl. shipping

Similar searches: