966 Results for : checking
-
Palanza, Valeria: Checking Presidential Power
Erscheinungsdatum: 17.01.2019, Medium: Buch, Einband: Gebunden, Titel: Checking Presidential Power, Autor: Palanza, Valeria, Verlag: Cambridge University Press, Sprache: Englisch, Schlagworte: POLITICAL SCIENCE // American Government // General // Vereinigte Staaten von Amerika // USA, Rubrik: Politikwissenschaft, Seiten: 266, Informationen: HC gerader Rücken kaschiert, Gewicht: 542 gr, Verkäufer: averdo- Shop: averdo
- Price: 108.89 EUR excl. shipping
-
Conformance Checking
Erscheinungsdatum: 24.11.2018, Medium: Buch, Einband: Gebunden, Titel: Conformance Checking, Titelzusatz: Relating Processes and Models, Auflage: 1. Auflage von 2018 // 1st ed. 2018, Autor: Carmona, Josep // Dongen, Boudewijn van // Solti, Andreas // Weidlich, Matthias, Verlag: Springer International Publishing // Springer International Publishing AG, Sprache: Englisch, Schlagworte: Data Mining // EDV // Database // Datenbank // Datenverarbeitung // Anwendungen // Betrieb // Verwaltung // Expertensystem // Informationssystem // Informationstechnologie // IT // Technologie // Internet // Suchmethoden // Spezielle Anwender // Öffentliche Verwaltung // Maschine // Suchmaschine // Wirtschaft // Wirtschaftsmathematik // Wirtschaftsrechnen // Wissensbasiertes System // Knowledge Management // Management // Wissensmanagement // Wirtschaftsmathematik und // informatik // IT-Management // Informationstechnik // allgemeine Themen // Informationsrückgewinnung // Information Retrieval // Wissensbasierte Systeme // Expertensysteme, Rubrik: Anwendungs-Software, Seiten: 296, Informationen: HC runder Rücken kaschiert, Gewicht: 595 gr, Verkäufer: averdo- Shop: averdo
- Price: 76.19 EUR excl. shipping
-
She Keeps Checking Me Out · Shirtinator Frauen T-Shirt
Shirtinator Frauen T-Shirt mit dem Motiv "She Keeps Checking Me Out" gibts bei Shirtinator in vielen Grössen und Farben für Frauen und Männer. Produktdetails NEUE KOLLEKTION: Moderner Schnitt, 160 g/m², ringgesponnen (Single Jersey), 100% Baumwolle (Oxford Grey 93% Baumwolle, 7% Viskose), Rippkragen am Rundhalsausschnitt, Kontrastfarbenes Nackenband, Doppelnaht an Ärmelabschluss und Bund, keine Schlauchware- Shop: Shirtinator
- Price: 20.99 EUR excl. shipping
-
Jonischkat:Symbolisches Model Checking
Erscheinungsdatum: 22.08.2010, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Symbolisches Model Checking variabler Verhaltensspezifikationen, Titelzusatz: Konsistenzprüfung von Domänenspezifikationen im Rahmen der Softwareproduktlinienentwicklung, Autor: Jonischkat, Tim, Verlag: VDM Verlag Dr. Müller e.K., Sprache: Deutsch, Rubrik: Informatik // EDV, Sonstiges, Seiten: 124, Informationen: Paperback, Gewicht: 203 gr, Verkäufer: averdo- Shop: averdo
- Price: 59.00 EUR excl. shipping
-
Lashkari:Contract Checking for Feldspar
Erscheinungsdatum: 19.07.2012, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Contract Checking for Feldspar, Autor: Lashkari, Fatemeh, Verlag: LAP Lambert Academic Publishing, Sprache: Englisch, Rubrik: Programmiersprachen, Seiten: 72, Informationen: Paperback, Gewicht: 125 gr, Verkäufer: averdo- Shop: averdo
- Price: 43.39 EUR excl. shipping
-
Fake-News, Framing, Fact-Checking: Nach
Erscheinungsdatum: 06/2020, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Fake News, Framing, Fact-Checking: Nachrichten im digitalen Zeitalter, Titelzusatz: Ein Handbuch, Redaktion: Köhler, Tanja, Verlag: Transcript Verlag // transcript, Sprache: Deutsch, Schlagworte: Medientheorie // Medienwissenschaft // Internet // Politik // Gesellschaft // Protest // Protestbewegung // Politischer Aktivismus, Rubrik: Medienwissenschaften // Sonstiges, Seiten: 563, Abbildungen: 41 SW-Abbildungen, Reihe: Digitale Gesellschaft (Nr. 30), Gewicht: 870 gr, Verkäufer: averdo- Shop: averdo
- Price: 39.00 EUR excl. shipping
-
O'connor:Satisfiability Checking with D
Erscheinungsdatum: 27.10.2013, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Satisfiability Checking with Difference Constraints, Titelzusatz: A Quantitative Approach, Autor: O''connor, Brian, Verlag: VDM Verlag Dr. Müller e.K., Sprache: Englisch, Rubrik: Mathematik // Sonstiges, Seiten: 80, Informationen: Paperback, Gewicht: 139 gr, Verkäufer: averdo- Shop: averdo
- Price: 43.39 EUR excl. shipping
-
Carmona, Josep: Conformance Checking
Erscheinungsdatum: 01/2019, Medium: Buch, Einband: Gebunden, Titel: Conformance Checking, Titelzusatz: Relating Processes and Models, Autor: Carmona, Josep // Dongen, Boudewijn van // Solti, Andreas // Weidlich, Matthias, Verlag: Springer-Verlag GmbH // Springer International Publishing AG, Sprache: Englisch, Schlagworte: Data Mining // EDV // Database // Datenbank // Datenverarbeitung // Anwendungen // Betrieb // Verwaltung // Informationssystem // Öffentliche Verwaltung // Wirtschaft // Wirtschaftsmathematik // Wirtschaftsrechnen // Informationstechnologie // IT // Technologie // Internet // Suchmethoden // Spezielle Anwender // Maschine // Suchmaschine // Expertensystem // Wissensbasiertes System // Knowledge Management // Management // Wissensmanagement // COMPUTERS // Information Technology // Wirtschaftsmathematik und // informatik // IT-Management // Informationstechnik // allgemeine Themen // Informationsrückgewinnung // Information Retrieval // Wissensbasierte Systeme // Expertensysteme // Unternehmensanwendungen, Rubrik: Anwendungs-Software, Seiten: 277, Abbildungen: Bibliographie, Informationen: Book, Gewicht: 595 gr, Verkäufer: averdo- Shop: averdo
- Price: 67.29 EUR excl. shipping
-
Verification, Model Checking, and Abstr
Erscheinungsdatum: 07.02.2020, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Verification, Model Checking, and Abstract Interpretation, Titelzusatz: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings, Auflage: 1. Auflage von 1920 // 1st ed. 2020, Redaktion: Beyer, Dirk // Zufferey, Damien, Verlag: Springer International Publishing // Springer International Publishing AG, Sprache: Englisch, Schlagworte: Betriebssysteme // Computerprogrammierung und Softwareentwicklung // Software Engineering // Computernetzwerke und maschinelle Kommunikation // Rechnerarchitektur und Logik-Entwurf // Künstliche Intelligenz, Rubrik: Informatik, Seiten: 488, Informationen: Paperback, Gewicht: 733 gr, Verkäufer: averdo- Shop: averdo
- Price: 71.59 EUR excl. shipping
-
Verification, Model Checking, and Abstr
Erscheinungsdatum: 07.02.2020, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Verification, Model Checking, and Abstract Interpretation, Titelzusatz: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings, Auflage: 1. Auflage von 1920 // 1st ed. 2020, Redaktion: Beyer, Dirk // Zufferey, Damien, Verlag: Springer International Publishing // Springer International Publishing AG, Sprache: Englisch, Schlagworte: Betriebssysteme // Computerprogrammierung und Softwareentwicklung // Software Engineering // Computernetzwerke und maschinelle Kommunikation // Rechnerarchitektur und Logik-Entwurf // Künstliche Intelligenz, Rubrik: Informatik, Seiten: 488, Informationen: Paperback, Gewicht: 733 gr, Verkäufer: averdo- Shop: averdo
- Price: 71.59 EUR excl. shipping